Events
Homotopy Type Theory Workshop
7-10 November 2014
Mathematical Institute, University of Oxford
Overview
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.
Funded jointly by the Clay Mathematics Institute, and the EPSRC.
Registration
Workshop Fee: £20 per person. Workshop dinner for those who have registered only (now fully booked): £35 per person at St Hugh's College on Friday 7th November 7pm.
Registration is now closed.
Speakers (follow link for talk slides)
Benedikt Ahrens, Thorsten Altenkirch, Andrej Bauer, Benno van Den Berg, Guillaume Brunerie, Evan Cavallo, Thierry Coquand, James Cranch, Chris Kapulkin, Dan Licata, Peter LeFanu Lumsdaine, Egbert Rijke, Neil Strickland, Matthijs Vakar, Vladimir Voevodsky
Programme
ProgrammeAccommodation
Oxford
has a wide range of places to stay, including college
accommodation,
private rooms and
flats through https://www.airbnb.co.uk/,
or short term properties to share on http://www.rightmove.co.uk/property-to-rent.html,
and many bed and breakfasts (B&Bs) and guest
houses. Particularly well
located B&Bs are Cotswolds,
Rewley
House, Linton
Lodge, Parklands
and Galaxie
Hotel. We normally ask everyone
to
make their own arrangement as most colleges and guest houses require
payment on
booking. Please contact Destiny Chen
should you need further
information. Please note that the demand for accommodation in Oxford is
high,
so the rule of thumb is to book a place ASAP.