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