Call for Papers

• Paper submission: 15 May 2023 28 May 2023
• Authors’ response period: 28-30 June 2023 12-14 July 2023
• Notification: 14 July 2023 21 July 2023
• Camera-ready version: July 31, 2023
• Conference: 20-22 September 2023

Topics of interest include (but are not limited to):

• Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions.
• Methods, techniques, and tools to support automated analysis, certification, debugging, learning, optimization, and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems.
• Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues, tool qualification, and certification).
• Impact of the adoption of formal methods on the development process and associated costs.
• Application of formal methods in standardization and industrial forums.

Papers must describe original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated.

Submissions should clearly motivate relevance to industrial applications. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development.

Papers should not exceed 15 pages formatted according to the LNCS style (Springer). References do not contribute to the page limit. All submissions will be reviewed by the Programme Committee, which will make a selection among the submissions based on the novelty, soundness, and applicability of the presented ideas and results. Papers must be written in English and should be submitted as PDF files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2023.

Papers will be reviewed by at least three members of the program committee. This year we have introduced a rebuttal phase, in order to give the authors the possibility to clarify any questions the reviewers may have.

The conference proceedings will be published by Springer in the LNCS series. At least one author of each accepted paper is expected to present the paper at the conference as a registered participant.

Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers.

An award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2023 Best Paper. This submission will be awarded a 1.000 Euro prize sponsored by Springer.

The Program Committee of FMICS 2023 will invite a selection of accepted papers to submit extended versions to a special issue of an international journal.