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	Aug 05	17:00	Todd Trimble	From 2-rigs to lambda-rings
Thu	Aug 12	17:00	Kevin Buzzard	What is the point of Lean's maths library?
Thu	Aug 19	17:00	Valeria de Paiva	[Title TBA]
Thu	Aug 26	17:00	Conor McBride	[Title TBA]
Thu	Sep 09	17:00	John Bourke	[Title TBA]
Thu	Sep 16	17:00	Jamie Vicary	[Title TBA]
Thu	Sep 23	17:00	Andrew J. Blumberg	[Title TBA]
Thu	Sep 30	15:00	Pawel Sobocinski	[Title TBA]
Thu	Oct 07	17:00	Anders Mortberg	[Title TBA]
Thu	Oct 14	17:00	Andreas Blass	[Title TBA]
Thu	Oct 21	17:00	Chris Kapulkin	[Title TBA]
Thu	Oct 28	17:00	Dorette Pronk	[Title TBA]
Thu	Dec 02	17:00	Evan Patterson	[Title TBA]
Thu	Dec 09	17:00	[Speaker TBA]	Closing seminar [Title TBA]

Embed this schedule

Your time			Speaker	Title
Thu	Jul 29	22:00	Marcy Robertson	Topological Inspiration for Infinity Modular Operads
Thu	Jul 22	17:00	Walter P Tholen	What is monoidal topology?
Thu	Jul 08	17:00	Geoffrey Cruttwell	Categorical differential structures and their role in abstract machine learning
Thu	Jul 01	17:00	Lawrence Paulson	Formalising Contemporary Mathematics in Simple Type Theory
Thu	Jun 24	18:00	Kathryn Hess	From comonads to calculus
Thu	Jun 17	17:00	Chris Heunen	Sheaf representation of monoidal categories
Thu	Jun 10	17:00	Eugene Lerman	A category of hybrid systems
Thu	Jun 03	17:00	Steve Awodey	Model Structures from Models of HoTT
Thu	May 27	17:00	Michael Shulman	Two-dimensional semantics of homotopy type theory
Thu	May 20	17:00	Tobias Fritz	The law of large numbers in categorical probability
Thu	May 13	17:00	Maria Emilia Maietti	Quotient completions for topos-like structures
Thu	May 06	17:00	Emily Riehl	Contractibility as uniqueness
Thu	Apr 29	17:00	Jonathan Gorard	Fast Diagrammatic Reasoning and Compositional Approaches to Fundamental Physics
Thu	Apr 22	17:00	Shaowei Lin	Proofs as programs: challenges and strategies for program synthesis
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

Embed this schedule

Export series to