Template:News/Archives
From Wiki.overturetool.org
- November 2009
- Materials from the 6th Overture Workshop held at FM 2009 in Eindhoven, the Netherlands, are now on-line. The proceedings of the workshop are available as a technical report from Newcastle University.
- February 2009
- The call for papers for the Overture workshop to be held at the FM'09 conference is now on-line.
- November 2008
- The 5th Overture Workshop was held on 8-9 November 2008 in Braga, Portugal. This was a real "work shop" at which participants exercised different aspects of the development of Overture components on the Eclipse platform.
- May 2008
- The 4th Overture Workshop Proceedings are online.
- May 2008
- Major new release of the Overture Parser, with position information in the parse tree. Also experimental language extensions to express test traces.
- February 2008
-
- The 4th Overture Workshop in May 2008 in connection to the FM'08 conference including the final programme.
- August 2007
- Web pages with results of recent student projects are now available (later to be made available at SourceForge?):
- TypeChecker for VDM++
- InterpreterDebugger for VDM++
- AutomaticProof support for VDM++
- 15th January 2007
- The 3rd Overture Workshop was held at Newcastle University, UK, on 27 and 28 November 2006. The topic was semantics and tools, and the aim is to set a research agenda on foundations, semantics and tool support for VDM and Overture. The main outcome was the establishment of three research groups in semantics, tools, and methods and applications.
- 15th January 2007
- Papers from all Three Overture Workshops are now available on the Wiki.
- 25th August 2006
- The 3rd Overture Workshop will be held at Newcastle University, UK, on 27 and 28 November 2006. The topic will be semantics and tools, and the aim is to set a research agenda on foundations, semantics and tool support for VDM and Overture. Check out the call for participation or contact John Fitzgerald.
- 25 August 2006
- Papers from the 2nd Overture Workshop, held on 21 August 2006 as part of the FM06 Symposium at McMaster University, Canada, are now available from the Workshop page. Check out the pictures too.
- June 2006
- Papers of the 1st Overture Workshop are now also available as an integral technical report from Newcastle University. It may be cited as: Fitzgerald, J. S., Larsen, P. G., Plat, N.(Eds.) Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005, Technical Report CS-TR-969, School of Computing Science, Newcastle University, Jun 2006.
- 11th September 2005
- The MSc thesis of Jacob Porsborg Nielsen and Jens Kielsgaard Hansen, describing the architecture of the Overture Eclipse plug-in is now available on-line.
- 31st July 2005
- The talks and presentations of the 1st Overture Workshop are now available on-line. Also have a look at the pictures.
- 4th June 2005
- On Monday 18 July 2005 the 1st Overture Workshop will be held, co-located with FM'05 (Newcastle, UK).
