<font size=2 face="Courier New">The deadline of the FMICS 2013 workshop
has been extended by one week.</font>
<br><font size=2 face="Courier New">The extended submisson deadline is
May 10th.</font>
<br>
<br>
<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">
</font><a href=http://lvl.info.ucl.ac.be/Fmics2013><font size=2 face="Courier New">http://lvl.info.ucl.ac.be/Fmics2013</font></a>
<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><a href="https://www.easychair.org/conferences/?conf=fmics2013"><font size=2 face="Courier New">https://www.easychair.org/conferences/?conf=fmics2013</font></a>
<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 10th</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>
<br><font size=2 face="sans-serif"><br>
“The information in this e-mail and any attached document may be of a
confidential or proprietary nature. If you are not the intended recipient,
please notify Rockwell Collins immediately and delete this e-mail and any
attached document. Any unauthorised disclosure, distribution or copying
hereof is prohibited.”<br>
<br>
« Les informations contenues dans ce courriel et tout document attaché
peuvent être de nature confidentielle ou propriétaire. Si vous n’êtes
pas le destinataire escompté, merci d’en informer Rockwell Collins immédiatement
et de détruire ce courriel ainsi que tout document attaché. Toute divulgation,
distribution ou copie de ces informations sans autorisation préalable est
interdite. »</font>