Liverpool, UK, 2-4 September 2026
FMICS is the annual conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems and the leading forum at the intersection of formal methods research and industrial applications. The conference aims to bring together researchers, practitioners and tool developers interested in the development and deployment of formal methods for safety-critical systems. ERCIM is pleased to sponsor this year's edition.
As in previous years, FMICS is part of the CONFEST umbrella umbrella event consisting of three main conferences CONCUR, FMICS and QEST+FORMATS, and affiliated workshops. The 2026 edition will take place on the main campus of the University of Liverpool, on 1-5 September 2026.
The technical programme features presentations on topics including industrial adoption of formal methods, deductive software verification, concurrent systems, autonomous systems, railway interlocking, model merging and formal verification tools. Invited presentations will be given by Julia Badger (NASA Johnson Space Center, USA), who will discuss the application of formal methods to the design and verification of autonomous space systems, and Colin O'Halloran (University of York and D-RiSQ Ltd, UK), who will address the role of formal methods in reducing time to market for industrial software.
The programme committee is chaired by Peter Gorm Larsen (Aarhus University, Denmark) and Kristin Yvonne Rozier (Iowa State University, USA).
More information and registration:
https://confest-2026.github.io/fmics/
