News Colloquia

News Colloquia

“Around Formalization: Why and How to Explain Mathematics to a Computer“

Martedì 5 Maggio 2026, ore 16:00 - Aula 1A150 - Riccardo Brasca (Institut de Mathématiques de Jussieu-Paris Rive Gauche)

Leggi

Vedi le notizie in archivio