|Date||23 Oktober 2011, 1300 CET|
|Participants||Peter Gorm Larsen, Shin Sahara, John Fitzgerald, Nick Battle, Nico Plat, Hiroshi Sako, Kenneth Lausdahl, Joey Coleman, Marcel Verhoef.|
Shin Sahara provided a private report. CSK has amalgamated with SCS. Then the new name became SCSK Corporation.
The latest release of the The VDM++ Toolbox v9.0 - Thu 22-Oct-2011. Following URL is same as before: http://www.vdmtools.jp/en/
No changes reported to VDMJ, mainly minor changes made to the current Overture release this month. Automatic build has been changed; any commit before 03h00 CET will be automatically incorporated in the nightly build. Joey Coleman will start as new Overture release manager. He will investigate current build processes and come up with a release schedule and maintenance plan in January 2012. Most work on the AST restructuring has been done at IHA and this is nearing completion. Some work still required on the AST code generator.
The minutes of the language board are online, see Minutes_of_the_LB_NM%2C_9th_October_2011. The status of the current language issues can be found here https://spreadsheets.google.com/pub?key=ryibeUenlWcxrukJBlwQKuA&output=html
The tenth Overture Workshop is planned for FM 2012; organising team is Nico Plat, Claus Ballegård Nielsen and Steve Riddle. A proposal is send by e-mail, with a request for comments (due Nov 7th). Workshop team to set up a preliminary web-page on this wiki to announce the event.
See Planned_Publications. Focus must be on generating sufficient papers for the VDM track at ABZ 2012 (Pisa, Italy). All overture members are asked to review the list of planned papers and add (or update) their submission plans here.
November 27th 2011, 1300 CET