From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a05:6102:5a:: with SMTP id k26mr9353787vsp.226.1587315052973; Sun, 19 Apr 2020 09:50:52 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ab0:5ea:: with SMTP id e97ls593817uae.6.gmail; Sun, 19 Apr 2020 09:50:51 -0700 (PDT) X-Received: by 2002:ab0:2095:: with SMTP id r21mr1530795uak.92.1587315051354; Sun, 19 Apr 2020 09:50:51 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1587315051; cv=none; d=google.com; s=arc-20160816; b=OC7RDDCbJzEjsp9PzYZP6MzJAqIIT8H736lhqRC194+Zws/9dmBZUSOh/A4RMfMPRw X1bXCw4C8RNAzh3QvnODZ67SXkZgpguH/NrYEPRhnsLBHmRUVqlxfi6ifNRkcTDvQ4Ko ZkzYXLaLHuHeSntnnMlF0xWL4nkSJH0GZqKpvHkblZoRd5oxI6+lrAb+JXNCDSgWrgV4 NY66HABOJfjeZHnUAj6H6zs7f5oWz5gznWetFc7wh430AHBPendWtKmEJi0gwUa9ImYo c+c5XcpgNcHaaNt1s/jkdgAKvN6Yr43IgbJJtQldFtJLAeabTPrGFL1P48sFSpsgd2iW srcA== 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=MSPIJ9l6RKEEHA2X7bnipxhuJ+IFKAaCvOT9teKGXT8=; b=lqLtXZI66hvoSowppV+eMM4u3MGSAlqvMLiFHVtoFVdQXL+xfK4+z5k3LY2BjB/uFr 1PQl7yGmY7oClYbYZA2HBXKgq2F76HvRtD1plG7BiB4WGx+MCZe23ziQTEGUvEznSk4d URkDzZ9A2nqT1r6CsAmWtRCQJZSpAvWePg7GjTexYu9NYKIGTGInMMaZyZqfRPowy+DG WeqPg/GQKiuGB/fleuenMGFyEZDOEbTEmfaC2DMwjysxn40tZJacKhnlYrOAMFRrTqRY E95bQM/s9bRSGWcmYEAdm3u6yUBCJBNFMc4Bpf+a9IpvS3zsrw4ktVZZFI23/aZ/neGE eYRA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=EFg9kF1Q; spf=pass (google.com: domain of k.ka...@gmail.com designates 2607:f8b0:4864:20::d33 as permitted sender) smtp.mailfrom=k.ka...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-io1-xd33.google.com (mail-io1-xd33.google.com. [2607:f8b0:4864:20::d33]) by gmr-mx.google.com with ESMTPS id 62si1554829uav.1.2020.04.19.09.50.51 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 19 Apr 2020 09:50:51 -0700 (PDT) Received-SPF: pass (google.com: domain of k.ka...@gmail.com designates 2607:f8b0:4864:20::d33 as permitted sender) client-ip=2607:f8b0:4864:20::d33; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=EFg9kF1Q; spf=pass (google.com: domain of k.ka...@gmail.com designates 2607:f8b0:4864:20::d33 as permitted sender) smtp.mailfrom=k.ka...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-io1-xd33.google.com with SMTP id 19so8141429ioz.10; Sun, 19 Apr 2020 09:50:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=MSPIJ9l6RKEEHA2X7bnipxhuJ+IFKAaCvOT9teKGXT8=; b=EFg9kF1QnqfYghzJgUSPYCGT2Cw3QOBb+BJGWTaak6h2cZ1MjNv25GkC16WRUF0eTa HK58hpBaKDgm06XNjQ3mlZahhgec/q0k5NT5savdB0qZa1tgbUHfyJjyzHkLu5zfVj7f 8k2+ktNQBGA/UCM/VVfeVjMX4m3jV+LqOwue7oB7CAKmdrVpXqoi7dkAYVrDo/f6m6N8 EgCSLWvv3MiPBFeeMADunhnjNbJcTW9BaVvjvhImHY6AtAoFNW5tm9FwC3lvjpOnQWsG zAW9uWzjJ9h5S5BIuLyl8scpCIQcpzRk7Uh9DfQa5Vql8hA0W55+xdOi+IEF+gE9m7P7 UB+A== X-Gm-Message-State: AGi0PubpkYgVlfjUwnnt+Wz0glyYgm6CW9kPYD1VpIVHDBmR7A7uozl9 Uq9aDJG8bBVQfe0BF8cZZXL/YkL4jDrg6ltieyo= X-Received: by 2002:a6b:3f56:: with SMTP id m83mr12221849ioa.24.1587315050782; Sun, 19 Apr 2020 09:50:50 -0700 (PDT) MIME-Version: 1.0 From: Chris Kapulkin Date: Sun, 19 Apr 2020 12:50:39 -0400 Message-ID: Subject: The HoTTEST Conference of 2020, June 15-19, only on the internet. To: algt...@lists.lehigh.edu, categ...@mta.ca, HoTT Electronic Seminar Talks , Homotopy Type Theory Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable We are pleased to announce the HoTTEST Conference of 2020 taking place online June 15-19, 2020. There will be two talks per day, at 10:30 and 12 EDT (UTC-4). Details, including how to connect, can be found at https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_conference_2020= .html Invited speakers Timothy Campion (University of Notre Dame) Eric Finster (INRIA Nantes) Valery Isaev (Saint Petersburg Academic University) Peter LeFanu Lumsdaine (Stockholm University) David Jaz Myers (Johns Hopkins University) Paige North (Ohio State University) Anja Petkovi=C4=87 (University of Ljubljana) Mitchell Riley (Wesleyan University) Mike Shulman (University of San Diego) Taichi Uemura (University of Amsterdam) There will be no banquet, but if you insist on paying $80 for a meal worth no more than $15, consider tipping generously for takeout from your local restaurant. On behalf of the organizers, Dan Christensen Chris Kapulkin