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.

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.