|Date||28 August 2022, 12:00 CEST|
|Participants||HDM, NB, TO, PGL, LF. Minutes by TO.|
The LB would like to hear from VDM users about RC#50 “Inconsistency with eq_T and ord_T signatures”.
LB minutes: https://github.com/overturetool/language/wiki/Minutes-of-the-LB-NM,-28th-Aug-2022
no major updates
VDMJ is now released to the Maven Central repository under the groupId “dk.au.ece.vdmj”. The latest release is 4.4.6. There is also a snapshot release of 4.5.0-SNAPSHOT which adds an event driven method for VSCode plugins to be informed of various events, like saving files or typechecking.
It will include VDM to UML translation and the most up to date VDMJ
See download stats on the downloads page
OVT-20 proceedings are now available at https://arxiv.org/abs/2208.10233. Updates will be made on the publications list and hopefully be soon appearing as scholar results.
OVT-21 is already under way. Easychair is due to appear soon. Need to discuss deadlines through as the spacing between last workshop and submission deadline is roughly 2 months.
The Strategic Research Agenda is reviewed every other NetMeeting.
Also see Planned Publications.