Schedule
| Tuesday | Wednesday | Thursday | Friday | |
| 9.00-10.00 | Registration | Elvira Mayordomo | Claudio Agostini - "Franco Montagna" Prize | Marta Fiori Carones - "Ada Lettieri" Prize |
| On point to set principles, normality, and algorithmic randomness | Classes of "big'' spaces from characterizations of metrizability | The strength of a theorem of Rival and Sands | ||
| 10.00-10.30 | Coffee break | Coffee break | Coffee break | Coffee break |
| 10.30-11.30 | Thomas Ehrhard | Mai Gehrke | Sandra Müller | Ivano Ciardelli |
| Differential linear logic: from semantics to syntax | Stone duality for spectral sheaves and the patch monad | Infinite Games and Large Cardinals: Attacking Independence by Connecting the Hierarchies | Inquisitive neighborhood logic | |
| 11.40-12.40 | Contributed talks | Contributed talks | Contributed talks | Francesco Gallinaro |
| Model theory of complex analytic functions: quasiminimality and existential closedness | ||||
| 12.40-14.30 | Lunch break | Lunch break | Lunch break | Lunch break |
| 14.30-16.10 | Contributed talks | Contributed talks | Contributed talks | -- |
| 16.10-16.40 | Coffee break | Coffee break | Coffee break | -- |
| 16.40-17.40 | Martino Lupini - "Paolo Gentilini" Prize | AILA General Meeting | Alessandro Vignati - "Paolo Gentilini" Prize | -- |
| Borel-definable algebraic topology | Rigidity, Rigidity, Rigidity! | |||
| 17.40-18.40 | -- | AILA General Meeting | -- | -- |
Click here to download the book of abstracts.
The conference dinner will be on Thursday at 7:30PM at the Casa della Contadinanza.