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-pl1-x640.google.com (mail-pl1-x640.google.com [IPv6:2607:f8b0:4864:20::640]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 6944fd26 for ; Tue, 11 Dec 2018 23:03:37 +0000 (UTC) Received: by mail-pl1-x640.google.com with SMTP id v12sf11605661plp.16 for ; Tue, 11 Dec 2018 15:03:36 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1544569415; cv=pass; d=google.com; s=arc-20160816; b=rXczRodcpJn6f3CYDRkpcpMaFr3QssIdDJnjMpJK0LTY0/2hJ/W6SXV9guQUCt7fRc QYOtkcKouubpXrRenxasMArn83oywul2y/C+hM4Ozz2gM6zYCRJZi9WvqokR9isD+RTh AzBO2IxlwEmF4+yvAt5eUCIE9Uvf7k8aDVLPFX4Ru3sDc0+RUiwPWGvusMy8esOwqo2n 8kQ5Jmu1axhcMrpIlkNoipNuzgNG+IaVertcUmpRM37HFP6+3AemmC9UW1xpksqxSVcO xjuT8Q/j20NClVC2n65ZsAfsGIeDv+V2XAPk3yGZL2S/0KfdiXUbswiNvz4q5pEeYz7v Us+Q== 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=Jwvx4DgoVE2lT1H2qNlo37MRbgV5EVrTAZCdwQZh4VY=; b=Fgjyhi9ICvi/TeYCZtZhiBWyzUMkdeD1nVJICu6CukAjCXjmQEfcTL+meih+FV2D8a Lo1VvGqRNDndnNc3GGlLsNTcURMHsgSHvFFKumZOhhuU/LKIHvTe6+uHvd8tRSkS0ydp eAe5SBkj1rOGNron8ZIGOhzmwpBA8YQ1lc1iTNCHxCRJpE+vY0Rkri2krupWalWvYXp4 TP2a73OL72y8ejawSXJyDX+Yy6YUYUskCgpTHa/s+8piJtNtGvnL1stB1akszsb27tot Gt2Nz0ehZIxXnTsUWw3gsnuXK1sgn6AOzQ+UtUxWNFBwByejfrPKlP8LjwdtAM0WiHSS ZQaw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=ccGhfrVf; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c33 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=Jwvx4DgoVE2lT1H2qNlo37MRbgV5EVrTAZCdwQZh4VY=; b=QEBQSGbfqkvKzOeSLsNtPk6DsiIErsEEj2rhdRXKfVismpQmHemEtDzvL8BGBDb/av HRg7Rqz2wBhcf1+yttXGispfPdaoIyDof7pAkuyH9N9J4VIltvqjrGxkhnVxe33cbCFy 9wRKtqGbNS9Vcz/ifqVcUHUr1DaYXpDnTDm51teOHEsniH8ybv9vFV41zc5+5/b3Q2RH kii8vt6neg6GxWbDRvA/pnQDvjoBVlHBK4tv8e6T8vRPWyjP34mbxhxE3MQFVwuXITgW FGfnOTQEVjuo29Mc95KjzKwT+ZVFCz6wmb+jTBkSOpVBeTf2WWrAkLSVFgcsLKnKzs2G kq0g== 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=Jwvx4DgoVE2lT1H2qNlo37MRbgV5EVrTAZCdwQZh4VY=; b=rqkypFbQI8o9UMjNhSLQflnJ8tVJUNtvE8ddct5NlnK5dj7I32XIOY9KWZL8le+nev HgnZNF8wwAW/UMB5tIDTZrd/7LGsMXhsUHTNNrzBEIQUzn/fU4qdaSE63X/9/YgRBGL7 syDQ44xoou0Il1aqxrhsb15fbq7IfR4b+pr6SBAC/YOrtTyQtaJro0AZLQ0bxdL8LGiy 02hZO4K7hvpFwrjOHG2xzvjvK8HKNlVjbKZxrHLjFkJ/mBI+E4ysRGnK/QYFuQZnML7D jqr/wkj0/oLvGCZmMcVlX7wG0f/LyGz3KxJYIL3JN3CCaO7aa1zBnqA7tIupLF98M35j mp/g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AA+aEWbCxFcQgBFk3Dz/SWBk1nwiopC/5c3NThEBTfQweRqA75GXbwUA 41/7yH4uhvnysjfS43qBYlY= X-Google-Smtp-Source: AFSGD/WDGqXd+0nArEQ/9jbE3pODcMORRl9y7EmGcPxsYbWuFskCsDQ9+aQ7aDXTWQmrCu4RONtqUA== X-Received: by 2002:a17:902:1c1:: with SMTP id b59mr71708plb.3.1544569415340; Tue, 11 Dec 2018 15:03:35 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a65:41c7:: with SMTP id b7ls784548pgq.11.gmail; Tue, 11 Dec 2018 15:03:35 -0800 (PST) X-Received: by 2002:a63:408:: with SMTP id 8mr9535030pge.23.1544569414994; Tue, 11 Dec 2018 15:03:34 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1544569414; cv=none; d=google.com; s=arc-20160816; b=qq9LUYhV4MHUkhs5MVeAoFmCxsPnjQmdH+1KG7Ktxc+eTzcMXH9Uk/yRj5pziaGhoG OoG8crZ+AchWjNtSjL6DMf+6mQakdF6QabwqG1SsGP41DklfTXStjNf+x7fD+/NZaLE0 yu+If0S51KGjSwhzQz9q2idMhzOPvJJVWqT4xa2pp1BEQWz/FipDoPeY8stYOFsyGzp/ mvpo8pQM4G8zVWRE+Y4YSZ+xn4rzHmMW1nIWU9qOZeEJVngRkAk4BW8Ejzs3g4jzp0Yj yFRvyzTOfzxrT/WVBUO9hruRlIk6Gn8VyDfVO6OXMJFEBRr7MKat8XcvQPAHnGW3SAjv e3yg== 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=95Xi2q+6wodLS8GeyN9BmgCi3Bavhc4ZKxrcPpKCv8U=; b=0O59r/VMCLfSKaSBeuj/csnxQdKqp017WK7UGM5pvQBiNQ7uPAcpGfM1tj1zrH1vep 0fMTNICgz6C0xQkCKAvxN3+ImeK+Vxk9pDlh0/tA0XvGPFSXFAUpSiQtxw9yZtR5uFVw HCNHPXRkbd09Sv6iB5tzCftjOS9O2wjjrigp+8kCJ+snK062ghKyI+GsSfg8RFrUjsVE Wj7JYMVFDHTYJBHQhmxKx6aCA9TjtJRQLaiF3PPrkLkTPOZFL0UCeOekFxP5eYcSfsMW Twbr2XU6gKP3pDqah1nPQZRhRz/Z57hdeB3NzlnzESv8JIbTtViws9hp+r4RLW6xcd1/ pXMQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=ccGhfrVf; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c33 as permitted sender) smtp.mailfrom=shulman@sandiego.edu Received: from mail-yw1-xc33.google.com (mail-yw1-xc33.google.com. [2607:f8b0:4864:20::c33]) by gmr-mx.google.com with ESMTPS id f86si971537pfh.0.2018.12.11.15.03.34 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 11 Dec 2018 15:03:34 -0800 (PST) Received-SPF: pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c33 as permitted sender) client-ip=2607:f8b0:4864:20::c33; Received: by mail-yw1-xc33.google.com with SMTP id x2so6177768ywc.9 for ; Tue, 11 Dec 2018 15:03:34 -0800 (PST) X-Received: by 2002:a81:ac15:: with SMTP id k21mr18337345ywh.460.1544569414286; Tue, 11 Dec 2018 15:03:34 -0800 (PST) Received: from mail-yb1-f169.google.com (mail-yb1-f169.google.com. [209.85.219.169]) by smtp.gmail.com with ESMTPSA id z186sm5204405ywd.107.2018.12.11.15.03.33 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 11 Dec 2018 15:03:33 -0800 (PST) Received: by mail-yb1-f169.google.com with SMTP id d2so2749926ybs.11 for ; Tue, 11 Dec 2018 15:03:33 -0800 (PST) X-Received: by 2002:a25:c54f:: with SMTP id v76mr10218915ybe.243.1544569413506; Tue, 11 Dec 2018 15:03:33 -0800 (PST) MIME-Version: 1.0 From: Michael Shulman Date: Tue, 11 Dec 2018 15:03:21 -0800 X-Gmail-Original-Message-ID: Message-ID: Subject: [HoTT] SECOND ANNOUNCEMENT: 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=ccGhfrVf; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c33 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: , 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 -- 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.