From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-oa1-x3a.google.com (mail-oa1-x3a.google.com [IPv6:2001:4860:4864:20::3a]) by inbox.vuxu.org (Postfix) with ESMTP id DB87A24EAA for ; Fri, 29 Mar 2024 11:32:13 +0100 (CET) Received: by mail-oa1-x3a.google.com with SMTP id 586e51a60fabf-22a26af895fsf1632371fac.2 for ; Fri, 29 Mar 2024 03:32:13 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1711708331; cv=pass; d=google.com; s=arc-20160816; b=ncm9HLU6mKudAsQjBEW5gMTG+4cQi01OvvvH0H462tshsI+o0p1aMwjC7RNKDMDMn3 85KBe98b1MysPQSDAo1SUUOWhU5ZGBPrZDGgPR8g0nTsUc8IlV+feJ8slFCNJgLUsN+N LGKFS9Pr3XOyQJS5jeUgTxbhd2gGhWnZT5s9g+UQxWlYtIMH/Ui/Z1jsove6ES3pTzwD 7eIALoPJZ+VqbDH9XeWgPcyEtBAng3kGKUhvCQhKzgsql0znd3Q/a9/3PSFBdVPYGgVN hd7auW5Uw1CaDxrhe1zlNgzeJvW0DIJub+0+Dz1FT01WpQIE4DSCfpEjG0uYqzeqa4Vy /4qg== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:mime-version:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=WVIlQjhwBxeyGoxFqHFavPZ7eOWsPDzcJqnUw8q/ZXQ=; fh=P8UTr85TMv1zMoiNy3o40qjyRfMuRcZg+5wi8sVBIcg=; b=gwNGRcOCoNZUSgNWIZ8wPSJG3pMNMTYJwr6EBQ9YxiVZZZFESDIkS+KqCsaF86brWH 79GU2bn+gzb8EELxcVFgY0oI5dTzi0B/txQ1YrTeU4n2QUV+hPVFGJIUME8eNmcNBxgZ wAjJSJcvAOi7onII4ZWIerx9occKtJxGex/QDGC7icTwFJNF4tV6huziQ4jgLPnVJLHw Qpl3j2aIrBQELkZ8dR5hL5fX4lveNWlLHRjeeMAsDeGiSVbJyLlADnbZlGKE8r1sYpiY c/2FCmJic0c4SRf9JHx/zUQlDLJhDStBX2NKfZ75BlsMq5+cZiT0fVf716Mhfy3UCMj2 6iHA==; darn=inbox.vuxu.org ARC-Authentication-Results: i=3; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:c205::3 as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1711708331; x=1712313131; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:content-language:accept-language :message-id:date:thread-index:thread-topic:subject:to:from:sender :from:to:cc:subject:date:message-id:reply-to; bh=WVIlQjhwBxeyGoxFqHFavPZ7eOWsPDzcJqnUw8q/ZXQ=; b=h76pPvO5u13XlPcHbkNSAW7ErHqxdqckOP9HMeef8KQOLVIUB+47z3BnmUO8W2jp4r 9FkHFnGacJVbdkG2IlouCQQYGkon2HlwLgeaPJgWh6G47SH5XXmzQM4CvUsQCd2knEkR Sj5dHICKLlV+d8eBOA3Y2/58JMisUUietmmHx1hhEOv+5lL/QbU4g+0DMwyVynBrlRLs XCltvY8Sfm2thu6kGButBVxpawqM7iuQ+glQZU+dVOXIJMA0EVL92X2zO5dcTgZtFT2m eF2+2YcvWPiZs16IPh+0E9eKgkoA/LVVEvpSA84QVkfbDUTDLWlkDhu2aRX+32ca8pYH ha6A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711708331; x=1712313131; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:x-beenthere:x-gm-message-state:sender :from:to:cc:subject:date:message-id:reply-to; bh=WVIlQjhwBxeyGoxFqHFavPZ7eOWsPDzcJqnUw8q/ZXQ=; b=rmCgY2qDxXn52TmswkyPGQDRUzKNwNN/1fF+QyvULpNRIwoSFWJezJo2NXeCQ1b/UG m/seOVP8KwFTFmx16tpUaE0pE0boPH2l+UkZolsOwImyRrkX2jIrTIobMVP430aJwd+Q mphfLVsUIn3FWydordffplWqlHoel2aHeF8iCv+xFJy5ANT2mVJ9qAXec1qoODv3RnlP Ux6H96s9AMjXD3UUIHUsKi0beTbcYSpI4M5ZCAGgKMFdgw74lxA9pBEMFsF9SFL4scd9 MCZn7C3WS9NxqHpFqCG2y1aYB/Aq6sz3YSGyqlDATYPj5rfCG9ULaVmV+Y6jFF6xdlMg EhbA== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=3; AJvYcCUdXRtmZORgpD+2F91LQUmcfhE2oxG54p7Z3MuHk1HE+yyYcPw7BUVNrfFPJyIzdWTAEYKwHnlKtdNJuZJSe9veEA== X-Gm-Message-State: AOJu0YxOWgTn1ISbvBDJaVPZR/lP7MGU+YE7SGzDO+1B/cuoLJBRXMHE dIlSsJ1VCh6MB1IfpwmWLxB3j/SLiOdaDCQArn2aRUROsDJbgq06 X-Google-Smtp-Source: AGHT+IFgfDJe3yO+MEigLWilzC76ooeWacAkYXPHncFYqOzZzc1247j0Jy6zJbWnoGcfH+N6B2alfQ== X-Received: by 2002:a05:6870:a2c7:b0:229:fce0:cf2a with SMTP id w7-20020a056870a2c700b00229fce0cf2amr1809317oak.49.1711708331587; Fri, 29 Mar 2024 03:32:11 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6871:520d:b0:22a:a077:d3a7 with SMTP id ht13-20020a056871520d00b0022aa077d3a7ls382993oac.1.-pod-prod-01-us; Fri, 29 Mar 2024 03:32:09 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCXVj5rcnPyCZnznAIdqvumCAuuhYeZflHJdJbJlFD67LrbR39jxLL/NNqdgkIESFSB01AMRbfImQBfsvQ88ogcuhZoj5H95iPN9cJ4kvNDOf+SWKw== X-Received: by 2002:a05:6808:55:b0:3c3:a176:e91a with SMTP id v21-20020a056808005500b003c3a176e91amr1734535oic.29.1711708329776; Fri, 29 Mar 2024 03:32:09 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1711708329; cv=pass; d=google.com; s=arc-20160816; b=CZInfbF7IPCCRoT0hoH/Tw7dyzr85UyVvZWbZBA3wVCxdikKhRFGCuCbTsZtEVY+Yc EpGWq85gBd5vlz4uot/FZxlzRwh5zP7x1X5VwoePYK2EQp7C9ziDG84xJCu8C0LFap4W CcsnYVwc2MdMsTpbTsFJTVVqEE74g1aecWfxl2JgqHKlp2Ha4EQA5LvuWNt466wU4Ih/ jB2z6AkIJ4bacXphAplycwBt2jKlJEG4Wvt26tQ0hfgDev3WHqU9f3wYJEGzt5ueL3X6 GfQ7HheI4o3i+BH9I4f2dd3SRPYY//xFMT2uEXNg6kf3GjLV3l7uW+o+mQQ+GK5sPBvM /GNw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from; bh=S1ha0co3lXFXUFQUw6JqBWYQE6o5pUB2VCijxF8sD3M=; fh=u9DzKGq7nNKQAUzX2BZLOAuIBPz1HoLhCRHD+7cKodM=; b=BSr77CiGmIMM7jwWUqNte50LOsEDOlsgmFeGbQWRXUTMq91/M/LWgcZdbbKN7aaHSh TfvgmNiB0oRcreZk2O9Ma2MYnyaoNnNJp6dm+X6rmfRLLjnGG0ypAP46o1Oa+i/+GaSw jC7q6WjlX12TrJdS6kIxYEmK4rdfGEUJqgQo+cTNZER2fq+RgxbQWYarkhYKzDYpz5a8 CT5ywZ6JQht5NEj5tSjYFufXvfukk9KZH0KEjOVCKgUe5rFHJuvaIItV/A0y4srE95P5 0IGPM/7ea4lQRO3EinsyDRavm2yI9vj1f79XyPVZ50Fj5BiCodqZSlyp0D8mjmZSnMIu YlRA==; dara=google.com ARC-Authentication-Results: i=2; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:c205::3 as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk Received: from LO3P265CU004.outbound.protection.outlook.com (mail-uksouthazlp170110003.outbound.protection.outlook.com. [2a01:111:f403:c205::3]) by gmr-mx.google.com with ESMTPS id ec26-20020a05622a5b9a00b0043138879c53si323273qtb.1.2024.03.29.03.32.09 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 29 Mar 2024 03:32:09 -0700 (PDT) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:c205::3 as permitted sender) client-ip=2a01:111:f403:c205::3; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=NVQzQnYaRp6D7hE6NBguKcbEABg9dLtLlrcK1RXGKkD1Y/XzxEDpiP3najDMCGwV0zeb25Fub6GqIUhD0+oHsQG+/bkoIeZfDfft/ez76P90JRygX9j9mxTsPr74NNhIoWmqSxslDf1LaqDTSHZNh1ejsXxALuLLrkUz0pQJ7ftdjzIG46HgzaNIeY0FPkk2qY7UkPs5TQ1KetrzAk0B6ZDyrtG8rcr7aQZ/f5to6kE3dUSmXk5HHBeTsTB1hvRZgiRKWTMRC2RwvkjxAbCAJOA8k0Krc4TN4W3AQ9JrpMYudrH07VnmAKzQIXocVVtj7WoiL8OCUcks/BvzwnGEXQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=S1ha0co3lXFXUFQUw6JqBWYQE6o5pUB2VCijxF8sD3M=; b=Y7s9RZfmWQQ+8UpwEBEdNgJC6jkPNJ/nxRnE9eJYrwO5n2MwnrM3N/WJhDslwRBKY6gfvZtwFChBba9+5fyGm0J/A69Xxrt/ud+mPLix2PwyBT1lUqyWmgUY+5UEIKIb9x8M0OE4FSox+GzgE0S48gI9ct6APhyRI9O7zzFtZvgNu27j8IYwQhoMA6s8Q/3f/Om+uB8asqLOJbbytlOS2TPYCxnpZaDQkrShC2EW1RTHyeATMU0uattoDWtSVJC2P9NRcGm0Yg7zv9CAuTArKSBydgIqWPa7raRZ/VOG/sJ/YUcqz7w1LErcHv50Z1DwrcxUiaTomd0CZaGxxqEPdA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=manchester.ac.uk; dmarc=pass action=none header.from=manchester.ac.uk; dkim=pass header.d=manchester.ac.uk; arc=none Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:22f::7) by LO0P265MB7206.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:332::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.40; Fri, 29 Mar 2024 10:32:07 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::59bc:54fb:36c2:1b97]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::59bc:54fb:36c2:1b97%5]) with mapi id 15.20.7409.039; Fri, 29 Mar 2024 10:32:07 +0000 From: Nicola Gambino To: "categories@mq.edu.au" , "MANCHESTERLOGIC@listserv.manchester.ac.uk" , "HomotopyTypeTheory@googlegroups.com" Subject: [HoTT] YaMCATS 34 - 16th April 2024 - University of Sheffield Thread-Topic: YaMCATS 34 - 16th April 2024 - University of Sheffield Thread-Index: AQHagcRZUBQJBw+Mc0+whqXRxGAf/Q== Date: Fri, 29 Mar 2024 10:32:07 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB5040:EE_|LO0P265MB7206:EE_ x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 8FyR5HNzfP5l9AKC/MXOTFlfVo6PlSVdFqDoiqQHd5MOK2ekybEdBCIIxX7Gu/NGNC4TtzGO9ds/igaaw/aOv+TBZjp8cCM4DrcAArp2QrqxCpLtIrl5ihF55ii/n6YgoHX8n0pnJwPdoEemYn3WXvNVDKdvqvbP+EIZZdlWlQqDtYshod9hnjusRMpmsS7jaJl/3iuxFPZMoI9C2MpRO1LScWQdp+Jqr9R/p/orTuMy4hFJYf+/ir+2mv+yhL6+mKiMHTxWHWJDf6StBwVupz8zfYZ7vVSo75Bb5Byt4vniiQ25286Roiglv3RI3qdz8KCz225+XiLAa+LTlCEgv3o8xC/cMhxHSVjbvMFAkZdobJfwbmTSJqT3YXqt42LLqM2y6TeI7rkUc01RcDVmLE+vwLRLUFVxAT5Moz28At5EbXJUKzEKBiz6ou69YmCdhf9Ex9sN/hJAmtD2zhaFamzZgQZp2ya82uj9OngKomwVKNKQpe4pwKhqA9AiOfEztcz9qhiejlxOh/gv32pR4ULc4/PUoUx+gYLO4NoVEW8KBp1fcmnYIZmxR0hNDXVL6Y+WTbqcoSJFmWKTB9LF3Wm7dMNK/FMWrlSnymoxPho= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(376005)(1800799015)(366007);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?NWQ4eDRjZ3I2ZTBneXpVQlpPYVZXTUZibkxtOFl6YnR0MDErNE1CVFlaZXhC?= =?utf-8?B?bnYyQzE1STIyRXgwRVUwQUdZSEdQSFRMS2dmZTBOVXhWbE5LbEpDOEdPbG5W?= =?utf-8?B?cmx0RmJ5enlEUFBTU1VWdkVkZTRzWm5EZXdFVkduelRsLzF6Q0R1UWRVSlJu?= =?utf-8?B?WGJLSU1iVk4xU2hQaVBoYlFTbW5oU0d4aEd0VHJ0aWNrQW5ua2dTZTVFeE45?= =?utf-8?B?WGdmS2hHNjNxK0d4cENRMm9mMVdDMkREb2YrUUFNYkpwZEJDUWZmRzcvd29s?= =?utf-8?B?c3cvdGdkeTBEZVFwTERIWTFxSTJjRjVDK2U4OVdRLytoMCtwcmwxT1E2amd1?= =?utf-8?B?Um1YZTJoQmVvYU1leFp1YVkxb1ByYW9jTUduNWZXS2dkRHFTTHZQNUxFbndk?= =?utf-8?B?TXMwdmFhdHdHcFNmV3pWdGg4bVA1akwrdy8zUTE0OWc4SWdFemFXZ2VETDdj?= =?utf-8?B?WTJ4TlFrOWdSNitjWFhkSFpaSHpWK2lVZm12R2grcUQrZVhURFNVNDlKTFI2?= =?utf-8?B?S2NjSjdCdmtDVnNSdTBJQzZGYjdCWGE1UVlPM3BobSswRWdGSW1nUkxCRjZv?= =?utf-8?B?MVhzYXJpc2ZHeTdabXdxRWQ0VkNwRUI1ZTZFc0tTSWF4bGJjNWdpMENUTElU?= =?utf-8?B?UElCRE9sdFVqS28wNVRFM2NjMW1HVDBnUEpSQk5UK3Fua01zOFVZeVZIRC9n?= =?utf-8?B?T1dIcGZxWkI3SWRRSk9FVG5vNEpwTlRFSnNtMFprZHVGMGRHRDdOc1MzL0I3?= =?utf-8?B?U0FBMW40TWVFNnd5ejliSTJTcVQ2dHBZMVI3WGRLOENoNVduWDVXU1R5dDdo?= =?utf-8?B?eVpHYkxYbTV2SWNXZitBYUowQjNGS1RDaXUrbHRZam5wL0FqYjk2Zk1rQThh?= =?utf-8?B?Sk5CcGN4S0tMaE91b0FpNmV4RDdQYTdvUG5RcUdmL3pGcXJQckxZQ1VXRlJm?= =?utf-8?B?eTJ3THFWZXBSc3FFSVlwQWJPcEsxK1k5WTdIR0U5TXJiTG1pRDFTM2ZNbnVi?= =?utf-8?B?OCtBZzdRQ3dMdDN5MjkraGliZktsZVZRNVZnWENqekVnWjlqUWlWS0NVTGxB?= =?utf-8?B?emNhdG5QM1hkUHBzZE0zZDZRbDI5TmpWMnpMOElrTWE0Y2ZQYzByNlJDWEQy?= =?utf-8?B?c1hmV0RZM2dyYU5od1k3ekRCazlWdlBEUWJRU2RXbitNNWE1eVVwOU9nTncx?= =?utf-8?B?c0tFQ2ZqOUZvelRRUFpGdmdyRXFteUE3VmZETVJVdDh2Q0lBNk1FSWhZZlU1?= =?utf-8?B?YTVPQkg3cEYrNFVKam9rbDNER1BGMzlXa1hsOWpRWFIyRDhpMThobHdwMFAz?= =?utf-8?B?TXRzd0ZDQ2twNUsvSFZSNFdYRzRCbWpuU3Znbksyak1ORWkrTVlWUVBkUnRO?= =?utf-8?B?bEZtVkNqNmNjUGhJakYreFM4MlVFaW1RYVcxZE5yWlZnVWh1UWVVeS9aVjh6?= =?utf-8?B?RFdzVURkc0NBNFFnS1ZNNVFNb01oM0s0YVUxWGtMUnBIZTZ2MEJYL2hsekxF?= =?utf-8?B?aHord0ZYVThnWFR1ZExhTVkxSElYN0h4WmpNUmdaQmc2M3c1NXAvVHZ4eVRz?= =?utf-8?B?bUJCZGZSRWpqbWdmMXFSQ3h2bW4zMC9pM1gzN2lhVFg1UUlVcnpMd1ZnNUwr?= =?utf-8?B?ZTA1SVE3Ujg3QXhPUnpjc09rN2pGTm9aTXp4bEJSdWdNTGJwRERtS1pwdk4v?= =?utf-8?B?eGdZNGdieDloZ0tRL3g2UHpDb0w5WGNsek1KMzVSVTVYWUZWL2hwL2NpQThq?= =?utf-8?B?R250U3ZOU0tIQXJ6aUtRcmRIZlRPUkxYM0wrVmV5bjVLNWNLU0RvWXlLbHlr?= =?utf-8?B?d0dMRUZieGdVeFV2MTlHYWlFYnZqN0kzd201dzlxbkd5a0NZdzFIR2ltS1F6?= =?utf-8?B?WDJTK0JGdVlhSUlLdTg2bDBzenZINXlUUFNIeElTb3NFODRZaERXNzBTT3B1?= =?utf-8?B?bmZhZzN6VlNVTzNieElFNXRseGwzM1NxU1M2S3hVdS9jTmtRdWF1eGZsUmlx?= =?utf-8?B?L1I3bWcwczlPMDNSTHJOM2JCK3JKTFlEbVJ2YVUwQ2VaWWdPcTNFWUtKQUpM?= =?utf-8?B?S3ZCaWNySnJITU5qd2RYZHppektPaEtUVkx6WmZvc3hOdjJ4UHU4dnNaK3BF?= =?utf-8?B?djc0R2NQWUVqekcvZEtDV0k1RDd1eFZ1Z3ZIalRubXhwQUY4WmtmRzN4cVc2?= =?utf-8?Q?m3YO1yI6y31s4ujEMz9XiA8=3D?= Content-Type: multipart/alternative; boundary="_000_B63E3E20EBE2442DB030EEAFED8B1350manchesteracuk_" MIME-Version: 1.0 X-OriginatorOrg: manchester.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 1f9b155f-9026-4ee8-9dd1-08dc4fdb7c1a X-MS-Exchange-CrossTenant-originalarrivaltime: 29 Mar 2024 10:32:07.8033 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: c152cb07-614e-4abb-818a-f035cfa91a77 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: iR64oRS7r8czZmspWhaWzp3AhkhVSacgFOCjEdqdCPe4q3mtoA73r2tUwY0EkrQqccavAGVmaegkKJkWhopqKxL1Qq40rqMXGkkp7aqNt+0= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB7206 X-Original-Sender: nicola.gambino@manchester.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:c205::3 as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , --_000_B63E3E20EBE2442DB030EEAFED8B1350manchesteracuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *** Yorkshire and Midlands Category Theory Seminar *** Tuesday 16th April 2024 *** University of Sheffield, UK The 34th meeting of the Yorkshire and Midlands Category Theory Seminar (YaM= CATS) will be held at the University of Sheffield on 16th April 2024. The program includes talks by Clark Barwick (University of Edinburgh) and F= rancesca Fedele (University of Leeds), and a session with open problems and= speed talks. Please visit the YaMCATS website https://conferences.leeds.ac.uk/yamcats/ for further information. If you wish to attend, please complete the registr= ation form available at https://forms.office.com/e/srQcRWFMSG by Wednesday 10th April. YaMCATS is a research network involving the Universities of Leeds, Manchest= er and Sheffield, supported by the London Mathematical Society. With best regards, Nicola Gambino, also on behalf of Jo=C3=A3o Faria Martins (University of Le= eds) and Markus Szymik (University of Sheffield) --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/B63E3E20-EBE2-442D-B030-EEAFED8B1350%40manchester.ac.uk. --_000_B63E3E20EBE2442DB030EEAFED8B1350manchesteracuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <1F7F5CE832AD1146B25CBD3D978F1FFE@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable
*** Yorkshire and Midlands Category Theory Seminar
*** Tuesday 16th April 2024
*** University of Sheffield, UK

The 34th meeting of the Yorkshire and Midlands Category Theory Seminar= (YaMCATS) will be held at the University of Sheffield on 16th April 2024.&= nbsp;

The program includes talks by Clark Barwick (University of Edinburgh) = and Francesca Fedele (University of Leeds), and a session with open problem= s and speed talks. Please visit the YaMCATS website

https://conferences.leeds.ac.uk/yamcats/

for further information. If you wish to attend, please complete the re= gistration form available at 


by Wednesday 10th April. 

YaMCATS is a research network involving the Universities of Leeds, Man= chester and Sheffield, supported by the London Mathematical Society.

With best regards,
Nicola Gambino, also on behalf of Jo=C3=A3o Faria Martins (University = of Leeds) and Markus Szymik (University of Sheffield)

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.co= m/d/msgid/HomotopyTypeTheory/B63E3E20-EBE2-442D-B030-EEAFED8B1350%40manches= ter.ac.uk.
--_000_B63E3E20EBE2442DB030EEAFED8B1350manchesteracuk_--