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.

Extended deadlines

The paper submission deadline has been extended until 11 February 2022. We look forward to receiving your regular, short, or journal-first papers!

COVID-19 notice

We are monitoring the COVID-19 pandemic development and are prepared to run the conference virtually or in a hybrid fashion in the unfortunate situation that a physical conference is not feasible. The paper selection process will not be affected and LNCS proceedings will be prepared regardless of whether the conference is held physically, virtually or in a hybrid fashion.

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.