Call for Papers: FM 2026

FM 2026 is the 27th international symposium on Formal Methods, organized by Formal Methods Europe (FME). The event will take place in Tokyo, Japan, from May 18 to May 22, 2026, at Hitotsubashi Hall.

FM 2026 aims to foster the exchange of ideas and experiences among researchers and industrial users in formal methods. It will feature invited talks, research papers, special tracks, workshops, and tutorials.

Invited Speakers

Distinguished experts Cristian Cadar, Ichiro Hasuo, Daniel Kroening, and Ruzica Piskac will deliver keynote speeches.

Tracks

• Invited Talks
• Research Track
• TAP Track (Tests and Proofs)
• Artifact Evaluation Track
• Journal First Track
• Industry Day
• Workshops
• Tutorials

Topics of Interest

FM 2026 welcomes papers on the development and application of formal methods across various domains, including:

• Trustworthy AI
• Computer-based systems
• Systems-of-systems
• Cyber-physical systems
• Security
• Human-computer interaction
• Manufacturing
• Sustainability
• Energy, Transport
• Smart cities
• Smart contracts in blockchain
• Healthcare and biology

Particular emphasis is placed on interdisciplinary settings, industrial applications, tool development, and theoretical foundations.

Submission Guidelines

We solicit the following categories of papers:

• Regular Papers: (max 15 pages) - excluding references and appendices.
• Long tool papers: (max 15 pages) - excluding references and appendices.
• Case study papers: (max 15 pages) - excluding references and appendices. Authors are encouraged to make their complete development available.
• Short papers: (max 6 pages) - including tool demonstration papers, excluding references and appendices.

All submissions must be original work, not published or submitted elsewhere, and written in English, following the Springer LNCS format.

• Reviewing: Single-blind. Each paper will be evaluated by at least three members of the Program Committee.
• Artifacts: Authors of papers reporting experimental work are strongly encouraged to make their experimental results available. Authors of tool and tool demonstration papers should make their tools available and are highly encouraged to participate in the artifact evaluation.
• Appendices: May provide additional material (e.g., proofs, experiments) but are not part of the page count and will only be read at the reviewers' discretion.
• Category: Papers will be accepted or rejected in their submitted category and will not be moved.
• Presentation: At least one author of an accepted paper must present the paper at the conference as a registered participant.

Important Dates (AoE - UTC-12h)

• Abstract Submission: Tuesday, November 25, 2025
• Full Paper Submission: Tuesday, December 2, 2025
• Paper Notification: Friday, February 6, 2026
• Final Version: Monday, March 2, 2026
• Main Conference: May 20–22, 2026

Proceedings

The conference proceedings will be published open access by Springer in the LNCS series, as part of the FM subline.

Submissions

The submission link will be announced soon.

Authors of all accepted papers are invited to submit an artifact for evaluation by the FM 2026 Artifact Evaluation Committee after the paper notification.

Awards

An award will be presented to the authors of the submission selected as the FM 2026 Best Paper.

Special Issue

Extended versions of selected papers will be invited for publication in a special issue of a journal (to be announced).

Program Committee Chairs

• Augusto Sampaio, Universidade Federal de Pernambuco, Brazil
• Marielle Stoelinga, University of Twente and Radboud University, the Netherlands