The 20th International Conference on Integrated Formal Methods (iFM 2025) will take place on 19th–21st November 2025 at Inria Paris, France, with co-located workshops scheduled for 17th–18th November 2025.
Organization
General Chair
- Caterina Urban, Inria & ENS | PSL, France
Program Committee Chairs
- Ferruccio Damiani, Università degli Studi di Torino, Italy
- Marie Farrell, University of Manchester, UK
Workshops
Formal Methods for Autonomous Systems
Amphithéâtre Jacques-Louis Lions
November 17th-19th, 2025
PhD Symposium
Salle Philippe Flajolet
November 18th, 2025