<div dir="ltr"><div>CALL FOR PAPERS (incl. deadline extension due to popular demand)</div><div><br></div><div>FMICS 2015</div><div>20th International Workshop on</div><div>Formal Methods for Industrial Critical Systems</div><div>(<a href="http://fmics2015.org/">http://fmics2015.org/</a>)</div><div><br></div><div>22-23 June 2015, Oslo, Norway</div><div><br></div><div>In co-location with FM 2015: 20th International Symposium on Formal Methods</div><div><br></div><div>############################################################################</div><div><br></div><div>The aim of the FMICS workshop series is to provide a forum for researchers who</div><div>are interested in the development and application of formal methods in </div><div>industry. In particular, FMICS brings together scientists and engineers that </div><div>are active in the area of formal methods and interested in exchanging their </div><div>experiences in the industrial usage of these methods. The FMICS workshop series</div><div>also strives to promote research and development for the improvement of formal </div><div>methods and tools for industrial applications.</div><div><br></div><div>Important Dates</div><div><br></div><div>     Abstract submission: January 19th, 2015</div><div>     Paper submission: January 26th, 2015</div><div>     Notification: March 13th, 2015</div><div>     Final version due: March 30th, 2015</div><div>     Workshop: June 22nd-23rd, 2015</div><div><br></div><div>Topics of interest include (but are not limited to):</div><div><br></div><div>- Design, specification, code generation and testing based on formal methods.</div><div>- Methods, techniques and tools to support automated analysis, certification,</div><div>  debugging, learning, optimization and transformation of complex, distributed,</div><div>  real-time systems and embedded systems.</div><div>- Verification and validation methods that address shortcomings of existing</div><div>  methods with respect to their industrial applicability (e.g., scalability and</div><div>  usability issues).</div><div>- Tools for the development of formal design descriptions.</div><div>- Case studies and experience reports on industrial applications of formal </div><div>  methods, focusing on lessons learned or identification of new research </div><div>  directions.</div><div>- Impact of the adoption of formal methods on the development process and </div><div>  associated costs. Application of formal methods in standardization and </div><div>  industrial forums.</div><div><br></div><div>Paper Submission</div><div><br></div><div>Submissions must describe authors&#39; original research work and results.</div><div>Submitted papers must not have previously appeared in a journal or conference</div><div>with published proceedings and must not be concurrently submitted to any other</div><div>peer-reviewed workshop, symposium, conference or archival journal. Any partial</div><div>overlap with any such published or concurrently submitted paper must be</div><div>clearly indicated.</div><div><br></div><div>Submissions should clearly demonstrate relevance to industrial application.</div><div>Case study papers should identify lessons learned, validate theoretical</div><div>results (such as scalability of methods), or provide specific motivation for</div><div>further research and development.</div><div><br></div><div>Submissions should not exceed 15 pages formatted according to the LNCS style</div><div>(Springer), and should be submitted as Portable Document Format (PDF) files</div><div>using the EasyChair submission site.</div><div><br></div><div>All submissions will be reviewed by the program committee who will make a</div><div>selection among the submissions based on the novelty, soundness and</div><div>applicability of the presented ideas and results. The proceedings of the</div><div>workshop will be published in the Springer series Lecture Notes in Computer</div><div>Science (LNCS) and distributed during the workshop.</div><div><br></div><div>Participants will give a presentation of their papers in twenty minutes,</div><div>followed by a ten-minute round of questions and discussion on participants&#39; work.</div><div><br></div><div>Following the tradition of the past editions, a special issue </div><div>of either SCP or STTT will be devoted to FMICS 2015.</div><div>Selected participants will be invited to submit an extended version of their</div><div>papers after the workshop. These extended versions will again be reviewed to</div><div>decide on their final publication on the special issue.</div><div><br></div><div>Programme Committee</div><div><br></div><div>PC Chairs</div><div><br></div><div><span class="" style="white-space:pre">        </span>Manuel Núñez (Universidad Complutense de Madrid, Spain)</div><div><span class="" style="white-space:pre">        </span>Matthias Güdemann (Systerel, France)</div><div><br></div><div>Publicity Chair</div><div><br></div><div>     Alberto Núñez Covarrubias (Universidad Complutense de Madrid, Spain)</div><div><br></div><div>PC Members</div><div><br></div><div><span class="" style="white-space:pre">        </span>Maria Alpuente (Universitat Politècnica de València, Spain)</div><div><span class="" style="white-space:pre">        </span>Alvaro Arenas (IE University, Spain)</div><div><span class="" style="white-space:pre">        </span>Jiri Barnat (Masaryk University, Czech Republic)</div><div><span class="" style="white-space:pre">        </span>Jean Paul Blanquart (Astrium Satellites, France)</div><div><span class="" style="white-space:pre">        </span>Eckard Böde (Offis, Germany)</div><div><span class="" style="white-space:pre">        </span>Mario Bravetti (University of Bologna, Italy)</div><div><span class="" style="white-space:pre">        </span>Michael Dierkes (Rockwell Collins, France)</div><div><span class="" style="white-space:pre">        </span>Cindy Eisner (IBM Research - Haifa, Israel)</div><div><span class="" style="white-space:pre">        </span>Alessandro Fantechi (Università di Firenze, Italy)</div><div><span class="" style="white-space:pre">        </span>Francesco Flammini (Ansaldo STS, Italy)</div><div><span class="" style="white-space:pre">        </span>María del Mar Gallardo (University of Málaga, Spain)</div><div><span class="" style="white-space:pre">        </span>Stefania Gnesi (ISTI-CNR, Italy)</div><div><span class="" style="white-space:pre">        </span>Matthias Güdemann (Systerel, France)</div><div><span class="" style="white-space:pre">        </span>Clément Houtmann (Google, Switzerland)</div><div><span class="" style="white-space:pre">        </span>Frédéric Lang (Inria &amp; LIG, France)</div><div><span class="" style="white-space:pre">        </span>Luis Llana (Universidad Complutense de Madrid, Spain)</div><div><span class="" style="white-space:pre">        </span>Alberto Lluch (DTU, Denmark)</div><div><span class="" style="white-space:pre">        </span>Paqui Lucio (University of the Basque Country, Spain)</div><div><span class="" style="white-space:pre">        </span>Tiziana Margaria (University of Potsdam, Germany)</div><div><span class="" style="white-space:pre">        </span>Jasen Markovski (GN ReSound Benelux, The Netherlands)</div><div><span class="" style="white-space:pre">        </span>Radu Mateescu (Inria, France)</div><div><span class="" style="white-space:pre">        </span>David Mentré (Mitsubishi Research, France)</div><div><span class="" style="white-space:pre">        </span>Benjamin Monate (TrustInSoft, France)</div><div><span class="" style="white-space:pre">        </span>Manuel Núñez (Universidad Complutense de Madrid, Spain)</div><div><span class="" style="white-space:pre">        </span>Charles Pecheur (Université catholique de Louvain, Belgium)</div><div><span class="" style="white-space:pre">        </span>Marielle Petit-Doche (Systerel, France)</div><div><span class="" style="white-space:pre">        </span>Ralf Pinger (Siemens AG, Germany)</div><div><span class="" style="white-space:pre">        </span>Jaco van de Pol (University of Twente, Netherlands)</div><div><span class="" style="white-space:pre">        </span>Wendelin Serwe (Inria &amp; LIG, France)</div><div><span class="" style="white-space:pre">        </span>Hans Svensson (Quviq, Sweden)</div><div><span class="" style="white-space:pre">        </span>Anton Wijs (Technical U. Eindhoven, The Netherlands)</div><div><span class="" style="white-space:pre">        </span>Franz Wotawa (Graz University, Austria)</div><div><span class="" style="white-space:pre">        </span>Fatiha Zaïdi (Université Paris-Sud XI, France)</div><div><br></div>
</div>