Welcome to iFM 2022!
- 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.
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.
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.