From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10525 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Chris Kapulkin Newsgroups: gmane.science.mathematics.algtop,gmane.science.mathematics.categories Subject: Call for Participation: HoTT/UF 2021 - July 17-18 Date: Thu, 8 Jul 2021 08:50:09 -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="blaine.gmane.org:116.202.254.214"; logging-data="4112"; mail-complaints-to="usenet@ciao.gmane.io" To: algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, Homotopy Type Theory , HoTT Electronic Seminar Talks Original-X-From: algtop-l-bounces+gsma-algtop-l=m.gmane-mx.org-wE+tr93vHrabo6XCN/16Dg@public.gmane.org Thu Jul 08 14:59:34 2021 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 1m1Tcs-0000ut-70 for gsma-algtop-l@m.gmane-mx.org; Thu, 08 Jul 2021 14:59:34 +0200 Original-Received: from astroiv.cc.lehigh.edu (astroiv.cc.lehigh.edu [128.180.1.149]) by rain4.cc.lehigh.edu (Postfix) with ESMTP id 4E73E64E0F2A for ; Thu, 8 Jul 2021 08:59:32 -0400 (EDT) Original-Received: from astroiv.cc.lehigh.edu (localhost [IPv6:::1]) by astroiv.cc.lehigh.edu (Postfix) with ESMTP id 4D4771B2 for ; Thu, 8 Jul 2021 08:59:32 -0400 (EDT) Original-Received: from mail-wm1-f42.google.com (mail-wm1-f42.google.com [209.85.128.42]) by astroiv.cc.lehigh.edu (Postfix) with ESMTP id D7C211B2 for ; Thu, 8 Jul 2021 08:50:20 -0400 (EDT) Original-Received: by mail-wm1-f42.google.com with SMTP id o22so4052497wms.0 for ; Thu, 08 Jul 2021 05:50:20 -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=FwSKeCfw4JH32ay570i1s1DJA9ia4vtO/U2W/a/Jilk=; b=GGdUdTT98tq6lKbTb9zh8WRxubzAkvkQ1FGh146dJi8dU1JSU5O7zxAsDrB9xWqqO/ pDRJCIKExYk0oM2jVSSNMyG8gtkkztr0qWOJlRGP4RY400FvZhoBpmOmmc968a0to4ig 1r2bpoLp/Qy9gIekyzDMydDMiXT0164Jwv5k9mGfYHecC9TocZK6QwiJ54SkJhbl6crd wxxcZgaBP6esPxj3yES4onGh5u2zuR77dow03KwoV5Zg5sbSnjh2eTUmHpPBX7RNvP94 lOGszG7wYXpdwY99W6/UUDHLC1sgAAyhjvqseuieiZBY9ZUZ6Z0IstbGlfaG6JS8Vf8N xMHw== 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=FwSKeCfw4JH32ay570i1s1DJA9ia4vtO/U2W/a/Jilk=; b=OXd7NnmHXF21AfTi2jXf6TJ6A7fteI4z27Q3q+rzz3eP4TGHUTWYzlySwt8n7U9jEQ IutL+wbwApEY8fhX4XklBGcpx0PPdpxKceyx4kUCUHgCzK8H91B28X8MB3YOFJhjd+7h lLJeGSs7IANCK6Q21FR8XBRFRKbl0aY1K1gxiSZpjX7VfdLkq/HUQQJkrhnWqtHKUO/Y 9qrxpA/VgRnCVNq7RU5dvbJ6kEId0HgsVpC+N5LAdPQ2YghaLDrTjccUQbWbZRRVW7fK BOt5m8CGmd62ZM7jtiqIT6MMUetZUniBdkwS9cK96IqX+ImJyXLOhpEe+1d0lQ11tld1 RjGg== X-Gm-Message-State: AOAM5305yd9d9aT1jcL5UuPXTWJ7WRMVzPiP4seZwHjimxQD9S+oQ0qy UhCT0pBODJqvktxFPRaXOLPYANblgLcHp1YC6wky9TQc0D4= X-Google-Smtp-Source: ABdhPJyPcTEFd7etqILi2pyRsT0K0iSrfZrSoVdcxv53/tt/94TfWru729ilsbdeuV4r2ZbODMONEx2rjRRUm2ImJ+0= X-Received: by 2002:a1c:7402:: with SMTP id p2mr5029875wmc.88.1625748619852; Thu, 08 Jul 2021 05:50:19 -0700 (PDT) X-Mailman-Approved-At: Thu, 08 Jul 2021 08:59:30 -0400 X-BeenThere: algtop-l-wE+tr93vHrabo6XCN/16Dg@public.gmane.org X-Mailman-Version: 2.1.34 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:3085 gmane.science.mathematics.categories:10525 Archived-At: Q0FMTCBGT1IgUEFSVElDSVBBVElPTgoKV29ya3Nob3Agb24gSG9tb3RvcHkgVHlwZSBUaGVvcnkg YW5kIFVuaXZhbGVudCBGb3VuZGF0aW9ucwoKSnVseSAxNy0xOCwgMjAyMSwgVGhlIEludGVybmV0 IEAgQnVlbm9zIEFpcmVzLCBBcmdlbnRpbmEKCiAgaHR0cHM6Ly9ob3R0LXVmLmdpdGh1Yi5pby8y MDIxLwoKSG9tb3RvcHkgVHlwZSBUaGVvcnkgaXMgYSB5b3VuZyBhcmVhIG9mIGxvZ2ljLCBjb21i aW5pbmcgaWRlYXMgZnJvbQpzZXZlcmFsIGVzdGFibGlzaGVkIGZpZWxkczogdGhlIHVzZSBvZiBk ZXBlbmRlbnQgdHlwZSB0aGVvcnkgYXMgYQpmb3VuZGF0aW9uIGZvciBtYXRoZW1hdGljcywgaW5z cGlyZWQgYnkgaWRlYXMgYW5kIHRvb2xzIGZyb20gYWJzdHJhY3QKaG9tb3RvcHkgdGhlb3J5LiBV bml2YWxlbnQgRm91bmRhdGlvbnMgYXJlIGZvdW5kYXRpb25zIG9mIG1hdGhlbWF0aWNzCmJhc2Vk IG9uIHRoZSBob21vdG9waWNhbCBpbnRlcnByZXRhdGlvbiBvZiB0eXBlIHRoZW9yeS4KClRoZSBn b2FsIG9mIHRoaXMgd29ya3Nob3AgaXMgdG8gYnJpbmcgdG9nZXRoZXIgcmVzZWFyY2hlcnMgaW50 ZXJlc3RlZAppbiBhbGwgYXNwZWN0cyBvZiBIb21vdG9weSBUeXBlIFRoZW9yeSBhbmQgVW5pdmFs ZW50IEZvdW5kYXRpb25zOiBmcm9tCnRoZSBzdHVkeSBvZiBzeW50YXggYW5kIHNlbWFudGljcyBv ZiB0eXBlIHRoZW9yeSB0byBwcmFjdGljYWwKZm9ybWFsaXphdGlvbiBpbiBwcm9vZiBhc3Npc3Rh bnRzIGJhc2VkIG9uIHVuaXZhbGVudCB0eXBlIHRoZW9yeS4KCiMgUmVnaXN0cmF0aW9uCgpSZWdp c3RyYXRpb24gaXMgZnJlZSBvZiBjaGFyZ2UsIGJ1dCByZXF1aXJlZC4gUGxlYXNlIHNlZQoKICBo dHRwczovL2ZzY2QyMDIxLmRjLnViYS5hci9yZWdpc3RyYXRpb24uaHRtbAoKIyBJbnZpdGVkIHRh bGtzCgoqIEV2YW4gQ2F2YWxsbyAoQ2FybmVnaWUgTWVsbG9uIFVuaXZlcnNpdHkpCkNvaGVzaXZl IEludGVybmFsIFBhcmFtZXRyaWNpdHkgZm9yIEN1YmljYWwgVHlwZSBUaGVvcnkKKiBQZXRlciBM ZUZhbnUgTHVtc2RhaW5lIChTdG9ja2hvbG0gVW5pdmVyc2l0eSkKQ2F0ZWdvcmllcyB3aXRoIGF0 dHJpYnV0ZXMgYXJlIG5vdCBmdWxsIHNwbGl0IGNvbXByZWhlbnNpb24gY2F0ZWdvcmllcwoqIEFu amEgUGV0a292acSHIEtvbWVsIChVbml2ZXJzaXR5IG9mIExqdWJsamFuYSkKVG93YXJkcyBhbiBF bGFib3JhdGlvbiBUaGVvcmVtCiogTWF0dGhldyBXZWF2ZXIgKFByaW5jZXRvbiBVbml2ZXJzaXR5 KQooW0RpcmVjdGVkXSBIaWdoZXIpIEluZHVjdGl2ZSBUeXBlcyBpbiBCaWN1YmljYWwgRGlyZWN0 ZWQgVHlwZSBUaGVvcnkKCiMgQ29udHJpYnV0ZWQgdGFsa3MKCjEyIHRhbGtzIHdlcmUgYWNjZXB0 ZWQgYnkgdGhlIFByb2dyYW0gQ29tbWl0dGVlLiBUaGVpciB0aXRsZXMgYW5kCmFic3RyYWN0cyBh cmUgYXZhaWxhYmxlIG9uIHRoZSBldmVudCB3ZWJzaXRlLgoKIyBTY2hlZHVsZQoKVGhlIGV2ZW50 IHdpbGwgdGFrZSBwbGFjZSBmcm9tIEp1bHkgMTctMTgsIDIwMjEuIFRoZSB0YWxrcyBhcmUgc2No ZWR1bGVkCjIgUE0gYW5kIDggUE0gQ0VTVCAoVVRDKzIpLiBEZXRhaWxlZCBzY2hlZHVsZSBpcyBu b3cKYXZhaWxhYmxlIG9uIHRoZSB3ZWJzaXRlLgoKIyBPcmdhbml6ZXJzCgoqIEJlbmVkaWt0IEFo cmVucyAoVW5pdmVyc2l0eSBvZiBCaXJtaW5naGFtKQoqIENocmlzIEthcHVsa2luIChVbml2ZXJz aXR5IG9mIFdlc3Rlcm4gT250YXJpbykKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fCkFMR1RPUC1MIG1haWxpbmcgbGlzdApBTEdUT1AtTEBsaXN0cy5sZWhp Z2guZWR1Cmh0dHBzOi8vbGlzdHMubGVoaWdoLmVkdS9tYWlsbWFuL2xpc3RpbmZvL2FsZ3RvcC1s Cg==