27th International Conference on Formal Methods for Industrial Critical Systems - FMICS’22
by Maurice ter Beek
The yearly conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, FMICS, the key conference at the intersection of industrial applications and formal methods, reached its 27th edition this year. Moreover, after two years online, this year’s participants met in Warsaw, Poland, on 14 and 15 September.