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.
News
-
Videos of the invited talks and paper presentations are available in this playlist.
-
The proceedings of iFM 2020 are available from Springer’s website.
-
The detailed program of iFM 2020 is available.
-
Registrations of iFM 2020 are open. Register by 9 November 2020. -
The list of accepted papers is available.
-
We’re happy to announce iFM’s invited speakers: Edward E. Lee, David Parker, and Hongseok Yang.
-
The Call for Papers is available.
-
The dates for paper submissions are now available.
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.