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 | Apr 22 | 17:00 | Shaowei Lin | Proofs as programs: challenges and strategies for program synthesis | |
| Thu | Apr 29 | 17:00 | Jonathan Gorard | Fast Diagrammatic Reasoning and Compositional Approaches to Fundamental Physics | |
| Thu | May 06 | 17:00 | Emily Riehl | Contractibility as uniqueness | |
| Thu | May 13 | 17:00 | Maria Emilia Maietti | [Title TBA] | |
| Thu | May 20 | 17:00 | Tobias Fritz | [Title TBA] | |
| Thu | May 27 | 17:00 | Steve Awodey | [Title TBA] | |
| Thu | Jun 03 | 17:00 | Michael Shulman | [Title TBA] | |
| Thu | Jun 10 | 17:00 | Eugene Lerman | [Title TBA] | |
| Thu | Jun 17 | 17:00 | Chris Heunen | [Title TBA] | |
| Thu | Jun 24 | 18:00 | Kathryn Hess | [Title TBA] | |
| Thu | Jul 08 | 17:00 | Geoffrey Cruttwell | [Title TBA] | |
| Thu | Jul 22 | 17:00 | Walter P Tholen | [Title TBA] | |
| Thu | Jul 29 | 22:00 | Marcy Robertson | [Title TBA] | |
| Thu | Aug 05 | 17:00 | Todd Trimble | [Title TBA] | |
| Thu | Sep 09 | 17:00 | John Bourke | [Title TBA] | |
| Thu | Sep 23 | 17:00 | Andrew J. Blumberg | [Title TBA] | |
| Thu | Sep 30 | 15:00 | Pawel Sobocinski | [Title TBA] | |
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Thu | Apr 15 | 17:00 | Asgar Jamneshan | Topos theory and measurability | |
| Thu | Apr 08 | 17:00 | Joachim Kock | Noncrossing hyperchords and free probability | |
| Thu | Apr 01 | 17:00 | Dan Christensen | Reasoning in an ∞-topos with homotopy type theory | |
| Thu | Mar 25 | 18:00 | John Baez | Mathematics in the 21st century | |
| Thu | Mar 11 | 17:00 | Samson Abramsky | The logic of contextuality | |
| Thu | Feb 18 | 17:00 | Gunnar E. Carlsson | Relative topology, motion planning, and coverage problems | |
| Thu | Feb 11 | 21:00 | Richard Garner | Comodels of an algebraic theory | |
| Thu | Feb 04 | 17:00 | David Spivak | Poly: a category of remarkable abundance | |
Export series to