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
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.