[Event at CIG] FMICS 2024: Call for Participation

[Anne Elisabeth Haxthausen]

FMICS 2024 - Call for Participation

FMICS 2024:
29th International Conference on Formal Methods for Industrial Critical 
Systems
9-11 September 2024
Politecnico di Milano, Milan, Italy
https://fmics.inria.fr/2024

Co-located with FM 2024, TAP 2024, LOPSTR 2024, PPDP 2024, and FACS 2024.

REGISTRATION
Registration page link: https://www.fm24.polimi.it/?page_id=559
Early bird registration ends on July 30th.

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.

KEYNOTE SPEAKERS
- Byron Cook (University College London, Amazon Web Services): The 
Business of Proof
- Thierry Lecomte (CLEARSY): B+ or how to model system properties in a 
formal software model
- and more

ACCEPTED PAPERS
See https://fmics.inria.fr/2024/#accepted

PC Chairs
- Anne Haxthausen: aeha at dtu.dk
- Wendelin Serwe: wendelin.serwe at inria.fr

SPONSORS
- Springer
- ERCIM 
- INRIA