I-Day@FM'21: Industry Day of Formal Methods Institute of Software, Chinese Academy of Sciences Beijing, China, August 20-26, 2021 |
Conference website | https://sites.google.com/view/i-day21 |
Submission link | https://easychair.org/conferences/?conf=iday2021 |
Submission deadline | May 10, 2021 |
The Industry Day of Formal Methods 2021 (I-Day@FM’21) will take place as part of the FM’21 conference organized by Formal Methods Europe 20-26 November 2021 at the Institute of Software, Chinese Academy of Sciences in Beijing, China.
Important Dates
-
Paper submission:
06 May 202110 May 2021 -
Notification: 16 July 2021
-
Final version: 16 August 2021
-
Industry Day: TBA (one day during FM'21 20-26 November 2021)
Topics
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 organized in conjunction with FM and targets 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 state of the art in formal methods is today, seen from an industry point of view.
The I-Day welcomes research papers, experience reports 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.
Topics of particular interest include (but are not restricted to):
- formal modelling and verification techniques
- safety and security
- autonomous vehicles
- explainable AI
Submission Guidelines
We welcome two types of submission:
- Industrial experience reports or research papers with strong connection to industry – not more than 10 pages in length (including appendices and references).
- Extended abstracts – between 2 and 4 pages (including appendices and references).
All papers must be original and not simultaneously submitted elsewhere. The evaluation will be based on the innovative aspects of the subject and its connection with current topics.
At least one author of each accepted paper must register to the conference.
To submit your paper please go to the conference submission site (https://easychair.org/conferences/?conf=iday2021).
Submissions must be formatted in the Springer LNCS format. The conference proceedings will be published by Springer in the LNCS series, as part of the FM conference proceedings.