From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10475 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Chris Kapulkin Newsgroups: gmane.science.mathematics.algtop,gmane.science.mathematics.categories Subject: 2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021 Date: Mon, 3 May 2021 08:12:08 -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="20857"; 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 Mon May 03 14:51:23 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 1ldY2k-0005Cd-Rt for gsma-algtop-l@m.gmane-mx.org; Mon, 03 May 2021 14:51:23 +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 8C5BB64E0D4C for ; Mon, 3 May 2021 08:51:18 -0400 (EDT) Original-Received: from astroiv.cc.lehigh.edu (localhost [IPv6:::1]) by astroiv.cc.lehigh.edu (Postfix) with ESMTP id 8AED6E3 for ; Mon, 3 May 2021 08:51:18 -0400 (EDT) Original-Received: from mail-wr1-f47.google.com (mail-wr1-f47.google.com [209.85.221.47]) by astroiv.cc.lehigh.edu (Postfix) with ESMTP id 948EC163 for ; Mon, 3 May 2021 08:12:20 -0400 (EDT) Original-Received: by mail-wr1-f47.google.com with SMTP id l2so5278547wrm.9 for ; Mon, 03 May 2021 05:12: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=aHWhP2CPbcJ2COEoXOrVeYgrTIretQtzNnI9FErsJDU=; b=Kf+XSyDYyEpmWr7/dmJfAqOCsV/w06df00OAuJEN+lUeLzIj8IbdjddAgE0jBRMdqR QCWWx++lNaSl4Y7tzVv7egaeSv8llP+3Vei+/58nLya3qML4r/otJLyhJisMHmKv0EfE FzMUo0Zkz8+jDvfsYgebFqA8jhal4EryUHY9ggB0mpzLs1f+FjW6AK+UMkExNg9VNrm7 Vtn4GqSR/9NCpBLdZuEF9B4IP2XTfzc5HkQ/4u8R3RY9AZBpCgfarYEvqRrXoQOWy2vw QgK21TJ85WEkYOK3YP1aFwljavXQt0ZiHI0EAhkhl6M71ow4lFIPML6dm7xdpbLjlNiF jS/w== 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=aHWhP2CPbcJ2COEoXOrVeYgrTIretQtzNnI9FErsJDU=; b=TvAwsqM9UdWBBQCiQjLnuQakvxFkQsc7Mx3kEmhGoIx28p2NeULcPbzFTLPCEB8mtc RchtzVerbO+vPGG/SGfUN65dC2dpk59Z3EFEBevXHKSYw1p2BZ5D6sFyoB+G/71JPkq7 3o6iZhoJytax0gLnmnNXr4ddoncnXA7ebUo8mLWofoPVMR9hC7I48PVrRz9NIIgrx0JO gdXcW1W/GO+x1lxUB2JSkl233pU+hndswyiMR0PA0RtQGxySqOSOqnc71F6H5DjFUZB4 o1nyvJsHQ64Fqedhks8eCLo3L2T7xMVPZH7irHKsPKWb62Bzi2vr3JmsPtWa9TYvfhsO CPOw== X-Gm-Message-State: AOAM530NEcXaYGQZHmNKGpSk7qDDx37+ZU1nQLfvpt1X8Q9/P1sA9Xbv HpBKDdTgF68zyuN6fpdPG7YcY2mBHylYtdg1rxe6v0zkO74= X-Google-Smtp-Source: ABdhPJzCMU6Op/AaXtnDnUYnwrFQcEwbiJXWDp8/t8PI7xwoisHw13/V/J4y6fmR3N8403O338RN913gq9enBcbj24k= X-Received: by 2002:adf:e9c2:: with SMTP id l2mr24058425wrn.323.1620043939573; Mon, 03 May 2021 05:12:19 -0700 (PDT) X-Mailman-Approved-At: Mon, 03 May 2021 08:51:16 -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:3046 gmane.science.mathematics.categories:10475 Archived-At: VGhpcyBpcyB0aGUgU2Vjb25kIENhbGwgZm9yIENvbnRyaWJ1dGlvbnMgZm9yIHRoZSAoVmlydHVh bCkKCldvcmtzaG9wIG9uIEhvbW90b3B5IFR5cGUgVGhlb3J5IGFuZCBVbml2YWxlbnQgRm91bmRh dGlvbnMKCkp1bHkgMTctMTgsIDIwMjEsIFRoZSBJbnRlcm5ldCBAIEJ1ZW5vcyBBaXJlcywgQXJn ZW50aW5hCgpodHRwczovL2hvdHQtdWYuZ2l0aHViLmlvLzIwMjEvCgpDby1sb2NhdGVkIHdpdGgg RlNDRCAyMDIxCmh0dHBzOi8vZnNjZDIwMjEuZGMudWJhLmFyLwoKQWJzdHJhY3Qgc3VibWlzc2lv biBkZWFkbGluZTogTWF5IDI1LCAyMDIxCgpIb21vdG9weSBUeXBlIFRoZW9yeSBpcyBhIHlvdW5n IGFyZWEgb2YgbG9naWMsIGNvbWJpbmluZyBpZGVhcyBmcm9tCnNldmVyYWwgZXN0YWJsaXNoZWQg ZmllbGRzOiB0aGUgdXNlIG9mIGRlcGVuZGVudCB0eXBlIHRoZW9yeSBhcyBhCmZvdW5kYXRpb24g Zm9yIG1hdGhlbWF0aWNzLCBpbnNwaXJlZCBieSBpZGVhcyBhbmQgdG9vbHMgZnJvbSBhYnN0cmFj dApob21vdG9weSB0aGVvcnkuIFVuaXZhbGVudCBGb3VuZGF0aW9ucyBhcmUgZm91bmRhdGlvbnMg b2YgbWF0aGVtYXRpY3MKYmFzZWQgb24gdGhlIGhvbW90b3BpY2FsIGludGVycHJldGF0aW9uIG9m IHR5cGUgdGhlb3J5LgoKVGhlIGdvYWwgb2YgdGhpcyB3b3Jrc2hvcCBpcyB0byBicmluZyB0b2dl dGhlciByZXNlYXJjaGVycyBpbnRlcmVzdGVkCmluIGFsbCBhc3BlY3RzIG9mIEhvbW90b3B5IFR5 cGUgVGhlb3J5IGFuZCBVbml2YWxlbnQgRm91bmRhdGlvbnM6IGZyb20KdGhlIHN0dWR5IG9mIHN5 bnRheCBhbmQgc2VtYW50aWNzIG9mIHR5cGUgdGhlb3J5IHRvIHByYWN0aWNhbApmb3JtYWxpemF0 aW9uIGluIHByb29mIGFzc2lzdGFudHMgYmFzZWQgb24gdW5pdmFsZW50IHR5cGUgdGhlb3J5LgoK IyBJbnZpdGVkIHRhbGtzCgoqIEV2YW4gQ2F2YWxsbyAoQ2FybmVnaWUgTWVsbG9uIFVuaXZlcnNp dHkpCiogUGV0ZXIgTGVGYW51IEx1bXNkYWluZSAoU3RvY2tob2xtIFVuaXZlcnNpdHkpCiogQW5q YSBQZXRrb3ZpYyAoVW5pdmVyc2l0eSBvZiBManVibGphbmEpCiogTWF0dGhldyBXZWF2ZXIgKFBy aW5jZXRvbiBVbml2ZXJzaXR5KQoKIyBTdWJtaXNzaW9ucwoKKiBBYnN0cmFjdCBzdWJtaXNzaW9u IGRlYWRsaW5lOiBNYXkgMjUsIDIwMjEKKiBBdXRob3Igbm90aWZpY2F0aW9uOiBtaWQtSnVuZSAy MDIxCgpTdWJtaXNzaW9ucyBzaG91bGQgY29uc2lzdCBvZiBhIHRpdGxlIGFuZCBhbiBhYnN0cmFj dCwgaW4gcGRmIGZvcm1hdCwKb2Ygbm8gbW9yZSB0aGFuIDIgcGFnZXMsIHN1Ym1pdHRlZCB2aWEK aHR0cDovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9aG90dHVmMjAyMQoKQ29uc2lk ZXJpbmcgdGhlIGJyb2FkIGJhY2tncm91bmQgb2YgdGhlIGV4cGVjdGVkIGF1ZGllbmNlLCB3ZSBl bmNvdXJhZ2UKYXV0aG9ycyB0byBpbmNsdWRlIGluZm9ybWF0aW9uIG9mIHBlZGFnb2dpY2FsIHZh bHVlIGluIHRoZWlyIGFic3RyYWN0LApzdWNoIGFzIG1vdGl2YXRpb24gYW5kIGNvbnRleHQgb2Yg dGhlaXIgd29yay4KCiMgUHJvZ3JhbSBjb21taXR0ZWUKCiogQmVuZWRpa3QgQWhyZW5zIChVbml2 ZXJzaXR5IG9mIEJpcm1pbmdoYW0pCiogQ2FybG8gQW5naXVsaSAoQ2FybmVnaWUgTWVsbG9uIFVu aXZlcnNpdHkpCiogUGFvbG8gQ2FwcmlvdHRpIChUZWNobmlzY2hlIFVuaXZlcnNpdMOkdCBEYXJt c3RhZHQpCiogRmxvcmlzIHZhbiBEb29ybiAoVW5pdmVyc2l0eSBvZiBQaXR0c2J1cmdoKQoqIEZh dm9uaWEgKFVuaXZlcnNpdHkgb2YgTWlubmVzb3RhKQoqIEVyaWMgRmluc3RlciAoVW5pdmVyc2l0 eSBvZiBDYW1icmlkZ2UpCiogQ2hyaXMgS2FwdWxraW4gKFVuaXZlcnNpdHkgb2YgV2VzdGVybiBP bnRhcmlvKQoqIFBhaWdlIFJhbmRhbGwgTm9ydGggKFVuaXZlcnNpdHkgb2YgUGVubnN5bHZhbmlh KQoqIEVtaWx5IFJpZWhsIChKb2hucyBIb3BraW5zIFVuaXZlcnNpdHkpCiogQ2hyaXN0aWFuIFNh dHRsZXIgKENoYWxtZXJzIFVuaXZlcnNpdHkgb2YgVGVjaG5vbG9neSkKKiBBbmRyZXcgU3dhbiAo Q2FybmVnaWUgTWVsbG9uIFVuaXZlcnNpdHkpCgojIE9yZ2FuaXplcnMKCiogQmVuZWRpa3QgQWhy ZW5zIChVbml2ZXJzaXR5IG9mIEJpcm1pbmdoYW0pCiogQ2hyaXMgS2FwdWxraW4gKFVuaXZlcnNp dHkgb2YgV2VzdGVybiBPbnRhcmlvKQoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX18KQUxHVE9QLUwgbWFpbGluZyBsaXN0CkFMR1RPUC1MQGxpc3RzLmxlaGln aC5lZHUKaHR0cHM6Ly9saXN0cy5sZWhpZ2guZWR1L21haWxtYW4vbGlzdGluZm8vYWxndG9wLWwK