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.0 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: from SY8PR01CU002.outbound.protection.outlook.com (mail-australiaeastazon11020072.outbound.protection.outlook.com [52.101.150.72]) by inbox.vuxu.org (Postfix) with ESMTP id 39F792C12D for ; Thu, 15 Aug 2024 22:04:37 +0200 (CEST) ARC-Seal: i=5; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=qq7CJaXwaz+wK2UtcPf7mqjsWumgOdkH5977cexMVGdEG6O2CQfu9P0wiBGBz6Zbk+ZVJSlCNrIV8Razqw2WhNOIVNGrWtA4VoeSWoyzFRy/t1rmULNo2361gJkvfa8G8c9o4caIz3ggKS/tzDAabUSBRmeZoToJJIpt+w9tucn3jdyZGuPgfMQLhmByAiX6y2fw1EsYwtlMvCWYhnsDcj7pIXxyq+kBrLnYJTlo9sP6IjcG2cD5BVG9E/Yy6krvl2P2O2nIGDXnrGllgI3yeiOZemWwBewd85TDgkfRScjwgdU583HJf93SXFDxiLjPW/X35MM/XoBgFn1FGpcerw== ARC-Message-Signature: i=5; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=WyEb0f108YaatEbC7fBQmwedpI0YHep4eYK7978kJsw=; b=ePlUJ3+XWKZQZOH0pn77ukTskgn3mHhADjuN6Ix4i2TEmu/B8D0v36Pex0aYFZ/9l/kBWZ7/9j7cx8pZbr1u0/9ygkK3LHrkGZjvrERt/PflHYPjiXn3dEvUk06cgu3/Op8MS41G/G9+Pdv4OfNtVEWe1BqglpX7wiD2Ag0u+neZdpKLvkSQWUTE7XyH5TxOQYYBJYfcbNcNkuJPxa5g6Lvs5w25AK8GxdlWJNcyiVeVoti9UkkNbzu6gxdhEv204NzFVa2HY5dSPm1aEoO+OO37qP75IXE0PcL2bbBEWOSKHUT0+DsfqYWwF+6Il+3lCAD1MUJXi80PlW26hGnJWw== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 147.188.128.150) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bham.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=bham.ac.uk; dkim=fail (signature did not verify) header.d=bham.ac.uk; dkim=fail (body hash did not verify) header.d=bham.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=WyEb0f108YaatEbC7fBQmwedpI0YHep4eYK7978kJsw=; b=A8n+N4y6frGm4RwwFj3z+3M9xGoZURTtp7OznzaUz/7aWSRydEjXPoxZQim2d6w5v3+b82K6WA+PoLW7u+Z5j/l2okJD8exjp1hhGNXxybm3jA3wRcf0XthLRDiI4lnfH4jrxudvR2wEamNxYlCyXhdnSKvz/fV2YctPe9fn8OJBtAieGpHQYftWpQPL4OgbC5hpB0DbaOJKXJ0APyPax3SEaTVU7Yirj1OBAfVGMjYkJprpeMHjgp/5Ipvjh+0Y10Bt2cgELAed5bkdm9gE1s36u8eFbAZkZcyqclY75FKHvpyykPQYHSzQKBsoyz8bOOLW5byhY9HpTh3TaQtYqg== Received: from SmtpServer.Submit by MEYPR01MB7997 with Microsoft SMTP Server id 15.20.7897.9; Thu, 15 Aug 2024 20:04:34 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=PE70DUzhJSpV0F/dUpyP8r38ISpZnJ8IB1wIp6LcqvVQdAjSK+n6WJ+FcTsaI63JIV0303DnCzFIVHwMEJer10TKYRzmcP0QFEFtxpM63itT24X8q3x6CGnW+AFSv0WSzm0V1CcO5iGZ/ZYxsE7S2tfrCYqIIqhxF4gDFbqtqWChEJ/0AVj8ancmKOtFL5ndDeHzN2/jzfqpSTzJjryLLnzjH21vSHY7o9E68iM/1qRJ6KdS5bLLjMhnk0uBJVmJmDcfm/Dw+l1S3A7u2S9KFTnfaOxSlrrXwT7dP33qyxVsoNCLta/FKE5xXPf7rVhDFUU93SL9CS97HnrHvf5hlQ== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=fs+wi2XUYQLjKWh6mGIz/9BsRGR9uMqt9zEsQRmYt0A=; b=XiAWF2tm2fYubwxUlspdLnlhFvGi2S4xFHwkWlrRYantrFKGsmt65njs8d0zm+sEgJjyyHDovsGZA+UisgsXxx1pNppA0zHrB+tnsKVEySYQcVK1p7Is6r6yWXUDSx4lNv6KVI2PziPe5BZKcdvCekmLemwcr2UZluxgGewNX1mkvue5ceo0cU3pFn4FUIA4CY5Ex044UR6jjcvoo/az8I1DvAUBpxD5K06MqPAq4aA7C3NdHRsLGkuwbKZ9OGhuTstyHLC75BAqPHvgXoTxLM4eaDPNXfvwmFPYVp5LOgzIg/KT1uYe7KgPkSU690/VwUra+146QqwENkEGluebVQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 147.188.128.150) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bham.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=bham.ac.uk; dkim=fail (signature did not verify) header.d=bham.ac.uk; dkim=fail (body hash did not verify) header.d=bham.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY2PPF944BD4662.ausprd01.prod.outlook.com (2603:10c6:18::2a4) by MEYPR01MB7997.ausprd01.prod.outlook.com (2603:10c6:220:177::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7897.9; Thu, 15 Aug 2024 20:04:28 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com (2603:10c6:220:7::8) by SY2PPF944BD4662.ausprd01.prod.outlook.com (2603:10c6:18::2a4) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7897.9; Thu, 15 Aug 2024 20:04:23 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::31a6:a2cd:8320:59f4]) by ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::31a6:a2cd:8320:59f4%7]) with mapi id 15.20.7897.009; Thu, 15 Aug 2024 20:04:22 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=RDWg1lKrJfcqgbMhHynUNHIqh5qdkhEzWtvYLmihB+BeCLHNErJ/cSojnV5ZEtzXROP3Uo1wZqItWZ4HC6tT1bc7HpLh+1Q2X5T1534ExXxN1y9uXPy1DOq+xDCfqy6Y03tdfa8GwuZJ9EIjW5Kt5rbg/ZfTPMlGT5VVRJnz2v5G35kJQIyyqXcW9Vy9QKkiB1jqjOmRpEwOQ5Pa/I9t+7OBP6rdN9S9WfNEbsXu5aEFbz7vlfOzWmZtqx0xo1hC7LbvptkaJ9Mu2IP6W0QLBU80CJwhsjogpjTyeFQeDCJGn2R87QelaQZJtZteh1Xcs8sLlf40659EfOVe0Pf8fw== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=fs+wi2XUYQLjKWh6mGIz/9BsRGR9uMqt9zEsQRmYt0A=; b=plS8CMIuVXELgJUbvBupOqGiz0E9eWCdc8qyFiUAFeQHdOcN6WTYJEfpduhNQVgXCYpd2QluS/lVZuJifWNzNvU3i9/rFHSdIJSxJco3BFq3Xnb1UdzlaUVrJrfei4eK00GFBOWeo7ke3qggZawBxFT9AMAnDXRigG0FBLR0a903/VQEiH8gplN6fwUxFHFei6xFn6kBvCXBi6OSY+HdxI97tniLz+oiRJYmdC2yqfR0dza1veHUoWmgbIS/Xc1qCZ5PHiHsf9zGN6+awP7TNDz3/hPjcbAztIiMqIKedgr0WLus+Rnw9eu58SaAOKaYSBTKehOfeK07WE/xmuTEXw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 147.188.128.150) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bham.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=bham.ac.uk; dkim=fail (signature did not verify) header.d=bham.ac.uk; dkim=fail (body hash did not verify) header.d=bham.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) Received: from ME0P300CA0086.AUSP300.PROD.OUTLOOK.COM (2603:10c6:220:234::11) by SY4PR01MB5497.ausprd01.prod.outlook.com (2603:10c6:10:1f::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7897.10; Thu, 15 Aug 2024 16:23:36 +0000 Received: from ME3AUS01FT007.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:234:cafe::ce) by ME0P300CA0086.outlook.office365.com (2603:10c6:220:234::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7875.19 via Frontend Transport; Thu, 15 Aug 2024 16:23:36 +0000 Authentication-Results: spf=pass (sender IP is 147.188.128.150) smtp.mailfrom=bham.ac.uk; dkim=fail (signature did not verify) header.d=bham.ac.uk;dmarc=pass action=none header.from=bham.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of bham.ac.uk designates 147.188.128.150 as permitted sender) receiver=protection.outlook.com; client-ip=147.188.128.150; helo=sun61.bham.ac.uk; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ME3AUS01FT007.mail.protection.outlook.com (10.114.155.153) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7875.19 via Frontend Transport; Thu, 15 Aug 2024 16:23:34 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1723739014; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=fs+wi2XUYQLjKWh6mGIz/9BsRGR9uMqt9zEsQRmYt0A=; b=R2jTARXa+qbQpOyUGvogz2GngrlZ83f/8tGGwVRfgewEMMRG57TlMF4OI3eQYXdBY181kJ Ojm4TyNeaTw2XJA5SE6vkvjefswsLid2Sbj+yMcSz7/lD4KEJk94zzL0ZgcaDTVXAdRY+K UMm7azK4gjZyWfTqIBAMQfb9NayWihKjpqWne1/xI5BYYJ92HHaDQkka13iOgHwDNjZMRz TqowsYDlCLbn3IAHnE0Ogza7D0kfEXN790uMfBx8KARuytvaZ+lT1U5KhAkj2YEkLmOIXq T66qzGjfoBUnzoz+VWb92yu1quLNBWg5hOut/4bzCFUEcVOzhMYC1W1aLM1/wQ== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1723739014; a=rsa-sha256; cv=pass; b=ipqrv7SZZcnWahMMebUWaw9tkiGgjjfde0aJFLXVCUkWvyo4YXkIGUwONTJLpU5xMnUY/b 3BlpdOCa5uUIXpkz5orb9bOg/SGjRhI7x7SZJSK/GGf931KGUfXeRKHaEjqCiasB0UO82y uqXPuBnB+cbwrNBZtujP4d9Ko9+zlvc96vqSYaTEi0IeCYIpqObxAQYvikoqPQ7SVKfWAb UqHmlt/5NveQKfrW6usZKVizVUQjUokwjkOr6H04nwENh0+hlRtcxe6S2dxEQYFKo9/bKC zOm7G/I/DuCc4KZLsSi0BLtp9iQdu6EToSyTy5eDxIXsHIjTRyGi6MgytPSc3g== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=bham.ac.uk header.s=sel-tld-bham1 header.b=PGv8PSPI; dkim=pass header.d=bham.onmicrosoft.com header.s=selector2-bham-onmicrosoft-com header.b=ZnAQTYSz; arc=pass ("microsoft.com:s=arcselector10001:i=1"); dmarc=pass (policy=none) header.from=bham.ac.uk; spf=pass (relay.mimecast.com: domain of p.b.levy@bham.ac.uk designates 147.188.128.150 as permitted sender) smtp.mailfrom=p.b.levy@bham.ac.uk Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=bham.ac.uk header.s=sel-tld-bham1 header.b=PGv8PSPI; dkim=pass header.d=bham.onmicrosoft.com header.s=selector2-bham-onmicrosoft-com header.b=ZnAQTYSz; arc=pass ("microsoft.com:s=arcselector10001:i=1"); dmarc=pass (policy=none) header.from=bham.ac.uk; spf=pass (relay.mimecast.com: domain of p.b.levy@bham.ac.uk designates 147.188.128.150 as permitted sender) smtp.mailfrom=p.b.levy@bham.ac.uk Received: from sun61.bham.ac.uk (sun61.bham.ac.uk [147.188.128.150]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-65-d9rNgPjsML-DwJ2Unm5euQ-1; Fri, 16 Aug 2024 02:23:28 +1000 X-MC-Unique: d9rNgPjsML-DwJ2Unm5euQ-1 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=bham.ac.uk; s=sel-tld-bham1; h=MIME-Version:Content-Type:Message-ID:Date:Subject:To:From: Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=CSRNY53h4IUn9MUZYRbiFMsuqntXrpVxzzPRpUsA4fE=; b=PGv8PSPIr9oEkqtXAzEEy+Y3yd j1iB6pzn3uTRbcUjaEg+MLYvbZNmJzvjRRVf3Z01tRNp6fHinCthfHXyAsmI/vGiX7EPtavgGOeDO 8Gcc+Frv41U/jP8fUzKDgx+vBOS/nn6cZJ4htV8Mtgef74mCSeNMdTLEcgunvRWV3SFLUTXNRhswC lnzP2OEyYMsH2EeYK8NgbT3Y79N9HTHmh1icIfSR3bNY+26vv1OJ4NDS9xCyM0+C84solPaQoTWyN J1Zhsej7Mj3NKV/7PFydacHp5y5xdVjSU9F6DdMvN18w6ZVuzFtOJDCsW/zmt5CL5Ncg/g2sVYe4y NCipJOoQ== Received: from [147.188.128.54] (helo=mailer3) by sun61.bham.ac.uk with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.97.1) (envelope-from ) id 1secrE-000000003ir-FIzg; Thu, 15 Aug 2024 16:57:48 +0100 Received: from mail-ukwestazlp17010004.outbound.protection.outlook.com ([40.93.68.4] helo=CWXP265CU008.outbound.protection.outlook.com) by bham.ac.uk (envelope-from ) with esmtps (TLS1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.97.1) id 1secrE-000000004Ha-8eHP using interface mh2.bham.ac.uk; Thu, 15 Aug 2024 16:57:48 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=ZiwIzrKa+OIrOYbPdVPSXaimL8qN1ChSeUXkt3fiXzpurxBB9ubb34PVc5uAXj06i0WtblfgN5WAbiAqQ+toXDqWvPnYaO0aJfrVVfJyO0+suRZtSCWyJ5moDNsCt8aW+2K/jnOCo+2HFDKuxUeo7rSXAYs+jweUKW7kLHu5bp1rXitgXs5YcXqmgyWvLIFEDlf08oJQhReWEukaX04u92Z90cvvrwckcgTTLXROIxeIqYsnhgGD8OogAanAQZyY/Y/bOo66w93XSqTDDHccvukwh9MqTeFE/7dxlW6suEY2WTekUHhzJhMILXboHeph04mwReCoh3oyLlbBlme2mQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=CSRNY53h4IUn9MUZYRbiFMsuqntXrpVxzzPRpUsA4fE=; b=TLEGM4S0/FcPF039/bjmL73pB5hcIMfyXveWcUiARlm9XoGp/1Mtw6mkYl+E4MrhQ84lkNHZbxokzNy75R0zRRfH5eYRcE1SfwWfYS0k4/igGog6ldpsXA3GA2P0oXNOYd3sK5hYEVhls+CrNehGpEYYH1D8L5nFo+/wmi12E8/jSHK7bKvFx4F04/aIjKZhiP/qcHUhoZ8wpuZC4Mlc5UY0AKs+/riCLnGvE2O24dNisDKmZuYxkRBFNajvPf64OUoMkqzn1ZIKGZna2GXaX34+8q7IrUpOD+l5v4CVfKFxQaAfIh3B+bKezqzOgHvTX6RMTUZkO1sL33zi+lhHpg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bham.ac.uk; dmarc=pass action=none header.from=bham.ac.uk; dkim=pass header.d=bham.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=bham.onmicrosoft.com; s=selector2-bham-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=CSRNY53h4IUn9MUZYRbiFMsuqntXrpVxzzPRpUsA4fE=; b=ZnAQTYSzwTcC3QqRtJFDsXLo5RcwdZBPG/AvZD0wSBYsXBxh/dSl+OVRoF6439/7iR2Un7Zj9VmxIrMJo2nSiFRiUS5x/FeHtQGTiTVG1QJ5Sohogs1laXGfmoa1jstyLSVpUE52mkZrBY3X0JMAOl735QzZPEPlFlP201ufnYw= Received: from CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:131::6) by LO4P265MB6398.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2e0::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7875.18; Thu, 15 Aug 2024 15:57:46 +0000 Received: from CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM ([fe80::e731:b70:1516:1e0b]) by CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM ([fe80::e731:b70:1516:1e0b%5]) with mapi id 15.20.7875.016; Thu, 15 Aug 2024 15:57:46 +0000 From: Paul Levy To: "types-announce@lists.seas.upenn.edu" , "coalgebra@framalistes.org" , "categories@mq.edu.au" Subject: British Logic Colloquium 2024 -- Final call for participation Thread-Topic: British Logic Colloquium 2024 -- Final call for participation Thread-Index: AQHa7yueKFHjZvKVaUabG5ShqSQeog== Date: Thu, 15 Aug 2024 15:57:46 +0000 Message-ID: Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-traffictypediagnostic: CWXP265MB4058:EE_|LO4P265MB6398:EE_|ME3AUS01FT007:EE_|SY4PR01MB5497:EE_|SY2PPF944BD4662:EE_|MEYPR01MB7997:EE_ X-MS-Office365-Filtering-Correlation-Id: e0e118a1-6f72-4146-86a9-08dcbd469c44 X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0;ARA:13230040|1800799024|366016|376014|38070700018 X-Microsoft-Antispam-Message-Info-Original: =?us-ascii?Q?FdHGkiLebjHVt8Zh9FjRzQJuEo7VXJKX/1oN8PBnRbvI6RG9ifrRRoS44dYB?= =?us-ascii?Q?CsGZ+YMRzUMN1S+eZpx/ws3OuKcfLif39EZE014cV1PhlomLrRmZXaXbgss2?= =?us-ascii?Q?FqpvRi3lHEdsX0rL+moOr7rE1AdiTwMROXHVkCGKIupOE7LQjyoYStHPfoXY?= =?us-ascii?Q?57SsXuubndjuJtRVzicHlLQ30fEyRkkbzHhwuxND5gafDGUW/FmtHtQ+fV5t?= =?us-ascii?Q?ZboaLvyU6rP9/thFTL6+GUEDryWkZYZpoj+YpUgIylnx9nWX0YZl6bRVtd2e?= =?us-ascii?Q?pnIttBPw10wJIfOBMMphc7W/OYzdGwvkdO8Ebj49r55RiLVER4HgTpynBPmN?= =?us-ascii?Q?gka3V5ka2tA5ewATitA+2MZiwlPU6pKStzILUnv4HiHIMBIzdhIBMGJPVgVz?= =?us-ascii?Q?fG1Pf8ArScb3MUiEI0PBTvFunHWLAkS+UGx2j99y3ChCSPyl4VXGDkFclEaM?= =?us-ascii?Q?QBOuKGWwXAXV2Zz8kgTmKEqjbSPF70WyrAAu6BKDizbHmFVPUijtoxdbHROn?= =?us-ascii?Q?WpAalJ3Tdo2DaW9t5+z/1dUX6c4Tahda/b7dBEubh8PElvoAmIUeG/dYC5M4?= =?us-ascii?Q?kzsoHldBfZb8b8GqwQmHFCpKzta294PMVWn+IkDmTQGcXStI+IXQmCx+T6yU?= =?us-ascii?Q?1VwMaPTPLbNEdr38SEGqI5r/PiW4Bz/IOiHGFIn6okhWMqqwxIsgApmbC4mV?= =?us-ascii?Q?qrNHRhobAUMubix8c6qhbUYQzNzc16Ye/yQv/qYzgYe/qQKexfC+ALRmNsTI?= =?us-ascii?Q?x967Xge1Kl9XKAGYizpJljTvl9sseo69CS0NF8eIuyCg4u3acu4ockogoVob?= =?us-ascii?Q?9NMbiS4+HPt0fLzZ8S1kgIjvpVY8CRYidIBvt09OX6yl33RkBKjNoZbiBViQ?= =?us-ascii?Q?agaZd/prO2MNt76sqbDPCshqMlM/6N58CBoyWvMfI3MgSvFwwKpNeDDa68Lz?= =?us-ascii?Q?bTcYxjq+UwWuNszNJyuxhi8eXSmegk1bry/SZiNp86rFARhzOSHa316yz2yh?= =?us-ascii?Q?Gsmdb5IIUav4co6mvlNftZqL5cWPkmONBA7yIFwzpNNiid/wJXMgE0uqZAoh?= =?us-ascii?Q?KGwrEn2IwQutvtu1ID2EiiLnNpWhhq+ODpFlm5F+86Naxu+GvpJEQ1cp1VSX?= =?us-ascii?Q?KeVW8woYFZWe0ojiMF9uOk35lYd6ol1Dqyv6oA+5co+iDjJoFPmFuRs9xC0i?= =?us-ascii?Q?sGzPVx64ZLSIoqG4T0lc3gvJTu3T6eGadBziRq5zOsCaSddTnGr24ihje37a?= =?us-ascii?Q?N9+h6zAoSEZBMNYQr6GRBGiEAV+vjuLo+6NJ0n+JEPttBvCbioNvq75TWfxP?= =?us-ascii?Q?0E6BP3K7g0OYNjnUTkoOq93Yl+nA9W1mU/FDuZV9f6lxDk7/hdlxGxVaWpSe?= =?us-ascii?Q?NyVv6pc=3D?= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230040)(1800799024)(366016)(376014)(38070700018);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO4P265MB6398 X-BHAM-SendViaRouter: yes X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=true;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_CWXP265MB40584C0B9D8B059B61999EBCF4802CWXP265MB4058GBRP_" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[147.188.128.150];domain=sun61.bham.ac.uk X-MS-Exchange-ExternalOriginalInternetSender: ip=[147.188.128.150];domain=sun61.bham.ac.uk X-MS-Exchange-Transport-CrossTenantHeadersStripped: ME3AUS01FT007.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 1bd6abeb-4920-4b7a-475d-08dcbd430164 X-Moderation-Data: 8/15/2024 8:04:19 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0;ARA:13230040|35042699022|48200799018|32650700017|35950700016|61400799027|82310400026|7416014|376014|41080700001; X-Microsoft-Antispam-Message-Info: =?us-ascii?Q?yxUlnynTF1vD3Ab5AT/jDpOum47dJLbjRZZEMybpkQUzgvS5C+zlvlZYD4m9?= =?us-ascii?Q?8U8ZV4rhSbl6C6eG7AgeVGNDoIWUaX33xIWtYLHLDfj1GIjPe4XWJLy4E6Px?= =?us-ascii?Q?I/Ly6XEOaBwRkaqQ6mELeHeUpEWr3HZzKR7P31RbXrAjObUzvZJLILHxZFyo?= =?us-ascii?Q?j4/VLxbP8HJN2wgvpf2/FnTDFbi75rCLg6Z/desLvmcDmggVzQSYgiHwxCui?= =?us-ascii?Q?kGX+aHkhTyKivOzfKMwr/UbcDry8spNiAaZ7hBT1dTmtfV9JsRz3MFjFu9Fm?= =?us-ascii?Q?bARax9EKJV+r1pgtRl3vwgEuRLFlRWixlZgDaURFShG2F74BxFvI5Qn+4rJ8?= =?us-ascii?Q?8Qqs3Pn1wSBTlSiru8WRvWnVqFkpw6CJqT9C420UYr1IvImD9U8Yy61M9ScW?= =?us-ascii?Q?Lqaq+oyO5JfBfZvgUbjtoZdNnnzIvA/F0DFUCuAhlPq46krqbSBEOpMp4QnC?= =?us-ascii?Q?v5jBHvbOrKZgd54/oUv12vspcCPb3VUrciohZC5IhxpsxxSLIAzOm68f+Deg?= =?us-ascii?Q?mt+Zqw4Jp/jyoUNfDM8Dmni2X9Ufq+8ekcqzU4LThwbwpXZI0l2sI1xs/N2Y?= =?us-ascii?Q?IKJZvHSFC6RTZvNCLKe1WLHgj/q2Ahax1XBHSlNCE6UsO0tbifh9zV2gKUt7?= =?us-ascii?Q?yIQnWhTUMvS8HCK7EXmFJNrn142RiPKyPjGJHhjrTa3UxYIY9owUcrbue8v2?= =?us-ascii?Q?bFalfN9suySLUl/cFTC7ajkUdcroW1EUf8D1DPACHbOfGWnHi7FmSTufsKQD?= =?us-ascii?Q?Q2A1jNm0eIBCszuzfm4GLDBAB2vCbEN9fRorHDOuiwo41NVxjktNMy6/PrZO?= =?us-ascii?Q?wwNoIXbR7bEnuKFii8dHtjtYuqPmRqULnYnWBHLgxts4StHbGQrS8oTZMap3?= =?us-ascii?Q?spoEKxa1MakVIx7+uC9sGX01UDPY4gR9aR1mJ8N+t8ZTumhxqthMhjIYnkgu?= =?us-ascii?Q?QQqKg1ca0TucV5QAi2F6eOKeUuQRNR7v5/o/0HQneHhh7m7tDOng9VjfXuhn?= =?us-ascii?Q?gzFzoccQbUGMbdes2982th7pP8574gDX+5dez/mIjIGishE5dl4DEPl7Sc6K?= =?us-ascii?Q?E5gNTfnH9PisTeTfGVmgJ88CePUtxlwynzHJk0lIXs0Xlkf+JrjUMe4p//Ha?= =?us-ascii?Q?G3vjqXrfVPQDsR9fv8g4liM8jpKHO+F1T7LgaXKljCxFWhZINWQRLt4NxFdG?= =?us-ascii?Q?gqysMlsSs7B+lIjqt0GIJIRx74F6Ukn1K9RUfDjesBQOBrB4njEkiXJpwqVc?= =?us-ascii?Q?bPgIaZMFzZr0avSa3GgHRRlDdnggmeKa6pA5B3qNXjU0qujKkIroxp3TdlaC?= =?us-ascii?Q?e3QbuxMabYyXuXsTVODL7UbHHARhONX+9rLnRyEDavee2XU1gWmBjh4lnJ28?= =?us-ascii?Q?njJkh/2cRcpZcs5XAyY6t9PqOR03t9MPJxi5vGb542afh1XxH7nbMfTtBEFN?= =?us-ascii?Q?IS0doW4N/Xo=3D?= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:sun61.bham.ac.uk;PTR:sun61.bham.ac.uk;CAT:NONE;SFS:(13230040)(35042699022)(48200799018)(32650700017)(35950700016)(61400799027)(82310400026)(7416014)(376014)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: e0e118a1-6f72-4146-86a9-08dcbd469c44 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT007.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Aug 2024 20:04:22.6811 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: itrVwuooKrFGiQ10LQvtk0lhW86IFsuUZD13QKXwDQIMEZg4fLQYqbf5cVoXpZqWhqm7oiWf//W051ovPPmB08+fsWKITqJDUYZFuXkcA+oiU6Dulf3J9tPfTGtYOFbcs8lv/PN4W1kX38r5FzftyMJQ7rWFIJBK9s507sgq3lpFsbpdbSYNhvPEk7vrFAbXNletHwYPE8EZfG4rLqi7xg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB7997 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?8pMjtxPmbfu7uf5KBluYWn+gOJMC98SozyicD7mONShiBlhkxntC+ddlcYVb?= =?us-ascii?Q?VegvWKx5E1M2miiqwS9vjyWyZYzpCuZvSqb4/XHq6FOLAfKGljJOjn9GqN6I?= =?us-ascii?Q?VeeLttaDT0YBFbFioEmSj/Zjx+wWlpOVb82N72Vm5lj1Fq6JU+VDPkV/zvog?= =?us-ascii?Q?9Vnv8CLZtBP8aC4umGuX0DMi9HgXaWOsknuJbxqfd1bjjW6K/L2mzWdWx/Us?= =?us-ascii?Q?PCWYG4O0Wz7f1EwT0NhwSXin/BjpzWElw295Wgw9Y8dpT5X0cRCgrkPGhMWx?= =?us-ascii?Q?3w1lfWwKoJ7vONlefW1tMSqj5lEAAG0Tp9+XujATCkcCWWUlAxDlrHvoCsbc?= =?us-ascii?Q?mHhoeHqWnR1ryhAr+XofVIVY26cdkWwauvSVcyCK0ytvupTTBeaQ07oItiyA?= =?us-ascii?Q?kh6L7jpIMuprG8aq3fZp1vEgHuhmGqd51ljIN3fXExFLZF9E02vzAMWAwYCf?= =?us-ascii?Q?jVyFt5I/aDAmxKgJX79Ah1rp8MYmIb8j8pbhGcTRmgOtnxJqwf4wZ9ZvO2AQ?= =?us-ascii?Q?xW+CAas/Sa62gxl+BmBNaU1rCnFL67ywFBOOsg6Y467MJK14dGk70gLlQuwo?= =?us-ascii?Q?wLVksYkbtrIYf88miuyGl7k/GOhmwbeLGOTrYj0l5jE94BBUwBI7R6PDhp+b?= =?us-ascii?Q?JbMOqsp+/os2qmDiTO4KFIc34LdjOW6BZlLokevKPae0XcuU+vHPuIaMYNfc?= =?us-ascii?Q?C3GH4LdPkeQPXUa1wIQXdfVXUlnZAs2m+2+rJT0VtBOSf97iBvpXecPCRsQq?= =?us-ascii?Q?Ul59XJNXq+SHmKp4lYpZwRpF818ccBSX8VWD0oZ9kccIpFWqPIuCFeTboV/4?= =?us-ascii?Q?kwjbYFjk45YNEvdV1SSv9yZprIowGCjIXHPqgLJ1xyICotvCPqPNWUWe5wAn?= =?us-ascii?Q?3R9RAv11RM5ateawpVFrQMq9Y5OKhHTRMg2rVIOL2Qp6F8401nVijO7lJ83M?= =?us-ascii?Q?31vaLsSVnJcENtnfHc+wygRQUqLBA3gAHY1XqXcwYpyiy+FtMxK7YU+YonNQ?= =?us-ascii?Q?RDVBu/bAdzqEaGYgEVFCOeonaLTUyC17Vrbsp5HMbrs1uZehI8mBHBFI2fhV?= =?us-ascii?Q?GS2UnXEy9JhFjHGJ9hEJf1gVuQDYJnyVE3vPaj7dqc0Ir6lF0OSEyOSZCUrn?= =?us-ascii?Q?1eKm0E7ON/DDhfgynBS+jYaon/sTBL4xRKaVSmOy4wSnxXJ4slzefQIRGjuz?= =?us-ascii?Q?wu/Wf6QifQ9UzC49/v+OE+GoTe72iFSFjy6eYMaHCyZEG+WbDZ4s706eYJkQ?= =?us-ascii?Q?K0DJnmRAW5yXOxhqqmlcNfZTkySM0zJwuxcFnl2j7Q=3D=3D?= X-OriginatorOrg: mq.edu.au --_000_CWXP265MB40584C0B9D8B059B61999EBCF4802CWXP265MB4058GBRP_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable ***Final Call for Participation*** BRITISH LOGIC COLLOQUIUM 2024 University of Birmingham, UK https://blc24.github.io/ **Registration deadline: August 19th** Register at: https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physi= cal-sciences/school-of-computer-science/computer-science-courses-events/bri= tish-logic-colloquium-2024 The annual meeting of the British Logic Colloquium (https://www.blc-logic.o= rg/) will be organised by the University of Birmingham fro= m Thursday 5th September afternoon to Saturday 7th September morning. The programme will include invited and contributed talks on a range of topi= cs including (but not restricted to) proof theory, set theory, model theory= , computability and complexity, logical aspects of computer science, and ph= ilosophy of mathematics. INVITED SPEAKERS - Martin Escardo (University of Birmingham) TBA - Nicola Gambino (University of Manchester) Monoidal bicategories, differen= tial linear logic, and analytic functors - Lorna Gregory (University of East Anglia) Ziegler Spectra - Asaf Karagila (University of Leeds) Why large cardinals? - Ofra Magidor (University of Oxford) New Zeno and the logic of counterfac= tuals - Elvira Mayordomo (Universidad de Zaragoza and Iowa State University) On i= nformation theory in geometric measure theory - Michael Rathjen (University of Leeds) Graph Theory, Logic, and the Trans= finite COLOCATION WITH Proof Society BLC24 will be colocated with the Proof Society International School and Wor= kshop 2024, taking place 9-13 September: https://proofsociety2024.com/ PROGRAM COMMITTEE Anupam Das (University of Birmingham) Paul Blain Levy (University of Birmingham) Sonia Marin (University of Birmingham) Omar Leon Sanchez (University of Manchester) Paul Shafer (University of Leeds) Sara Uckelman (Durham University) You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --_000_CWXP265MB40584C0B9D8B059B61999EBCF4802CWXP265MB4058GBRP_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

