L'incontro sulla teoria omotopica dei tipi è fissato per
martedì 15 ottobre alle ore 14:30
(l'annuncio originale riportava erroneamente martedì 14).
Con l'occasione si precisa che il primo seminario si limiterà ad una introduzione ai gruppi di omotopia (definizione di gruppo fondamentale e gruppi di omotopia superiori), in preparazione per i successivi seminari sulla teoria omotopica dei tipi.