Liverpool, UK, 2-4 September 2026
FMICS is the annual conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, and it is the key conference in the intersection of industrial applications and Formal Methods.
The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
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 September 1-5, 2026.
Topics of Interest
Formal specification, including specification elicitation, validation, debugging, sanity checking, revision, coverage, and explainability.
Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions.
Methods, techniques, and tools to support automated analysis, certification, debugging, learning, optimization, and transformation of complex, distributed, real-time, embedded, mobile, and autonomous systems.
Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues, tool qualification, and certification).
Transfer to industry and impact of adoption of formal methods on the development process and associated costs in industry as well as application of formal methods in standardization and industrial forums.
Deadlines
The paper submission deadline is 17 April 2026. Accepted papers will be included in the Conference Proceedings published as part of Springer's Lecture Notes in Computer Science series. As in best FMICS tradition, the paper with the best contributions to Software Science and Technology will be honoured with the EASST best paper award.
Invited Speakers
Julia Badger (NASA Johnson Space Center, USA)
Colin O’Halloran (D-RisQ, UK)
PC Chairs
Peter Gorm Larsen (Aarhus University, Denmark)
Kristin Yvonne Rozier (Iowa State University, USA)
More information: https://confest-2026.github.io/fmics/
Submission link: https://easychair.org/conferences?conf=fmics2026