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.

Lean for the Curious Mathematician 2024

External homepage

general mathematics

Audience:	General audience
Conference dates:	Mon Mar 25 to Fri Mar 29
Organizer:	Riccardo Brasca*
	*contact for this listing

Upcoming talks

Past talks

Export series to