Template:News
From Wiki.overturetool.org
Displayed as follow on the Main Page
- December 2011: Call for papers has been issued for the 10th Overture Workshop on Tuesday, 28 August 2012, Paris, France. Submission deadline 7 May 2012
- October 2011: The COMPASS Project has started! This new major EC-supported project brings together teams from Newcastle, Aarhus, York, Bremen, Pernambuco, Insiel, Bang & Olufsen, and Atego Ltd., to develop methods and tools for "Comprehensive Modelling of Advanced Systems of Systems".
- June 2011: The 9th Overture Workshop took place on 20 June, 2011 in Limerick, Ireland. You can catch up with the papers and presentations on the Wiki page. The Proceedings are being prepared as an Aarhus Technical Report.
- November 2010: "Call for Papers" has been issued for the 9th Overture Workshop on 20 June, 2011 in Limerick, Ireland. Submission deadline has been extended - see Call for Papers for new dates.
- September 2010: The 8th Overture Workshop was jointly organized by the Overture/VDM Community and BCS-FACS on 13 September 2010 in London, UK. Papers and photos are available online
- January 2010: A guided tour introducing Overture to new VDM++ users and A guided tour introducing Overture to new VDM-SL users is now available as a replacement chapter from the VDM++ book and the VDM-SL book respectively. A similar tutorial is available for VDM-RT (formerly called VICE) users.
