From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10526 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Nick Hu Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: CALL FOR PARTICIPATION -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE Date: Thu, 8 Jul 2021 17:34:06 +0100 Message-ID: <20210708163406.hiognesz4b5nbuwu@alpha> 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="18994"; mail-complaints-to="usenet@ciao.gmane.io" To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, homotopytypetheory-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Thu Jul 08 22:20:48 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-00390e01.pphosted.com ([148.163.137.158]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1m1aVs-0004h9-Ct for gcst-types-announce@m.gmane-mx.org; Thu, 08 Jul 2021 22:20:48 +0200 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 168KJXmh024512; Thu, 8 Jul 2021 16:19:56 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-00390e01.pphosted.com with ESMTP id 39k4w1p27e-1; Thu, 08 Jul 2021 16:19:55 -0400 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 168KJtkk080193; Thu, 8 Jul 2021 16:19:55 -0400 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 168KJtJZ033999; Thu, 8 Jul 2021 16:19:55 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0b-00390e01.pphosted.com (mx0b-00390e01.pphosted.com [148.163.137.158]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 168GYAmH009618 for ; Thu, 8 Jul 2021 12:34:10 -0400 Original-Received: from pps.filterd (m0172793.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 168GWU0l023973 for ; Thu, 8 Jul 2021 12:34:10 -0400 Original-Received: from mail-wm1-f51.google.com (mail-wm1-f51.google.com [209.85.128.51]) by mx0b-00390e01.pphosted.com with ESMTP id 39k4wk33e7-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Thu, 08 Jul 2021 12:34:09 -0400 Original-Received: by mail-wm1-f51.google.com with SMTP id o22so4522306wms.0 for ; Thu, 08 Jul 2021 09:34:09 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition:content-transfer-encoding; bh=e4DuO2Ot2EQjvGg7b4EDAGzfPjXroN+eESP1u2wRoaA=; b=S6tCy4vO9pnIl1tlPF8dOlixRLUjnZsCtLaUyH84P1Z3a4Dqj9JdI8CYG8qGbEqYYD rv0I3YeTL0D+pISrMB2OnJeFFjivEJ8LUqFkEKD32RgU7DOi+BKt7YzVddF8sdW0eLCu sg0JrumGqhb85aa0S8JT/Af1DDxTpsOt+oaR7yg8Fhz30+C+Hwwy+PpVrsDc1DxMppTd lrk2sDNy7FGDwQW2GT+KtK6CyXm0DnJB1wjm3e+NRsCXysqi+c9X9u0tNhOj/RfLULcB uZOQsXt0Inu8vwejWRXmX6/KHuwmiIXUtjaDsY271vT1eDsZkLsxrocxg20chziZZAC9 8Pog== X-Gm-Message-State: AOAM530p6MdW3GNjZV/OC9Xcs3jbkQsJzA+Dt4tUrpEZMybMtNVRDm3F sx7uIklmaIRcZaPAuqw5i0rC5Lv9c9YZgg== X-Google-Smtp-Source: ABdhPJwXZI3/WHsRgOaLeODOccHaWSjtQnjexqJxn+PE/bZSncF/5QP7TVKYUppA022Jd+PS/WXY+g== X-Received: by 2002:a7b:c042:: with SMTP id u2mr32603229wmc.86.1625762047917; Thu, 08 Jul 2021 09:34:07 -0700 (PDT) Original-Received: from localhost (cpc114900-oxfd25-2-0-cust245.4-3.cable.virginm.net. [82.8.240.246]) by smtp.gmail.com with ESMTPSA id i15sm3004842wro.3.2021.07.08.09.34.07 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 08 Jul 2021 09:34:07 -0700 (PDT) Content-Disposition: inline X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.391, 18.0.790 definitions=2021-07-08_10:2021-07-08, 2021-07-08 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxscore=0 adultscore=0 clxscore=269 mlxlogscore=999 priorityscore=0 spamscore=0 lowpriorityscore=0 phishscore=0 suspectscore=0 malwarescore=0 bulkscore=0 impostorscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2104190000 definitions=main-2107080088 X-Mailman-Approved-At: Thu, 08 Jul 2021 16:19:47 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-GUID: j8Sub2KaLe_9Cdg6Jpi2BIEhlPSNQHiR X-Proofpoint-ORIG-GUID: j8Sub2KaLe_9Cdg6Jpi2BIEhlPSNQHiR X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.391,18.0.790 definitions=2021-07-08_12:2021-07-08,2021-07-08 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 spamscore=0 malwarescore=0 clxscore=1011 priorityscore=1501 bulkscore=0 mlxscore=0 phishscore=0 adultscore=0 mlxlogscore=999 impostorscore=0 suspectscore=0 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2104190000 definitions=main-2107080103 Xref: news.gmane.io gmane.comp.science.types.announce:9753 gmane.science.mathematics.categories:10526 Archived-At: WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKQ0FMTCBG T1IgUEFSVElDSVBBVElPTgoKRm91cnRoIEFubnVhbCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ug b24gQXBwbGllZCBDYXRlZ29yeSBUaGVvcnkgKEFDVCAyMDIxKQoKMTIgLSAxNiBKdWx5LCAyMDIx LCBDYW1icmlkZ2UsIFVuaXRlZCBLaW5nZG9tIChhbmQgb25saW5lKSwgMDk6MDAtMTc6MzAgQlNU CgpXZWJwYWdlOiBodHRwczovL3d3dy5jbC5jYW0uYWMudWsvZXZlbnRzL2FjdDIwMjEKClJlZ2lz dHJhdGlvbiBmb3Igb25saW5lIHBhcnRpY2lwYXRpb246IGh0dHBzOi8vZm9ybXMuZ2xlL0tFTk5B Yms2aUx3cUo3aTM2CgogICAgICAgICAgICAgICogKiAqCgpUaGUgRm91cnRoIEludGVybmF0aW9u YWwgQ29uZmVyZW5jZSBvbiBBcHBsaWVkIENhdGVnb3J5IFRoZW9yeSB3aWxsCnRha2UgcGxhY2Ug YXQgdGhlIENvbXB1dGVyIExhYm9yYXRvcnkgb2YgdGhlIFVuaXZlcnNpdHkgb2YgQ2FtYnJpZGdl Cm9uIDEyLTE2IEp1bHksIDIwMjEsIHByZWNlZGVkIGJ5IHRoZSBBZGpvaW50IFNjaG9vbCAyMDIx IG9uIDUtOSBKdWx5LgpUaGlzIGNvbmZlcmVuY2UgZm9sbG93cyBwcmV2aW91cyBldmVudHMgYXQg TUlULCBPeGZvcmQgYW5kIExlaWRlbi4KCkFwcGxpZWQgY2F0ZWdvcnkgdGhlb3J5IGlzIGEgdG9w aWMgb2YgaW50ZXJlc3QgZm9yIGEgZ3Jvd2luZyBjb21tdW5pdHkKb2YgcmVzZWFyY2hlcnMsIGlu dGVyZXN0ZWQgaW4gc3R1ZHlpbmcgbWFueSBkaWZmZXJlbnQga2luZHMgb2Ygc3lzdGVtcwp1c2lu ZyBjYXRlZ29yeS10aGVvcmV0aWMgdG9vbHMuIFRoZXNlIHN5c3RlbXMgYXJlIGZvdW5kIGFjcm9z cyBjb21wdXRlcgpzY2llbmNlLCBtYXRoZW1hdGljcywgYW5kIHBoeXNpY3MsIGFzIHdlbGwgYXMg aW4gc29jaWFsIHNjaWVuY2UsCmxpbmd1aXN0aWNzLCBjb2duaXRpb24sIGFuZCBuZXVyb3NjaWVu Y2UuIFRoZSBiYWNrZ3JvdW5kIGFuZCBleHBlcmllbmNlCm9mIG91ciBtZW1iZXJzIGlzIGFzIHZh cmllZCBhcyB0aGUgc3lzdGVtcyBiZWluZyBzdHVkaWVkLiBUaGUgZ29hbCBvZgp0aGUgQXBwbGll ZCBDYXRlZ29yeSBUaGVvcnkgY29uZmVyZW5jZSBzZXJpZXMgaXMgdG8gYnJpbmcgcmVzZWFyY2hl cnMKdG9nZXRoZXIsIGRpc3NlbWluYXRlIHRoZSBsYXRlc3QgcmVzdWx0cywgYW5kIGZhY2lsaXRh dGUgZnVydGhlcgpkZXZlbG9wbWVudCBvZiB0aGUgZmllbGQuCgpGb3IgYSBmdWxsIHNjaGVkdWxl IG9mIHRhbGtzLCBwbGVhc2Ugc2VlCmh0dHBzOi8vd3d3LmNsLmNhbS5hYy51ay9ldmVudHMvYWN0 MjAyMS8jcHJvZ3JhbW1lLgoKVGhlIGNvbmZlcmVuY2Ugd2lsbCBiZSBydW4gYXMgYSBoeWJyaWQg ZXZlbnQsIHdpdGggcGh5c2ljYWwgYXR0ZW5kZWVzCnByZXNlbnQgaW4gQ2FtYnJpZGdlLCBhbmQg b3RoZXIgcGFydGljaXBhbnRzIHRha2luZyBwYXJ0IG9ubGluZS4KUGh5c2ljYWwgcmVnaXN0cmF0 aW9uIGlzIG5vdyBjbG9zZWQsIGJ1dCBvbmxpbmUgcmVnaXN0cmF0aW9uIGlzIHN0aWxsCmF2YWls YWJsZTogaHR0cHM6Ly93d3cuY2wuY2FtLmFjLnVrL2V2ZW50cy9hY3QyMDIxLyNyZWdpc3RyYXRp b24uCgoqKiBQUk9HUkFNTUUgQ09NTUlUVEVFICoqCgpDaGFpcjoKICAtIEtvaGVpIEtpc2hpZGEs IFVuaXZlcnNpdHkgb2YgSWxsaW5vaXMsIFVyYmFuYS1DaGFtcGFpZ24KCk1lbWJlcnM6CiAgLSBS aWNoYXJkIEJsdXRlLCBVbml2ZXJzaXR5IG9mIE90dGF3YQogIC0gU3BlbmNlciBCcmVpbmVyLCBO SVNUCiAgLSBEYW5pZWwgQ2ljYWxhLCBVbml2ZXJzaXR5IG9mIE5ldyBIYXZlbgogIC0gUm9iaW4g Q29ja2V0dCwgVW5pdmVyc2l0eSBvZiBDYWxnYXJ5CiAgLSBCb2IgQ29lY2tlLCBDYW1icmlkZ2Ug UXVhbnR1bSBDb21wdXRpbmcKICAtIEdlb2ZmcmV5IENydXR0d2VsbCwgTW91bnQgQWxsaXNvbiBV bml2ZXJzaXR5CiAgLSBWYWxlcmlhIGRlIFBhaXZhLCBTYW1zdW5nIFJlc2VhcmNoIEFtZXJpY2Eg YW5kIFVuaXZlcnNpdHkgb2YgQmlybWluZ2hhbQogIC0gQnJlbmRhbiBGb25nLCBNYXNzYWNodXNl dHRzIEluc3RpdHV0ZSBvZiBUZWNobm9sb2d5CiAgLSBKb25hcyBGcmV5LCBDYXJuZWdpZSBNZWxs b24gVW5pdmVyc2l0eQogIC0gVG9iaWFzIEZyaXR6LCBQZXJpbWV0ZXIgSW5zdGl0dXRlIGZvciBU aGVvcmV0aWNhbCBQaHlzaWNzCiAgLSBGYWJyaXppbyBSb21hbm8gR2Vub3Zlc2UsIFN0YXRlYm94 CiAgLSBIZWxsZSBIdmlkIEhhbnNlbiwgVW5pdmVyc2l0eSBvZiBHcm9uaW5nZW4KICAtIEp1bGVz IEhlZGdlcywgVW5pdmVyc2l0eSBvZiBTdHJhdGhjbHlkZQogIC0gQ2hyaXMgSGV1bmVuLCBVbml2 ZXJzaXR5IG9mIEVkaW5idXJnaAogIC0gQWxleCBIb2ZmbnVuZywgQnJpZGdld2F0ZXIKICAtIE1h cnR0aSBLYXJ2b25lbiwgVW5pdmVyc2l0eSBvZiBPdHRhd2EKICAtIEtvaGVpIEtpc2hpZGEsIFVu aXZlcnNpdHkgb2YgSWxsaW5vaXMsIFVyYmFuYS1DaGFtcGFpZ24gKGNoYWlyKQogIC0gTWFydGhh IExld2lzLCBVbml2ZXJzaXR5IG9mIEJyaXN0b2wKICAtIEJlcnQgTGluZGVuaG92aXVzLCBKb2hh bm5lcyBLZXBsZXIgVW5pdmVyc2l0eSBMaW56CiAgLSBCZW4gTWFjQWRhbSwgVW5pdmVyc2l0eSBv ZiBDYWxnYXJ5CiAgLSBEYW4gTWFyc2RlbiwgVW5pdmVyc2l0eSBvZiBPeGZvcmQKICAtIEphZGUg TWFzdGVyLCBVbml2ZXJzaXR5IG9mIENhbGlmb3JuaWEsIFJpdmVyc2lkZQogIC0gSm9lIE1vZWxs ZXIsIE5JU1QKICAtIEtva28gTXVyb3lhLCBLeW90byBVbml2ZXJzaXR5CiAgLSBTaW1vbmEgUGFv bGksIFVuaXZlcnNpdHkgb2YgTGVpY2VzdGVyCiAgLSBEYW5pZWxhIFBldHJpc2FuLCBVbml2ZXJz aXQ9QzM9QTkgZGUgUGFyaXMsIElSSUYKICAtIE1laHJub29zaCBTYWRyemFkZWgsIFVuaXZlcnNp dHkgQ29sbGVnZSBMb25kb24KICAtIFBldGVyIFNlbGluZ2VyLCBEYWxob3VzaWUgVW5pdmVyc2l0 eQogIC0gTWljaGFlbCBTaHVsbWFuLCBVbml2ZXJzaXR5IG9mIFNhbiBEaWVnbwogIC0gRGF2aWQg U3BpdmFrLCBNSVQgYW5kIFRvcG9zIEluc3RpdHV0ZQogIC0gSm9zaHVhIFRhbiwgVW5pdmVyc2l0 eSBvZiBPeGZvcmQKICAtIERtaXRyeSBWYWduZXIKICAtIEphbWllIFZpY2FyeSwgVW5pdmVyc2l0 eSBvZiBDYW1icmlkZ2UKICAtIEpvaG4gdmFuIGRlIFdldGVyaW5nLCBSYWRib3VkIFVuaXZlcnNp dHkgTmlqbWVnZW4KICAtIFZsYWRpbWlyIFphbWR6aGlldiwgSW5yaWEsIExPUklBLCBVbml2ZXJz aXTDqSBkZSBMb3JyYWluZQogIC0gTWFhaWtlIFp3YXJ0Cg==