[Apologies for multiple postings] * TYPE THEORY, HOMOTOPY THEORY AND UNIVALENT FOUNDATIONS * September 23rd to 27th, 2013 * Centre de Recerca Matem?tica, 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, Montr?al Peter LeFanu Lumsdaine, IAS, Princeton Per Martin-L?f, Stockholms Universitet (to be confirmed) Thomas Streicher, Technische Universit?t 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 Aut?noma 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? (senior) 110? (junior) Some lodging grants are available for young participants. Deadline for grant applications: July 14th, 2013 With best regards, Nicola Gambino -- Dipartimento di Matematica e Informatica Universit? degli Studi di Palermo http://www.math.unipa.it/~ngambino [For admin and other information see: http://www.mta.ca/~cat-dist/ ]