Programma

1 Ottobre

9:15-9:30: Saluti iniziali
9:30-10:00: Lorenzo Pellegrino, Superfici a elica in ambiente Lorentziano
10:00-10:30: Emanuele Giunta, Introduzione alle dimostrazioni interattive
10:30-11:00: Giorgio Mangioni, Il teorema del Packing di Cerchi per la costruzione della mappa di Riemann
11:00-11:30: Coffee break virtuale
11:30-12:00: Giulio Grammatica, Il teorema di Bézout
12:00-12:30: Raffaele Grande, An informal introduction to the horizontal mean curvature flow
12:30-15:00: Pausa pranzo
15:00-16:30: Prof. Olivia Caramello, I topoi di Grothendieck come ‘ponti’ unificanti in Matematica

9:30-10:00: Matteo Cavallaro, Wang tiles and undecidability problems
10:00-10:30: Alex Massucco, Regularity Issues for the Solutions of Elliptic PDEs: an overview from De Giorgi’s results to today
10:30-11:00: Giacomo Bortolussi, Sul problema delle distanze differenti di Erdős
11:00-11:30: Coffee break virtuale
11:30-12:00: Jeremy Mirmina, Introduzione alla Teoria Descrittiva degli Insiemi
12:00-12:30: Laura Casabella, Semigruppi numerici e dove trovarli
12:30-15:00: Pausa pranzo
15:00-16:30: Prof. Camillo De Lellis, Quando i mostri sopravvivono al sonno della ragione