The program is still tentative. Please note that the detailed schedule for the Monday–Tuesday pre-events and the ABZ program will be finalized after the relevant notification dates and may be subject to change.
UPDATE (Mar 23): AIPV is planned as a two-day workshop
Monday
- Workshops
- AIPV (AI, Proof and Verification)
- Overture (VDM, Formal Methods, & AI)
- Rodin
- Tutorials
- The SLEEC Framework for Normative Requirements Engineering
- Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach
- Probabilistic Model Checking Taken by Storm
- Reasoning over Relaxed Shared Memory Models: A Tutorial
Tuesday
- ABZ 2026 (co-hosted conference)
- ABZ Invited Talk (1, 2)
- Doctoral Symposium
- Workshops
- AIPV (AI, Proof and Verification)
- FMTea (Formal Methods Teaching)
- Tutorials
- Mixed Flow-Sensitive Static Analysis: Engineering Modularity
- Formally Explaining Neural Network Classification
- Digital Twins: a Briefing for Formalists
- Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial
Wednesday
- FM 2026 Main Conference
- Opening
- FME Lucas Award
- ABZ + FM Keynote Talk: Ichiro Hasuo
- FM Industry Keynote Talk: Daniel Kroening
- Industry Day
- Reception (nearby the venue, 6:30pm-)
- ABZ 2026 (co-hosted conference)
- ABZ Invited Talk (3)
- Overview of Gedenkschrift for Jean-Raymond Abrial
Thursday
- FM 2026 Main Conference
- FM Keynote: Cristian Cadar
- FM4all & ACM reference curriculum session
- Banquet at Chinzanso (move by bus)
- FME business meeting
Friday
- FM 2026 Main Conference
- FM Keynote: Ruzica Piskac
- Closing