FMICS Proceedings 2007-2020 available for free!
Since this year is the 25th anniversary of FMICS, Springer has kindly made all FMICS proceedings published with them (from 2007 onwards) freely available for a period of 4 weeks. …
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 …