iFM 2024 

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–12 November 2024.

News & Updates

• 19 July 2024 — The Formal Aspects of Computing journal special issue has been confirmed.

• 03 June 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

Invited Speakers

• Philippa Gardner, Imperial College London, UK
• Daniel Kröning, University of Oxford, UK

Co-Located Workshops

• Formal Methods for Autonomous Systems
  11–12 Nov, Location TBD
• Formal Ethical Agents and Robots
  11 Nov, Location TBD
• PhD Symposium
  12 Nov, Location TBD

Sponsors

None (yet).