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.


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.