FMICS 2024 paper submission deadline is very close

Call-for-papers:
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/