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. Access free proceedings here.
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 panel in which the founders and previous chairpersons of the FMICS working group of ERCIM will act as panelists. They will recall the original motivation and beginning of FMICS, share some success stories, and present a study on the future of formal methods and their adoption in industry.
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 no physical meeting/presentations will take place. We plan that the authors will record their talks and discuss them with the conference participants online.