Important Dates
| Abstract Submission | April 19th, 2024 (Fri) | 23:59 AoE | |
| Paper Submission | April 19th, 2024 (Fri) | 23:59 AoE | |
| Paper Notification | June 10th, 2024 (Mon) | 23:59 AoE | |
| Final Version | July 1st, 2024 (Mon) | 23:59 AoE | |
| Industry Day | September 11th, 2024 |
The FM series of events has been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers.
The Industry Day (i-Day) is a forum organised in conjunction with FM and targets the industrial development and use of formal methods. The objective of i-Day is to bring industry to the congress, and to foster the important discussion about where the state of the art in formal methods is today, seen from an industry point of view.
We welcome papers and extended abstracts describing industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports and experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome engineering and certification/qualification problems, led to improvements in design or provided new insights, with safety and/or security consideration in mind, etcetera.
Topics of particular interest include (but are not restricted to):
- formal modelling and verification techniques
- safety and security
- formal methods and generative AI
- autonomous systems
- explainable AI
Submissions
We solicit two types of submission:
Full papers, being either industrial experience reports or research papers with strong connexion with industry – no more than 15 pages in length (excluding appendices and references), and with the industry connexion made explicit by having at least one author employed in industry.
Extended abstracts – between 2 and 4 pages.
The selection will be based on the innovative aspects of the subject and its connexion with current topics.
At least one author of each accepted paper must register to the conference.
To submit your paper go to the conference submission site (https://easychair.org/conferences/?conf=fm24) and select the i-Day track. Extended abstracts can be submitted as regular papers in Easychair. You can indicate that it is an extended abstract by adding the prefix or suffix “(Extended Abstract)” to the title.
Submissions must be formatted in the Springer LNCS format. Accepted full papers will be included in the conference proceedings and will be published by Springer in the LNCS series, as part of the FM conference proceedings. Extended abstracts will not be included in the formal proceedings. For full papers, a lightweight shepherding process will be used to ensure that papers address the reviewers’ feedback before inclusion in the conference proceedings.
Industry Day Committee
| Member(s) | Affiliation | Role |
| Cláudio Gomes | Aarhus University, Denmark | PC Member |
| Mario Gleirscher | University of Bremen, Germany | PC Member |
| Leo Freitas | Newcastle University, UK | PC Member |
| Dimitra Giannakopoulou | AWS, USA | PC Member |
| Nikolai Kosmatov | Thales Research & Technology, France | PC Member |
| Klaus Havelund | California Institute of Technology, USA | PC Member |
| Jennifer Davis | Collins Aerospace, USA | PC Member |
| Nikolaj Bjørner | Microsoft, USA | PC Member |