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/

Facoltà

Eventi
30
Novembre
2021
30.
11.
2021

#USI25 - Nascita di un ateneo alla fine del secondo millennio

Accademia di architettura, Facoltà di comunicazione, cultura e società, Facoltà di scienze biomediche, Facoltà di scienze economiche, Facoltà di scienze informatiche
01
Dicembre
2021
01.
12.
2021

Lettura collodiana 2021

Facoltà di comunicazione, cultura e società