|Date||2016-08-21 00:00:00 +0200|
|Participants||PGL, JF, SH, PJ, LDC, TO, NP, SS, TF (Tommaso Fabbri). Minutes by PJ.|
See the minutes from today’s LB NM
forall y:nat1 & y = 1 or x = y or x mod y > 0by giving a finite set as an approximate enumeration of the type’s values.
VDMJ has been updated to include RMs 35 and 36 (set1 and seq binds), and released as version 3.2.0. The same changes have been ported to Overture, and will be included in the next release, once the LRM has been updated.
In addition to RMs 35 and 36 Overture has been updated to build against Eclipse Neon.
Overture 2.4.0 will be released on August 30, 2016. A release candidate will be sent out some time next week.
See download stats on the downloads page
Tommaso Fabbri is working on connecting Overture to TASTE in collaboration with ESA. A paper that describes this project will be submitted to the Overture workshop.
The local organisers have offered us to take part in a general workshop dinner (for all workshops) on the Monday evening, but it will cost 40 euros per person. PGL will ask the local organisers if the dinner is mandatory for all participants if we accept this offer.
The Strategic Research Agenda is reviewed every other NetMeeting.
See Planned Publications.