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.
News
- We added more information about the program and social events.
- The proceedings of iFM will be freely accessible from 6 June to 6 July 2022 at the following link: https://link.springer.com/book/9783031077272 (To get free access, you must follow the link from this page on iFM’s website.)
- 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.