<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><font size=2 face="Courier New">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; FMICS 2013</font>
<br><font size=2 face="Courier New">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;==========</font>
<br><font size=2 face="Courier New">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;18th International Workshop on</font>
<br><font size=2 face="Courier New">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp;Formal Methods for Industrial Critical Systems</font>
<br><font size=2 face="Courier New">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;September 23-24, 2013</font>
<br><font size=2 face="Courier New">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Madrid (Spain)</font>
<br><font size=2 face="Courier New">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Co-located with SEFM 2013</font>
<br><font size=2 face="Courier New">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; </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><font size=2 face="Courier New">Call for Papers</font>
<br><font size=2 face="Courier New">===============</font>
<br><font size=2 face="Courier New">Scope</font>
<br><font size=2 face="Courier New">-----</font>
<br><font size=2 face="Courier New">The &nbsp;aim of &nbsp;the &nbsp;FMICS
workshop &nbsp;series &nbsp;is to &nbsp;provide &nbsp;a forum &nbsp;for</font>
<br><font size=2 face="Courier New">researchers who &nbsp;are interested
in the development &nbsp;and application of</font>
<br><font size=2 face="Courier New">formal &nbsp;methods &nbsp;in industry.
&nbsp;In &nbsp;particular, &nbsp;FMICS brings &nbsp;together</font>
<br><font size=2 face="Courier New">scientists and engineers who are &nbsp;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 &nbsp;methods. The FMICS &nbsp;workshop
series also strives &nbsp;to promote</font>
<br><font size=2 face="Courier New">research &nbsp;and development for
&nbsp;the improvement &nbsp;of formal &nbsp;methods and</font>
<br><font size=2 face="Courier New">tools for industrial applications.</font>
<br><font size=2 face="Courier New">Topics</font>
<br><font size=2 face="Courier New">------</font>
<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, &nbsp;code
generation and testing &nbsp;based on formal</font>
<br><font size=2 face="Courier New">&nbsp; methods.</font>
<br><font size=2 face="Courier New">* Methods, &nbsp;techniques &nbsp;and
&nbsp; tools &nbsp;to &nbsp;support &nbsp;automated &nbsp;analysis,</font>
<br><font size=2 face="Courier New">&nbsp; certification, debugging, &nbsp;learning,
optimization and transformation</font>
<br><font size=2 face="Courier New">&nbsp; of complex, distributed, real-time
systems and embedded systems.</font>
<br><font size=2 face="Courier New">* Verification &nbsp;and validation
&nbsp;methods that &nbsp;address &nbsp;shortcomings of</font>
<br><font size=2 face="Courier New">&nbsp; existing &nbsp;methods &nbsp;with
respect &nbsp;to &nbsp;their industrial &nbsp;applicability</font>
<br><font size=2 face="Courier New">&nbsp; (e.g., scalability and usability
<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 &nbsp;and experience
&nbsp;reports on industrial &nbsp;applications of</font>
<br><font size=2 face="Courier New">&nbsp; formal methods, focusing on
lessons learned or identification of new</font>
<br><font size=2 face="Courier New">&nbsp; research directions.</font>
<br><font size=2 face="Courier New">* Impact of the adoption of &nbsp;formal
methods on the development process</font>
<br><font size=2 face="Courier New">&nbsp; and associated costs.</font>
<br><font size=2 face="Courier New">* Application &nbsp;of &nbsp;formal
methods &nbsp;in &nbsp;standardization and &nbsp;industrial</font>
<br><font size=2 face="Courier New">&nbsp; forums.</font>
<br><font size=2 face="Courier New">Paper Submission</font>
<br><font size=2 face="Courier New">----------------</font>
<br><font size=2 face="Courier New">Submissions must &nbsp;describe authors'
&nbsp;original research work &nbsp;and their</font>
<br><font size=2 face="Courier New">results. Contributions should not &nbsp;exceed
15 pages formatted according</font>
<br><font size=2 face="Courier New">to &nbsp;the LNCS &nbsp;style (Springer),
&nbsp;and should &nbsp;be submitted &nbsp;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><font size=2 face="Courier New">All &nbsp;submissions must &nbsp;report
on &nbsp;original research. &nbsp;Submitted papers</font>
<br><font size=2 face="Courier New">must &nbsp;not have &nbsp;previously
appeared &nbsp;in a &nbsp;journal or &nbsp;conference with</font>
<br><font size=2 face="Courier New">published proceedings &nbsp;and must
not &nbsp;be concurrently submitted &nbsp;to any</font>
<br><font size=2 face="Courier New">other &nbsp;peer-reviewed &nbsp;workshop,
&nbsp; symposium, &nbsp;conference &nbsp;or &nbsp;archival</font>
<br><font size=2 face="Courier New">journal. Any &nbsp;partial overlap
with any such &nbsp;published or concurrently</font>
<br><font size=2 face="Courier New">submitted paper must be clearly indicated.</font>
<br><font size=2 face="Courier New">Submissions &nbsp;should &nbsp; clearly
&nbsp;demonstrate &nbsp;relevance &nbsp; to &nbsp;industrial</font>
<br><font size=2 face="Courier New">application. &nbsp;Case &nbsp;study
&nbsp;papers &nbsp;should &nbsp;identify &nbsp;lessons &nbsp;learned,</font>
<br><font size=2 face="Courier New">validate &nbsp;theoretical results
&nbsp;(such &nbsp;as scalability &nbsp;of methods), &nbsp;or</font>
<br><font size=2 face="Courier New">provide specific motivation for further
research and development.</font>
<br><font size=2 face="Courier New">All submissions &nbsp;will be &nbsp;reviewed
by the &nbsp;program committee &nbsp;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 &nbsp;applicability &nbsp;of the
&nbsp;presented &nbsp;ideas &nbsp;and &nbsp;results. A &nbsp;printed</font>
<br><font size=2 face="Courier New">version &nbsp;of the &nbsp;proceedings
&nbsp;will be &nbsp;distributed among &nbsp;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><font size=2 face="Courier New">Participants &nbsp;will &nbsp;give
a &nbsp;presentation &nbsp;of &nbsp;their &nbsp;papers in &nbsp;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><font size=2 face="Courier New">Following the &nbsp;tradition of the
past &nbsp;editions, a special &nbsp;issue of an</font>
<br><font size=2 face="Courier New">international scientific &nbsp;journal
(Science of &nbsp;Computer Programming or</font>
<br><font size=2 face="Courier New">STTT) will &nbsp;be devoted &nbsp;to
FMICS 2013. &nbsp;Selected participants &nbsp;will be</font>
<br><font size=2 face="Courier New">invited &nbsp;to submit &nbsp;an &nbsp;extended
&nbsp;version of &nbsp;their &nbsp;papers after &nbsp;the</font>
<br><font size=2 face="Courier New">workshop. These extended versions will
&nbsp;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><font size=2 face="Courier New">Important Dates</font>
<br><font size=2 face="Courier New">---------------</font>
<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><font size=2 face="Courier New">Program Committee</font>
<br><font size=2 face="Courier New">-----------------</font>
<br><font size=2 face="Courier New">Chairs:</font>
<br><font size=2 face="Courier New">Michael Dierkes (Rockwell Collins,
<br><font size=2 face="Courier New">Charles Pecheur (Université catholique
de Louvain, Belgium)</font>
<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)
<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)
<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)
<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)
<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)
<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,
<br><font size=2 face="sans-serif"><br>
&#8220;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.&#8221;<br>
« Les informations contenues dans ce courriel et tout document attaché
peuvent être de nature confidentielle ou propriétaire. Si vous n&#8217;êtes
pas le destinataire escompté, merci d&#8217;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>