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.

The ERCIM Evaluation Committee for the Cor Baayen Young Researcher Award unanimously selected Fabio Carrara from ISTI-CNR as the winner for 2022. An honorary mention was given to Cédric Colas from Inria.