This is an introductory course to the subject of a conference entitled Type Theory, Homotopy Theory and Univalent Foundations, which will take place in the Centre de Recerca Matemàtica from September 23 to 27.


The main lectures (6 hours) will be delivered by Peter Lumsdaine, Institute for Advanced Study, Princeton. Problem sessions and complementary tutorials are also planned.


This is the time table for each morning, from Tuesday to Friday. Lectures will take place in Aula T2, on the top floor of the Historical Building of the University of Barcelona (Gran Via de les Corts Catalanes, 585, Barcelona).

10.00 - 10.45 Lecture by Peter Lumsdaine
10.45 - 11.15 Coffee break
11.15 - 12.00 Lecture by Peter Lumsdaine
12.10 - 13.00 Complementary tutorials or problem sessions


Download an abstract of the main lectures as a pdf file.


  • Carles Casacuberta (Universitat de Barcelona),
  • Joachim Kock (Universitat Autònoma de Barcelona),


See a list of participants.


Participants are kindly requested to send the following information by e-mail to the organizers before September 10:

  • Name (as in badge):
  • Affiliation:
  • Will you join us for a group lunch on Friday?
  • Do you need accommodation? If so, for which dates?
  • Do you need financial support for travel or accommodation?

There is no registration fee for the lectures. Those attending the group lunch will be asked to share the cost of the meal.

Financial Support

A small amount of funding is available to cover accommodation costs of early-career participants or reimbursement of travel costs. To apply for financial support, send a message to the organizers as soon as possible with a curriculum vitae attached.

The organizers gratefully acknowledge support from the Institut de Matemàtica de la Universitat de Barcelona (IMUB), Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR, 2009 SGR 119), and Spanish Ministry of Economy and Competitiveness through project MTM2010-15831.


Find directions to the IMUB at the Institute's website.