by Maurice ter Beek (CNR-ISTI)
The yearly conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, FMICS [L1], the key conference at the intersection of industrial applications and formal methods, reached its 29th edition. This year the participants met in Milan, Italy, during 9-11 September 2024.
The aim of the FMICS conference series is to provide a forum for researchers and practitioners interested in the development and application of formal methods in industry. It strives to promote research and development for improving formal methods and tools for industrial applications.
FMICS 2024 [L2] was chaired by Anne Haxthausen (Technical University of Denmark, Lyngby) and Wendelin Serwe (Inria Grenoble, France) and organised by the general chairs Matteo Pradella and Matteo Rossi (Politecnico di Milano, Italy) and their team as a co-located event of FM 2024, the 26th International Symposium on Formal Methods. As part of this co-location, FM and FMICS organised a joint Industry Day on 11 September. This is one of the reasons for which FMICS 2024 overall attracted about 100 participants from many countries worldwide, from academia as well as industry, making this a very well attended edition.
The international program committee, with 35 members from 15 different countries, received 22 submissions and decided to accept 14 papers after a rigorous reviewing process. The program moreover included two excellent invited keynote presentations, namely “The Business of Proof” by Byron Cook (Amazon Web Services, UK) and “B+ or how to model system properties in a formal software model” by Thierry Lecomte (Clearsy, France), both of which attracted many participants also from FM and from the other co-located conferences FACS, LOPSTR, PPDP and TAP. ERCIM and Inria generously sponsored the invited speakers (Figure 1).
Figure 1: FMICS 2024 PC chairs Anne Haxthausen and Wendelin Serwe acknowledged ERCIM sponsoring of the invited speakers during the conference opening presentation.
Following a tradition established over the years, Springer sponsored the FMICS best paper awards. This year, the program committee selected the contributions “Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios” by Jan Steffen Becker (German Aerospace Center, Oldenburg) as the FMICS 2024 Best Paper (Figure 2) and “Logika: The Sireum Verification Framework” by Robby, John Hatcliff and Jason Belt (Kansas State University, USA) as the FMICS 2024 Best Tool Paper (Figure 3).
Figure 2: Jan Steffen Becker received the FMICS 2024 Best Paper Award from the PC chairs Anne Haxthausen and Wendelin Serwe.
Figure 3: John Hatcliff received the FMICS 2024 Best Tool Paper Award from the PC chairs Anne Haxthausen and Wendelin Serwe.
FMICS 2025 will take place in Aarhus, Denmark, under the CONFEST 2025 umbrella, alongside CONCUR, FORMATS and QEST, and organised by the general chairs Jaco van de Pol and Andreas Pavlogiannis (University of Aarhus, Denmark) and their team during 25-30 August 25-30.
Links:
[L1] https://fmics.inria.fr/
[L2] https://fmics.inria.fr/2024/
Reference:
[1] A.E. Haxthausen and W. Serwe (eds.), Formal Methods for Industrial Critical Systems: Proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems (FMICS'24), Milan, Italy, 9-11 September 2024. Lecture Notes in Computer Science, volume 14952, Springer, Cham, 2024. DOI: https://link.springer.com/book/10.1007/978-3-031-68150-9
Please contact:
Maurice ter Beek, CNR-ISTI,