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 abstract and paper deadlines of iFM 2023 have been extended by two weeks!
- Information about the registration fees has been added
- Rustan Leino is one of the keynote speakers of iFM 2023
- Marieke Huisman and Rustan Leino are the invited speakers of the PhD Symposium
- Information about the venue, accommodation, and travel is now available
- The Call for Artifacts of iFM 2023 is now available
- 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

