by Maurice ter Beek (CNR-ISTI, Pisa, Italy)
The yearly conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, FMICS, the key conference at the intersection of industrial applications and formal methods, reached its 30th edition. This year, the participants met in Aarhus, Denmark, on 27-28 August 2025.
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. This year we celebrated the 30th edition of this annual conference, held across Europe (see Figure 1).
Figure 1: The annual conference of ERCIM’s FMICS WG has been organised all over Europe.
The conference was chaired by Anne Remke (University of Münster, Germany) and Bernhard Steffen (Technical University of Dortmund, Germany) and organised by the general chairs Jaco van de Pol and Andreas Pavlogiannis (Aarhus University, Denmark) and their team as a co-located event of CONFEST 2025, alongside CONCUR and QEST+FORMATS, as well as a number of pre- and post-conference workshops. FMICS 2025 overall attracted about 50 participants from many countries worldwide, from academia as well as industry.
The international program committee, with 26 members from 12 different countries, received 24 submissions and decided to accept 13 papers after a rigorous reviewing process. The program moreover included two excellent invited keynote presentations, namely “Navigating the Growing Field of Research on AI for Software Testing – The Taxonomy for AI-Augmented Software Testing and an Ontology-Driven Literature Survey” by Ina Schieferdecker (Technical University of Berlin, Germany) and “Sound and Modest Approaches to Quantitative Model Checking from Sea to Space” by Arnd Hartmanns (University of Twente, The Netherlands). The first keynote was organized as a joint session with CONCUR and QEST+FORMATS, while the second keynote also attracted many participants from the other co-located conferences (see Figure 2).
Figure 2: Q&A session following Arnd Hartmanns’ keynote presentation during FMICS 2025.
Following a tradition established over the years, Springer and EASST (European Association for the Study of Science and Technology) sponsored the FMICS Best Paper Award. This year, the program committee selected the contribution “Proof Engineering in Logika: Synergistically Integrating Automated and Semi-Automated Program Verification” by Stefan Hallerstede (Aarhus University, Denmark), Robby, John Hatcliff and Jason Belt (Kansas State University, USA), and David Hardin (Collins Aerospace, USA) as the FMICS 2025 Best Paper.
The PC chairs of FMICS 2026 are Kristin Yvonne Rozier (Iowa State University, USA) and Peter Gorm Larsen (Aarhus University, Denmark). FMICS 2026 will take place in Liverpool, UK, under the CONFEST 2026 umbrella, alongside CONCUR and QEST+FORMATS, and will be organised by the general chairs David Purser and Patrick Totzke (University of Liverpool, UK) and their team on 1-5 September 2026.
Links:
CONFEST 2026 conference website: https://confest-2026.github.io/
FMICS 2025 conference website: https://fmics2025.uni-muenster.de/
ERCIM WG FMICS: https://fmics.inria.fr/
Reference:
[1] A. Remke and B. Steffen (eds.), “Formal Methods for Industrial Critical Systems”, Proc. of the 30th Int. Conf. on Formal Methods for Industrial Critical Systems (FMICS'25), Aarhus, Denmark, 27-28 August 2025. Springer LNCS, vol. 16040, 2025. DOI: https://doi.org/10.1007/978-3-032-00942-5
Please contact:
Maurice ter Beek, CNR-ISTI, Italy
