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-vk1-xa37.google.com (mail-vk1-xa37.google.com [IPv6:2607:f8b0:4864:20::a37]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id d4702479 for ; Fri, 26 Apr 2019 22:39:57 +0000 (UTC) Received: by mail-vk1-xa37.google.com with SMTP id y19sf2127635vky.4 for ; Fri, 26 Apr 2019 15:39:56 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1556318395; cv=pass; d=google.com; s=arc-20160816; b=zdPE/bdJWKuUs48/hHUGb6HVxgilD/B3w5PP/jmRjbP6PV4e97azM4uR4w2oQqDgS0 ++ko7q3X84apbzm3nhh/rFkYILT353nANUSu3aDUjk0qTbh72Pvg8+XZZpLwBfAPQx2O rdkVJaGWzFAENdE+r7RqRx0C/c8uEFZ8e8HpcIycOXugepL2n2dAYRFdGjNkrI3pnHP6 f53MXyaDwqjuaN4VVkooUib1chAR9LRD2WVpyCz0ei2M47sT4/Moy4CVPq/IDnlURFgx isEcdiEYS6q25hbW9sPzKn88MaVFXU7nceA5F3ejZy//pj7uRa7NDvUz8hB4QEInJAHF ho1Q== 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=fwfr5G+Ph3KXBUmaNFkvHHsWIo868cUGvMXUuoDNVdU=; b=aeQraQjrcrS19lbmaeaV29Kzv31LiW2+HbFFbrV/grg5eo9XiulAc7VG6fKB7Qio6S opi8HX8dEOwlh/Er1+5z6CaddzWswifwoaX1Wc5x86rTWU27qG41i/R0YNE6fh/g/Okg KzMoiVbpc8/v5as1DF+ORCYmI1LgqA+mKuX79LocJ2IZE9Cxv2wAInvPU+7bWRTdPMv9 x1OhmqiQgKTgo55dxWXLgzx9h8QLle6xuN/0FL1WmE6jncxD5uyQoOHnYxq3Huqv1VpI 27xnm2boc20uP9RFly+QWla6GvFP8iIJd1d6AwrQu5slQlMR/CpBBHTddQ9+Ghsf3iJ4 TpmA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b="U8N2Ib/u"; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c2d 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=fwfr5G+Ph3KXBUmaNFkvHHsWIo868cUGvMXUuoDNVdU=; b=OGCo9wHFNHRXtPZnX4Hq1BBEdOE1cTayJuhE65fyBkmoPhwTVWNX55MJifvlbLp6HY +EKyv0GbkHDmtm2oPL3VeFGac+QkkP++qFSAOBo0aqngVBTQPVuzrsayu74gZyOHF8O5 MVT/nb51kiN5/H2UeKC4X1uJWRvMHETIcrSPYla/FE1vr30Ee03WOOhQO2T7lfTXSZ3E jMDZVxqWejxQ6Fl58elXd1GiAo9H1/GwqjuVfqbeZEMrWKcGp0L0kfiaaJaJ4g5KZLsK eY+wyF08dSaE1Px1+Ong8n/vpvsRWv8xnWOi+w0dHk0MiD+1LM2Ny65NFi9NagZG+p50 VjrA== 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=fwfr5G+Ph3KXBUmaNFkvHHsWIo868cUGvMXUuoDNVdU=; b=c6sMDanqBo+6/Jr0/YRkqSe5SBwMsi/EZjvuMQePSHlIC2rEi910W2tMMNxlSCkZtc 5Xe6bSGVA0Gzc/v7fDOrHBFb54KCbaWbaOusKQQXh1B5RO2Wk7jgl+U+X7JQFcX7aik7 /NpioYQehTowvNNivu2Bzw0d9m94D3Cq0afkN1dKLRJkHxvb1AX1qISAGlku06s/fQSj VT1ksP7YzKKLP6jsInqhnTs9EpJABbLtc2gqSKcdF4dGdzTjsJGV3pIZOUUDUiuPUt6y RAPhijpH7zL8SYYbP0TdeFcx0tQajyQEtUyP1sFoMydcoFUsXvQRMtd8r1OgXM2xcP1b 1jzw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAU1rd6oTuP0M3W5xSUHyUadzQkBsVJwAzBhK/nh5oT9YFsTYzvl WfQLcedgMq1oGKM5CDAOG4c= X-Google-Smtp-Source: APXvYqzvAxT+Ckv+6iaixxJqJltSxBBIJFqbzU0IrQfGvyqzjBkgAKCYKY7OBtI5HTVFMPaKhr0Ygg== X-Received: by 2002:a67:f1c8:: with SMTP id v8mr14346606vsm.234.1556318395097; Fri, 26 Apr 2019 15:39:55 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a67:df12:: with SMTP id s18ls481419vsk.11.gmail; Fri, 26 Apr 2019 15:39:54 -0700 (PDT) X-Received: by 2002:a67:1dc6:: with SMTP id d189mr5556893vsd.219.1556318394700; Fri, 26 Apr 2019 15:39:54 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1556318394; cv=none; d=google.com; s=arc-20160816; b=POuQafR31H3UK7ZE7p9vC6p6ZrfD8+w2hcCOK0isg6Gn7wxJKFw9p8xXEbBmEh+Gr7 5LEw96Nf/EJ4FSK3QtlWspjOqG0JrdSlJqE36351IWlJtIiNS2W6hlGpHAtQYuxvoCTh pJ41jcJLR9yNHxYySFg6wvf9RBAeJq/NruF1C521B8FAiUksDLxaa4QY1EPzJEVSU2xz 6gc5onP0T/QMYiu3IxRwiIYC/9uTNu4EU5uuoqUTBm9oM8+iMNR/yFxRGZgszjzAjPuN DdfZtWxI/MO+jko4DROfbBEyy3i/gKIJ/U0tdAyLEYjGSbq7x6uFFLWaqlUg2Ouq3IPm JsvQ== 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=+wEbYiywz+ZqIaRXuLJJTY/q5A4nwBdyFbtVpwQVnso=; b=d61GlW+9yXzfxmF9Y4nuGcFa0yrmeBO01v7BoCoYA6GQbmJg31coXYMO1V1RccyuBj D5b8cPs0DBIDme43KDwiHVM+I6gjQ+93+CIGqur5/DUHTskUA7Ohb5n9fp3H2xTgEjNY Zy+rPAswCgjCOxoEFF93rCXiMU9NgkevgTPLYAAOMpdmSitC9KjWzn7VL3OHTgdN6gZQ 8ALQW7ghWgrmd4bqf6pcQWQMEh7lSWB62Nhdb9zvKSXs/SuEeWj60Cz/WUyKLkgWbmKn Yg+K+GodWsbY3pMnNBBirwx2GN0jh+ELzI54vlpQFR+yzA+uOY4Trfjr5kiPnhkAE2yi iStw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b="U8N2Ib/u"; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c2d as permitted sender) smtp.mailfrom=shulman@sandiego.edu Received: from mail-yw1-xc2d.google.com (mail-yw1-xc2d.google.com. [2607:f8b0:4864:20::c2d]) by gmr-mx.google.com with ESMTPS id o21si913213vkf.4.2019.04.26.15.39.54 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 26 Apr 2019 15:39:54 -0700 (PDT) Received-SPF: pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c2d as permitted sender) client-ip=2607:f8b0:4864:20::c2d; Received: by mail-yw1-xc2d.google.com with SMTP id v15so1717376ywe.13 for ; Fri, 26 Apr 2019 15:39:54 -0700 (PDT) X-Received: by 2002:a81:99c3:: with SMTP id q186mr40919138ywg.269.1556318394054; Fri, 26 Apr 2019 15:39:54 -0700 (PDT) Received: from mail-yw1-f46.google.com (mail-yw1-f46.google.com. [209.85.161.46]) by smtp.gmail.com with ESMTPSA id q6sm4364432ywb.54.2019.04.26.15.39.53 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 26 Apr 2019 15:39:53 -0700 (PDT) Received: by mail-yw1-f46.google.com with SMTP id s66so1730146ywg.8 for ; Fri, 26 Apr 2019 15:39:53 -0700 (PDT) X-Received: by 2002:a81:a410:: with SMTP id b16mr38343790ywh.421.1556318393063; Fri, 26 Apr 2019 15:39:53 -0700 (PDT) MIME-Version: 1.0 From: Michael Shulman Date: Fri, 26 Apr 2019 15:39:41 -0700 X-Gmail-Original-Message-ID: Message-ID: Subject: [HoTT] Third call for submissions: HoTT 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="U8N2Ib/u"; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c2d 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: , ************************************************************** 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! -- 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.