Welcome to iFM 2024!
The 19th International Conference on Integrated Formal Methods (iFM) will take place on 13–15 November 2024 at the University of Manchester, UK, with co-located workshops scheduled for 11–13 November 2024.
News & Updates
30 Aug 2024 — The PhD Symposium paper submission deadline has been extended to 8 Sep 2024 (AoE).
23 Aug 2024 — Registration is now open, information available here. The deadline for early registration is 19 October.
05 Aug 2024 — The list of accepted papers has been published — congratulations to the authors!
19 Jul 2024 — The Formal Aspects of Computing journal special issue has been confirmed.
03 Jun 2024 — The abstract and paper submission deadlines for iFM have been extended:
- Optional Abstract Submission:
03 June 2024→ 13 June 2024 - Paper Submission:
10 June 2024→ 17 June 2024
- Optional Abstract Submission:
Invited Speakers
- Philippa Gardner, Imperial College London, UK
- Daniel Kröning, University of Oxford, UK
Co-Located Workshops
- Formal Methods for Autonomous Systems
11–13 Nov, Location TBD - Formal Ethical Agents and Robots
11 Nov, Location TBD - PhD Symposium
12 Nov, Location TBD
Sponsors
None (yet).
