<div style="background-color:transparent;font-family:Times;font-size:medium"><b id="internal-source-marker_0.7646458242088556" style="font-weight:normal"><span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">====================================================================</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>Second Call for Papers</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span></span><span style="font-size:15px;font-family:'Courier New';color:rgb(34,34,34);background-color:rgb(255,255,204);font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">FMICS</span><span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> 2012</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>17th International Workshop on</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>Formal Methods for Industrial Critical Systems</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span></span><a href="http://fmt.cs.utwente.nl/conferences/fmics2012/"><span style="font-size:15px;font-family:'Courier New';color:rgb(17,85,204);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">http://fmt.cs.utwente.nl/conferences/fmics2012/</span></a><br>
<a href="http://fmt.cs.utwente.nl/conferences/fmics2012/"><span style="font-size:15px;font-family:'Courier New';color:rgb(17,85,204);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap"></span></a><br>
<a href="http://fmt.cs.utwente.nl/conferences/fmics2012/"><span style="font-size:15px;font-family:'Courier New';color:rgb(17,85,204);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap"></span></a><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>August 27/28, 2012, Paris, France</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>Co-located with FM 2012</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">====================================================================</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Scope</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">The aim of the </span><span style="font-size:15px;font-family:'Courier New';color:rgb(34,34,34);background-color:rgb(255,255,204);font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">FMICS</span><span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> workshop series is to provide a forum for</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">researchers who are interested in the development and application of</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">formal methods in industry. In particular, </span><span style="font-size:15px;font-family:'Courier New';color:rgb(34,34,34);background-color:rgb(255,255,204);font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">FMICS</span><span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> brings together</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">scientists and engineers that are active in the area of formal</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">methods and interested in exchanging their experiences in the</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">industrial usage of these methods. The </span><span style="font-size:15px;font-family:'Courier New';color:rgb(34,34,34);background-color:rgb(255,255,204);font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">FMICS</span><span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> workshop series also</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">strives to promote research and development for the improvement of</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">formal methods and tools for industrial applications.</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Workshop Proceedings will be published in Springer's LNCS series.</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">--------------------------------------------------------------------</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Topics of interest include (but are not limited to):</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>* Design, specification, code generation and testing based on</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>formal methods.</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>* Methods, techniques and tools to support automated analysis,</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>certification, debugging, learning, optimization and</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>transformation of complex, distributed, real-time systems</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>and embedded systems.</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>* Verification and validation methods that address</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>shortcomings of existing methods with respect to their</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>industrial applicability (e.g., scalability and usability</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>issues).</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>* Tools for the development of formal design descriptions.</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>* Case studies and experience reports on industrial</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>applications of formal methods, focusing on lessons learned</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>or identification of new research directions.</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>* Impact of the adoption of formal methods on the development</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>process and associated costs.</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>* Application of formal methods in standardization and</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"> <span class="Apple-tab-span" style="white-space:pre"> </span>industrial forums.</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">--------------------------------------------------------------------</span><br>
<span style="font-size:15px;font-family:'Courier New';color:rgb(0,0,0);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Programme Committee</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Alessandro Cimatti, FBK, Italy</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Alessandro Fantechi, University of Florence, Italy</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Bernard Schaetz, Fortiss, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Cindy Eisner, IBM Haifa, Israel</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Corina Pasareanu, NASA AMES, USA</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* David Parker, University of Oxford, UK</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Franjo Ivancic, NEC Laboratories America, USA</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Frederic Lang, INRIA Grenoble Rhone-Alpes, France</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Georgios Fainekos, Arizona State University, USA</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Gwen Salaün, INRIA Grenoble Rhone-Alpes, France</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Holger Hermanns, Saarland University, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Jakob Rehof, University of Dortmund, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Jan Peleska, University of Bremen, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Joost-Pieter Katoen, RWTH Aachen, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Judi Romijn, Movares, the Netherlands</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Juliana Bowles, University of St Andrews, UK</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* John Rushby, SRI International, USA</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Lubos Brim, Masaryk University, Czech Republic</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Maria del Mar Gallardo, University of Malaga, Spain</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Marjan Sirjani, Reykjavik University, Iceland</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Michael Dierkes, Rockwell Collins, France</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Michaela Huhn, Technical University Clausthal, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Mieke Massink, CNR-ISTI Pisa, It</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Odile Laurent, Airbus, France</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Stefan Kowalewski, RWTH Aachen, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Stefan Leue, University of Konstanz, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Thomas Peikenkamp, Office, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">* Tiziana Margaria, University of Potsdamm, Germany</span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap"></span><br>
<span style="font-size:16px;font-family:'Courier New';color:rgb(34,34,34);background-color:transparent;font-weight:normal;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Important Dates<br class="kix-line-break">
<br class="kix-line-break"> * Abstract submission: March 28th, 2012<br class="kix-line-break"><br class="kix-line-break"> * Paper submission: April 4th, 2012<br class="kix-line-break"><br class="kix-line-break"> * Notification: May 25th, 2012<br class="kix-line-break">
<br class="kix-line-break"> * Final version due: June 8th, 2012<br class="kix-line-break"><br class="kix-line-break"> * Workshop: August 27th-28th, 2012<br class="kix-line-break"><br class="kix-line-break">--------------------------------------------------------------------</span></b></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>