From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9783 Path: news.gmane.org!.POSTED!not-for-mail From: Steve Awodey Newsgroups: gmane.science.mathematics.categories Subject: SECOND ANNOUNCEMENT: HoTT 2019 Date: Mon, 24 Dec 2018 10:53:44 -0500 Message-ID: Reply-To: Steve Awodey NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1545681168 11461 195.159.176.226 (24 Dec 2018 19:52:48 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 24 Dec 2018 19:52:48 +0000 (UTC) To: categories net Original-X-From: majordomo@mlist.mta.ca Mon Dec 24 20:52:44 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gbWHL-0002sJ-Ec for gsmc-categories@m.gmane.org; Mon, 24 Dec 2018 20:52:43 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:35990) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1gbWIj-0007S6-PZ; Mon, 24 Dec 2018 15:54:09 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1gbWHp-0008Vh-FZ for categories-list@mlist.mta.ca; Mon, 24 Dec 2018 15:53:13 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9783 Archived-At: There will be an *International Conference on Homotopy Type Theory (HoTT 2019)* from August 12th to 17th, 2019 at Carnegie Mellon University in = Pittsburgh, USA. The Invited Speakers will be: - Ulrik Buchholtz (TU Darmstadt, Germany) - Dan Licata (Wesleyan University, USA) - Andrew Pitts (University of Cambridge, UK) - Emily Riehl (Johns Hopkins University, USA) - Christian Sattler (University of Gothenburg, Sweden) - Karol Szumilo (University of Leeds, UK) Submissions of contributed talks will open in January and conclude in = March; registration will open sometime in the spring. There will also be an associated *Homotopy Type Theory Summer School* in the preceding week, August 7th to 10th. The topics and Instructors are: - Cubical methods: Anders Mortberg - Formalization in Agda: Guillaume Brunerie - Formalization in Coq: Kristina Sojakova - Higher topos theory: Mathieu Anel - Semantics of type theory: Jonas Frey - Synthetic homotopy theory: Egbert Rijke We expect some funding to be available for students to attend the summer = school and conference. Looking forward to seeing you in Pittsburgh! The Scientific Committee Steven Awodey Andrej Bauer Thierry Coquand Nicola Gambino Peter LeFanu Lumsdaine Michael Shulman, chair [For admin and other information see: http://www.mta.ca/~cat-dist/ ]