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=-0.9 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-qt1-x83a.google.com (mail-qt1-x83a.google.com [IPv6:2607:f8b0:4864:20::83a]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 16afc562 for ; Wed, 24 Jul 2019 21:18:50 +0000 (UTC) Received: by mail-qt1-x83a.google.com with SMTP id x1sf42730151qts.9 for ; Wed, 24 Jul 2019 14:18:50 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1564003129; cv=pass; d=google.com; s=arc-20160816; b=n3V39Q5R+koA9qro3F2UAFKTcqhE9dFJtLZj7nU1PX8sSrrteMeeRXUNMKlBuM7Z4Y ISi1QBNOq+n6HT4Hcj1eNYUXN/8oy699xo24f400sn7cxZtg/HoC/5nXwgEAobOitcnw iGhy737UP/C/sawH5akBhzD7BkL5EI2jkj6IOOgwdVI00T9L2BoGWrmxujUrSGVfNsEh /+IyvYjljiJdntDXHmRnz+jRygVSeSKfTfjDtv0DoVWgc1Fkqos17rTL0AV5WSc3LT20 rEMiACaJIokSPuLgZuXWsa8PecQSyaVwImSrCH1g/lh57uE5FiL1Im7adgUhiiRS9wRS Q5JA== 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:content-transfer-encoding:to:subject :message-id:date:from:mime-version:sender:dkim-signature; bh=hihq+V5MQWUejYQdO0IlmTnVx3kMQEtLGViMVm8jyjY=; b=gQcc2W0lC4rOoc4n4Q+ks+2BPqo+5HaLsBytiIBE1ph9aJHIjOxClmPuNiwK6sngAm +cu+EFShrWnFtReDBDNUvw1N3bo7rgMAikJaoIwt7+eG3ATGI3IoyFgsDOMqTfnpIhVw KAhGHv30ooYYE0dsF8YapV+q1gbrSVWYYaN2MM2vfWaYYy1H7kH9l+daWfaBeMn1sY4+ Gq6trkHrJqgfGmjn3BiuqbDmVFFbla8eUBgZtmwQwVoxohfQOpW2GlkKYiEs9EflAlGJ GWUPYMWuwWNbtURc97ggmGkJVHze/4/655lMBHariFyT1T8uYCgyR21ONk1yAXyMhDRz NwUg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=fe3RoDmj; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c32 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 :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=hihq+V5MQWUejYQdO0IlmTnVx3kMQEtLGViMVm8jyjY=; b=JKQM8+l1GiF7a2gD3Ii8DS8yhhxr4iNasAXNqO0tUMKfHBajF2UWzkkPCwsyKCoHZB 1N/VVH1SfFxRuHpttT59SZz1od7gkL7gI1NRbEr2f7bMUbOhMncv+E899C+feJ/eOUJo bvvmuUEUPsStRQ/s7+Qzz0e0NzZZGsHXwfjntOWigt+oEKrwZMygb677zNzk7IR9LeCy IQfpYJaUwAy4flvJoczHK1U7Xh1Q6cS2lGCSg/dS9g3LxKnVnqv2DRpjShwnQZwtI5Uz qlaIQ4aR3pY68SLttgCMu8CI3OJM61MQwA2Km9ZckHUNAU+xqlxYT/Z2YGpdhZsrQMoc C1LQ== 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:content-transfer-encoding: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=hihq+V5MQWUejYQdO0IlmTnVx3kMQEtLGViMVm8jyjY=; b=BRrdmQwaCULxtLzMD8kVbV/5U52mM4OXRmODNrATdUrpC6CIJDwVkJDmMovtpIlf7i KV26fV3J6w1ohUSXYLkjXJg8ibblXI3cuEyS4FX30QS1RGruR0qg8sXBJOWxtQDrlmi2 +JFug+5rfLz8/1RmguQj0HB4q7OyUDpC+KRyo2AZxE9Z9G7qdJWXncU+F6iEOKcFWshJ jNsc1Wz7e4VeXgxEwPMy97NXMc0Lg1lL+pfTvAb+P698bEQrGjxXj7MhOiAt6l/GjFQI jaqBF0h3lctEjTRhOV1Yt6XPaaLtLDgpQ9msR8tv7nnMYfV6BLtjsr0YSWri/KP8QPsb 6S2g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAWIyIy//oxrK/9d5nEEJYssNkRY1H4L3wAqw8/Qq6FdypzDwibV RKR/jscTdmdGHYrSB58mIQQ= X-Google-Smtp-Source: APXvYqyl+atuw2vjAM/A01K7KnYrPdLdSVaL29zCyV21NUmvVqXs05KjSQ/KQMPoC9s9Jujge/nVYg== X-Received: by 2002:aed:33a4:: with SMTP id v33mr57939761qtd.18.1564003129041; Wed, 24 Jul 2019 14:18:49 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ae9:d801:: with SMTP id u1ls14374243qkf.13.gmail; Wed, 24 Jul 2019 14:18:48 -0700 (PDT) X-Received: by 2002:a37:8103:: with SMTP id c3mr55861306qkd.114.1564003128775; Wed, 24 Jul 2019 14:18:48 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1564003128; cv=none; d=google.com; s=arc-20160816; b=nSSZJmFG9DRn1W0aPtNCBUJBew9eLlDfrytLjZmFdRwx9NGixeVvqoztpa3SsEqy3z OOxGJCsr6Mne2Ajlc+WyYt0gfn50NOuNUQSvRtMpX/4JOxtVBWI9SlsJOi1b/mMdacBK 5Un+2iV5YM5kHGRfH2TWdPSUpoB5OI+ZuGuMe3rrE/jMIoZ0CWn1Nc++uBIsmgPgaq3f ggmz+rGC7abCtZhi1gMmQRn1tmv1FNdFxBrZxxJ3ZXRi56Fwfe47D22a9QZkVqJwizfe ahGW/ixJfVTNRc6ZmrlauraDYSkM8vDLp9yiZD/h84U7yjQgjHLhit0bRn8CKqtXbvEs cGFQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=tMthYqgZtmAvw0bpw8GcNM6SRAMyENvrYfW3yQ0vEoE=; b=fB7igcy+hXgkbvnDu56aWD1xZAuASJLvbSiFthCCb9GioZEaPZ70RV4aydhL2knTrk WfyR+1Q1953J+gJZtFk4K4LMQaj8jGBZ0uydLWQ4xoo2N0ii2VrY/RMe4/ABeBK2elnD 4a4673BtqN8P56DBnXyqFu00s1u3fn1hpsbaADUiLxmZt4jz73JMsDJ4QFcMrRcMNV8i cyGZ8mZTRfhrJqLLliQZZheAjZWcIu24YDMXYQBTY3lmYNnG2ujwc4VjSFNr7kIiIWSJ qbab67dvOc4m8/xsC5rpgxW/0n3SD1a9+c5D5NK611LbvMsTcwnlIVQ2slnp68By2+Iw dEqQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=fe3RoDmj; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c32 as permitted sender) smtp.mailfrom=shulman@sandiego.edu Received: from mail-yw1-xc32.google.com (mail-yw1-xc32.google.com. [2607:f8b0:4864:20::c32]) by gmr-mx.google.com with ESMTPS id v19si446291qth.1.2019.07.24.14.18.48 for (version=TLS1_3 cipher=AEAD-AES128-GCM-SHA256 bits=128/128); Wed, 24 Jul 2019 14:18:48 -0700 (PDT) Received-SPF: pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c32 as permitted sender) client-ip=2607:f8b0:4864:20::c32; Received: by mail-yw1-xc32.google.com with SMTP id n205so18562335ywb.10 for ; Wed, 24 Jul 2019 14:18:48 -0700 (PDT) X-Received: by 2002:a81:5944:: with SMTP id n65mr49984241ywb.182.1564003128313; Wed, 24 Jul 2019 14:18:48 -0700 (PDT) Received: from mail-yb1-f169.google.com (mail-yb1-f169.google.com. [209.85.219.169]) by smtp.gmail.com with ESMTPSA id 206sm11165396ywk.44.2019.07.24.14.18.47 for (version=TLS1_3 cipher=AEAD-AES128-GCM-SHA256 bits=128/128); Wed, 24 Jul 2019 14:18:47 -0700 (PDT) Received: by mail-yb1-f169.google.com with SMTP id a5so17784845ybo.13 for ; Wed, 24 Jul 2019 14:18:47 -0700 (PDT) X-Received: by 2002:a25:d10c:: with SMTP id i12mr49501057ybg.395.1564003127425; Wed, 24 Jul 2019 14:18:47 -0700 (PDT) MIME-Version: 1.0 From: Michael Shulman Date: Wed, 24 Jul 2019 14:18:36 -0700 X-Gmail-Original-Message-ID: Message-ID: Subject: [HoTT] Reminder: International Conference on Homotopy Type Theory 2019 To: "HomotopyTypeTheory@googlegroups.com" Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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=fe3RoDmj; spf=pass (google.com: domain of shulman@sandiego.edu designates 2607:f8b0:4864:20::c32 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: , ************************************************************** Reminder: INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY 12-17 August 2019 Carnegie Mellon University, Pittsburgh USA https://hott.github.io/HoTT-2019 ************************************************************** 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) There will also be a special Vladimir Voevodsky Memorial Lecture given by - Andr=C3=A9 Joyal (Universit=C3=A9 du Qu=C3=A9bec =C3=A0 Montr=C3=A9al, Ca= nada) The schedule, programme, and registered participants list so far is now available on the web site, as is a link to register: https://hott.github.io/HoTT-2019/ We encourage everyone who is planning to come to register soon, so we can get an accurate count for catering purposes. After 1 August, the registration fee will increase from $60/$90 (for the summer school and conference, respectively) to $80/$120. In addition, there are still some rooms still available at the Hotel Indigo at a discounted price for the conference, but these must be reserved by 29 July. The topics and instructors for the associated Homotopy Type Theory Summer School, in the preceding week August 7th to 10th, 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 look forward to seeing you in Pittsburgh! The Scientific Committee Steven Awodey Andrej Bauer Thierry Coquand Nicola Gambino Peter LeFanu Lumsdaine Michael Shulman, chair --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAOvivQyJYyfRSeAdN%3DJ-U9Jyzfbnm4PtQaAQnLNsv4-LoDZHrA%40= mail.gmail.com.