From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9899 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Michael Shulman Newsgroups: gmane.science.mathematics.categories Subject: Third call for submissions: HoTT 2019 Date: Fri, 26 Apr 2019 15:40:16 -0700 Message-ID: Reply-To: Michael Shulman Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="266212"; mail-complaints-to="usenet@blaine.gmane.org" To: categories Original-X-From: majordomo@mlist.mta.ca Sat Apr 27 20:41:28 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hKSGL-001773-Us for gsmc-categories@m.gmane.org; Sat, 27 Apr 2019 20:41:26 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:38411) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hKSGj-00086s-7G; Sat, 27 Apr 2019 15:41:49 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hKSEY-0005dE-3Z for categories-list@mlist.mta.ca; Sat, 27 Apr 2019 15:39:34 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9899 Archived-At: ************************************************************** Third call for submissions INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY 12-17 August 2019 Carnegie Mellon University, Pittsburgh USA https://hott.github.io/HoTT-2019 ************************************************************** Submission of talks and registration are open for the International Homotopy Type Theory conference (HoTT 2019), to be held August 12-17, 2019, at Carnegie Mellon University in Pittsburgh, USA. Contributions are welcome in all areas related to homotopy type theory, including but not limited to: * Homotopical and higher-categorical semantics of type theory * Synthetic homotopy theory * Applications of univalence and higher inductive types * Cubical type theories and cubical models * Formalization of mathematics and computer science in homotopy type theory / univalent foundations Please submit 1-paragraph abstracts through EasyChair here: https://easychair.org/conferences/?conf=hott2019 The submission deadline has been EXTENDED to 15 MAY 2019; we expect to notify accepted submissions by 1 June. This conference is run on the "mathematics model": full papers will not be submitted, submissions will not be refereed, and submission is not a publication. Please email hott2019conference@gmail.com with any questions. STUDENT PAPER AWARD A prize of $500 (and distinguished billing in the conference program) will be awarded to the best paper submitted by a student (or recently graduated student). To be eligible, you must include in your submission (or send separately to hott2019conference@gmail.com) a link to a preprint of your paper (e.g. on arXiv or a private web space). REGISTRATION, ACCOMODATION, AND TRAVEL Registration for the conference and the summer school is now open at https://hott.github.io/HoTT-2019/registration/. A limited amount of financial support is available for students and postdoctoral researchers; application instructions are available at the web site, as is information about accomodation and travel options. INVITED SPEAKERS 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) IMPORTANT DATES Submission deadline: 15 May Notification Date: 1 June Final abstracts due: 15 June Early Registration deadline: 1 July (reduced fee) Late Registration deadline: 1 August (increased fee) Conference: 12-17 August 2019 SUMMER SCHOOL There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th. The instructors and topics will be: Cubical methods: Anders Mortberg (Carnegie Mellon University, USA) Formalization in Agda: Guillaume Brunerie (Stockholm University, Sweden) Formalization in Coq: Kristina Sojakova (Cornell University, USA) Higher topos theory: Mathieu Anel (Carnegie Mellon University, USA) Semantics of type theory: Jonas Frey (Carnegie Mellon University, USA) Synthetic homotopy theory: Egbert Rijke (University of Illinois, USA) SCIENTIFIC COMMITTEE Steve Awodey (Carnegie Mellon University, USA) Andrej Bauer (University of Ljubljana, Slovenia) Thierry Coquand (University of Gothenburg, Sweden) Nicola Gambino (University of Leeds, UK) Peter LeFanu Lumsdaine (Stockholm University, Sweden) Michael Shulman (University of San Diego, USA), chair We look forward to seeing you in Pittsburgh! [For admin and other information see: http://www.mta.ca/~cat-dist/ ]