Working group

Thematic team Algebra and computation
Thematic team Proofs and programs


Day, hour and place

Friday at 3:30pm, room 3052

The calendar of events (iCal format).
In order to add the event calendar to your favorite agenda, subscribe to the calendar by using this link.


Contact(s)


Type theory and homotopy theory
Friday December 8, 2023, 3:30PM, Salle 3052
Moana Jubert Prérequis homotopiques de la théorie des types homotopiques