<span style="border-collapse:collapse;color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="font-family:Times;font-size:medium"><pre style="white-space:pre-wrap;word-wrap:break-word">
============================================================
Second Call for Papers
<span style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">FMICS</span> 2012
17th International Workshop on
Formal Methods for Industrial Critical Systems
<a href="http://fmt.cs.utwente.nl/conferences/fmics2012/" target="_blank" style="color:rgb(17,85,204)">http://fmt.cs.utwente.nl/conferences/fmics2012/</a>
August 27/28, 2012, Paris, France
Co-located with <a href="http://fm2012.cnam.fr/">FM 2012</a>
====================================================================
Scope
The aim of the <span style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">FMICS</span> workshop series is to provide a forum for
researchers who are interested in the development and application of
formal methods in industry. In particular, <span style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">FMICS</span> brings together
scientists and engineers that are active in the area of formal
methods and interested in exchanging their experiences in the
industrial usage of these methods. The <span style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">FMICS</span> workshop series also
strives to promote research and development for the improvement of
formal methods and tools for industrial applications.
Workshop Proceedings will be published in Springer's LNCS series.
--------------------------------------------------------------------
Topics of interest include (but are not limited to):
* Design, specification, code generation and testing based on
formal methods.
* Methods, techniques and tools to support automated analysis,
certification, debugging, learning, optimization and
transformation of complex, distributed, real-time systems
and embedded systems.
* Verification and validation methods that address
shortcomings of existing methods with respect to their
industrial applicability (e.g., scalability and usability
issues).
* Tools for the development of formal design descriptions.
* Case studies and experience reports on industrial
applications of formal methods, focusing on lessons learned
or identification of new research directions.
* Impact of the adoption of formal methods on the development
process and associated costs.
* Application of formal methods in standardization and
industrial forums.
--------------------------------------------------------------------</pre><pre style="white-space:pre-wrap;word-wrap:break-word">Programme Committee</pre></span></span><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Alessandro Cimatti, FBK, Italy</span><div>
<span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Alessandro Fantechi, University of Florence, Italy</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Bernard Schaetz, Fortiss, Germany</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Cindy Eisner, IBM Haifa, Israel</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Corina Parareanu, NASA AMES, USA</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Franjo Ivancic, NEC Laboratories America, USA</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Frederic Lang, INRIA Grenoble Rhone-Alpes, France</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Georgios Fainekos, Arizona State University, USA</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Holger Hermanns, Saarland University, Germany</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Jakob Rehof, University of Dortmund, Germany</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Jan Peleska, University of Bremen, Germany</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Joost-Pieter Katoen, RWTH Aachen, Germany</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Judi Romijn, Movares, the Netherlands</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Juliana Bowles, University of St Andrews, UK</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Lubos Brim, Masaryk University, Czech Republic</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Odile Laurent, Airbus, France</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Marjan Sirjani, Reykjavik University, Iceland</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Michael Dierkes, Rockwell Collins, France</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Michaela Huhn, Technical University Clausthal, Germany</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Mieke Massink, CNR-ISTI Pisa, It</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Stefan Kowalewski, RWTH Aachen, Germany</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Stefan Leue, University of Konstanz, Germany</span></div><div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Thomas Peikenkamp, Office, Germany</span></div>
<div><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:monospace;white-space:pre-wrap;font-size:medium"> * Tiziana Margaria, University of Potsdamm, Germany</span><span style="border-collapse:collapse;color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><span style="font-family:Times;font-size:medium"><pre style="white-space:pre-wrap;word-wrap:break-word">
<br></pre><pre style="white-space:pre-wrap;word-wrap:break-word">Important Dates
* Abstract submission: March 28th, 2012
* Paper submission: April 4th, 2012
* Notification: May 25th, 2012
* Final version due: June 8th, 2012
* Workshop: August 27th-28th, 2012
--------------------------------------------------------------------</pre><span class="HOEnZb"><font color="#888888"><div><br></div></font></span></span></span></div><div><br></div>-- <br><div>Dr Marielle Stoelinga</div>
<div>Associate Professor of Risk Management for ICT</div><div>University of Twente</div><div><a href="http://www.cs.utwente.nl/~marielle" target="_blank">www.cs.utwente.nl/~marielle</a></div><br>