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