Navigate Up
Sign In
  • CRM
  • CRM
  • CRM
CRM > English > Activities > Conference on Type Theory, Homotopy Theory and Univalent Foundations
Conference on Type Theory, Homotopy Theory and Univalent Foundations

Dates: September 23 to 27, 2013

Place: Centre de Recerca Matemàtica, Bellaterra 


Schedule new!

ProgrammeTuesday afternoon is free. Tuesday is the Mercè Festival (Barcelona's Festa Major, also called the "Festival of festivals")


Over the past few years, deep and surprising connections have emerged between type theory and homotopy theory. These links provide a previously unavailable topological intuition for working with type theories and are at the heart of Voevodsky's Univalent Foundations of Mathematics programme. This programme seeks to develop a new approach to the development of mathematics, on the basis of type theories that include axioms motivated by homotopy theory, such as the Univalence Axiom, with an associated formalisation within proof assistants based on type theory, such as Coq and Adga. Ongoing research in this area involves also the links between homotopy theory and higher-dimensional category theory that have been intensively developed in recent years. 

This conference aims at bringing together leading experts in type theory and homotopy theory, as well as interested researchers from related areas such as mathematical logic, theoretical computer science and category theory, to exchange the latest results and ideas, and to set out directions for further exploration of the subject.  The conference is timed to serve also as a venue for presenting the advances made during the special year on Univalent Foundations at the Institute for Advanced Study. 

Invited speakers
Richard Garner, Macquarie University, Sydney, Australia
André Joyal, UQAM, Montréal, Canada
Peter LeFanu Lumsdaine, IAS, Princeton, USA
Thomas Streicher, Technische Universität Darmstadt, Germany

There will also be survey talks by members of the scientific committee.
Confirmed contributed talks (updated August 29th)
    Steve Awodey
    Bruno Barras
    Guillaume Brunerie
    Dan Grayson
    Hugo Herbelin
    Simon Huber
    Krzysztof Kapulkin
    Yves Lafont
    Zhaohui Luo ​
    Jack Morava
    Paige North
    Erik Palmgren
    Emily Riehl
    Egbert Rijke
    Urs Schreiber
    Kristina Sojakova
    Bas Spitters​
Organising committee

Joachim Kock, Universitat Autònoma de Barcelona
Nicola Gambino, Università degli Studi di Palermo & University of Leeds​
Scientific committee
Steve Awodey (Carnegie Mellon University)
Thierry Coquand (Chalmers University) 
Nicola Gambino (University of Palermo) 
Joachim Kock (Universitat Autònoma de Barcelona) 
Vladimir Voevodsky (Institute for Advanced Study)​
Deadline for registration and payment: September 14th, 2013
Registration fee: 220€
Junior registration fee (for PhD students and post-docs having read the thesis in the last three years): 110€
The registration fee and the junior registration fee cover: attendance to the lectures, documentation package, and coffee breaks.
Reduced registration fee (available to researchers affiliated to local universities and members of the Societat Catalana de Matemàtiques): 70€
The local fee coversattendance to the lectures, documentation package, and coffee break.

IMPORTANT: To register click on one of the baskets at the beginning or at the end of the page.


NSF grants (open): Through a special grant from the American NSF, 12 travel and lodging grants are available for young mathematicians affiliated with U.S. universities.

To apply for the NSF grants, please send an email to one of the organisers with your CV attached.​​

CRM lodging grants (closed): other young mathematicians and advanced researchers from less favoured countries may apply for a lodging grant.

Awards are determined based on academic criteria and/or country of residence.

Related events
In the week prior to the conference, Peter Lumsdaine will give four lectures on Homotopy Theory in Type Theory at the IMUB, downtown Barcelona.  More information is available at​.
In the weekend 27-29 September the yearly Barcelona Topology Workshop will take place in Sant Fruitos de Bages, some 50km from Barcelona.  (The lectures will start on Saturday 28. The only Friday activity will be the conference dinner Friday night.)​​
 Contributed Talks
If you wish to submit a talk you will need to send the following information to Ms Núria Hernandez ( before July 1st: 
-A title and abstract of your presentation 
We will send you an e-mail informing you whether your talk has been accepted as soon as a decision has been made by the Scientific Committee.​
Lodging information

Participants are encouraged to book their lodging as soon as possible. 
Vila Universitària 2

In case you want to make a reservation at Vila please send a message to Ms. Marta Roig ( Please be sure to mention the reference "CRM Activity" when making your reservation.
The following services are included:
Weekly Cleaning service.
  • Water and electricity expenses included in the price.
  • Wire internet connection.
  • Bed and towels equipment.
  • Adapted television to the TDT.
  • Free entrance to SAF (sport facilities).
You can visit the Vila web page at the address: www.vilauniversitaria.comThe address is Vila Universitària, Campus Universitat Autònoma de Barcelona. 08193 Bellaterra. You can check how to get there using the local map of the CRM webpage: Vila Universitària 2 is right on the campus and the closest train station is Bellaterra train station at the FCG train line.

Hotel Campus

In case you want to make a reservation at Hotel Campus please send a message to Please be sure to mention the reference "CRM Activity" when making your reservation.​

Contact information

If you have any questions please contact:
Ms. Núria Hernandez
Activities Coordinator
​​​​​​​​​​​​IMPORTANT : From 22/07 to 26/08 contact