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

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

[Chris Kapulkin]

Dear all,

This is a reminder about the Workshop on Homotopy Type Theory and
Univalent Foundations to be held at the Fields Institute in Toronto,
May 16-20, 2016. The workshop will consist of mini-courses on several
aspects of Homotopy Type Theory, as well as research talks, both
invited and contributed. The registration and abstract submission are
available at:

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

Limited financial support is available to cover participants' travel
and local expenses. Priority will be given to junior researchers and
those without other sources of funding. To be considered for funding,
please fill out the Funding Application Form which is a part of the
online registration.

Important dates:
* Funding application deadline: February 28, 2016.
* Contributed talk submission deadline: February 28, 2016.
* Registration deadline: May 2, 2016. (Early registration is
appreciated, to help us in our planning.)

Program:

Mini-courses

Robert Harper (Carnegie Mellon University): Computational Higher Type Theory
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)

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/ ]

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

[Chris Kapulkin]

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/ ]