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.

Links:
https://qonfest2021.lacl.fr/fmics21.php
Yout tube channel: https://www.youtube.com/playlist?list=PL1iXF7Fixufco87wV9d0DD7XwsMUUQarm

Reference:
[1] 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

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: October 2022
Special theme:
"Ethical Software Engineering and Ethically Aligned Design"
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
Save
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
Analytics
Tools used to analyze the data to measure the effectiveness of a website and to understand how it works.
Google Analytics
Accept
Decline
Marketing
Set of techniques which have for object the commercial strategy and in particular the market study.
DoubleClick/Google Marketing
Accept
Decline