The FM4ALL Session at FM 2026 serves as a public launch of the FM4All initiative. We will inform the community about the context in which we started our work, our design choices and planned developments and gather feedback to prioritize concepts and validate structures. This is the plan of work:

• Need to teach Formal Methods (FM)
  • Why?
• Current FM representation in curricula
  • What?
• Actions
  • How?

The session will be interactive, alternating content presentation with opinion polls. We will introduce a plan for structured community involvement in the process; the first step for that is a Community Feedback form regarding our work, already available here: https://forms.gle/8hWsofYs3egAiGkb8. An earlier (2024) discussion on the reasons for defining a “knowledge area” dedicated to Formal Methods can be found here: https://fme-teaching.github.io/#curriculum.

LUIGIA PETRE is an Associate Professor in Computer Science at Åbo Akademi University in Turku, Finland. Her research interests lie in Formal Methods, e.g. Event-B, Pro-B, Dafny and TLA+. She has also delved into machine learning and gravitational waves, and more recently became interested in teaching methods for some of these topics. She teaches Software Quality, System Safety as well as Tools for Reliable Software Construction (focused on Dafny). She is involved in two COST Actions, one on Formal Methods (EuroProofNet) and the other on machine learning and gravitational waves (g2net) and is leading the FME’s Teaching Committee. Luigia was born in Romania.