From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10197 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Chris Kapulkin Newsgroups: gmane.science.mathematics.algtop,gmane.science.mathematics.categories Subject: The HoTTEST Conference of 2020, June 15-19, only on the internet. Date: Sun, 19 Apr 2020 12:50:39 -0400 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="62802"; mail-complaints-to="usenet@ciao.gmane.io" To: algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, HoTT Electronic Seminar Talks , Homotopy Type Theory Original-X-From: algtop-l-bounces+gsma-algtop-l=m.gmane-mx.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Sun Apr 19 18:55:06 2020 Return-path: Envelope-to: gsma-algtop-l@m.gmane-mx.org Original-Received: from rain4.cc.lehigh.edu ([128.180.3.218]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jQDDm-000GDd-4G for gsma-algtop-l@m.gmane-mx.org; Sun, 19 Apr 2020 18:55:06 +0200 Original-Received: from astroiii.cc.lehigh.edu (astroiii.cc.lehigh.edu [128.180.1.149]) by rain4.cc.lehigh.edu (Postfix) with ESMTP id AE22164E0D6E for ; Sun, 19 Apr 2020 12:55:04 -0400 (EDT) Original-Received: from astroiii.cc.lehigh.edu (localhost [127.0.0.1]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id AD354A05FB for ; Sun, 19 Apr 2020 12:55:04 -0400 (EDT) Original-Received: from mail-io1-f44.google.com (mail-io1-f44.google.com [209.85.166.44]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id 9E376A01D3 for ; Sun, 19 Apr 2020 12:50:51 -0400 (EDT) Original-Received: by mail-io1-f44.google.com with SMTP id i19so8139606ioh.12 for ; 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-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=MSPIJ9l6RKEEHA2X7bnipxhuJ+IFKAaCvOT9teKGXT8=; b=bs7oMEuKHzXFUA+t6SoEiSPuk/SEtsuMXkzkcrd5+ePCyjrnp+BheWxDUr1tZRNrrU ULg7v75KeUxhfh6XFRYe9+yVLIlYP6ikXouTUZvpAWPl0wkY+ztpvs7IlJCzpF2RNssT rHgh2em1JGZVjkAbXDuOWmw20OjJC4WE8X5a74e+luqg2mQCA3JNEinHJinj+hVcbn9K uEYmwE2LoMnkrJ3DI3+ThyeXrk7dPo55Pqm/xM1vmYWMA3Y6TZDAB2EQ+XnNS09wIwAu vyBXluMVpg4EQ+iPli+N9IATzHLuqR+6kdljUDIvR5JVdjhgOqjx1Ys3Tirq2d/W7bHR XfZQ== X-Gm-Message-State: AGi0PubjBeDRJUfh9lJkvK5jrKaEyfbaqP38f/dlRKEITu/6wHjQruyS lEZNnbsI1nPYw5GDo1Kt6YBadL3EvIP0Zo4TxcCyELJZTkU= X-Google-Smtp-Source: APiQypIXIjXd6xwLeWEzd79EH7ZE/CM3Q97qmVVXOfd9nmp96FdrbLt7Fkaqs+1EurMt3GqNvH8YfUExM3WKl9dpfLM= X-Received: by 2002:a6b:3f56:: with SMTP id m83mr12221849ioa.24.1587315050782; Sun, 19 Apr 2020 09:50:50 -0700 (PDT) X-Mailman-Approved-At: Sun, 19 Apr 2020 12:55:02 -0400 X-BeenThere: algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org X-Mailman-Version: 2.1.26 Precedence: list List-Id: Algebraic Topology Discussion Group List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: algtop-l-bounces+gsma-algtop-l=m.gmane-mx.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Original-Sender: "ALGTOP-L" Xref: news.gmane.io gmane.science.mathematics.algtop:2735 gmane.science.mathematics.categories:10197 Archived-At: V2UgYXJlIHBsZWFzZWQgdG8gYW5ub3VuY2UgdGhlCgogIEhvVFRFU1QgQ29uZmVyZW5jZSBvZiAy MDIwCgp0YWtpbmcgcGxhY2Ugb25saW5lIEp1bmUgMTUtMTksIDIwMjAuIFRoZXJlIHdpbGwgYmUg dHdvIHRhbGtzIHBlciBkYXksCmF0IDEwOjMwIGFuZCAxMiBFRFQgKFVUQy00KS4gRGV0YWlscywg aW5jbHVkaW5nIGhvdyB0byBjb25uZWN0LCBjYW4gYmUKZm91bmQgYXQKCiAgaHR0cHM6Ly93d3cu dXdvLmNhL21hdGgvZmFjdWx0eS9rYXB1bGtpbi9zZW1pbmFycy9ob3R0ZXN0X2NvbmZlcmVuY2Vf MjAyMC5odG1sCgpJbnZpdGVkIHNwZWFrZXJzCgogIFRpbW90aHkgQ2FtcGlvbiAoVW5pdmVyc2l0 eSBvZiBOb3RyZSBEYW1lKQogIEVyaWMgRmluc3RlciAoSU5SSUEgTmFudGVzKQogIFZhbGVyeSBJ c2FldiAoU2FpbnQgUGV0ZXJzYnVyZyBBY2FkZW1pYyBVbml2ZXJzaXR5KQogIFBldGVyIExlRmFu dSBMdW1zZGFpbmUgKFN0b2NraG9sbSBVbml2ZXJzaXR5KQogIERhdmlkIEpheiBNeWVycyAoSm9o bnMgSG9wa2lucyBVbml2ZXJzaXR5KQogIFBhaWdlIE5vcnRoIChPaGlvIFN0YXRlIFVuaXZlcnNp dHkpCiAgQW5qYSBQZXRrb3ZpxIcgKFVuaXZlcnNpdHkgb2YgTGp1YmxqYW5hKQogIE1pdGNoZWxs IFJpbGV5IChXZXNsZXlhbiBVbml2ZXJzaXR5KQogIE1pa2UgU2h1bG1hbiAoVW5pdmVyc2l0eSBv ZiBTYW4gRGllZ28pCiAgVGFpY2hpIFVlbXVyYSAoVW5pdmVyc2l0eSBvZiBBbXN0ZXJkYW0pCgpU aGVyZSB3aWxsIGJlIG5vIGJhbnF1ZXQsIGJ1dCBpZiB5b3UgaW5zaXN0IG9uIHBheWluZyAkODAg Zm9yIGEgbWVhbAp3b3J0aCBubyBtb3JlIHRoYW4gJDE1LCBjb25zaWRlciB0aXBwaW5nIGdlbmVy b3VzbHkgZm9yIHRha2VvdXQgZnJvbQp5b3VyIGxvY2FsIHJlc3RhdXJhbnQuCgpPbiBiZWhhbGYg b2YgdGhlIG9yZ2FuaXplcnMsCkRhbiBDaHJpc3RlbnNlbgpDaHJpcyBLYXB1bGtpbgoKX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KQUxHVE9QLUwgbWFpbGlu ZyBsaXN0CkFMR1RPUC1MQGxpc3RzLmxlaGlnaC5lZHUKaHR0cHM6Ly9saXN0cy5sZWhpZ2guZWR1 L21haWxtYW4vbGlzdGluZm8vYWxndG9wLWwK