Eventi
Luglio
2020
Luglio
2020

Simplifying Offloading Applications to the Network

Facoltà di scienze informatiche
Luglio
2020

Building Blocks for Leveraging In-Network Compute

Facoltà di scienze informatiche
Luglio
2020

Scaling State Machine Replication

Facoltà di scienze informatiche
Settembre
2020
Settembre
2020

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

Decanato - Facoltà di scienze informatiche

Data d'inizio:

Data di fine:

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.

Facoltà