[ecoop-info] Call for Participation: the 14th Overture Workshop

[Announcements of FME events]

               CALL FOR PARTICIPATION: The 14th Overture Workshop
           to be held on the 7th of November 2016 in Limassol, Cyprus
http://overturetool.org/workshops/14th-Overture-Workshop.html
Co-located with the Formal Methods 2016 symposium 
(http://fm2016.cs.ucy.ac.cy/)


Introduction
============
This is the 14th in a series of workshops on the Vienna Development Method
(VDM) seen in the open-source Overture setting (www.overturetool.org).
Although VDM is one of the oldest formal methods to have enjoyed a level of
industry use, it nevertheless has a lively and youthful research community,
which has grown up around the development of the Overture open tools 
platform.
On top of the Overture platform the Crescendo and Symphony tools from
respectively the DESTECS and COMPASS projects. Currently the Overture tools
are being further extended inside the INTO-CPS project (see
http://into-cps.au.dk/) as well as in the TEMPO experiment (see
http://tempoproject.eu/) supported by the CPSE-Labs project (see
http://www.cpse-labs.eu/). The platform provides a vehicle for activity in
modelling and analysis technology including static analysis, interpreters,
test generation and execution support and model checking. The growth of this
community has been greatly assisted by the Overture workshop series.

Programme
=========
We have an attractive programme with presentations of nine high quality
papers, and a special interactive session on the commercial offering 
Overture
can provide using the Business Canvas Model approach.  For details  of the
programme see http://overturetool.org/workshops/14th-Overture-Workshop.html.

Venue
=====
The workshop 2016 will be held at the St. Raphael Resort in Limassol, Cyprus
(http://fm2016.cs.ucy.ac.cy/venue.html).

Registration
============
To register see http://fm2016.cs.ucy.ac.cy/registration.html.

Accommodation
=============
A number of hotel rooms have been blocked for workshop participants at
specially negotiated rates, see 
http://fm2016.cs.ucy.ac.cy/accommodation.html
for details.

Program Committee
=================
K. Araki, Kyushu University, Japan
V. Bandur, Aarhus University, Denmark
N. Battle, Fujitsu, UK ((PC Chair)
J.S. Fitzgerald, Newcastle University, UK
F. Ishikawa, NII, Japan
P.G. Larsen, Aarhus University, Denmark (PC Chair, Organizer)
T. Oda, Software Research Associates, Inc., Japan
J.N. Oliveira, Minho University, Portugal
N. Plat, Thanos, The Netherlands (PC Chair, Organizer)
M. Verhoef, European Space Agency, Netherlands
S. Wolff, Terma, Denmark

See you in Limassol, Cyprus!

-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events