FMTea 2026: Formal Methods Teaching Workshop

May 19, 2026 Events

FMTea 2026 Website: https://fmtea.github.io

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.

Past events

  • FMTea24: Formal Methods Teaching Workshop
    • September 10, 2024
    • Milan, Italy
    • Event affiliated with FM2024, the 26th International Symposium on Formal Methods
    • Proceedings published as LNCS 14939
  • FMTea23: Formal Methods Teaching Workshop
    • March 6, 2023
    • Lübeck, Germany
    • Event affiliated with FM2023, the 25th International Symposium on Formal Methods
    • Proceedings published as LNCS 13962
  • FMTea21: Formal Methods Teaching Workshop
    • November 21, 2021
    • online and in Beijing, China
    • Event affiliated with FM2021, the 24th International Symposium on Formal Methods
    • Proceedings published as LNCS 13122
  • FMTea19: Formal Methods Teaching Workshop
    • October 7, 2019
    • Porto, Portugal
    • Event affiliated with FM2019, the 3rd World Congress on Formal Methods
    • Proceedings published as LNCS 11758

The aim of the FME Teaching Committee is to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.