<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
<div><font class="Apple-style-span">*** Call for Papers: DS-Event-B-2012 ***</font></div>
<div><font class="Apple-style-span"><br>
</font></div>
<div><font class="Apple-style-span">Workshop on the experience of and advances in developing <br>
dependable systems in Event-B<br>
Nov 13 2012, Kyoto, Japan<br>
<a href="http://research.nii.ac.jp/eventb2012/">http://research.nii.ac.jp/eventb2012/</a><br>
In conjunction with ICFEM 2012<br>
<br>
<br>
--- Aims and Scope ---<br>
Event-B is a formal method for the system level modelling and analysis of<br>
dependable applications. It is supported by an open and extendable<br>
Eclipse-based toolset called Rodin, which has been developed in a series <br>
of European projects (notably DEPLOY). A significant recent rise <br>
in interest in these methods and tools has now led to a shaping of <br>
a broad community of users, developers, researchers and educators.<br>
<br>
The workshop aims to bring this community together to discuss new and<br>
emerging issues in applying and advancing both the Event-B method and <br>
the Rodin platform as well as address challenges that industrial <br>
takers are facing while deploying them.<br>
<br>
One of the aims of this workshop is to expand the community of <br>
researchers and practitioners working with Event-B/Rodin. <br>
This will be achieved in two ways: by addressing general scientific <br>
challenges and by providing information valuable for the newcomers. <br>
In doing this the workshop will complement the ongoing series of <br>
informal Rodin workshops focusing on the technical exchange between <br>
Rodin users and developers.<br>
<br>
The organisers are particularly interested in submissions from <br>
industrial partners from Asia.<br>
<br>
<br>
--- Topics ---<br>
The topics of interest include, but are not limited to<br>
* Theoretical foundations: refinement, decomposition, composition, <br>
verification and proofs<br>
* Engineering methods: modelling strategy, refinement strategy, <br>
integration with other methods, reuse<br>
* Applications: practical use, case studies, use for critical systems, <br>
use for emerging computing paradigms<br>
* Education: teaching and training, positioning in SE or FM education<br>
<br>
<br>
--- Submission Types ---<br>
All submissions must be original, unpublished, and cannot be simultaneously <br>
submitted for publication elsewhere. <br>
Papers of the following types are solicited:<br>
* Research papers focusing on advanced and novel theories, methodologies <br>
or mechanisms<br>
* Tool papers focusing on useful and practical tools, their integration <br>
and interoperability<br>
* Experience papers with a focus on deployment, evaluation and lessons learned<br>
<br>
Submissions must consist of no more than 10 pages for Research papers and <br>
6 pages for Tool/Experience papers in the LNCS format (including all <br>
the materials) –see <a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a>.<br>
<br>
The PDF versions of papers should be submitted through the easychair system <br>
(<a href="https://www.easychair.org/conferences/?conf=dseventb2012">https://www.easychair.org/conferences/?conf=dseventb2012</a>).<br>
<br>
<br>
--- Important Dates ---<br>
Submission Deadline: Aug 10, 2012<br>
Notification: Sep 10, 2012<br>
Workshop: Nov 13, 2012<br>
<br>
<br>
--- Publication ---<br>
The proceedings will be published as a technical report of Newcastle <br>
University (UK). They will also be made available online in the ACM<br>
Computing Research Repository (CORR) before the workshop.<br>
<br>
<br>
--- Organisation ---<br>
Workshop Co-Chairs:</font></div>
<div><font class="Apple-style-span">Fuyuki Ishikawa (National Institute of Informatics, Japan)</font></div>
<div><font class="Apple-style-span">Alexander Romanovsky (Newcastle University, UK).</font></div>
<div><font class="Apple-style-span"><br>
</font></div>
<div><font class="Apple-style-span">Program Committee: </font></div>
<div><font class="Apple-style-span">Michael Butler (University of Southampton, UK)</font></div>
<div><font class="Apple-style-span">Stefan Hallerstede (University of Aarhus, Denmark)</font></div>
<div><font class="Apple-style-span">Thai Son Hoang (ETH Zurich, Switzerland)</font></div>
<div><font class="Apple-style-span">Alexei Iliasov (Newcastle University, UK)</font></div>
<div><font class="Apple-style-span">Hironobu Kuruma (Hitachi, Japan)</font></div>
<div><font class="Apple-style-span">Linas Laibinis (Aabo Akademi, Finland)</font></div>
<div><font class="Apple-style-span">Regine Laleau (Universite Paris-Est Creteil, France)</font></div>
<div><font class="Apple-style-span">Thierry Lecomte (ClearSy, France)</font></div>
<div><font class="Apple-style-span">Michael Leuschel (University of Dusseldorf, Germany)</font></div>
<div><font class="Apple-style-span">Felix Loesch (Bosch, Germany)<span><span style="font: normal normal normal 7pt/normal 'Times New Roman'; "> </span></span></font></div>
<div><font class="Apple-style-span">Dominique Mery (LORIA & Université de Lorraine, France)</font></div>
<div><font class="Apple-style-span">Shin Nakajima (National Institute of Informatics, Japan)</font></div>
<div><font class="Apple-style-span">Jose Reis (Critical Software, UK)</font></div>
<div><font class="Apple-style-span">Andreas Roth (SAP, Germany)</font></div>
<div><font class="Apple-style-span">Aryldo G Russo (Grupo AeS, Brazil)</font></div>
<div><font class="Apple-style-span">Elena Troubitsyna (Aabo Akademi, Finland)</font></div>
<div><font class="Apple-style-span">Laurent Voisin (Systerel, France)</font></div>
<div><font class="Apple-style-span">Stephen Wright (Airbus, UK)</font></div>
<div><font class="Apple-style-span"><br>
</font></div>
<div><font class="Apple-style-span"><br>
</font></div>
<div><span class="Apple-style-span" style="font-size: 13px; "><font class="Apple-style-span" face="Times"><br>
</font></span></div>
</body>
</html>