Dipartimento di Matematica e Applicazioni "Renato Caccioppoli"

Dipartimento di Matematica e Applicazioni
“Renato Caccioppoli”

Matematica
federicoII
Matematica

20Ott16:0017:00dott. Antonio Piccolomini d’Aragona (University of Tubingen) - Epsilon-theorems, cut-elimination, normalisation: from proofs as objects to the semantics of proofs16:00 - 17:00(GMT+02:00)

dettagli dell'evento

Il giorno lunedì 20 ottobre alle ore 16:00 presso la sala riunioni primo livello il dott. Antonio Piccolomini d’Aragona (University of Tubingen) terrà un seminario dal titolo “Epsilon-theorems, cut-elimination,
normalisation: from proofs as objects to the semantics of proofs”.

La locandina del seminario si trova in allegato.

SeminarioPiccolominid'Aragona

Orario dell'evento

20/10/2025 16:00 - 17:00(GMT+02:00)

Posizione

Sala Professori al I Livello del Dipartimento di Matematica ed Applicazioni Renato Caccioppoli

Aggiungi a Google Calendar