ID2019: ID@FM'19 (Industry Day - Formal Methods 2019) |
Website | http://formalmethods2019.inesctec.pt/?page_id=353 |
Submission link | https://easychair.org/conferences/?conf=id20191 |
Conference program | https://easychair.org/smart-program/ID2019/ |
Abstract registration deadline | May 19, 2019 |
Submission deadline | May 19, 2019 |
==============================================================
Call for Papers
New full paper submission deadline: 19 May 2019
==============================================================
i-Day 2019 - Industry Day
3rd World Congress on Formal Methods
Porto, Portugal, October 7-11, 2019
==============================================================
FM’19 is the third world congress on Formal Methods. 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 targeting 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 (http://formalmethods2019.inesctec.pt/?page_id=353).
The i-Day will host two keynotes, Michael Leuschel (University of Dusseldorf) and Constance Heitmeyer (Naval Research Laboratory), and several presentations selected through a call for papers.
The i-Day welcomes short 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.
Topics of particular interest include (but are not restricted to):
- formal modelling and verification techniques
- safety and security
- autonomous vehicles
- explainable AI
We can accept two types of submission:
- Industrial experience reports or research papers with strong connexion with industry – not more than 10 pages in length (including appendices and references)
- 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=id20191).
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.
Important dates
- 19 May 2019 full paper submission deadline (10 May 2019)
- 14 June 2019 notification
- 14 July 2019 camera-ready papers submitted
- 11 October 2019 Industry Day in Porto
I-Day Chairs
Joe Kiniry, Galois, Inc
Thierry Lecomte, ClearSy
PC members
Flemming Andersen, Galois Inc.
Stylianos Basagianni, United Technologies Research centre
Roderick Chapman, Protean Code Limited
David Cok, GrammaTech
Alessandro Fantechi, DINFO - Universita' di Firenze
Chris Hawblitzel, Microsoft
Peter Gorm Larsen, Aarhus University
Michael Leuschel, University of Düsseldorf
Yannick Moy, AdaCore
Jan Peleska, Verified Systems International GmbH
Etienne Prun, CLEARSY
Kenji Taguchi, CAV Technologies Co., Ltd.
Stefano Tonetta, FBK-irst
Daniel Zimmerman, Galois Inc.
M. Antony Aiello, AdaCore Technologies