[Event at CIG] FMICS 2024 submission deadline approaches

[Anne Elisabeth Haxthausen]

29th International Conference on Formal Methods for Industrial Critical 
Systems

Co-located with FM 2024 in Milan, Italy, 9-11 September 2024

IMPORTANT DATES
- Abstract submission: 25 April 2024
- Paper submission: 1 May 2024
- Notification: 10 June 2024
- Camera-ready version: 23 June 2024
- Conference: 9-11 September 2024

For more info, see: https://fmics.inria.fr/2024/

-- 
Anne Haxthausen, Associate Professor
DTU Compute
Building 321
Technical University of Denmark
DK-2800 Lyngby
E-mail: aeha at dtu.dk