Welcome to iFM 2023!

The 18th International Conference on integrated Formal Methods (iFM) will take place on 13-15 November 2023, organized by the Leiden Institute of Advanced Computer Science of Leiden University in the charming city of Leiden, The Netherlands.

News

• The Call for Paper of iFM 2023 is now available
• The 5th Workshop on Formal Methods for Autonomous Systems (FMAS 2023) is an event at iFM 2023
• Information on the PhD symposium has been updated, including the important dates

About iFM

The Integrated Formal Methods (iFM) conference series targets research in formal approaches that combine different methods for modeling and analysis. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

Sponsors

---

---