Logic List Mailing Archive

Type Theory, Homotopy Theory and Univalent Foundations

23-27 Sep 2013
Barcelona, Spain

* TYPE THEORY, HOMOTOPY THEORY AND UNIVALENT FOUNDATIONS
* September 23rd to 27th, 2013
* Centre de Recerca Matemtica, Barcelona

For more information see the web page

   http://www.crm.cat/2013/ctype

Description
-----------

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 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 higher-dimensional
category theory.

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
----------------
Andr Joyal, UQAM, Montral
Peter LeFanu Lumsdaine, IAS, Princeton
Per Martin-Lf, Stockholms Universitet (to be confirmed)
Thomas Streicher, Technische Universitt Darmstadt (to be confirmed)
Michael Warren, IAS, Princeton

There will also be survey talks by members of the scientific committee.

Contributed talks are welcome.  Please contact the organisers.

Scientific committee
--------------------
Steve Awodey (Carnegie Mellon University)
Thierry Coquand (Chalmers University)
Nicola Gambino (University of Palermo)
Joachim Kock (Universitat Autnoma de Barcelona)
Vladimir Voevodsky (Institute for Advanced Study)

Organisers
----------
Nicola Gambino <ngambino AT math.unipa.it>
Joachim Kock <kock AT mat.uab.cat>

Registration
------------
Deadline for registration: September 1st, 2013
Registration fee: 220 euro (senior) 110 euro (junior)

Some lodging grants are available for young participants.
Deadline for grant applications:  July 14th, 2013


With best regards,
Nicola Gambino