Report of the 29th International Conference on Formal Methods for Industrial Critical Systems
by Maurice ter Beek (CNR-ISTI)
The yearly conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, FMICS [L1], the key conference at the intersection of industrial applications and formal methods, reached its 29th edition. This year the participants met in Milan, Italy, during 9-11 September 2024.