Topos Institute Colloquium
Computer science algebraic topology category theory logic
Audience: | Learners |
Seminar series times: | No fixed schedule |
Organizer: | Tim Hosgood* |
*contact for this listing |
Upcoming talks
Past talks
Your time | Speaker | Title | |||
---|---|---|---|---|---|
Thu | Feb 09 | 17:00 | Prakash Panangaden | Nuclear ideals in monoidal *-categories | |
Thu | Feb 16 | 17:00 | Sergey Goncharov | Towards a Higher-Order Mathematical Operational Semantics | |
Thu | Feb 23 | 17:00 | Jared Culbertson | Formalizing robotic behavior composition | |
Thu | Mar 02 | 17:00 | Justin Curry | TBA | |
Thu | Mar 09 | 17:00 | David Corfield | TBA | |
Thu | Mar 16 | 17:00 | Various | CT outreach panel for self-learners | |
Thu | Mar 23 | 17:00 | Christina Vasilakopoulou | TBA | |
Thu | Mar 30 | 17:00 | Simon Willerton | TBA | |
Thu | Apr 06 | 17:00 | André Joyal | TBA | |
Thu | Apr 13 | 17:00 | Urs Schreiber | TBA | |
Thu | Apr 20 | 17:00 | Davide Trotta | TBA | |
Thu | Apr 27 | 17:00 | Georges Gonthier | TBA | |
Thu | May 04 | 17:00 | Michael Barany | TBA | |
Thu | May 11 | 17:00 | Chad Giusti | TBA | |
Thu | May 25 | 17:00 | Elaine Landry | TBA | |
Thu | Jun 08 | 17:00 | Tom Hirschowitz | TBA |
Export series to