Partecipazione al “Fifth Workshop on Proof eXchange for Theorem Proving – PxTP2017 e FroCoS 2017 – Brasilia” per il periodo dal 23 al 29/9/2017

Responsabile/i:

• silvio GHILARDI

Ente finanziatore:

ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA

Tipologia:

AL_RIC - Bandi da altri enti di ricerca

Capofila:

UNIVERSITA' DEGLI STUDI DI MILANO

Anno:

2017

Durata:

12

Stato:

APERTO