<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Courier;
panose-1:0 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 6 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:Courier;color:#242424;background:white">FMICS 2023: 28th International Conference on Formal Methods for Industrial Critical Systems</span><span style="font-family:Courier;color:#242424"><br>
<span style="background:white">Antwerp, Belgium, 20-22 September 2023</span><br>
</span><span style="font-family:Courier;color:black;border:none windowtext 1.0pt;padding:0in;background:white">https://www.uantwerpen.be/en/conferences/confest-2023/fmics/</span><span style="font-family:Courier;color:#242424"><br>
<br>
<span style="background:white">The aim of the FMICS conference series is to provide a forum for researchers</span><br>
<span style="background:white">and practitioners who are interested in the development and application of</span><br>
<span style="background:white">formal methods in the industry. FMICS brings together scientists and engineers</span><br>
<span style="background:white">who are active in the area of formal methods and interested in exchanging their</span><br>
<span style="background:white">experiences in the industrial usage of these methods.</span><br>
<span style="background:white">The FMICS conference series also strives to promote research and development</span><br>
<span style="background:white">for the improvement of formal methods and tools for industrial applications.</span><br>
<br>
<span style="background:white">IMPORTANT DATES:</span><br>
<br>
<span style="background:white">Paper submission: 15 May 2023</span><br>
<span style="background:white">Authors’ response period: 28-30 June 2023</span><br>
<span style="background:white">Notification: 14 July 2023</span><br>
<span style="background:white">Camera-ready version: July 31, 2023</span><br>
<span style="background:white">Conference: 20-22 September 2023</span><br>
<br>
<span style="background:white">TOPICS:</span><br>
<br>
<span style="background:white">Topics of interest include (but are not limited to):</span><br>
<span style="background:white">- Case studies and experience reports on industrial applications of formal</span><br>
<span style="background:white">methods, focusing on lessons learned or identification of new research</span><br>
<span style="background:white">directions.</span><br>
<span style="background:white">- Methods, techniques, and tools to support automated analysis, certification,</span><br>
<span style="background:white">debugging, learning, optimization, and transformation of complex, distributed,</span><br>
<span style="background:white">real-time, embedded, mobile and autonomous systems.</span><br>
<span style="background:white">- Verification and validation methods (model checking, theorem proving, SAT/SMT</span><br>
<span style="background:white">constraint solving, abstract interpretation, etc.) that address the shortcomings of</span><br>
<span style="background:white">existing methods with respect to their industrial applicability (e.g.,</span><br>
<span style="background:white">scalability and usability issues, tool qualification, and certification).</span><br>
<span style="background:white">- Impact of the adoption of formal methods on the development process and</span><br>
<span style="background:white">associated costs.</span><br>
<span style="background:white">- Application of formal methods in standardization and industrial forums.</span><br>
<br>
<span style="background:white">PAPER SUBMISSION:</span><br>
<br>
<span style="background:white">Papers must describe original research work and results. Submitted papers must</span><br>
<span style="background:white">not have previously appeared in a journal or conference with published</span><br>
<span style="background:white">proceedings and must not be concurrently submitted to any other peer-reviewed</span><br>
<span style="background:white">workshop, symposium, conference, or archival journal. Any partial overlap with</span><br>
<span style="background:white">any such published or concurrently submitted paper must be clearly indicated.</span><br>
<br>
<span style="background:white">Submissions should clearly motivate relevance to industrial applications. Case</span><br>
<span style="background:white">study papers should identify lessons learned, validate theoretical results</span><br>
<span style="background:white">(such as scalability of methods) or provide specific motivation for further</span><br>
<span style="background:white">research and development.</span><br>
<br>
<span style="background:white">Papers should not exceed 15 pages formatted according to the LNCS style</span><br>
<span style="background:white">(Springer). All submissions will be reviewed by the Programme Committee, which</span><br>
<span style="background:white">will make a selection among the submissions based on the novelty, soundness,</span><br>
<span style="background:white">and applicability of the presented ideas and results.</span><br>
<span style="background:white">Papers must be written in English and should be submitted as PDF files using</span><br>
<span style="background:white">the EasyChair submission site: </span></span><span style="font-family:Courier;color:black;border:none windowtext 1.0pt;padding:0in;background:white">https://easychair.org/conferences/?conf=fmics2023</span><span style="font-family:Courier;color:#242424;background:white">.</span><span style="font-family:Courier;color:#242424"><br>
<br>
<span style="background:white">PROCEEDINGS:</span><br>
<br>
<span style="background:white">The conference proceedings will be published by Springer in the LNCS series. At</span><br>
<span style="background:white">least one author of each accepted paper is expected to present the paper at the</span><br>
<span style="background:white">conference as a registered participant.</span><br>
<br>
<span style="background:white">BEST PAPER AWARD:</span><br>
<br>
<span style="background:white">An award will be presented to the authors of the submission selected by the</span><br>
<span style="background:white">Program Committee as the FMICS 2023 Best Paper. This submission will be awarded</span><br>
<span style="background:white">a 1.000 Euro prize sponsored by Springer.</span><br>
<br>
<span style="background:white">SPECIAL ISSUE:</span><br>
<br>
<span style="background:white">The Program Committee of FMICS 2023 will invite a selection of accepted papers</span><br>
<span style="background:white">to submit extended versions to a special issue of an International Journal.</span><br>
<br>
<span style="background:white">PC CHAIRS:</span><br>
<br>
<span style="background:white">Alessandro Cimatti, FBK, Italy</span><br>
<span style="background:white">Laura Titolo, NIA/NASA LaRC, USA</span><br>
<br>
<span style="background:white">PROGRAM COMMITTEE:</span><br>
<br>
<span style="background:white">Jasmin Blanchette (Vrije Universiteit Amsterdam, the Netherlands)</span><br>
<span style="background:white">Supratik Chakraborty (IIT Bombay, India)</span><br>
<span style="background:white">Pedro D'Argenio (Universidad Nacional de Cordoba, Argentina)</span><br>
<span style="background:white">Jennifer Davis (Collins Aerospace, USA)</span><br>
<span style="background:white">David Deharbe (Federal University of Rio Grande do Norte, Brazil)</span><br>
<span style="background:white">Alexandre Duret-Lutz (Laboratoire de Recherche et Développement de l'Epita, France)</span><br>
<span style="background:white">Alessandro Fantechi (University of Florence, Italy)</span><br>
<span style="background:white">Alessio Ferrari (CNR, Italy)</span><br>
<span style="background:white">Hubert Garavel (INRIA, France)</span><br>
<span style="background:white">Pierre-Loic Garoche (ENAC, France)</span><br>
<span style="background:white">Klaus Havelund (JPL, USA)</span><br>
<span style="background:white">Jean-Baptiste Jeannin (University of Michigan, USA)</span><br>
<span style="background:white">Barbara Jobstmann (EPFL, Switzerland)</span><br>
<span style="background:white">Laura Kovac (TU Wien, Austria)</span><br>
<span style="background:white">Tiziana Margaria (University of Limerick and LERO, Ireland)</span><br>
<span style="background:white">Paolo Masci (NIA/NASA Langley, USA)</span><br>
<span style="background:white">Stefan Mitsch (CMU, USA)</span><br>
<span style="background:white">Rosemary Monahan (Maynooth University, Ireland)</span><br>
<span style="background:white">David Monniaux (VERIMAG, France)</span><br>
<span style="background:white">Sergio Mover (Ecole Politechnique, France)</span><br>
<span style="background:white">Yannick Moy (ADACORE, France)</span><br>
<span style="background:white">Jorge Navas (Certora, USA)</span><br>
<span style="background:white">Dejan Nickovic (Austrian Institute of Technology, Austria)</span><br>
<span style="background:white">Kristine Yvonne Rozier (Iowa State University, USA)</span><br>
<span style="background:white">Cristina Seceleanu (Malardalen University, Sweden)</span><br>
<span style="background:white">Martina Seidl (Johannes Kepler University, Austria)</span><br>
<span style="background:white">Jaco van de Pol (Aarhus University, Denmark)</span><br>
<span style="background:white">Alicia Villanueva (Universitat Politecnica de Valencia, Spain)</span><br>
<span style="background:white">Virginie Wiels (Onera, France)</span><br>
<br>
<span style="background:white">FMICS STEERING COMMITTEE:</span><br>
<br>
<span style="background:white">Maurice ter Beek (ISTI-CNR, Italy)</span><br>
<span style="background:white">Alessandro Fantechi (University of Florence, Italy)</span><br>
<span style="background:white">Hubert Garavel (INRIA, France)</span><br>
<span style="background:white">Tiziana Margaria (University of Limerick and LERO, Ireland)</span><br>
<span style="background:white">Radu Mateescu (INRIA, France)</span><br>
<span style="background:white">Jaco van de Pol (Aarhus University, Denmark)</span><br>
<br>
<span style="background:white">VENUE:</span><br>
<br>
<span style="background:white">As in previous years, FMICS 2023 is part of the CONFEST umbrella conference. In</span><br>
<span style="background:white">addition to FMICS, CONFEST also comprises CONCUR, FORMATS, and QEST, as well as</span><br>
<span style="background:white">workshops and tutorials.</span><br>
<span style="background:white">CONFEST will be held in Antwerp, Belgium on 18-23 September 2023.</span></span><span style="font-family:Courier"><o:p></o:p></span></p>
</div>
</body>
</html>