coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016
Chronological Thread
- From: Chris Kapulkin <kkapulki AT uwo.ca>
- To: coq-club AT inria.fr, agda AT lists.chalmers.se, types-announce AT lists.seas.upenn.edu, types AT lists.chalmers.se, fom AT cs.nyu.edu
- Subject: [Coq-Club] Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016
- Date: Thu, 15 Oct 2015 20:31:59 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=Neutral smtp.pra=kkapulki AT uwo.ca; spf=Pass smtp.mailfrom=kkapulki AT uwo.ca; spf=Pass smtp.helo=postmaster AT uwo.ca
- Ironport-phdr: 9a23:Kg/AJRM5Gr9im5b//HEl6mtUPXoX/o7sNwtQ0KIMzox0Kf/+rarrMEGX3/hxlliBBdydsKIYzbuO+Py6EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35jxhrj5p8ebSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK79ZuEzSaFSJDUgKWE8osPx8VHKQgeGzn8dSXkN1BFICgzA4QvhGIz89mPmp/Jww2yTO8vxULY/VBym7rx3U1nzhS4ccSMh/WfRzMF8keYTvAO5qgdXx4/PfJrTP/p3eqbQZ8hcXmcFFshWUgRKGcW6fpZJAuYcbshCqIyojFsUrAD2JgC0GefsyzkA0nz11LUn1+cgORzZ20orFoRd4zzvsNzpOfJKAqiOx67SwGCbYg==
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 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
Organizers: Dan Christensen, Rick Jardine, Chris Kapulkin
- [Coq-Club] Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016, Chris Kapulkin, 10/16/2015
Archive powered by MHonArc 2.6.18.