From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8721 Path: news.gmane.org!not-for-mail From: Chris Kapulkin Newsgroups: gmane.science.mathematics.categories Subject: Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016 Date: Sun, 18 Oct 2015 10:39:45 -0400 Message-ID: Reply-To: Chris Kapulkin NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; CHARSET=US-ASCII Content-Transfer-Encoding: 7BIT X-Trace: ger.gmane.org 1445182747 21595 80.91.229.3 (18 Oct 2015 15:39:07 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 18 Oct 2015 15:39:07 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Oct 18 17:38:58 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Znq2z-0005Kc-P3 for gsmc-categories@m.gmane.org; Sun, 18 Oct 2015 17:38:57 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:54511) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Znq1d-0002ez-Ez; Sun, 18 Oct 2015 12:37:33 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Znq1d-0001C9-Vc for categories-list@mlist.mta.ca; Sun, 18 Oct 2015 12:37:33 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8721 Archived-At: 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/ ]