iFM 2022 - 17th International Conference on integrated Formal Methods
Staff - Faculty of Informatics
Start date: 7 June 2022
End date: 10 June 2022
USI East Campus, Room C1.04
We are happy to announce that the 17th International Conference on integrated Formal Methods (iFM) will take place on 7-10 June 2022, organized by the Software Institute.
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.
Additional information is available on the official website: https://ifm22.si.usi.ch/