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 …

Virtual FMICS

Amid the recent COVID-19 situation, the organization committee decided that QONFEST 2020, including FMICS 2020, will be organized on-line. Accepted papers will be published as planned, by September 2020, but …