FMICS 2024 - DEADLINE EXTENSION
29th International Conference on Formal Methods for Industrial Critical Systems
New abstract submission deadline: 4 May 2024
New full paper submission deadline: 8 May 2024
For more info, see: https://fmics.inria.fr/2024/