unsplash-logoPic. by W. Hasselmann

Welcome to iFM 2022!

The 17th International Conference on integrated Formal Methods (iFM) will take place on 7-10 June 2022, organized by the Software Institute of USI in beautiful Lugano, Switzerland.


  • We added some travel information to the Venue page, including suggestions for accommodation.

COVID-19 notice

We are monitoring the COVID-19 pandemic development. We expect to be able to run iFM 2022 as a physical conference, with a hybrid option for participants who will be unable or unwilling to attend in person.

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.