Call for Participation: FMICS 2026: 31st International Conference on Formal Methods for Industrial Critical Systems
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.

