*** FMICS 2024 - DEADLINE EXTENSION *** 29th International Conference on Formal Methods for Industrial Critical Systems New abstract submissiondeadline: 4 May2024 New fullpapersubmissiondeadline: 8 May 2024 For moreinfo, see: https://fmics.inria.fr/2024/ <https://fmics.inria.fr/2024/>