13 Mar 2025 Opening lecture Type theory, from Russell to demonstration assistants 13 Mar 2025 Share Facebook LinkedIn Bluesky Threads Copy url
Thursday 13 March 2025 See also: Thierry Coquand Add all events to my calendar iCalendar (.ics) Google Calendar Microsoft Outlook.com Office 365 Yahoo! Calendar Program Opening lecture 18:00 - 19:00 Live Type theory, from Russell to demonstration assistants Thierry Coquand 13 Mar 2025 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2025 18:00 - 19:00 See also Thierry Coquand, chair Computer Sciences and Digital Technologies
Opening lecture 18:00 - 19:00 Live Type theory, from Russell to demonstration assistants Thierry Coquand 13 Mar 2025 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 13 Mar 2025 18:00 - 19:00
