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