|Date||25 February 2018, 00:00 CET|
|Participants||PGL, NB, KP, PJ, JF. Minutes by PJ.|
The following people have stated their desire to join the Language Board for 2018:
A few things to note:
The LB will be formed at the core meeting on February 25th, 2018.
We aim to have an odd (yet flexible) number of members for voting reasons. If an even number of people volunteer, an election process will be started at the core meeting on February 25th.
The meeting dates for 2018 have already been planned.
Update: The LB for 2018 is:
Overture 2.6.0 is out. For details, see the release notes. Since the release of 2.6.0, the Overture IDE has been updated to sort classes alphabetically in the launch configuration view. Also, issue 666 has been fixed. Finally, PGL fixed one of the standard examples, which did not pass type-checking due to a recent improvement related to type-checking of imports in VDM-SL.
Leo from Newcastle has experienced that some of the recent Overture releases, specifically 2.5.6 and 2.6.0, do not cope well with big models on MAC. We haven’t had complaints from Windows and Linux users though. PJ and Leo are currently looking into this. Originally, PJ was thinking that this issue might be caused by the particular version of Eclipse that Overture builds against (2.5.4 onward build against Eclipse Neon, previous releases build against Eclipse Neon). We tried to build a 2.6.1-SNAPSHOT version of Overture based on Eclipse Neon, which seems to perform better on MAC Sierra. After spending more time looking into this, it looks like the issue is MAC Sierra itself.
The Overture release we have planned for 2018 are listed here.
VDM2C 0.2.0 was released on February 14.
We disussed the opportunity to create an online course on VDM for newcomers. Something that could potentially be hosted by an online course service. It would be a lot of work, so if we go for this we would need to split the tasks between the different stakeholders.
Steve Riddle from Newcastle has made a MOOC (Massive Open Online Course) on cyber-security. Steve might be able to advise on a similar strategy for VDM. It’s very high-level elementary stuff, but it does get thousands of participants. A teacher need to interact with participants who pay, but you can limit this. We’re talking about thousands of attendees, so it’s not interaction at the individual level. There can be some use of forums, etc. KP will chat to Steve about this.
Upcoming core meetings are listed here.
See Planned Publications.
NB will be in Newcastle next week.