From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-io1-xd39.google.com (mail-io1-xd39.google.com [IPv6:2607:f8b0:4864:20::d39]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 36cb1573 for ; Wed, 20 Mar 2019 18:49:02 +0000 (UTC) Received: by mail-io1-xd39.google.com with SMTP id w11sf2905841iom.20 for ; Wed, 20 Mar 2019 11:49:02 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1553107740; cv=pass; d=google.com; s=arc-20160816; b=rzdUem37aBsQYmScImrNXpEsOtYhfFud9C/YcAcr/nVUDB/Sy2F7KdJ1wTomYffdvP 1QBmMObyLsVQ2fExWdb9t/ibD7bW06OT4fFvqCrqXTuq7q2kQpA6b/SYGHI450ej0AYy cD3eghHPLYKR+lTsPb5nm95dizXDi6lWGlRe12ndNS6wAWDXoBYIPbo9dXaOSV9MVdNL hOsO3z9P9bqSr4QP/MitbbgTwKGJUuz6SvxeyGlMH3N0H68GBK0YYf0poDwUquLqak95 932GLJPAhNqUmpkg6NThovVxbyDEG3DwdFz92OlMzimL1/J3M5G32mCk7KGlBYMGXoQH bBTA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature; bh=YGJKPIBHqUJu0v5+c87rQR0h2AGK8IU6yccETUcBv7s=; b=mI24Uh+RXiE6jAwkveF7t+1k15z2zEBHXMZ0tekluoYsWsbP/6vT3v2WslFQgigfVX FvzYya3vEp+BXa32lBUSSVyWl06yH7f3P0d7xdX8tr3oBIJ05K/YA9ynZ1B6OmzvcC6b 10ExDr4NqFaoN4K0PSEI0h7c0+gOFmBhjXT1F1Xjlu35yweMxz5X5G/OJI3fH0WzzBWm gSq86WA0UkDDH5hvk2XeZwtYosnlgyl8rdF1L5GndgSpD63KIFzbOquGfveE34Lg6BK+ IYfTF0qVlC0WkVxIXiiMxZc6IIhd/KgPCVtNDltDPLF1OC9rBNtn/C5hJmfRlAe3AIlt gDfA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=YfQ4qF+F; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c2b as permitted sender) smtp.mailfrom=shulman@sandiego.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=YGJKPIBHqUJu0v5+c87rQR0h2AGK8IU6yccETUcBv7s=; b=ZTvqqceXe1wpP+8KXwvAV7we/uOGoCGj1zs1By3CUDYoL65rTmGeeqVmfwvlbSYG8I 0P7d2IQteL0kD473l9hRMvFjPzFrTQKXqz64tlcpOOqtogDJI6dWuh8F//HxJ+KrjCBw kkswvkPkHwStnnT9grzze8pVYSpGgHhyOqzeysCD7N2AfQNLBCYLp4S7YazuV3/d2Gb1 d8YOUu/2oMymkpKAITNKHfa5P/nZ9NVMda8tm9oZqlhXUyDz2lU0JRnr86izkOdN5nh3 GOPZXNs0mA2bQ79O8CNh10CtOhlf6/JVGodLYahS2Vp/0eObqp9AL+UD4WpfpWpE1gco KdRA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=YGJKPIBHqUJu0v5+c87rQR0h2AGK8IU6yccETUcBv7s=; b=Wwa30VnQMlVtQl1mvEYjNfAlUVaosxWrQT+PNMnJZF1HgosB1q/VaDmwlyaYBfNSYe +WOGzwyv/B5LLQoAffVbwFg+gjAoafOTnqgDQon9AjWonkUtXyr1wo6gRtZJ7Mpf/hSM raXmKRSa/FTD977y4cr0vVPH87GKBzWLWXmtZcN0bZaW23SkiMx04xxeoFWMdmmjKdze pGY2bP3X49+Bx9NoS5AXQVs7y6OsVfYuyEwQhGm9ixeQ4O4tALAs3/WHI4RfdZLCq3ym UnwMuUHHvimGbF+yTlTenRMo1FtMY9DioMXHaLLHAmR7DbLDT0YN4lxdx4zX85h/YIgG XOew== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXYfuASvr5ljjDF/PJx8WSUiOMeJliAbP68dRkDL7YtBsEFgKuw QBMN7CTAxC0PaNKoYhMAarM= X-Google-Smtp-Source: APXvYqwWNVvhxcFY3az25C/owjQ0xQd+2niTZubLpTRq068De94hJJow491Nt6SHoULdcU64J8Ak7Q== X-Received: by 2002:a02:cd02:: with SMTP id g2mr6410756jaq.70.1553107740603; Wed, 20 Mar 2019 11:49:00 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a6b:7a07:: with SMTP id h7ls1295483iom.5.gmail; Wed, 20 Mar 2019 11:49:00 -0700 (PDT) X-Received: by 2002:a6b:3115:: with SMTP id j21mr18158926ioa.33.1553107740293; Wed, 20 Mar 2019 11:49:00 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1553107740; cv=none; d=google.com; s=arc-20160816; b=nKgnbuV3gMZQp8J+ycC+/q2Qz0v6jYh0w1ulv6kwYcBf3ojKeR5O1A+8dzt8GkdZ6H 6P5Xd8kaupfE84X+vFHG9sLw0dohNhIHw9Kd0Qr0bBu38zKs1LbRxWLA03omc9YjRI23 bpKqeSnvEUI1CVOMEMhlSSYHZsUREX7ixSVeo9/0q7yQmSL6iCCci2rBp2MBA4fSuzoF i3svxzW521PRtoGk9LpyPD11bOsdcFxJ5F0hAnZyCNkO805parABEZ88hx50hMAX3vFh xKsoaIRAaVs6xmwhltXFtcirAEMXdiSFNbGzpzV2lBevcelkCkoO88rI4ORkZvaZmcsj GSWw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=SPTcWjuezPWG6SM6Hts7rRGks9sztN35V36wFt7gD4I=; b=FhWwTmN35cSnH6HhiLIQzE0CVTfXhfrtnBWH8XqyP/PoQk8ymI13HMmHIvGfEOumdf +cWNqW6U8dO12TYtRchbVaoFTmHeOOmIV2C5QApBO6Zuy8BXSZ+fgfViJD/GSjGgO96x J5Js+ad3uD87cKGOJeU/Es/6KYvHnPKJfiuY3XMZU1+HrwcI21xF2dN8TGlmeERHrbAG Xxv0f8l1GsGkfoOp7iOuhSFSzRctnEsRsu2hZqZuKML9zw3e0LY/3qfZ7cRlLSY2cIdi I+glJFM8wH9DYwFMaalkotDv5CW/BsiahKoBPiKhuCaybhwnbGFhQfWx0jltMiCpwYNa 3dhQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=YfQ4qF+F; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c2b as permitted sender) smtp.mailfrom=shulman@sandiego.edu Received: from mail-yw1-xc2b.google.com (mail-yw1-xc2b.google.com. [2607:f8b0:4864:20::c2b]) by gmr-mx.google.com with ESMTPS id e74si296622ite.1.2019.03.20.11.49.00 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 20 Mar 2019 11:49:00 -0700 (PDT) Received-SPF: pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c2b as permitted sender) client-ip=2607:f8b0:4864:20::c2b; Received: by mail-yw1-xc2b.google.com with SMTP id 189so2857025ywi.3 for ; Wed, 20 Mar 2019 11:49:00 -0700 (PDT) X-Received: by 2002:a25:a87:: with SMTP id 129mr16573066ybk.484.1553107739879; Wed, 20 Mar 2019 11:48:59 -0700 (PDT) Received: from mail-yw1-f43.google.com (mail-yw1-f43.google.com. [209.85.161.43]) by smtp.gmail.com with ESMTPSA id q9sm1376166ywq.88.2019.03.20.11.48.59 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 20 Mar 2019 11:48:59 -0700 (PDT) Received: by mail-yw1-f43.google.com with SMTP id m207so2848504ywd.5 for ; Wed, 20 Mar 2019 11:48:59 -0700 (PDT) X-Received: by 2002:a0d:c646:: with SMTP id i67mr1265769ywd.421.1553107738806; Wed, 20 Mar 2019 11:48:58 -0700 (PDT) MIME-Version: 1.0 From: Michael Shulman Date: Wed, 20 Mar 2019 11:48:47 -0700 X-Gmail-Original-Message-ID: Message-ID: Subject: [HoTT] Second CFS (extended deadline): International Conference on Homotopy Type Theory 2019 To: "HomotopyTypeTheory@googlegroups.com" Content-Type: text/plain; charset="UTF-8" X-Original-Sender: shulman@sandiego.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=YfQ4qF+F; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c2b as permitted sender) smtp.mailfrom=shulman@sandiego.edu Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , ************************************************************** Second Call for Submissions -- Extended Deadline INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY 12-17 August 2019 Carnegie Mellon University Pittsburgh USA https://hott.github.io/HoTT-2019 ************************************************************** Submissions of talks are open for the International Homotopy Type Theory conference (HoTT 2019), to be held from August 12th to 17th, 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 the EasyChair conference system 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. If you need an earlier decision for some reason (e.g. to apply for funding), please submit your abstract by 15 APRIL and send an email to hott2019conference@gmail.com notifying us that you need an early decision. This conference is run on the "mathematics model" rather than the "computer science model": full papers will not be submitted, submissions will not be refereed, and submission is not a publication (although a proceedings volume might be organized afterwards). More information, including registration, accomodation options, and travel, will be available as the conference approaches at the web site https://hott.github.io/HoTT-2019/ . Please email hott2019conference@gmail.com with any questions. 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 (or 15 April for early notification) Registration Opens: 1 April Regular 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) REGISTRATION Registration for the conference and the summer school will open on April 1, 2019. A limited amount of financial support will be available for students and postdoctoral researchers. 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! -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout.