Welcome to iFM 2024!
The 19th International Conference on Integrated Formal Methods (iFM) will take place from 13 to 15 November 2024 at the University of Manchester, UK.
Co-Located Workshops
- Formal Methods for Autonomous Systems (FMAS)
Dates: 11–12 Nov.
Location: TBD - PhD Symposium
Date: 12 Nov.
Location: TBD
Sponsors
None (yet).