25th Birthday Festivities

Formal Methods for Industrial Critical Systems: genesis, success stories, and the next 25 years During FMICS 2020, the 25th anniversary of the FMICS conference series will be celebrated with a …

Coronavirus

The Program Chairs of FMICS are closely following the situation regarding Coronavirus (COVID-19) and are in close contact with the QONFEST organizers. We will take appropriate measures if and when …