FMTea 2026 🇯🇵

FMTea 2026

May 19, 2026

Tokyo, Japan

Formal Methods Teaching Workshop

This event is a one-day combination of keynote and workshop presentations, where various models of teaching are presented and explored, together with innovative approaches relevant for educators of Formal Methods.

Main important dates

Submission 2026-02-22

Notification 2026-03-15

Camera-ready 2026-03-29

🎯 Objectives and Scope
Formal methods originated as a means for the rigorous construction of software systems. While formal methods are increasingly being used in industry in recent years, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. It is thus important to develop, share, and discuss approaches to effectively teach formal methods to the next generations.
👤👤👤 Organization
Event affiliated with FM 2026, the 27th International Symposium on Formal Methods, and supported by the Teaching Committee of the Formal Methods Europe Association.

Chairs of the Program Committee

  • Gustavo Carvalho,
    Universidade Federal de Pernambuco, Brazil
  • Tsutomu Kobayashi,
    Japan Aerospace Exploration Agency, Japan

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
🗣️ Keynote Speakers

Prof. Alcino Cunha
University of Minho, Portugal
INESC TEC, Portugal

Talk: Teaching Logic with Specification Challenges

About: My research aims to make formal software design more accessible for all software engineers. Together with colleagues at INESC TEC and ONERA, we developed the new version 6 of the popular Alloy formal specification framework, and also Alloy4Fun, a web application for sharing and learning Alloy. In the past I also worked on formal analysis techniques for robotic software developed with ROS, namely the HAROS framework, and on model repair and (bidirectional) transformation, namely the Echo framework.

Prof. Jim Woodcock
Southwest University, China
Aarhus University, Denmark
University of York, U.K.

Talk: Teaching Unifying Theories of Programming

About: Jim Woodcock is the Anniversary Chair Emeritus in Software Engineering at the University of York. He is a Fellow of the Royal Academy of Engineering, a Chartered Engineer, a Chartered IT Professional, and an award-winning researcher and teacher. He is also the Professor of Software Engineering for Mobile and Autonomous Robots at Aarhus University and Professor of Cyber-Physical Systems at Southwest University in China. He has 45 years of experience in formal software and systems design methods. He has dedicated his research career to searching for the mathematical principles essential to the practice of software engineering. His research interests include cyber-physical systems, robotics, and digital twins, with a particular focus on industrial applications. He is Editor-in-Chief Emeritus of the ACM journal Formal Aspects of Computing.
📚 Call for Papers
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. 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.

Submission Details

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. The proceedings will be published in the Formal Methods Teaching series of Springer’s Lecture Notes in Computer Science.


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. Their authors must be prepared to sign a copyright transfer statement. 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.

Springer Nature Code of Conduct: link.

🗓️ Important Dates
  • January 25, 2026
    February 22, 2026: deadline for submitting abstracts
    (extended – AoE, hard deadline)
  • February 01, 2026
    February 22, 2026: deadline for submitting papers
    (extended – AoE, hard deadline)
  • March 01, 2026
    March 15, 2026: deadline for notifying authors (extended)
  • March 29, 2026: deadline for camera-ready version
  • May 19, 2026: FMTea 2026 Workshop
🔔 Registration
Registration details are available at the main FM 2026 conference site: link. To request a visa support letter, please refer to the following instructions: link
📖 Program
List of accepted papers:

  • Autograding Weakest Precondition Proofs and Dafny Specifications (Graeme Smith and Hunter Whitlock)

  • Automatic Assessment and Feedback on Undergraduates’ Structural Induction Proofs (Edward Sabinus, Thomas Kühn and Wolf Zimmermann)

  • Learning Formal Methods through Project-Based Modeling of Concurrent Systems with Anemone (Manel Barkallah and Jean-Marie Jacquet)

  • Seven-Year Activity to Introduce B-Method to Japanese Technical College Students (Takaomi Ohnishi, Yoshihiko Nakamura and Ryota Yamamoto)

  • Teaching Frama-C for Cybersecurity (Julien Signoles)

  • VeHa: A Hybrid National Verification Hackathon for Better Formal Methods Education (Sergey Staroletov, Dmitry Kondratyev, Shilov Nikolay, Alexander Kogtenkov and Vladimir Shelekhov)

A first version of the program is available below. More details to follow soon.

09:00 - 10:30

  • 09:00 - 09:10: Opening Remarks
  • 09:10 - 10:30: Technical Session #1

10:30 – 11:00

  • Coffee break

11:00 - 12:30

  • 11:00 - 12:00: Invited Talk #1
  • 12:00 - 12:30: FM4All Session #1

12:30 – 14:00

  • Lunch break

14:00 - 15:30

  • 14:00 - 15:00: Invited Talk #2
  • 15:00 - 15:30: FM4All Session #2

15:30 – 16:00

  • Coffee break

16:00 - 17:30

  • 16:00 - 17:20: Technical Session #2
  • 17:20 - 17:30: Closing Remarks
📜 Previous Editions

Related events:

📩 Contact
fmtea2026@easychair.org