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-01
Notification 2026-03-01
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
- to be announced
🗣️ Keynote Speakers
to be announced
📚 Call for Papers
to be announced
🗓️ 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
🔔 Registration
to be announced
📖 Program
to be announced
📜 Previous Editions
- FMTea 2024, Milan, Italy – proceedings
- FMTea 2023, Lübeck, Germany – proceedings
- FMTea 2021, Beijing, China – proceedings
- FMTea 2019, Porto, Portugal – proceedings
- TFM 2009, Eindhoven, The Netherlands – proceedings
- TFM 2004, Ghent, Belgium – proceedings
Related events:
- FMET 2008, Kitakyushu, Japan – proceedings
- FORMED 2008, Budapest, Hungary
- FM-Ed 2006, Hamilton, Canada – proceedings
- BCS-FACS TFM Workshop 2006, London, UK
- BCS-FACS TFM Workshop 2003, Oxford, UK
📩 Contact