unsplash-logoPic. by W. Hasselmann

Welcome to iFM 2020

The 16th International Conference on integrated Formal Methods (iFM) will take place on 16–20 November 2020, organized by the Software Institute of USI in beautiful Lugano, Switzerland.

COVID-19 notice

Due to the disruptions caused by the COVID-19 pandemic, we have decided that iFM 2020 will not take place physically and will be replaced by a virtual event. However, the paper selection process will not be affected: an LNCS proceedings will be prepared as usual.


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.