***Final Call for Participation***

 

BRITISH LOGIC COLLOQUIUM 2024 

University of Birmingham, UK 

https://blc24.github.io/

 

**Registration deadline: August 19th**

 

Register at:

 

https://shop.bham.ac.uk/conferences-and-events/college-of-eng= ineering-physical-sciences/school-of-computer-science/computer-science-cour= ses-events/british-logic-colloquium-2024

 

The annual meeting of the British Logic Colloquium (= https://www.blc-logic.org/) will be organis= ed by the University of Birmingham from Thursday 5th September afternoon to Saturday 7th September morning.

 

The programme will include invited and contributed t= alks on a range of topics including (but not restricted to) proof theory, s= et theory, model theory, computability and complexity, logical aspects of c= omputer science, and philosophy of mathematics. 

 

 

INVITED SPEAKERS

 

- Martin Escardo (University of Birmingham) TBA

- Nicola Gambino (University of Manchester) Monoidal= bicategories, differential linear logic, and analytic functors

- Lorna Gregory (University of East Anglia) Ziegler = Spectra

- Asaf Karagila (University of Leeds)  Why larg= e cardinals?

- Ofra Magidor (University of Oxford)  New Zeno= and the logic of counterfactuals

- Elvira Mayordomo (Universidad de Zaragoza and Iowa= State University) On information theory in geometric measure theory

- Michael Rathjen (University of Leeds)  Graph = Theory, Logic, and the Transfinite

 

 

COLOCATION WITH Proof Society

 

BLC24 will be colocated with the Proof Society Inter= national School and Workshop 2024, taking place 9-13 September: https://proofsociety2024.com/

 

PROGRAM COMMITTEE

 

Anupam Das (University of Birmingham)

Paul Blain Levy (University of Birmingham)

Sonia Marin (University of Birmingham)

Omar Leon Sanchez (University of Manchester)

Paul Shafer (University of Leeds)

Sara Uckelman (Durham University)

 

 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--_000_CWXP265MB40584C0B9D8B059B61999EBCF4802CWXP265MB4058GBRP_--