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:

[1] A. Lluch Lafuente and A. Mavridou (eds.), Formal Methods for Industrial Critical Systems, Proc. of FMICS'21, LNCS, v.12863, Springer, 2021.

Please contact:
Maurice ter Beek, ISTI-CNR, Itay
This email address is being protected from spambots. You need JavaScript enabled to view it.

Next issue: July 2023
Special theme:
"Eplainable AI"
Call for the next issue
Image ERCIM News 127
This issue in pdf


Image ERCIM News 127 epub
This issue in ePub format

Get the latest issue to your desktop
RSS Feed
Cookies user preferences
We use cookies to ensure you to get the best experience on our website. If you decline the use of cookies, this website may not function as expected.
Accept all
Decline all
Read more
Tools used to analyze the data to measure the effectiveness of a website and to understand how it works.
Google Analytics
Set of techniques which have for object the commercial strategy and in particular the market study.
DoubleClick/Google Marketing