|Date||12 November 2017, 00:00 CET|
|Participants||PGL, NB, TO, PJ. Minutes by PJ.|
The mintues of today’s LB NM are available here.
No major changes.
See release planning for recent Overture changes.
We soon plan to release a new version of VDM2C that uses Overture 2.5.4.
Overture version 2.5.4 was released on November 10. This release contains several bug fixes and enhancements for the core features, and increased coverage of constructs that can be code-generated to Java.
Next release is due by December 11, 2017.
PGL will find new release dates for 2018.
PGL is trying to reach out to the guys from Taiwan who are working on proving POs using model checking. They use Overture as part of their work, so there is definitely a chance that we could get some collaboration going.
PGL and Tomo (among others) will be attending a INTO-CPS tutorial in Japan.
See download stats on the downloads page
The Strategic Research Agenda is reviewed every other NetMeeting.
See Planned Publications.
It was discussed how many core meeting we should have in 2018. There will probably be around five, in the hope that we can get more people to attend these meetings.