TutorialsFM 2026

Accepted Tutorials

Call for Tutorials

We are inviting proposals for tutorials to complement the main FM 2026 symposium. The primary goal of these tutorials is to convey ideas with a focus on pedagogy over technical innovation. They offer a valuable platform for participants to discuss technical challenges, exchange research concepts, explore educational strategies, and demonstrate or investigate practical applications. Tutorials should be designed to be broadly accessible and pedagogically oriented, clarifying key concepts, building intuition, and ensuring ease of understanding. They aim to attract new researchers, serve as bridges to practitioners, and disseminate useful ideas widely. These may be driven by fundamental academic interests, or by needs from specific application domains.

We encourage a diversity of topics relating to different ways of developing and using formal methods as well as all theoretical aspects of software engineering, including complex applications. Although tutorials focused on tools are a traditional choice, tutorials covering techniques are also welcome. Authors interested in proposing different types of tutorials are encouraged to contact the chairs for guidance. Overall, we welcome a broad range of tutorial topics, as long as they are relevant to the interests of the formal methods community. Moreover, we also invite topics at the intersection of machine learning and formal methods due to the growing interest in AI and machine learning-based software development.

Accepted tutorial papers will be published in the conference proceeding volume. Authors of these papers will be allocated a presentation slot during the tutorial sessions prior to the main conference. When submitting tutorial papers, authors should indicate their preferred presentation length, which can be either half a day or a full day.

Important Dates

• Submission Deadline: February 20, 2026 (AoE)
• Acceptance Notification: March 9, 2026
• Camera-ready versions: March 16, 2026

Submission Instructions

Submission should be done through the FM 2026 submission page, handled by the EasyChair conference system:

https://easychair.org/conferences/?conf=fm2026

As in previous years, the proceedings will be published in the Springer Lecture Notes in Computer Science series.

Tutorial papers can be at most 25 pages in LNCS format (including references and appendices). There is no minimum length; the tutorial should be as long as necessary to be effective, but should avoid filler. Tools should include links and descriptions of how to run them. The paper must provide clear references to the original technical content and they are welcome to include an appendix for better details.

Formatting style files and further guidelines for formatting can be found at the Springer website.

Tutorials Co-Chairs

• Kazuhiro Ogata, Japan Advanced Institute of Science and Technology, Japan
• Neeraj Kumar Singh, INPT-ENSEEIHT/IRIT, University of Toulouse, France