16th International Conference on integrated Formal Methods (iFM 2020)
Staff - Faculty of Informatics
Additional details, call for papers and deadlines can be found on the conference website.
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.
Due to disruptions caused by the COVID-19 pandemic iFM 2020 will be run as a virtual event.