[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CfP Event-B workshop at ICFEM 2012



*** Call for Papers: DS-Event-B-2012 ***

Workshop on the experience of and advances in developing 
dependable systems in Event-B
Nov 13 2012, Kyoto, Japan
http://research.nii.ac.jp/eventb2012/
In conjunction with ICFEM 2012


--- Aims and Scope ---
Event-B is a formal method for the system level modelling and analysis of
dependable applications. It is supported by an open and extendable
Eclipse-based toolset called Rodin, which has been developed in a series 
of European projects (notably DEPLOY). A significant recent rise 
in interest in these methods and tools has now led to a shaping of 
a broad community of users, developers, researchers and educators.

The workshop aims to bring this community together to discuss new and
emerging issues in applying and advancing both the Event-B method and 
the Rodin platform as well as address challenges that industrial 
takers are facing while deploying them.

One of the aims of this workshop is to expand the community of 
researchers and practitioners working with Event-B/Rodin. 
This will be achieved in two ways: by addressing general scientific 
challenges and by providing information valuable for the newcomers. 
In doing this the workshop will complement the ongoing series of 
informal Rodin workshops focusing on the technical exchange between 
Rodin users and developers.

The organisers are particularly interested in submissions from 
industrial partners from Asia.


--- Topics ---
The topics of interest include, but are not limited to
* Theoretical foundations: refinement, decomposition, composition, 
verification and proofs
* Engineering methods: modelling strategy, refinement strategy, 
integration with other methods, reuse
* Applications: practical use, case studies, use for critical systems, 
use for emerging computing paradigms
* Education: teaching and training, positioning in SE or FM education


--- Submission Types ---
All submissions must be original, unpublished, and cannot be simultaneously 
submitted for publication elsewhere. 
Papers of the following types are solicited:
* Research papers focusing on advanced and novel theories, methodologies 
or mechanisms
* Tool papers focusing on useful and practical tools, their integration 
and interoperability
* Experience papers with a focus on deployment, evaluation and lessons learned

Submissions must consist of no more than 10 pages for Research papers and 
6 pages for Tool/Experience papers in the LNCS format (including all 
the materials) –see http://www.springer.de/comp/lncs/authors.html.

The PDF versions of papers should be submitted through the easychair system 
(https://www.easychair.org/conferences/?conf=dseventb2012).


--- Important Dates ---
Submission Deadline: Aug 10, 2012
Notification: Sep 10, 2012
Workshop: Nov 13, 2012


--- Publication ---
The proceedings will be published as a technical report of Newcastle 
University (UK). They will also be made available online in the ACM
Computing Research Repository (CORR) before the workshop.


--- Organisation ---
Workshop Co-Chairs:
Fuyuki Ishikawa (National Institute of Informatics, Japan)
Alexander Romanovsky (Newcastle University, UK).

Program Committee: 
Michael Butler (University of Southampton, UK)
Stefan Hallerstede (University of Aarhus, Denmark)
Thai Son Hoang (ETH Zurich, Switzerland)
Alexei Iliasov (Newcastle University, UK)
Hironobu Kuruma (Hitachi, Japan)
Linas Laibinis (Aabo Akademi, Finland)
Regine Laleau (Universite Paris-Est Creteil, France)
Thierry Lecomte (ClearSy, France)
Michael Leuschel (University of Dusseldorf, Germany)
Felix Loesch (Bosch, Germany) 
Dominique Mery (LORIA & Université de Lorraine, France)
Shin Nakajima (National Institute of Informatics, Japan)
Jose Reis (Critical Software, UK)
Andreas Roth (SAP, Germany)
Aryldo G Russo (Grupo AeS, Brazil)
Elena Troubitsyna (Aabo Akademi, Finland)
Laurent Voisin (Systerel, France)
Stephen Wright (Airbus, UK)