16th International Conference on integrated Formal Methods (iFM 2020)

Decanato - Facoltà di scienze informatiche

Data d'inizio: 16 Novembre 2020

Data di fine: 20 Novembre 2020

Virtual conference

We are happy to announce that the 16th International Conference on integrated Formal Methods (iFM) organized by Prof. Carlo A. Furia (Software Institute) will take place 16–20 November 2020.

Additional details, call for papers and deadlines can be found on the conference website.

 

AboutIFM
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.