<br><font size=2 face="Courier New">
FMICS
2013</font>
<br><font size=2 face="Courier New">
==========</font>
<br>
<br><font size=2 face="Courier New">
18th International Workshop on</font>
<br><font size=2 face="Courier New">
Formal Methods for Industrial Critical Systems</font>
<br>
<br><font size=2 face="Courier New">
September 23-24, 2013</font>
<br><font size=2 face="Courier New">
Madrid (Spain)</font>
<br><font size=2 face="Courier New">
Co-located with SEFM 2013</font>
<br>
<br><font size=2 face="Courier New">
http://lvl.info.ucl.ac.be/Fmics2013</font>
<br>
<br><font size=2 face="Courier New">Call for Papers</font>
<br><font size=2 face="Courier New">===============</font>
<br>
<br><font size=2 face="Courier New">Scope</font>
<br><font size=2 face="Courier New">-----</font>
<br>
<br><font size=2 face="Courier New">The aim of the FMICS
workshop series is to provide a forum for</font>
<br><font size=2 face="Courier New">researchers who are interested
in the development and application of</font>
<br><font size=2 face="Courier New">formal methods in industry.
In particular, FMICS brings together</font>
<br><font size=2 face="Courier New">scientists and engineers who are active
in the area of formal methods</font>
<br><font size=2 face="Courier New">and interested in exchanging their
experiences in the industrial usage</font>
<br><font size=2 face="Courier New">of these methods. The FMICS workshop
series also strives to promote</font>
<br><font size=2 face="Courier New">research and development for
the improvement of formal methods and</font>
<br><font size=2 face="Courier New">tools for industrial applications.</font>
<br>
<br><font size=2 face="Courier New">Topics</font>
<br><font size=2 face="Courier New">------</font>
<br>
<br><font size=2 face="Courier New">Topics of interest include (but are
not limited to):</font>
<br><font size=2 face="Courier New">* Design, specification, code
generation and testing based on formal</font>
<br><font size=2 face="Courier New"> methods.</font>
<br><font size=2 face="Courier New">* Methods, techniques and
tools to support automated analysis,</font>
<br><font size=2 face="Courier New"> certification, debugging, learning,
optimization and transformation</font>
<br><font size=2 face="Courier New"> of complex, distributed, real-time
systems and embedded systems.</font>
<br><font size=2 face="Courier New">* Verification and validation
methods that address shortcomings of</font>
<br><font size=2 face="Courier New"> existing methods with
respect to their industrial applicability</font>
<br><font size=2 face="Courier New"> (e.g., scalability and usability
issues).</font>
<br><font size=2 face="Courier New">* Tools for the development of formal
design descriptions.</font>
<br><font size=2 face="Courier New">* Case studies and experience
reports on industrial applications of</font>
<br><font size=2 face="Courier New"> formal methods, focusing on
lessons learned or identification of new</font>
<br><font size=2 face="Courier New"> research directions.</font>
<br><font size=2 face="Courier New">* Impact of the adoption of formal
methods on the development process</font>
<br><font size=2 face="Courier New"> and associated costs.</font>
<br><font size=2 face="Courier New">* Application of formal
methods in standardization and industrial</font>
<br><font size=2 face="Courier New"> forums.</font>
<br>
<br>
<br><font size=2 face="Courier New">Paper Submission</font>
<br><font size=2 face="Courier New">----------------</font>
<br>
<br><font size=2 face="Courier New">Submissions must describe authors'
original research work and their</font>
<br><font size=2 face="Courier New">results. Contributions should not exceed
15 pages formatted according</font>
<br><font size=2 face="Courier New">to the LNCS style (Springer),
and should be submitted as Portable</font>
<br><font size=2 face="Courier New">Document Format (PDF) files using the
EasyChair submission site:</font>
<br><font size=2 face="Courier New">https://www.easychair.org/conferences/?conf=fmics2013</font>
<br>
<br><font size=2 face="Courier New">All submissions must report
on original research. Submitted papers</font>
<br><font size=2 face="Courier New">must not have previously
appeared in a journal or conference with</font>
<br><font size=2 face="Courier New">published proceedings and must
not be concurrently submitted to any</font>
<br><font size=2 face="Courier New">other peer-reviewed workshop,
symposium, conference or archival</font>
<br><font size=2 face="Courier New">journal. Any partial overlap
with any such published or concurrently</font>
<br><font size=2 face="Courier New">submitted paper must be clearly indicated.</font>
<br>
<br><font size=2 face="Courier New">Submissions should clearly
demonstrate relevance to industrial</font>
<br><font size=2 face="Courier New">application. Case study
papers should identify lessons learned,</font>
<br><font size=2 face="Courier New">validate theoretical results
(such as scalability of methods), or</font>
<br><font size=2 face="Courier New">provide specific motivation for further
research and development.</font>
<br>
<br><font size=2 face="Courier New">All submissions will be reviewed
by the program committee who will</font>
<br><font size=2 face="Courier New">make a selection among the submissions
based on the novelty, soundness</font>
<br><font size=2 face="Courier New">and applicability of the
presented ideas and results. A printed</font>
<br><font size=2 face="Courier New">version of the proceedings
will be distributed among participants</font>
<br><font size=2 face="Courier New">during the workshop. The proceedings
of the workshop will be published</font>
<br><font size=2 face="Courier New">in the Springer series Lecture Notes
in Computer Science (LNCS).</font>
<br>
<br><font size=2 face="Courier New">Participants will give
a presentation of their papers in twenty</font>
<br><font size=2 face="Courier New">minutes, followed by a ten-minute round
of questions and discussion on</font>
<br><font size=2 face="Courier New">participants' work.</font>
<br>
<br><font size=2 face="Courier New">Following the tradition of the
past editions, a special issue of an</font>
<br><font size=2 face="Courier New">international scientific journal
(Science of Computer Programming or</font>
<br><font size=2 face="Courier New">STTT) will be devoted to
FMICS 2013. Selected participants will be</font>
<br><font size=2 face="Courier New">invited to submit an extended
version of their papers after the</font>
<br><font size=2 face="Courier New">workshop. These extended versions will
again be reviewed by a program</font>
<br><font size=2 face="Courier New">committee, which will decide on their
final publication in the special</font>
<br><font size=2 face="Courier New">issue.</font>
<br>
<br>
<br><font size=2 face="Courier New">Important Dates</font>
<br><font size=2 face="Courier New">---------------</font>
<br>
<br><font size=2 face="Courier New">Paper submission: May 3rd</font>
<br><font size=2 face="Courier New">Notification: June 24th</font>
<br><font size=2 face="Courier New">Final version due: July 12th</font>
<br><font size=2 face="Courier New">Workshop: September 23th-24th</font>
<br>
<br>
<br><font size=2 face="Courier New">Program Committee</font>
<br><font size=2 face="Courier New">-----------------</font>
<br>
<br><font size=2 face="Courier New">Chairs:</font>
<br><font size=2 face="Courier New">Michael Dierkes (Rockwell Collins,
France)</font>
<br><font size=2 face="Courier New">Charles Pecheur (Université catholique
de Louvain, Belgium)</font>
<br>
<br><font size=2 face="Courier New">PC Members (confirmed):</font>
<br><font size=2 face="Courier New">Maria Alpuente (Universitat Politècnica
de València, Spain) </font>
<br><font size=2 face="Courier New">Jiri Barnat (Masaryk University, Czech
Republic) </font>
<br><font size=2 face="Courier New">Eckhard Böde (Offis, Germany) </font>
<br><font size=2 face="Courier New">Jean-Louis Colaço (Prover Technology,
France) </font>
<br><font size=2 face="Courier New">Cindy Eisner (IBM, Israel) </font>
<br><font size=2 face="Courier New">Alessandro Fantechi (Università di
Firenze, Italy) </font>
<br><font size=2 face="Courier New">Andrew Gacek (Rockwell Collins, USA)
</font>
<br><font size=2 face="Courier New">Maria del Mar Gallardo (University
of Málaga, Spain) </font>
<br><font size=2 face="Courier New">Stefania Gnesi (ISTI-CNR, Italy) </font>
<br><font size=2 face="Courier New">Gordon Haak (Daimler AG, Germany) </font>
<br><font size=2 face="Courier New">Holger Hermanns (Saarland University,
Germany) </font>
<br><font size=2 face="Courier New">Stefan Kowalewski (RWTH Aachen, Germany)
</font>
<br><font size=2 face="Courier New">Juliana Küster Filipe Bowles (University
of St Andrews, UK) </font>
<br><font size=2 face="Courier New">Frédéric Lang (INRIA Grenoble Rhône-Alpes,
France) </font>
<br><font size=2 face="Courier New">Diego Latella (ISTI-CNR, Italy) </font>
<br><font size=2 face="Courier New">Odile Laurent (Airbus, France) </font>
<br><font size=2 face="Courier New">Stefan Leue (University of Konstanz,
Germany) </font>
<br><font size=2 face="Courier New">Amel Mammar (Telecom SudParis, France)
</font>
<br><font size=2 face="Courier New">Tiziana Margaria (University of Potsdamm,
Germany) </font>
<br><font size=2 face="Courier New">Radu Mateescu (INRIA Grenoble Rhône-Alpes,
France) </font>
<br><font size=2 face="Courier New">Pedro Merino (University of Málaga,
Spain) </font>
<br><font size=2 face="Courier New">Dave Parker (University of Birmingham,
UK) </font>
<br><font size=2 face="Courier New">Corina Pasareanu (CMU / NASA Ames,
USA) </font>
<br><font size=2 face="Courier New">Jan Peleska (Universität Bremen, Germany)
</font>
<br><font size=2 face="Courier New">Ralf Pinger (Siemens AG, Germany) </font>
<br><font size=2 face="Courier New">Andreas Podelski (University of Freiburg,
Germany) </font>
<br><font size=2 face="Courier New">Christophe Ponsard (CETIC, Belgium)
</font>
<br><font size=2 face="Courier New">Marco Roveri (FBK-IRST, Italy) </font>
<br><font size=2 face="Courier New">Cristina Seceleanu (Mälardalen University,
Sweden) </font>
<br><font size=2 face="Courier New">Marielle Stoelinga (University of Twente,
Netherlands) </font>
<br><font size=2 face="Courier New">Jaco van de Pol (University of Twente,
Netherlands)</font>
<br><font size=2 face="sans-serif"><br>
</font>