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/