by Maurice ter Beek (ISTI-CNR)
The yearly conference of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, FMICS, the key conference at the intersection of industrial applications and formal methods, reached its 26th edition this year. Unfortunately, also this year the conference took place virtually, in Paris, France, from 24-26 August.
The aim of the FMICS conference series is to provide a forum for researchers interested in the development and application of formal methods in industry. It strives to promote research and development for the improvement of formal methods and tools for industrial applications.
The conference was chaired by Alberto Lluch Lafuente (Technical University of Denmark) and Anastasia Mavridou (NASA Ames Research Center, USA) and organized under the umbrella of QONFEST 2021, alongside with CONCUR, QEST and FORMATS, organized by Benoît Barbot (Université Paris-Est Créteil, France) and his team. FMICS 2021 attracted quite a lot of participants from many countries worldwide, both from academia and industry.
A good number of 31 papers were submitted, of which 16 (10 regular, 4 tool and 2 short) papers were accepted. The program moreover included the wonderful and thought-provoking invited keynote “Haunting Tales of Applied Formal Methods from Academia and Industry” by Joe Kiniry (Galois Inc. and Free & Fair, USA), which was very well received and well attended by over 60 participants. Videos of the live sessions are available from the QONFEST 2021 YouTube channel.
Following a tradition established over the years, Springer provided an award for the best FMICS paper. This year, the program committee selected the contribution “Automated Verification of Temporal Properties of Ladder Programs” by Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, and Hiroaki Inoue for the FMICS 2021 Best Paper Award. The awarded paper is a nice example of how to realize the vision of FMICS when industry and academia collaborate.
Yout tube channel: https://www.youtube.com/playlist?list=PL1iXF7Fixufco87wV9d0DD7XwsMUUQarm
 A. Lluch Lafuente and A. Mavridou (eds.), Formal Methods for Industrial Critical Systems, Proc. of FMICS'21, LNCS, v.12863, Springer, 2021. https://doi.org/10.1007/978-3-030-85248-1
Maurice ter Beek, ISTI-CNR, Itay