<div dir="ltr"><font face="monospace, monospace">Apologies for multiple postings.<br><br>------------------------------------------------<br>FMICS 2019: the 24th International Conference on <br>Formal Methods for Industrial Critical Systems<br><br>Co-located with CONCUR and FORMATS<br><br>Aug 30-31, 2019, Amsterdam, The Netherlands<br><a href="https://fmics2019.fsa.win.tue.nl">https://fmics2019.fsa.win.tue.nl</a><br>------------------------------------------------<br><br>The aim of the FMICS conference series is to provide a forum for<br>researchers who are interested in the development and application of<br>formal methods in industry. In particular, FMICS brings together<br>scientists and engineers who are active in the area of formal methods<br>and interested in exchanging their experiences in the industrial usage<br>of these methods. The FMICS conference series also strives to promote<br>research and development for the improvement of formal methods and<br>tools for industrial applications.<br><br><br>Important Dates <br><br>Abstract submission: 19 April 2019<br>Paper submission: 26 April 2019<br>Notifications: 5 June 2019<br>Camera ready: 19 June 2019 <br>Conference: 30-31 August 2019<br><br><br>Topics <br><br>Topics of interest include (but are not limited to): <br><br>- Case studies and experience reports on industrial applications of formal <br>  methods, focusing on lessons learned or identification of new research <br>  directions.<br>- Methods, techniques and tools to support automated analysis, certification,<br>  debugging, descriptions, learning, optimisation and transformation of complex, <br>  distributed, real-time, embedded, mobile and autonomous systems.<br>- Verification and validation methods (model checking, theorem proving,<br>  SAT/SMT constraint solving, abstract interpretation, etc.) that address <br>  shortcomings of existing methods with respect to their industrial applicability <br>  (e.g., scalability and usability issues).<br>- Impact of the adoption of formal methods on the development process and <br>  associated costs. Application of formal methods in standardisation and <br>  industrial forums.<br><br><br>Submission and Publication <br><br>Papers must describe authors' original research work and results.<br>Submitted papers must not have previously appeared in a journal or<br>conference with published proceedings and must not be concurrently<br>submitted to any other peer-reviewed workshop, symposium, conference<br>or archival journal. Any partial overlap with any such published or<br>concurrently submitted paper must be clearly indicated.<br><br>Submissions should clearly motivate relevance to industrial<br>application. Case study papers should identify lessons learned,<br>validate theoretical results (such as scalability of methods) or<br>provide specific motivation for further research and development.<br><br>Papers should not exceed 15 pages (excluding max. 2 pages of<br>references) formatted according to the LNCS style (Springer). All<br>submissions will be reviewed by the Programme Committee who will make<br>a selection among the submissions based on the novelty, soundness<br>and applicability of the presented ideas and results.<br><br>Papers must be written in English and should be submitted as Portable<br>Document Format (PDF) files using the EasyChair submission site:<br><br><a href="https://easychair.org/conferences/?conf=fmics2019">https://easychair.org/conferences/?conf=fmics2019</a><br><br>The conference proceedings will be published by Springer in their LNCS<br>series.<br><br><br>Committees<br>----------<br><br>Programme Chairs<br>- Kim Larsen, Aalborg University<br>- Tim Willemse, Eindhoven University of Technology<br><br>Programme Committee (confirmed) <br><br>- Bernhard Aichernig, TU Graz<br>- Jiri Barnat, Masaryk University<br>- Joerg Brauer, Verified Systems International GmbH<br>- Ana Cavalcanti, University of York<br>- Michael Fisher, University of Liverpool<br>- Wan Fokkink, Vrije Universiteit Amsterdam<br>- Maria-Del-Mar Gallardo, University of Malaga<br>- Hubert Garavel, INRIA<br>- Anne Haxthausen, Technical University of Denmark<br>- Peter Höfner, CSIRO<br>- Jozef Hooman, TNO-ESI/Radboud University Nijmegen<br>- Falk Howar, Dortmund University of Technology/Fraunhofer ISST<br>- Jeroen Keiren, Eindhoven University of Technology<br>- Zhiming Liu, Southwest University<br>- Tiziana Margaria, Lero<br>- Peter Ölveczky, University of Oslo<br>- Charles Pecheur, Université Catholique de Louvain<br>- Matteo Rossi, Politecnico di Milano<br>- Cristina Seceleanu, Mälardalen University<br>- Scott Smolka, Stony Brook University<br>- Maurice ter Beek, ISTI-CNR<br>- Helen Treharne, University of Surrey<br>- Jaco van de Pol, Aarhus University<br><br><br>--<br>T.A.C. Willemse (T.A.C.Willemse@TUe.nl)<br><br>+31 40 2472999 (voice)<br><br><a href="http://www.win.tue.nl/~timw">http://www.win.tue.nl/~timw</a><br><a href="http://www.linkedin.com/in/tacwillemse">http://www.linkedin.com/in/tacwillemse</a><br><a href="http://orcid.org/0000-0003-3049-7962">http://orcid.org/0000-0003-3049-7962</a><br>--</font></div>