From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10102 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Chris Kapulkin Newsgroups: gmane.science.mathematics.algtop,gmane.science.mathematics.categories Subject: HoTT Electronic Seminar Talks in Winter 2020 Date: Fri, 17 Jan 2020 10:46:49 -0500 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="98268"; 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 Fri Jan 17 17:32:31 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 1isUXu-000PTF-O1 for gsma-algtop-l@m.gmane-mx.org; Fri, 17 Jan 2020 17:32:30 +0100 Original-Received: from astroiii.cc.lehigh.edu (astroiii.cc.lehigh.edu [128.180.1.149]) by rain4.cc.lehigh.edu (Postfix) with ESMTP id 63EFA64E0CC4 for ; Fri, 17 Jan 2020 11:32:29 -0500 (EST) Original-Received: from astroiii.cc.lehigh.edu (localhost [127.0.0.1]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id 62300A023B for ; Fri, 17 Jan 2020 11:32:29 -0500 (EST) Original-Received: from mail-il1-f170.google.com (mail-il1-f170.google.com [209.85.166.170]) by astroiii.cc.lehigh.edu (Postfix) with ESMTP id A3EB2A0215 for ; Fri, 17 Jan 2020 10:47:00 -0500 (EST) Original-Received: by mail-il1-f170.google.com with SMTP id f10so21607143ils.8 for ; Fri, 17 Jan 2020 07:47:00 -0800 (PST) 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=4GOMBWqJ7qOi6vrqzbWXqL6odcyacCFrbC3PKMIvV50=; b=p1b9BTLgpXsAZwGLthgTdjerQHvXiyoYpDzBQmGeUXF6MHaCjQLXp62P02Qc2Ww5vA 4hhB1KJIXYrwMD8bEPknRU/tvASbDpOavUVZhkr7OtWyVY92+47nayKUWdCXLeCeH4l7 RA9VLSGcN7mv6bZ9HV7w0LHhqPWgfLqRg4jkjlnhXrIzH083UB8f+YbiRCo3n9EXBckY +i7xw1XCVEqazDThDZM93bE24f9tyi7Xzq+IDMfPemRHUucwOGHMkkBSrPEF7LyGTHK1 /SHwVHvYDkNAuXgWN4YM0GIjVqR+oIvSREVrQWkyWDw709wsQkKpm5nOTjjjTm95tbpF hiQg== 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=4GOMBWqJ7qOi6vrqzbWXqL6odcyacCFrbC3PKMIvV50=; b=ro82SywoeyFdYwW+/akd19SbYHX6tGH2eSW2mLhHr2NDe2VOtK7RXO60oqQhgdsV18 3SgOLANPjzl0pK4U6Hiws66ZGGJ6ksXhoywZgaHb+uU3EOw2dB3zXMjQ57DDudW5zxlA EXrFqBcx4/JnwQZXaauu8zyUTf0pOC7c+/d0twxQmlCm2JAp7l2GS+JdmW0UmLzKGhW8 lDjHbNUVd/vDLLChDsX1TizPpu2/hj4NsekR+Ae2B2DHJH+fGIE9dM4f4kSPLSzF597o hkCXuuIT7iz/N+QE7yaXHPFZLnX/1eIMV46B0ZmCEKTVSnlR1olgG4eyldKhGaWHXlcE UeaA== X-Gm-Message-State: APjAAAWLukAnmpJu6THkdMKevPW8aXLvCsWMBd/k2n3bq+nkkj533J9e hCb211LCF2isOziVtiPGrgkG6N8gNbuG47MbGtUxKd7qtyI= X-Google-Smtp-Source: APXvYqwq4khjftqo80pHkNbsq5yJcJft4tt+ppg2B+QHSqjQzYWhXlS5/lDlvME2JiuQbfa0bb8wv8p6apAtXAE96hs= X-Received: by 2002:a92:910b:: with SMTP id t11mr3478366ild.195.1579276019929; Fri, 17 Jan 2020 07:46:59 -0800 (PST) X-Mailman-Approved-At: Fri, 17 Jan 2020 11:32:27 -0500 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:2668 gmane.science.mathematics.categories:10102 Archived-At: RGVhciBhbGwsCgpUaGUgSG9tb3RvcHkgVHlwZSBUaGVvcnkgRWxlY3Ryb25pYyBTZW1pbmFyIFRh bGtzIChIb1RURVNUKSBhcmUKcmV0dXJuaW5nIGluIFdpbnRlciAyMDIwLiBUaGUgc3BlYWtlcnMg YXJlOgoKICBKYW51YXJ5IDIzOiBTaW1vbiBIZW5yeQogIEZlYnJ1YXJ5IDY6IE5pZWxzIHZhbiBk ZXIgV2VpZGUKICBGZWJydWFyeSAyMDogS2Fyb2wgU3p1bWnFgm8KICBNYXJjaCAxOTogSm9uIFN0 ZXJsaW5nCiAgQXByaWwgMjogRGVuaXMtQ2hhcmxlcyBDaXNpbnNraQogIEFwcmlsIDE2OiBNYXR0 aGV3IFdlYXZlcgoKVGhlIHNlbWluYXIgaXMgYmFjayB0byBpdHMgdXN1YWwgdGltZSBvZiBhbHRl cm5hdGluZyBUaHVyc2RheXMgYXQKMTE6MzAgRWFzdGVybi4gRm9yIHVwZGF0ZXMgYW5kIGluc3Ry dWN0aW9ucyBob3cgdG8gYXR0ZW5kLCBwbGVhc2Ugc2VlCgogIGh0dHBzOi8vd3d3LnV3by5jYS9t YXRoL2ZhY3VsdHkva2FwdWxraW4vc2VtaW5hcnMvaG90dGVzdC5odG1sCgpUaGUgc2VtaW5hciBp cyBvcGVuIHRvIGV2ZXJ5b25lLCBidXQgc29tZSBwcmlvciBmYW1pbGlhcml0eSB3aXRoIEhvVFQK d2lsbCBiZSBhc3N1bWVkLgoKQmVzdCB3aXNoZXMsCkNocmlzIEthcHVsa2luCmZvciB0aGUgb3Jn YW5pemVycwoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K QUxHVE9QLUwgbWFpbGluZyBsaXN0CkFMR1RPUC1MQGxpc3RzLmxlaGlnaC5lZHUKaHR0cHM6Ly9s aXN0cy5sZWhpZ2guZWR1L21haWxtYW4vbGlzdGluZm8vYWxndG9wLWwK