FMTea2026: Formal Methods Teaching Workshop Hitotsubashi Hall Tokyo, Japan, May 19, 2026 |
| Conference website | https://fmtea.github.io/ |
| Submission link | https://easychair.org/conferences/?conf=fmtea2026 |
| Abstract registration deadline | January 25, 2026 |
| Submission deadline | February 1, 2026 |
FMTea 2026 invites high-quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. We welcome papers discussing the successes and failures of various methods, case studies, tools, etc. As self-learning is an emerging aspect of formal methods, we appreciate experiences with online teaching, including experiences with teaching formal methods via MOOCs.
List of Topics
A non-exhaustive list of topics of interest for the workshop is as follows:
- Experiences and proposals related to "traditional" and online FM learning and teaching;
- Innovative learning/teaching methods (e.g., automated grading/feedback using LLMs);
- Integrating/embedding formal methods within other computer science courses;
- Integrating/embedding FM teaching/thinking within other computer science courses;
- Teaching formal methods for industry;
- Student projects, including group projects.
If applicable, we encourage authors to provide the following information in the paper: degree and level of students, delivery mode (in person, synchronous or asynchronous, blended, flipped classroom, etc.), number of students, assessment dynamics, languages and tools addressed.
Important Dates
- January 25, 2026: deadline for submitting abstracts
- February 01, 2026: deadline for submitting papers
- March 01, 2026: deadline for notifying authors
- March 29, 2026: deadline for camera-ready version
- May 19, 2026: FMTea 2026 Workshop
Submission Guidelines
Each submitted paper will be reviewed by at least three PC members. Reviewing is single-blind. All submissions must be original, unpublished, not submitted for publication elsewhere, and written in English. Submissions must be in PDF format, using the Springer LNCS format. Papers should not exceed 15 pages (excluding references and appendices) in length. Submissions should be made using the FMTea 2026 EasyChair website:
https://easychair.org/conferences?conf=fmtea2026
All accepted papers must be presented at the workshop. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM 2026 organizers, and present the paper.
Use of AI by authors
FMTea 2026 adheres to Springer's policy on AI use in papers. In brief:
- Use of an LLM should be properly documented in the Methods section (and if a Methods section is not available, in a suitable alternative part) of the manuscript.
- The use of an LLM (or other AI-tool) for “AI assisted copy editing” purposes does not need to be declared.
For further information, see the full policy.
Committees
Program Committee
- Erika Abraham, RWTH Aachen University, Germany
- Sandrine Blazy, University of Rennes - IRISA, France
- Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil
- Brijesh Dongol, University of Surrey, United Kingdom
- Catherine Dubois, ENSIIE-Samovar, France
- Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Japan
- Thierry Lecomte, CLEARSY, France
- Michael Leuschel, University of Düsseldorf, Germany
- Tim Nelson, Brown University, United States of America
- Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil
- David Pearce, Victoria University of Wellington, New Zealand
- Luigia Petre, Åbo Akademi University, Finland
- Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil
- Pierluigi San Pietro, Politecnico di Milano, Italy
- Emil Sekerinski, McMaster University, Canada
- Graeme Smith, The University of Queensland, Australia
Organizing committee
- Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil
- Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Japan
Invited Speakers
- to be announced
Publication
FMTea 2026 proceedings will be published in Formal Methods Teaching series of Springer’s Lecture Notes in Computer Science. Their authors must be prepared to sign a copyright transfer statement.
Contact
All questions about submissions should be emailed to fmtea2026 "@" easychair.org.