*** 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
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
* Tool papers focusing on useful and practical tools, their integration
* 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
--- 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 ---
Fuyuki Ishikawa (National Institute of Informatics, Japan)
Alexander Romanovsky (Newcastle University, UK).
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)