HomePeople EventsResearch Funders

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: £35 per person at St Hugh's College on Friday 7th November 7pm. 

Please register and make payment here by Thursday 30th October 2014. If you are planning to attend the dinner, please specify your dietary requirements if any. 

Speaker

Samson Abramsky, Benedikt Ahrens, Thorsten Altenkirch (Nov. 7,8), Andrej Bauer, Guillaume Brunerie, John Cartmell, Thierry Coquand, James Cranch, Daniel R. Grayson, Robert Harper, Martin Hyland (to be confirmed), Chris Kapulkin, Dan Licata, Peter LeFanu Lumsdaine, Ieke Moerdijk, Egbert Rijke, Neil Strickland, Vladimir Voevodsky

Programme

Talks titles and abstracts

 Programme -- Draft

Accommodation

How to get to Oxford

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.

In terms of areas, Central/North oxford and Jericho are the most prime location to the workshop venue, then along Botley Road, Abingdon Road, Cowley Road (the multicultural downtown of Oxford), Iffley Road, and Wolvercote.