[ecoop-info] Call for papers: The 11th Overture Workshop

Announcements of FME events events at fmeurope.org
Mon Jan 28 11:18:10 CET 2013

Apologies for duplicates. Please feel free to forward to interested parties.

The 11th Overture Workshop

Methods, Tools and Techniques for VDM and Related Technologies

Workshop on 10-11th June 2013, Turku, Finland
Held in conjunction with iFM 2013 (http://www.it.abo.fi/iFM2013/)

This workshop will be the eleventh in the current series focusing on the Vienna
Development Method (VDM) and particularly its community-based tools development 
project, Overture (http://www.overturetool.org/), and related projects such as  
COMPASS (http://www.compass-research.eu/) and DESTECS (http://www.destecs.org).

The goal is to provide a forum to present new ideas, to identify and encourage 
new collaborative research, and to foster current strands of work towards 
publication in the mainstream conferences and journals. VDM is one of the 
longest established formal methods, having its origins in compiler development 
work in IBM in the 1970s. In the 1990s, the basic VDM modelling language was 
standardised by ISO and the first commercial tools emerged. Since 2000, the 
method has been extended to support object-orientation, concurrency, real-time 
and distribution. Notable recent advances have been the use of VDM as a base 
language for modelling systems of systems (SOS) through the COMPASS project 
(http://www.compass-research.eu/) and the development of of a VDM-based 
co-simulation framework in the DESTECS project (http://www.destecs.org).

The community-based Overture initiative is developing an industry-strength tool 
on an  open platform, exploiting research from across Europe and from further 
afield. Research related to the Overture tool spans from discrete modelling 
supported by various kinds of formal analysis, to heterogeneous modelling 
through co-simulation with a continuous-time tool through DESTECS. The Overture 
initiative held its first workshop at FM'05. Workshops were held subsequently at
FM'06, FM'08 and FM'09, FM'11, FM'12 and in between. 

Call for papers:

We welcome submissions on any aspect of VDM and developments in modelling 
methodology (including projects that use VDM as a base technology), industrial 
application and tools. Papers submitted to the workshop should not exceed 6 
pages (in LNCS format) and present original work. We also encourage submission 
of accounts of early work.

Important Dates:

22nd March 2013: Submission deadline for workshop papers
11th April 2013: Notification to workshop paper authors
10th June 2013: Final version of workshop papers due

Organising Committee:

Stefan Hallerstede (Aarhus University, Denmark)
Ken Pierce (University of Newcastle, UK)

The organising committee can be reached via the following e-mail address: 
workshop-oc at overturetool.org

Program Committee:

John Fitzgerald (Newcastle University, UK)
Peter Gorm Larsen (Aarhus University, Denmark)
Cliff Jones (Newcastle University, UK)
Shin Sahara (SCSK Corporation, Japan)
Sakoh Hiroshi (Designers' Den Corporation, Japan)
Uwe Schulze, (Bremen University, Germany)
Alexandre Mota (Universidade Federal de Pernambuco, Brazil)
Rasmus Lauritzen (Aarhus University, Denmark)
Simon Foster (University of York, UK)
Nico Plat (West Consulting BV, The Netherlands)
José Nuno Oliveira (Minho University, Portugal)
events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list