|Date||8 October 2017, 1200 CEST|
|Participants||Hugo, Ken Pierce, Luís, Nick, PGL. Minutes by Hugo.|
The LB meeting was canceled due to low attendance.
Nothing to report.
VDM2C version 0.1.16 now contains support for the distributed aspects of VDM-RT. More information about this feature is available in the release notes.
Next release of Overture, version 2.5.4, is due by November 11, 2017.
See download stats on the downloads page
Please check the call for papers
No discussion this meeting.
See Planned Publications.