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.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2102.outbound.protection.outlook.com [40.107.108.102]) by inbox.vuxu.org (Postfix) with ESMTP id 832E7260CD for ; Tue, 25 Jun 2024 02:22:54 +0200 (CEST) ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=V5RoiV1/z2jwa0G1IXwRjf4flmAMITknvS1e9BChUpBTzucl4OheHQfilLfwPAFc2fEWZuUXVASCdXEacjQwo1TMuyB82pyfyjAcmuLOlgEQN/NMEfg3JNrYwlPJDdIoK57s+hraFpz63Z8mcNk6GXifqrzsPjPhdBn5Gy4A1dIbAiBcBgF3NJfZB3Z8MPjvimbKK5u2tsvZHFyCcTeIaPGDTZ8S4a7r1lFvBeNtg+vBbc7w5jBeoKB4IkgQ4jC0T4s4RZ74WFlYyzeu+rT7kAwkHl7AKWkCRWvfVbtjF3nldfcuMFGSGfLPRFC7LsgTBjLXxRbqBY5svasDQEI+eA== ARC-Message-Signature: i=5; 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=yPkqJ4p2hbNBlEp5wXePoyPxFAre161+gHnML/WZTLM=; b=AlZXynpThMLsHUcJSrltkmdcsw7wMC6fTA5iXdvWzqtqd9dd9ecnMl7c4865AWK3Kf5GKAMbasaM4sFs9HZrhBQxdQbgXf4NbVhjKFePZnvvep71etgwGcK66ppk/rKSTFl9ThHzpH6gXgs8RtZsaT3W2J5tfRvXJK3MEkQF8wl1wt2W8dOX20OvDjMwwHEIvkCnuaysBBJdHMYJiKtKcOPUWZUiy72At627Cczr2XYSPColUdS9cUNML1Nxvjd/dCopUebJGqrypFD7m42xu+0oWXxjqhDlCblyNBpwxZke+Vkt6rQww/PeNGJKq1Frsw6pFl9EssxOt6MsD8540Q== 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=bestguesspass 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=yPkqJ4p2hbNBlEp5wXePoyPxFAre161+gHnML/WZTLM=; b=Pz5O+OftAu5Qg4JbG3pWZ08jWj59Ot5vtOyuh73T5R1XFIrux0BwoWxn1rjZ1gLbIna3s5Qv880nbX613AVRIHJV00hmpKR2aG0LaF/plS9ci5We1oZk5mG9pDFaPpVVmPsGWmhAAZh5mM7GRzTqVeVEUG/IZ/aDxA+6S2EmFzF75OXR0UJn55secaUuUh6bd79uak4ZFuYvNviMpv4AsZtaOud4s5EeTKNjkMyiWphekzeLxSB7+Jn4RZU87Zloo0lrLnZHsmDWEIBE7QsIMMPxP9Krbs0kr0bTHgu2qyOTFj92qjrCs2T40hQhsd0v9W4WURcfdM6GkQ1v6fmCnw== Received: from SmtpServer.Submit by SY4PR01MB8120 with Microsoft SMTP Server id 15.20.7698.30; Tue, 25 Jun 2024 00:22:50 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=WtVcugjEFVvoOYC00Bt1SnO36j4A4yKo9QzjRhnY6xJyOu1A2MxPhyo1hz2QBEFn5NMZSjJVeqAUOJ/UmOmOV0KrTvoyXHCoCuZq1alKCtKiymrkSMpyrBIsSGlLb125hrsHdgk3IRcbgyJfGyFoE/e3Y3E8vfmJpwkh4dCIk7p4Rmi7zCw/7qOSuvgL4gTuUxlmqQ+9qIENM7RuPY22gNOKX+AkLGlTZxgs9HedukKfqrZBNiH2Zx2GTcfqcdDJH2GGvkX6BVM0lVrzqeo5riA8Xp8PbHgdVp31cZ4GB7C5/UZOBkg0z6eMlT2zfByS53OahhVJFEApYRgfHgY3oQ== ARC-Message-Signature: i=4; 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=9vL6TaZEyMvvbkpbfJXVMZDQrdufhg56mwGSazySc48=; b=Q1Y4Yk2x0Nuf/QutWllPvaklapRnDeD1Tl3mYjOlBUneGhFycrtYNYuKNv8iNZdREWpScLXiAt9h4zCFv7IqwBHjrAVLkqb6X8Z6l3xyi/zGfdl9x/1hwrOEtmRxF95S3MuV/U2uZ+QoGik06wjgOBboWITp3Ajukwo2LEIBeLFUA0eLxBDje5Z80V9xO6MB7msLfmoKM5iUorUT9lIzdNV+aaj+gtRXj0By+Q19XRm15WZ61/Zbx4TLQdGl11/YJKjMTkJIpkLO2TNE9jkCvO/cjPycASDYOrlBfAltyuat0VTjXw+BO8P9elUctxnfWZLsNKvZJLDMD8AI7o7TUQ== 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=bestguesspass 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 ME3PR01MB7661.ausprd01.prod.outlook.com (2603:10c6:220:136::24) by SY4PR01MB8120.ausprd01.prod.outlook.com (2603:10c6:10:1cc::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7698.30; Tue, 25 Jun 2024 00:22:42 +0000 Received: from ME3PR01MB7079.ausprd01.prod.outlook.com (2603:10c6:220:16c::8) by ME3PR01MB7661.ausprd01.prod.outlook.com (2603:10c6:220:136::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7698.30; Tue, 25 Jun 2024 00:22:37 +0000 Received: from ME3PR01MB7079.ausprd01.prod.outlook.com ([fe80::7f0b:993f:4754:42e0]) by ME3PR01MB7079.ausprd01.prod.outlook.com ([fe80::7f0b:993f:4754:42e0%6]) with mapi id 15.20.7698.025; Tue, 25 Jun 2024 00:22:37 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=PwJApeB2gsruKVvn2ERYo4IMRwTgYgSoA7hd0aZg8cB1M2US8P7oqbpSKh1MLjXMy02NmO+YgNNhDpm/gC5cy8TtpWhjAi1L8HztCfxvFSrWg3iuQEY+BhNpYy6nYWTQ7gR0vv3zZv/gDEpxf1b6EL8YDk5D7+6gYmd/nCYzx7zpoMPUTbviY8j36fGmmwcTQZnpepcJ8Lu6IQ1ANHRR8YHKmo6MZaEs1sNY+6SVD6C6+o7OuMI+pjXz36iQoRZUqka5H9t8rtYCX3euC8Kzyyqzi6tn11nXbuOg1r5Pa/LmmGRvH+K1NQiYZAQr3L2bqTfuZtBPGasoiVYq6T/rSQ== ARC-Message-Signature: i=3; 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=9vL6TaZEyMvvbkpbfJXVMZDQrdufhg56mwGSazySc48=; b=maHcWmQVxktbOqjp9Yb1gi8P73pd7Fd24vzDTkT5lrdN8eZaLlfWGsG/Ta057aK5myyuKRPbxnJ8sFlnqiCB1gqBNkMoTpcuMDajHdztNRi23bmOuMUIJD5tH4v5Z03btPuT94Y7EyHcxtkz3chRLRuHDb7Bv/kDdc+PK3ZKBvzifSUDBj6C37t5vBoVbDgw5+UFvgDZHOhGnxaROr53K9fYPFNxtiWzlbPQFLjCgFSDoI2Tgt+pSgtFwpU98RKJWo5VRPFfFpzFKZdRJcg//Vls5IfDtX6N5l3qYnZG4Ir+/dMe+bUd8XOczykG0Go0X4gYXh9stgZ3gGLz3MTWjw== 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=bestguesspass 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 MEWPR01CA0311.ausprd01.prod.outlook.com (2603:10c6:220:1d8::8) by SY0PR01MB9343.ausprd01.prod.outlook.com (2603:10c6:10:253::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7698.30; Mon, 24 Jun 2024 22:22:02 +0000 Received: from ML1PEPF00011308.ausprd01.prod.outlook.com (2603:10c6:220:1d8:cafe::1e) by MEWPR01CA0311.outlook.office365.com (2603:10c6:220:1d8::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7677.38 via Frontend Transport; Mon, 24 Jun 2024 22:22:02 +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=bestguesspass 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 ML1PEPF00011308.mail.protection.outlook.com (10.167.241.85) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7677.15 via Frontend Transport; Mon, 24 Jun 2024 22:22:01 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1719267720; 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=9vL6TaZEyMvvbkpbfJXVMZDQrdufhg56mwGSazySc48=; b=YWTh4tV6cGlN5y278xorA90j/zxYXIimzkASBhOvoNhG2fRvKW7EdnpMfWU3DiBu9L07mZ /YyEYWsec7r3fWpmwGWrz3q+73Y02nKYunh8k2Q48pAhC0W0sNsTaHFcfWeoLFT2CogJ7d p9IG0oRhrGyZYHHOWBgwZCGNGsR4hus+LSw+cs8XUf21qhRblAxrDsR5SLs/di0OIVsBf9 2woxZUjavSHCjaXMegaRaRT1uM/EgKEPESRl8v14cVxrnYE2buHWOeesCiSMNPbsV7DWwm AaypSYDDDCMZqwyO8p6MwMP2iEDF9A04OrHMY+6meXRyRlRZ6irZKHn33OkVSg== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1719267720; a=rsa-sha256; cv=pass; b=DhsK/+APwPaSmrDne3i44dosSh94RQwVbveQNWlZwo5L+H6yD1aYE5Z4bN0D9u1A8/XXOt l0t7ZPsGebL6OD56UuKoJI8v9BMKdBKFD3TUtQH9++ugQWVnnn2TSiDF+b7lLxXBfUyv30 R6ukd1zC2odvlOe/a1ISKkuFwugdb1obgfV6zIMn5L2iTk9pc1nfFd+umvX8Cg4x1stgxT cNELTuhRru/5PfmNj7IakFFe2jKzKCgpS87zTm5Q7wT1VWSSgUkEvYf4nXnX0eS7tqObL2 3Fp4OqcbSzPFi+UQWD2ZhXrJg8P71Po88xxKjDhspIb3r4QIhYtSkhARQPT9Tw== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=bham.ac.uk header.s=sel-tld-bham1 header.b=RmdgtKqL; dkim=pass header.d=bham.onmicrosoft.com header.s=selector2-bham-onmicrosoft-com header.b=FgrJjgIl; arc=pass ("microsoft.com:s=arcselector9901: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=RmdgtKqL; dkim=pass header.d=bham.onmicrosoft.com header.s=selector2-bham-onmicrosoft-com header.b=FgrJjgIl; arc=pass ("microsoft.com:s=arcselector9901: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-23-AcQNx8JaOZy9agarGgAnFg-1; Tue, 25 Jun 2024 08:21:57 +1000 X-MC-Unique: AcQNx8JaOZy9agarGgAnFg-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=KKXI2ym1OHtHnnY//m/c6ZuLOTHqezrO/a5jGujbeZc=; b=RmdgtKqLmsk3QOrdtgkJLxq2hP iOQND8sciqgEpuf/sC/r89BLVKl7mYBtLs680kOq14LmZTHgCbVJ6ufyODFwVxa/eWvBut3CELROq HZD5MjXdtn5QASBxKmQuxzFRiJDJ/i8AFdlwxmKgBs39edU5SA/nG8ALafAol03ZVehCYwF7t8eC1 mGBofwyNeQGFotVyYgp2xPcLAw4o75k4vKGUoSma257QrVjxUTsDexbrg8iMDmapc9ItWJOCeLsc2 LRmr3K/zYBOoLNaowJpRjeFRH8jKQBiYCpFubTX1VrYcpjU43mGrLjzMblzbPo3b2z3ynYPW6WkAY m34Uewjw== 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 1sLs4O-0000000016W-GZkq; Mon, 24 Jun 2024 23:21:52 +0100 Received: from mail-cwxgbr01lp2041.outbound.protection.outlook.com ([104.47.85.41] helo=GBR01-CWX-obe.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 1sLs4O-000000006en-9yU6 using interface mh2.bham.ac.uk; Mon, 24 Jun 2024 23:21:52 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=E4Z1pl+VMdw3BdNZxQ8O7y06c1aqBL/dBpCXtxtf0uTMm+ONKylLtQkxQpK2IIgiJbOykthqg/A4M1U/kAPvByHiH7OrgHu4HxV2kAMRFDSrQ5mUkY+M/36C7jrjjfSsRorWCaWeseWw03Uy7OrC2uD9Q3IaGZkzsVQ0kXXy5/fFCtx05WM3o95uqT6etlijILvnLq5/KKW1rD5gWC5iaeDFj6KNsosAu8uWHEyKy2AUZTP4DtDnyOOrB3JJOg09r67EERswRLSVLTuluhKo5ruS5ov0l+/Q6CF6SFp7ABQx6fksmuaygnpnN5wFdMjEDqa8bif+YoA9nNiHc7QO6w== 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=KKXI2ym1OHtHnnY//m/c6ZuLOTHqezrO/a5jGujbeZc=; b=Vd9O1PmEs/bwe88nVWzTovGwoSgUnAf0gMCB4h5CVSsGlfI/SW0cJ5G7+3572RqbESqOD4CUY/EiMEGupv3NTC/OrkJ4lvyAXIwOJE8NAalyWgOb8cWbfDfIEank4zpk/NI6IXbfDNPKclD1NBibaW68O92g6XrsrpoyzACmzkefb8hfctU4D3SoYIALi/ARtt7jKX1WiklBDsMDP0e9AiR9hkhVbHdwQsL/PoBhRFlPD0dPcLyt5i7ztYCZSE4vEMnkQ76ge+okK26G9Xo044R3mIh0RnFm5UP33/auX+wugSdvgv7CvcbdAvb9muILF8JN8X3EVvmiqzlqzK9bbA== 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=KKXI2ym1OHtHnnY//m/c6ZuLOTHqezrO/a5jGujbeZc=; b=FgrJjgIlO/k9WQwolNkOJwVAllHv+VfqZN2i8ERRqUpEenk3+PdXK05krvlamKJlR5/BzSHOMsvN5+1Efh14oHST09XFiAOwwZm7wEp7Wg5RDPEUaw21Zrt8/k50DYcy4bclX5PLzNbivSACWnnWg8GnHbp5rI1gnss0KtbcEho= Received: from CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:131::6) by LO0P265MB2716.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:148::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7698.30; Mon, 24 Jun 2024 22:21:51 +0000 Received: from CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM ([fe80::e731:b70:1516:1e0b]) by CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM ([fe80::e731:b70:1516:1e0b%7]) with mapi id 15.20.7698.025; Mon, 24 Jun 2024 22:21:51 +0000 From: Paul Levy To: "types-announce@lists.seas.upenn.edu" , "categories@mq.edu.au" , "coalgebra@framalistes.org" Subject: British Logic Colloquium 2024 -- Call for abstracts Thread-Topic: British Logic Colloquium 2024 -- Call for abstracts Thread-Index: AQHaxoS1zTz++8naTECJPOIoowjW0A== Date: Mon, 24 Jun 2024 22:21:51 +0000 Message-ID: Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-traffictypediagnostic: CWXP265MB4058:EE_|LO0P265MB2716:EE_|ML1PEPF00011308:EE_|SY0PR01MB9343:EE_|ME3PR01MB7661:EE_|SY4PR01MB8120:EE_ X-MS-Office365-Filtering-Correlation-Id: 5af5a8a1-8f50-4daf-e099-08dc949c11ab X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0;ARA:13230037|366013|376011|1800799021|38070700015 X-Microsoft-Antispam-Message-Info-Original: =?us-ascii?Q?/3tYvR+9wQPerepUVVe8bsp2WI8NXEJSsxpljVBlWaZZt5oj0oO9IkwzlNe/?= =?us-ascii?Q?UWuDG+ND2pqyXt7e2zvw4vmrFT/CEGTRshbIO2n/TN/0hyhYbHePfssmoXIo?= =?us-ascii?Q?74s38W3HSJx8Cf4vtqBIqbOtAlBXjoeb/E3zm4y4ixCPw+FSqWkJAW0YZ+4G?= =?us-ascii?Q?6Upl1YKoBmLMaOr3II2gBBNjDGXyKz9RUfltWZQo2qQvvHVTEpq1CgBgfzD8?= =?us-ascii?Q?J9IHouwFmpz5VE17hXWlQTDdVI+WVXq53WIE/8EybKZc37r7HwjQKDmXGn+3?= =?us-ascii?Q?f2MQIezQDZutlK4JHHa0kyLjFuk0GMyG0qv8gkQY/cL1ChUABHZgv4T7KKo7?= =?us-ascii?Q?wN/cs9Han4wjMryiWk9BXmXyEYlSL+cKr2DMPQ1dKQtwUva0G2oOmond5u+X?= =?us-ascii?Q?thuG8V5DO83mGEGstDFnCmJtupkqdP9dRwU/58pWbGdtcxYTUsM3qur5vFoe?= =?us-ascii?Q?H5HfdVt5JbC36+LcukMLBJ1+FEi/EJFEwy7Dq6wl10L36reRb9xxqL1vsFKg?= =?us-ascii?Q?0/xEKUjPTjQO8JjYWZGDGvZI0wogl2kWeaOJaCcf0Oj6PVWGjtwzUix044kZ?= =?us-ascii?Q?TTZBpfff3PBz8J9V1j8VF15xYCjXRzJe/x9D1xU4DeVx2vOlB5gGIuysaz5l?= =?us-ascii?Q?VXxZ5BvO0oB1euu9SNnN7JvDxqOB25Ow/8c36epkGYiaUMkcgUOFkUIS56uK?= =?us-ascii?Q?KsL61f42KLRNMzBuZz1B3wkEVm2FwMDMm8/0zQwRCFAvlWLb9GtIxr1/ynVk?= =?us-ascii?Q?+FcwmVu/RKN0vQF/cC6eISB/id+bn02HsTEQLMrKxcxjTT7kp92rPMD3FAzg?= =?us-ascii?Q?sdVH+Cmo+11RWf7YMkXI7MyJaN+enfJb6ZdQCPAjTIqjFXkQoP4CC4Quq/bo?= =?us-ascii?Q?f0KYLxsCa84+/kQvaT6ev1Ph6Gs4BIPF9rkmPoYsL4O/pUojZac+LNWPvLXB?= =?us-ascii?Q?wTyrtXnjbmEeZGArQaHNHhdZxAXiGxV8xo15HbdLKlgHdwcFOXr/ncmc4Y8x?= =?us-ascii?Q?MeCJ1+lj3g+lF0vnKnLbLIUds6CnlNwT5pIV2QzUNNgALiYGIqLgX2NTH+OR?= =?us-ascii?Q?KL/Arh+lcNNCK9BsIrV5QdB2Cm73gsJdHkUGPC88ytm0rQEK5TGnTXyNbEG+?= =?us-ascii?Q?hqIpjcZMiG5DD5FzrINSnPHTsGdrH3uJE/7fJtVXS7hVSVfuZS7HVlduQ3sk?= =?us-ascii?Q?r3z6oQRMs410kOuayr3ZTL7HXGNXDdV1jgWI3FJOQMA9nTdX7H67DiyKnyTX?= =?us-ascii?Q?bpiXcnAbhrCVNwOeNvBREGj8ei4U5irPTtC6pohwZqZyNJrawkfRbzAjmPSA?= =?us-ascii?Q?jajXuJgLUXbumQLNDMuB2lUn?= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CWXP265MB4058.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230037)(366013)(376011)(1800799021)(38070700015);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB2716 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_CWXP265MB40588A93B11294A6AF67A844F4D42CWXP265MB4058GBRP_" 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: ML1PEPF00011308.ausprd01.prod.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 141f913e-e0fb-4fac-fa4c-08dc949c0bc8 X-Moderation-Data: 6/25/2024 12:22:36 AM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0;ARA:13230037|376011|7416011|35042699019|48200799015|32650700014|61400799024|35950700013|82310400023|41080700001; X-Microsoft-Antispam-Message-Info: =?us-ascii?Q?YTYDvpkAkMrc68c6x4TOA+Ece2nM5mtd1BYaqs4gotEmoYQg933iwRA8KwrG?= =?us-ascii?Q?bwl6GgSxQdfgglJjjOl44RO1WVc4Bp99X72ThpM/Mzeur5gvrE8HIbCM2L39?= =?us-ascii?Q?+wT0bBS5x0OCkwc8W2zhIWNXjl/bpoVjqbR6u5xyuZ7eaVlGLdalEo9ExAW9?= =?us-ascii?Q?ilt7wYnDkq0YbWS7kZqAa9pJa3Ev45CvSjznvHdlIVrWecPLI9TiIZwclKC3?= =?us-ascii?Q?lYVTA6VhXS7mdKPWGOf/GjcsZKZLxwbSjz+LB/MycbrL6CaI/nYn7wQHrgxj?= =?us-ascii?Q?KVxDY2RpSHUyLqUlkrJ1EIcVIoplbLjznbBZPeBOFVTDaCjFOWeEqGR8R6ar?= =?us-ascii?Q?Nd2chEXXOeDJN87VenjtSyZe7gVGzsZVlVLFSEhWcAqkYn3EC/Z7O91O1Uf3?= =?us-ascii?Q?+bzKSQcuintFdG/urAmbLTAuuUo+G3NVJwCLDhtLHTzrTkd73+lttOwkjX7z?= =?us-ascii?Q?IP9KBRnCz4fQ0SQ7HEAE1M2WX8OWQQAzbzwCDAU93SeMZD3bPOoJW+MO3VPU?= =?us-ascii?Q?8kMZTJsff5CIPrEdQ2ZrgG0g+hLD9t9AKjb39QDTEyMoymxaT/Gk5fBvvLDg?= =?us-ascii?Q?4fX5bB/mjpQKY/2YTQto9jHNen7KOMGjkSELcHDnlva4kvKPanawlUL8Tf92?= =?us-ascii?Q?Qty/DQBwtWooMx5EXnlx1anvtURf4FZ5uQ8cvZaEG9Zbx+RoEVYTQ1ZttaTA?= =?us-ascii?Q?2q2Ed9uRaG6xmMT/w1+rUZkPayuEfziFaLm5BqVddsVPAee70Chnw2coFsRK?= =?us-ascii?Q?05kn23OCE+Ru7CJE1pgUEdhGJv+4sDUVuEyZ++MmGLjdDSt6r42hf9vFg64a?= =?us-ascii?Q?wjR+e4iML/1i6u9jT28dt2juxyDlghYf05neu0+VB5PCQoKa2yKbKaeUwWeR?= =?us-ascii?Q?aETvix8XpOq5JS4E1nWRbOs3LmZWmVHK5FAtvW1RJoeyQ5VHvrjjhSW5LIPF?= =?us-ascii?Q?B+8RkCBf0jZix4x52K6O6ZR4FVxl/eTOVa4RrE0DykEWBWo7i6cYwMuNpj1y?= =?us-ascii?Q?HpF0hBtc9f+OC4Wdw5vTUG7OYB9G/zBwmNc5jgGN/11TxAsmY8s990JFAOnP?= =?us-ascii?Q?ayEomjixBXDfh4N2pBhIbkh9yu9/6RqmpHJVPVx4vVKcchgxzvtLqqn1aVps?= =?us-ascii?Q?3u9mQJCWWdfGBDdNKb+zimPxqOKsm3szqKgfzNW0mULvS1uNNM3hqKNe9LN4?= =?us-ascii?Q?WefLSEsRmdrDx8RK2ha5fP84HrmahD4nb881njO9LGm0F7ccmmw1Vo8zfLoT?= =?us-ascii?Q?FISM23MQiyvti3mgiabjmlSCKGz4/J73DO9TMSDs2BT3KtdE9+paPOmS3Msk?= =?us-ascii?Q?CSzA24Re/eBQ+IZOqkNb+EAY/ZBH5qv4JGhMWUzwhGF5QjabB7OFEmaKS9Fw?= =?us-ascii?Q?RKcsLwl1Doq3HPH4q4i0+4mx93k1?= 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:ErrorRetry;CAT:NONE;SFS:(13230037)(376011)(7416011)(35042699019)(48200799015)(32650700014)(61400799024)(35950700013)(82310400023)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 5af5a8a1-8f50-4daf-e099-08dc949c11ab X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF00011308.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 25 Jun 2024 00:22:37.6667 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: AalhQ2fOJy9SAy+UElgERZyQM17BvWY/44xRxQHPFHFwqPbWGnznWIHdtQJUnEErqhmhh6kLYwB9cxtVavg/sE6+dcNlFpgoj3ZlRuo1212YRQTisr+us32vYsYuyTN1Gj/cuD7sxQOZomR3qRjro8na8eHhTsdCbgwbWAzuwrr82Bf0LgITJXH/YTeOPdMp X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB8120 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?iXe8bZs4GuQSh7dqOMRHSoOQw6I2IkkZs761Q++xfKvQ1TMEX4LC4WZxt1c3?= =?us-ascii?Q?bwclWRKYk4z9IV7DMU/ZJgro+wyxYaM3KUFZgFqV0G3lOjkMIcZuAoPt0swP?= =?us-ascii?Q?ZpOfAQR8qh6IDXKPG7+Uvfe6s74NFbtZ/7Mq5JhXoxu8PYs2d7f1h3u/V7jy?= =?us-ascii?Q?WTLuYfJ3O8hLO+QpB2dP3sENGavWssV0fjBdmMgA86KpoP1+mAhROJLO9JI5?= =?us-ascii?Q?nSyiEu0IhVzm4n7a8nE5pCoKEnZFoL8DyIaLz3rFqMZMLYKOFBScGEOiNSgO?= =?us-ascii?Q?2rGazpKxEDWTqWTtDgotjclQEseAhMA3e8dRmy7JU0VZCWKH5Sawxg9i54TU?= =?us-ascii?Q?FipZF7tpJZxR9h39H10sgNra7AZEFU0HRq+vIw7+vXJDp11MUdxmtTHPel6j?= =?us-ascii?Q?uZHdFE7DLc2LYjgHF9gm1coSrYbY4WFbxUSy+LcQ/7AhQKcg5gnlrvxV4noh?= =?us-ascii?Q?hr9E7tPmF/oLkuk7qF2CX2XgqvG+Cj9PmmC+CUV9xd8QrBzXgj8reV8di1dG?= =?us-ascii?Q?mMME5JxABC+wwVm4Y+9UCxHGPGm/Ggf2tRqlTAivc0wovU0nIhvLsYUdSFKQ?= =?us-ascii?Q?ASHci6op4xWd9owAgvy7HL/rUrxr576FL5AajYPcS5LqRYywtSEjq4O7cqYf?= =?us-ascii?Q?wPYwcZjQiTD/jG34n0qmyFu9I8FUEQDa8EWiP0sUlqekDwqAHEuoznyut9tY?= =?us-ascii?Q?ZK44LZE2HzLhjFxQV3wMkWS3loyJVZCjwFvHHEoBkEVh+jHS2Ti22xzx0FIk?= =?us-ascii?Q?Sk3kjQ0UG6ILFp5YzbOZ0uRLSpHbNbIcfBIoMCyGwnApcT4p8b89w0iG0z5e?= =?us-ascii?Q?cCuN29yLqqhScK0l8q5GFPbqQV81Ze38aQgZyH/qQ0Vkw/a6HNXIm+FILhta?= =?us-ascii?Q?Q0fWpzlGIEDW+9Si+55hTTEXTpyr6frKPL8HEFGUgQCWPeZI9tjVCk3zG7od?= =?us-ascii?Q?yGFBtPuH/5Bj1NxD5H/cU9KDGVWoctL48oFgWogDANDaDJ1KrsEJ/zoBp++w?= =?us-ascii?Q?/YZLpSYi0z3wesuEYK26079Te6A1vSoL58pbYAFcvVl7H+sPxSRQv6utH6mN?= =?us-ascii?Q?owOkw52r1aKvAfhd5zATdGH3zo/heJMk30K5i7YN4OgEJY2rMlOHVKqNdoGc?= =?us-ascii?Q?o60txv5Jlm4Sik4vk12ZSJahrYZC1MFA9i3DLw6t2j9JKgMUTUdTY0eMilt9?= =?us-ascii?Q?jghvPxQYbYw1fxOSprRaWtxci/WMRTbS+oeKVQImAAdpheGG/4HZY6zRp3+g?= =?us-ascii?Q?ilXGuBK9Wut8dx9gzWwG?= X-OriginatorOrg: mq.edu.au --_000_CWXP265MB40588A93B11294A6AF67A844F4D42CWXP265MB4058GBRP_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable ***2nd Call for Abstracts*** BRITISH LOGIC COLLOQUIUM 2024 University of Birmingham, UK https://blc24.github.io/ Abstract deadline: July 10th Notification: July 31st Final version: August 10th Colloquium: September 5-7th The annual meeting of the British Logic Colloquium (https://www.blc-logic.o= rg/) will be organised by the University of Birmingham from Thu= rsday 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) - Nicola Gambino (University of Manchester) - Lorna Gregory (University of East Anglia) - Asaf Karagila (University of Leeds) - Ofra Magidor (University of Oxford) - Elvira Mayordomo (Universidad de Zaragoza and Iowa State University) - Michael Rathjen (University of Leeds) SUBMISSIONS The programme committee invites abstracts for contributed talks of up to 1 = page (excluding bibliography). These can be on published or unpublished wor= k, as well as work in progress. We especially encourage students and early-= career researchers to present their work. There are no formal published proceedings, but accepted abstracts will be m= ade available for the meeting. Please submit your abstracts via EasyChair: https://easychair.org/conferences/?conf=3Dblc24 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) 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/ 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_CWXP265MB40588A93B11294A6AF67A844F4D42CWXP265MB4058GBRP_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

***2nd Call for Abstracts***

 

BRITISH LOGIC COLLOQUIUM 2024

University of Birmingham, UK

https://blc24.github.io/

 

Abstract deadline: July 10th

Notification: July 31st

Final version: August 10th

Colloquium: September 5-7th

 

The annual meeting of the British Logic Colloquium (= https://www.blc-logic.org/) will be organised 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)

- Nicola Gambino (University of Manchester)

- Lorna Gregory (University of East Anglia)

- Asaf Karagila (University of Leeds)

- Ofra Magidor (University of Oxford)

- Elvira Mayordomo (Universidad de Zaragoza and Iowa= State University)

- Michael Rathjen (University of Leeds) <= /p>

 

 

SUBMISSIONS

 

The programme committee invites abstracts for contri= buted talks of up to 1 page (excluding bibliography). These can be on publi= shed or unpublished work, as well as work in progress. We especially encour= age students and early-career researchers to present their work.

 

There are no formal published proceedings, but accep= ted abstracts will be made available for the meeting. Please submit your ab= stracts via EasyChair:

https://easychair.org/conferen= ces/?conf=3Dblc24

 

 

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)

 

 

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/

 

 

 

 

 

 
 
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_CWXP265MB40588A93B11294A6AF67A844F4D42CWXP265MB4058GBRP_--