Dates: September 23 to 27, 2013
Place: Centre de Recerca Matemàtica, Bellaterra
Programme: Tuesday afternoon is free. Tuesday is the Mercè Festival (Barcelona's Festa Major, also called the "Festival of festivals") http://merce.bcn.cat/en/
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.
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)
Joachim Kock, Universitat Autònoma de Barcelona
Nicola Gambino, Università
degli Studi di Palermo & University of Leeds
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 covers: attendance 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.
To apply for the NSF grants, please send an email to one of the organisers with your CV attached.
grants (closed): other young mathematicians and advanced researchers from less favoured
countries may apply for a lodging grant.
determined based on academic criteria and/or country of residence.
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 http://www.ub.edu/HomotopyType2013/.
In the weekend 27-29 September the yearly http://mat.uab.cat/~btw/ 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.)
If you wish to submit a talk you will need to send the following information to Ms Núria Hernandez (email@example.com
) 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.
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 (firstname.lastname@example.org). 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.com. The 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:http://www.crm.cat/General/location.htm. Vila Universitària 2 is right on the campus and the closest train station is Bellaterra train station at the FCG train line.
In case you want to make a reservation at Hotel Campus please send a message to email@example.com. Please be sure to mention the reference "CRM Activity" when making your reservation.
If you have any questions please contact:
Ms. Núria Hernandez