Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

23-27 September 2013, Type Theory, Homotopy Theory and Univalent Foundations, Barcelona, Spain

Date: 23-27 September 2013
Location: Barcelona, Spain
Deadline: 1 July 2013

The conference "Type Theory, Homotopy Theory and Univalent Foundations" will be held at the Centre de Recerca Matematica in Barcelona on September 23rd-27th.

The invited speakers are Richard Garner, Andre' Joyal, Peter LeFanu Lumsdaine, Thomas Streicher and Michael Warren.

For further information, please see the conference webpage: http://www.crm.cat/2013/ctype

The registration is now open and we also welcome submission of abstracts for presentations. The deadline for submitting abstracts is July 1st.

Please note that this newsitem has been archived, and may contain outdated information or links.