Co-located with Formal Methods (FM) 2024 in Milan, 9-11 September 2024
The Formal Methods for Industrial Critical Systems (FMICS) conference series offers a platform for researchers and practitioners focused on the development and application of formal methods in industry. FMICS brngs together scientists and engineers to share their experiences in industrial applications of formal methods. Additionally, the conference promotes research and development to enhance formal methods and tools for industrial use.