[Agda] Conference announcement: "Type Theory, Homotopy Theory and Univalent Foundations"

Nicola Gambino ngambino at math.unipa.it
Mon Dec 10 12:04:28 CET 2012

[Apologies for multiple postings]

* September 23rd to 27th, 2013
* Centre de Recerca Matemàtica, Barcelona

For more information see the web page



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)

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

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

More information about the Agda mailing list