Homotopy Type Theory
Date: 7 - 10 November 2014
Location: University of Oxford
Event type: Workshop
Organisers: Samson Abramsky (Oxford), Bob Coecke (Oxford), Christopher Douglas (Oxford), Kobi Kremnitzer (Oxford), Ulrike Tillmann (Oxford), Vladimir Voevodsky (IAS)
Homotopy type theory (HoTT) is a new and exciting approach to the foundations of mathematics. This workshop will bring together type theorists and homotopy theorists. The aim of the workshop is to develop an understanding of the possible applications of HoTT (and similar systems) to homotopy theory, and to discuss what is required from a foundational system for it to be convenient for homotopical mathematics.
Speakers: Samson Abramsky, Benedikt Aherns, Thorsten Altenkirch, Andrej Bauer, Guillaume Brunerie, John Cartmell, Thierry Coquand, James Cranch, Daniel R. Grayson, Robert Harper,Martin Hyland, Chris Kapulkin, Dan Licata, Peter LeFanu Lumsdaine, Ieke Moerdijk, Egbert Rijke, Neil Strickland, Vladimir Voevodsky
CMI Enhancement and Partnership Program
Related events
See all events
10th Nairobi Workshop in Algebraic Geometry
University of Nairobi

Beyond the Horizon: Navigating Turbulence, Irregularity, and Stochasticity in Fluid Dynamics
ICMS Edinburgh

Geometry and Integrability
ICMS Edinburgh

Geometric Problems in Linear and Nonlinear PDEs
Sabhal Mor Ostaig, the Isle of Skye