The aim of FMICS is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

FMICS is the ERCIM Working Group conference on Formal Methods for Industrial Critical Systems, and it is the key conference in the intersection of industrial applications and Formal Methods.

Important Dates

calendarAbstract submission: May 8, 2020 May 22, 2020
Paper submission: May 15, 2020 May 29, 2020 (23:59:59 AoE)
Author notification: July 1, 2020
Camera-ready version: July 15, 2020
Conference: September 2-3, 2020

This event is supported by

Imprint | Data protection disclaimer


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 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.

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 no physical meeting/presentations will take place. We plan that the authors will record their talks and discuss them with the conference participants online.