Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016

[Chris Kapulkin <kkapulki@uwo.ca>]

Dear all,

We are pleased to announce a Workshop on Homotopy Type Theory and
Univalent Foundations to be held at the Fields Institute in Toronto,
May 16-20, 2016.

Registration is available at:

http://www.fields.utoronto.ca/programs/scientific/15-16/homotopy-type/

Limited financial support will be available to help cover
participants' travel and local expenses. Priority will be given to
students and postdocs who do not have access to other sources of
funding. To be considered for funding, please fill out the Funding
Application Form which is a part of the online registration. Deadline
to apply for funding is *February 28, 2016*.

Program:

Mini-courses

Robert Harper (Carnegie Mellon University): Computational
interpretation of the Univalence Axiom
Daniel R. Licata (Wesleyan University): Cubical Type Theory
Peter LeFanu Lumsdaine (Stockholm University): Homotopy-theoretic
models of type theory
Michael Shulman (University of San Diego): Synthetic Homotopy Theory

Invited speakers

Benedikt Ahrens (IAS, Princeton)
Thorsten Altenkirch (University of Nottingham)
Jeremy Avigad (Carnegie Mellon University)
Emily Riehl (Johns Hopkins University)
Michael Warren (HRL Laboratories)

There will also be contributed talks, selected by the Organizing Committee.

We are looking forward to seeing you in Toronto!

Organizers: Dan Christensen, Rick Jardine, Chris Kapulkin


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]