Skip to Main Content (Press Enter)
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
IT
EN
☰
Expertise & Skills
|
Expertise & Skills
unimi.it
IT
EN
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
☰
Attività
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
Dati Generali
Partecipanti
GHILARDI SILVIO
principal investigator
Dipartimenti Coinvolti
Dipartimento di Matematica Federigo Enriques
Principale
Tipo
AL_RIC - Bandi da altri enti di ricerca
Finanziatore (2)
ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
Organizzazione Esterna
ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
Ente Finanziatore
Periodo Di Attività
(settembre 1, 2017 - settembre 1, 2018)
Durata Progetto
12 mesi