Clay Mathematics Institute

Dedicated to increasing and disseminating mathematical knowledge

Homotopy Type Theory

Friday, November 7, 2014 to Monday, November 10, 2014

Andrew Wiles Buidling
Radcliffe Observatory Quarter
Woodstock Road
Oxford  OX2 6GG, UK

Organizers: Samson Abramsky (Oxford), Bob Coecke (Oxford), Christopher Douglas (Oxford), Kobi Kremnitzer (Oxford), Ulrike Tillmann (Oxford), Vladimir Voevodsky (IAS)

CMI Enhancement and Partnership Program