FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software and systems development. The FM symposia have been successful in bringing together researchers and industrial users around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2026 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences.

This year, we organized a special track for the TAP conference series (Tests and Proofs). Check the track CFP. We also had ABZ 2026 co-located with FM 2026. See the detail for ABZ 2026 page.

FM 2026 has successfully concluded. Thank you for all your support and contributions!

The following awards recognize outstanding contributions to FM 2026.

Best Paper Award

Verifying Sampling Algorithms via Distributional Invariants: Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, and Tobias Winkler

Best Tool Paper Award

Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness: Áron Ricardo Perez-Lopez, Po-Chun Chien, Florian Lonsing, Samantha Archer, Ahmed Irfan and Clark Barrett

Distinguished Artifact Awards

Asynchronous Team Automata: Davide Basile, Maurice ter Beek, and José Proença

Specializing anti-unification for interaction models composition via gate connections: Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, and Erwan Mahe

Diamond Sponsor

Silver Sponsor

Grant Supporter