We use javascript to filter series topics, adapt series to your local time zone, enter date ranges, and hide this annoying message. We use cookies to set your default timezone, keep track of your preferences, and to keep you logged in.

TBA

Thierry Coquand

Thu Oct 1, 17:00-18:00 (4 months from now)	Livestream access available (Password: 65537)

Computer sciencecategory theorylogic

Audience: learners

Topos Institute Colloquium

Organizer:	David Spivak
Curator:	Tim Hosgood*
	*contact for this listing

Export talk to