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-qk1-x737.google.com (mail-qk1-x737.google.com [IPv6:2607:f8b0:4864:20::737]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 0063b763 for ; Tue, 29 Jan 2019 17:36:55 +0000 (UTC) Received: by mail-qk1-x737.google.com with SMTP id f22sf22273622qkm.11 for ; Tue, 29 Jan 2019 09:36:55 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1548783413; cv=pass; d=google.com; s=arc-20160816; b=F3eWYBsFGAFrIflmANnjkrfruhSnqjx+ZQ4PqQrP/FW/mk37x/VZVTWHmgR9qDUpIt w8OIbfyjOYRZ88CEtFQ6N3WH5DTVz6E8rmzehcJ1xcZ09niTCc3E2V6xRD9PbQGe0JSW HMcqLujfL0nyhQWn413kCvSR4GYWa1pHd0Tt3QYzDy5/QfH1dEsoCDyLBoD/QIyOKVpx WBFatl7XMrMaeVLMEWUtoiaL3ym2c/BbUvnd4RZbAEjebGijwRsw35OE1XWfxUtCZsu8 /ihIOZEAVpFHCEpylrZAqD3LAiBnZmQyIadS+goTNiRLs4tEOgTCZ96sgfe1ZMg9AEP8 6QRw== 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=dGDJJYaQdJ8CswBijlU68+Hx1XCJnD6lk+KPpsxMgOU=; b=cnQGwvkHmAXez3VQVois47swdKYJyoC6I4DDoUJERtMBj8ST+K0RcAyWK9LIwvkxLc weZdmIrdclIqBEE1JYX7wePB5tFGxYcpsfAIUL7MIwETdAYL+WVAGOxMW1r6spAEoW2+ a/v6Vr4fzpJ57yEIaSCRXVMrmrUr18BMs8YNo2K7/XO56C/whwPKgez9qAGgV+BJlxam 30mYGNiwR4sPSoKSB3vAUwpdT46/Mtd40rYxJBbWicWrPwnyZ8G3aIMPorKXVYSU4T4F mNXvwMjgK/eFTrgCN6mCNm1KRoRPKBvJu7g8q7GamiGPxKj9grTstQZdzHLEu+dUkiFx 9pLA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=WcKWsiag; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c31 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=dGDJJYaQdJ8CswBijlU68+Hx1XCJnD6lk+KPpsxMgOU=; b=UEL1fA1pq7Mh2Busq7ZdaPkzffE3PD164tyKDZyuwaB8kd5PHUychBpdSgc+NL2v81 u9c4gHrDs5Njuq8OThc4X2ZuigSuU8G/10qaP84pqtGovDxCk/0Y19LgSnw7RHP0gL63 mII3FCuK0QDgZ5bnztqozkP9+51yodFyFwMVG4Dmw4n6RU2nh5VBUWn0t8ypTcwJqhHq KULHKHm146nHGU7sBKrSd3klBhsKXXkvmviv98DtP+S68txBZrQPP8N+6d18ekl9CYfv DbI5iX5GurdpWBEpzdgVbu1Wbbj9meSwLPgaR3ixqMHAD0y71EfmEwq0Y6moZfTHxbBq ONag== 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=dGDJJYaQdJ8CswBijlU68+Hx1XCJnD6lk+KPpsxMgOU=; b=FQuSgi/4WOPFt3GDmlMUUDEohd950Sejj21RYw7/M0oGfHFSo0qMnfRvRsppaYCMHV kREWcl3RZiWl6A40nIIigUDTyIkq78ulzEERjAbNAqjGdlzpgrwpPvh2qLMzrF/ipHeH s95KwItn97x/jsMwsuHqfeq3h6JiY6cZpb/49uJslPy0czjBYA1KmFjq5ak6xgW5ON+3 0Y9z/lO//LDXaaN1Im8qorCmxD7sRC/0Lp/lFHB/Bp7rLGXcpQOrPwW6JZzXu+YJc2uJ kj2yd6sCQFQzILjtD77W7U7716M4wdNZNsuko8J1oj6xpmXPxmIi7NPpfhcRT+GSAIS+ T8dg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AHQUAuaalKUJ8GioxKMfTzZcckBB4zg6MbvePZf00Krk1gkIBMtI3tLp 0ANDQvogPekJqwm9N3N/RGY= X-Google-Smtp-Source: AHgI3IZH71Z8R0Isfm0Ldeoef/uVQZl8aU0EqsjOcB1OBa4szNtE1mODWmkbTzOmDXoiBKEaAMq5Sw== X-Received: by 2002:a37:ad4:: with SMTP id 203mr68531qkk.3.1548783413486; Tue, 29 Jan 2019 09:36:53 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a0c:d1f8:: with SMTP id k53ls9460081qvh.0.gmail; Tue, 29 Jan 2019 09:36:53 -0800 (PST) X-Received: by 2002:a0c:9dd5:: with SMTP id p21mr3674866qvf.31.1548783413204; Tue, 29 Jan 2019 09:36:53 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1548783413; cv=none; d=google.com; s=arc-20160816; b=SNJeALffLbeGbXMrW4nlgysF78ZG5BPa2KRZqg2np3IezvLHoJkYhcyyzX2cL9yd7D IjTk48d/ER6eVKhw3bzO4OxySTVFtftBUuJphX56bI4IkMfZI/5rO04on7nmrJnKGA+f 81JYV3bGQMa+fdB0pEtRXjVCdYwaLlWadkgtn+UrwXZLq+ygDMXGlsOIMcrhocXGvsPu 2aEPjUD3icqlhTpRdWFPswCsqLIttF0yFkgN1w5GBTIn5u3YZMBRY45ENU71XYm4xKtQ tFeyQnxm/R5lUHJ0TNd4yaWibqZWAQlbUSR+wFi8MM9EqCVbTbHD4MNuwGXhSkYonAc4 R3Fw== 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=RInXTotZ6RBiw5UJCNOdjvUK3W/qos001pviZo2VECI=; b=cB3KBmCFfXFoxCAJ7+s+wK6JWgHbIXsUfgh7ZPD+HeKr3z6YKJbvSUBN2UQzJ847+H 8YzQjHyefXdXNjLItqtpaZKBk2arKKKeLV0qww6BCHEaC5zlqYjUkvStUnGkgNxORF+U kdJ7SlV3R0a+fJCBrDqN7OXoAjQIil1K53SMgk58HVkjnxipFAprVWAiq6ztw3DEK4WQ Qp051U+HF0oFxwjJDStny/xqH0n3rZSRLYeQ6tArr7/LYT7FJIOspKCo9hQAZPWGeVRM Fax4xuHuUmOzyq2zKmXrbaHn5vajUaiBJzID7xmhUnd4oisIjWGIBhD0QSBnHq2aBHMH lRsw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=WcKWsiag; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c31 as permitted sender) smtp.mailfrom=shulman@sandiego.edu Received: from mail-yw1-xc31.google.com (mail-yw1-xc31.google.com. [2607:f8b0:4864:20::c31]) by gmr-mx.google.com with ESMTPS id c140si7045769qkb.0.2019.01.29.09.36.53 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 29 Jan 2019 09:36:53 -0800 (PST) Received-SPF: pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c31 as permitted sender) client-ip=2607:f8b0:4864:20::c31; Received: by mail-yw1-xc31.google.com with SMTP id x2so8495957ywc.9 for ; Tue, 29 Jan 2019 09:36:53 -0800 (PST) X-Received: by 2002:a81:3883:: with SMTP id f125mr26410573ywa.507.1548783412725; Tue, 29 Jan 2019 09:36:52 -0800 (PST) Received: from mail-yw1-f43.google.com (mail-yw1-f43.google.com. [209.85.161.43]) by smtp.gmail.com with ESMTPSA id l140sm15535653ywe.77.2019.01.29.09.36.52 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 29 Jan 2019 09:36:52 -0800 (PST) Received: by mail-yw1-f43.google.com with SMTP id d190so8513464ywb.5 for ; Tue, 29 Jan 2019 09:36:52 -0800 (PST) X-Received: by 2002:a0d:c182:: with SMTP id c124mr25833102ywd.190.1548783411843; Tue, 29 Jan 2019 09:36:51 -0800 (PST) MIME-Version: 1.0 From: Michael Shulman Date: Tue, 29 Jan 2019 09:36:40 -0800 X-Gmail-Original-Message-ID: Message-ID: Subject: [HoTT] CALL FOR SUBMISSIONS: 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=WcKWsiag; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c31 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: , ************************************************************** First Call for Submissions 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 now 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 is 1 APRIL 2019; we expect to notify accepted submissions by 1 May. If you need an earlier decision for some reason (e.g. to apply for funding), please submit your abstract by 15 MARCH 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: 1 April (or 15 March for early notification) Registration Opens: 1 April Regular Notification Date: 1 May 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 for the summer school will open on April 1, 2019. 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.