(Apologies for duplicates)
CALL FOR PARTICIPATION
The 10th Overture Workshop
Methods, Tools and Techniques for Modelling in VDM
Workshop on Tuesday, 28 August 2012, Paris, France
http://wiki.overturetool.org/index.php/10th_Overture_Workshop
Held in conjunction with FM 2012 (http://fm2012.cnam.fr/)
Registration is open: http://fm2012.cnam.fr/fm2012/registration.php
(please note the deadline for early registration is 10 July!).
This workshop will be the tenth in the current series focussing on the Vienna
Development Method (VDM) and particularly its community-based tools development
project, Overture (http://www.overturetool.org/)
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. A notable recent
advance has been the use of VDM as a base language for modelling
systems-of-systems(SOS) through the COMPASS project
(http://www.compass-research.eu/).
The community-based Overture initiative is developing an industry-strength tool
on a new open platform, exploiting research mainly in Denmark, the UK, the
Netherlands and Portugal. Research in Overture is making advances in proof
support and the need to interface VDM models of discrete event systems with
heterogeneous models from other engineering disciplines, such as continuous
time models of controlled plants Destecs (http://www.destecs.org/).
The Overture initiative held its first workshop at FM'05. Workshops were held
subsequently at FM'06, FM'08 and FM'09, FM'11 and in between. The most recent
(9th) workshop, co-located with FM'11, included several reports of development
in control and embedded systems design.
The 10th Overture workshop will emphasise topics that mesh closely with the
themes of FM 2012 itself, particularly application experience in industry,
validation of tools and methods and the development of tools.
Program:
========
The program of the workshop is now available at
http://wiki.overturetool.org/index.php/10th_Overture_Workshop
Registration:
=============
Registration for the workshop can be done via
http://fm2012.cnam.fr/fm2012/registration.php
Note that early registration closes on 10 July 2012!
Organizing Committee:
=====================
Claus Ballegård Nielsen (Aarhus University, Denmark)
Nico Plat (West Consulting BV, The Netherlands)
Steve Riddle (University of Newcastle, UK)
The organising committee can be reached via e-mail: [log in to unmask]
Program Committee:
==================
Nick Battle (Fujitsu, UK)
Sakoh Hiroshi (Designers' Den Corporation, Japan)
Cliff Jones (Newcastle University, UK)
Peter Gorm Larsen (Aarhus University, Denmark)
Claus Ballegård Nielsen (Aarhus University, Denmark)
John Fitzgerald (Newcastle University,UK)
Nico Plat (West Consulting BV, The Netherlands)
Steve Riddle (University of Newcastle, UK)
Shin Sahara (SCSK Corporation, Japan)
Marcel Verhoef (Chess IT, Netherlands)
Sune Wolff (Terma A/S, Denmark)
|