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

Progetto

Dati Generali

Partecipanti

GHILARDI SILVIO   Responsabile scientifico  

Dipartimenti coinvolti

Tipo

AL_RIC - Bandi da altri enti di ricerca

Finanziatore

ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
Organizzazione Esterna Ente Finanziatore

Periodo di attività

Settembre 1, 2017 - Settembre 1, 2018

Durata progetto

12 mesi