Third Overture Workshop

After our event at McMaster during FM'06, we plan to organise the third Overture Workshop at Newcastle University. The workshop will be a two-day event on Monday 27 and Tuesday 28 November 2006. Organising chair is John Fitzgerald of the School of Computing Science at Newcastle University. Co-chairs are Peter Gorm Larsen of the Engineering College Aarhus (DK) and Shin Sahara of CSK Systems (Japan)

Semantic Issues in VDM and Related Technologies

The Vienna Development Method is a well established formal method for the development of computing systems. In recent years, the tools available for VDM have been developed and applied widely in research and many commercial applications, and most recently, VDM++ has been developed, incorporating features for modelling concurrent and real-time systems.

The emphasis of this workshop is on foundations, methods and tools for VDM rather than applications. Its aim is to form collaborative links and concrete plans for research directions related to VDM (but obviously not confined to one specific formal method).

Possible topics include semantic aspects of object orientation, concurrency, and real-time; proof theory; proof technology; tool support for modelling, static analysis and proof; links to other design formalisms; interoperability.

Before anything is finally confirmed, we would like to know if you would be interested and available to participate. We propose meeting on 27-28 November 2006 in Newcastle? The workshop would run mid-day to mid-day, to give a wider range of travel options.

Participation and Contributions

If you would like to participate in the workshop, please send an email to John Fitzgerald as soon as possible and certainly by 1 November 2006. Please include your contact details.

If you would like to give a presentation please let John Fitzgerald have a title and short outline as soon as possible and certainly by 1 November 2006, so as to allow for timetabling.