The ERCIM Working Group on Formal Methods for Industrial Critical Systems is organising the 25th FMICS conference in Vienna, Austria, on 2-3 September 2020. The aim of the conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. This 25th edition will be celebrated in a special way.
FMICS 2020 is part of the QONFEST umbrella conference comprising also CONCUR, FORMATS, and QEST, along with workshops and tutorials, from August 31 to September 5, 2020. The topics covered by QONFEST are theory, formal modelling, verification, performance evaluation and engineering of concurrent, timed, industrial critical, and other systems.
The paper submission deadline is May 15, 2020. Accepted papers will be included in the Conference Proceedings published in Springer's Lecture Notes in Computer Science in the subline on Formal Methods. Authors of selected papers will be invited to submit an extended version of their paper to a special issue of the "International Journal on Software Tools for Technology Transfer".
Maurice ter Beek, ISTI-CNR (PC co-chair)
Dejan Ničković, AIT Austrian Institute of Technology (PC co-chair)
Ezio Bartocci, TU Wien (General chair)
More information: https://fmics20.ait.ac.at/