Eventi
17
Febbraio
2022
17.
02.
2022
07
Maggio
2022
07.
05.
2022

iFM 2022 - 17th International Conference on integrated Formal Methods

Decanato - Facoltà di scienze informatiche

Data d'inizio: 7 Giugno 2022

Data di fine: 10 Giugno 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/