***************************************************************************************** FM 2026 Tutorials: Call for Tutorials https://conf.researchr.org/track/fm-2026/fm-2026-tutorials ***************************************************************************************** ## Overview FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The FM symposia have been successful in bringing together researchers and industrial users around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. 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 02, 2026 (AoE) - Acceptance Notification: February 28, 2026 - Camera-ready versions: March 13, 2026 More information can be found on the website of FM 2026: https://conf.researchr.org/track/fm-2026/fm-2026-tutorials ## 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 (more details: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…). ## Tutorials Co-Chairs - Kazuhiro Ogata, Japan Advanced Institute of Science and Technology, Japan - Neeraj Kumar Singh, INPT-ENSEEIHT/IRIT, University of Toulouse, France