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.3 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE autolearn=no autolearn_force=no version=3.4.4 Received: from SY5PR01CU010.outbound.protection.outlook.com (mail-australiaeastazlp17012048.outbound.protection.outlook.com [40.93.136.48]) by inbox.vuxu.org (Postfix) with ESMTP id 4FD3A2146D for ; Tue, 21 Jan 2025 20:27:36 +0100 (CET) Received: from SmtpServer.Submit by MEYPR01MB6504 with Microsoft SMTP Server id 15.20.8377.16; Tue, 21 Jan 2025 19:27:33 +0000 Received: from SYBPR01MB5535.ausprd01.prod.outlook.com (2603:10c6:10:e1::11) by MEYPR01MB6504.ausprd01.prod.outlook.com (2603:10c6:220:11b::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8377.16; Tue, 21 Jan 2025 19:27:19 +0000 Received: from SY7PR01MB9572.ausprd01.prod.outlook.com (2603:10c6:10:2c2::5) by SYBPR01MB5535.ausprd01.prod.outlook.com (2603:10c6:10:e1::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8377.16; Tue, 21 Jan 2025 19:27:13 +0000 Received: from SY7PR01MB9572.ausprd01.prod.outlook.com ([fe80::299:338b:d91a:f7a0]) by SY7PR01MB9572.ausprd01.prod.outlook.com ([fe80::299:338b:d91a:f7a0%5]) with mapi id 15.20.8356.014; Tue, 21 Jan 2025 19:27:13 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=FLM2NsMTrp6bQF0Pj/lj+JSm5lalm7aAFfzafwIj7XgyDwpfoPPjr65mFvB9Xxz94XOa4RP2Mc1qJTTUw7HfdcPUGdRy3dkIXRA/U3FAlqVVabsqVomslylj0jbmcb89Tp3kMTw61Uy33Lo0Oy8IkD83D15pAp0o78FLpCEkknm5gMBB8gufMZW7zLrsCK6HF02v06vmsB/FWGC0E34WUaTkQLwaDtFuMvIhDLYEADz00JCnMOEqG5sfT9yUgCf/bn0bBeyyCLTNvgesZCKSaU0YLoX1aeLvUVSjcUhkAN7wTvWVNfpj9rI97zL2pcXek1pGEXIyJKM+Xb+Agz8ZlQ== 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=uae6ocHfhwemc2zQnQhLm3Cde/rIboE2qIuckU+v1cE=; b=dZzxIbLBJK0IGmvyl9Prgy2/8Ce7MNkNe8lZkNb6BFxOnc8QPSWFNuJ3CinZzQjayb7lNc140GxfmNXmIeGnfGunQcs6ciEgyFY7dh8qtiZi2llcwFi1WDUR/pPiKcSsTVQhXrsnxkx2HkqGIRdkPC9kePTZkrJHH+3223RT+ouRBXsD9VMCUf+OeBZQI140qSxyXK2oEvu3zLeMsCK0jaCL6bl3MSh/bSvzoq+3622O1kY/kyeEau5C84VWmPKroniWIEgOWVgfM9JKUwfDxNp3iTSqbPU/RL0CDUqvWXagAsmBPcJ3xa3pr6wpevIDIR4vyiRtsgJFaB6RNUbjyA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 52.101.195.127) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=strath.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=strath.ac.uk; dkim=fail (no key for signature) header.d=strath.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from MEWPR01CA0068.ausprd01.prod.outlook.com (2603:10c6:220:1de::13) by SYBPR01MB7145.ausprd01.prod.outlook.com (2603:10c6:10:14e::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8356.22; Tue, 21 Jan 2025 16:31:27 +0000 Received: from ML1PEPF0000F179.ausprd01.prod.outlook.com (2603:10c6:220:1de:cafe::1a) by MEWPR01CA0068.outlook.office365.com (2603:10c6:220:1de::13) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8356.22 via Frontend Transport; Tue, 21 Jan 2025 16:31:27 +0000 Authentication-Results: spf=pass (sender IP is 52.101.195.127) smtp.mailfrom=strath.ac.uk; dkim=fail (no key for signature) header.d=strath.ac.uk;dmarc=pass action=none header.from=strath.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of strath.ac.uk designates 52.101.195.127 as permitted sender) receiver=protection.outlook.com; client-ip=52.101.195.127; helo=CWXP265CU008.outbound.protection.outlook.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ML1PEPF0000F179.mail.protection.outlook.com (10.167.241.70) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8377.8 via Frontend Transport; Tue, 21 Jan 2025 16:31:26 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1737477085; 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=uae6ocHfhwemc2zQnQhLm3Cde/rIboE2qIuckU+v1cE=; b=cWLMaSe4J8uG/uc+D4LpBxenKC/Hagc03FXXO1ivPQyv4EVnpxP3S/QN/5iN3JE+cgkjD7 30c0pvCGhHwpSU4eyjVQ4WX5Ct8GfUNRAyr5tuM/fGpk3j725JCMKQLcWaP70mb5zAhWyC xcGfumDqJ5087v3YgQTYP2Ic3wuuilMIBvxgAzDxhJvk7Cgfp/WYq45V/oWcy2pw63rUxq JZW4fYURHRbJIZNtfOxLm1MUoM6VMFLh1UmwY8iJJz1fUZI+pa2/iDRsrkxGVpYPwReTLF NfSvlGslV2VSG4/g1+MNdW8Y6ML6cuNTXGYapvRAFAgqrSL6/MWTJ3XcrgLYVg== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1737477085; a=rsa-sha256; cv=pass; b=ItkquacOqiWe7Fr8DsSobQeOYWE/++johI2T6IOF6otL3rhwB2bKG7ZfKLt3NK5xvjaLs8 pS/BoQ2FGPQ6yxI5zIG8XN9VmTtaxC8m6saVGuwQYzZy1RhAGVy+Y3Yx6pq8ZVzFqbWNbF mxcYsBZCvYf1bd32YcUos6Angzd+Wy376/qvt+3XxSIzs24SOSSN+Q0SCzn/q0voIpZNhF 7bCSchXYOz1kuYyy2kTA11Ob8GMiWXY+TorFqIa8M1cgXr6SK/EAjI1GeNlAQb9LJaIpcH BgO+oE82w0rPWdL1Wkcu+xLVK8XfQOC5d8trUvbD1fGf4NL9pROOPc6i//r8Hw== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=strath.ac.uk header.s=selector1 header.b=AFluwJLv; arc=pass ("microsoft.com:s=arcselector10001:i=1"); dmarc=pass (policy=none) header.from=strath.ac.uk; spf=pass (relay.mimecast.com: domain of alasdair.lambert@strath.ac.uk designates 52.101.195.127 as permitted sender) smtp.mailfrom=alasdair.lambert@strath.ac.uk Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=strath.ac.uk header.s=selector1 header.b=AFluwJLv; arc=pass ("microsoft.com:s=arcselector10001:i=1"); dmarc=pass (policy=none) header.from=strath.ac.uk; spf=pass (relay.mimecast.com: domain of alasdair.lambert@strath.ac.uk designates 52.101.195.127 as permitted sender) smtp.mailfrom=alasdair.lambert@strath.ac.uk Received: from CWXP265CU008.outbound.protection.outlook.com (mail-ukwestazon11020127.outbound.protection.outlook.com [52.101.195.127]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-102-gKkDZ7M1MEiF8ASqUm6bvw-1; Wed, 22 Jan 2025 03:31:20 +1100 X-MC-Unique: gKkDZ7M1MEiF8ASqUm6bvw-1 X-Mimecast-MFC-AGG-ID: gKkDZ7M1MEiF8ASqUm6bvw ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=B0QGkaapbssS+8gOJSXOcRLZyyeeSg29lqV6j2nXPl1+LEhoBBXlo3y7TjxQ3rneQ4XJ9IujQHwKJgCX++jzWVx0A2UIwR8pGymLEayyOKsBVlhjIZ5KlqDzIVUX87uK3zbJaxr3GoRKLMIrsVr6TKLhqyuxTtJWE1aKFRF+oVEK6Q+afgSddZYHTcxSocFl5ElDj5nDPucp/j38uDdgpQ56lXeAboHlnplsAExi6eVw+bGXePfvk9v3KgeDqfBW31bX3LZ1tzYrAJadBCBDtZL5UlKVEoKyvF55Y7Ku5lUsPJ4eCgKuiyZ71qjjLS5CE4TIPo9uaP1nnexMeRxJPQ== 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=ztqrKvHZlmLV6gwJKqBjRhcvLMPE6b4MRFjiVsO0Uus=; b=gMDBImT+6nnxWkHFYhJkGsiDnEDzQ/tvLPvZ4Z467kk1TacHdFq0XfEnuaKVYx27OtAoYOHsoahOwonJUy86T4/D7BuW2+R7wt4S0DhcnCSypN5RzzFVXZecpTHu5chPE2Rs6plx89MMMBKOJn2VDeV7MjGxEbnZnWkLXlH+isQcWCogrG1watHPBVQLhIxVX12Y80v26N9BKKB1N0HybN4Z0efUhHGIG3t2p2xgovFmDEF+5UtFla2k7jbfRWsnWvuk7BKQ9LL2l0hBFM0aar3LO9dJGKRSznce2w6HwYTGoI0daE6TnS1kCsJLMojgI7zGfyEAN+mIg+WhAr5vVw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=strath.ac.uk; dmarc=pass action=none header.from=strath.ac.uk; dkim=pass header.d=strath.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=strath.ac.uk; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=ztqrKvHZlmLV6gwJKqBjRhcvLMPE6b4MRFjiVsO0Uus=; b=AFluwJLvN+7yJbFygjctSJRHpeTW0KzvXhVtOjV02BKMSV/YUzarRrN7iOH4pJ0D962pS72MbUBKq49cmuUyrzRcGnu+Jpinh2cNC6WIYhkHs5qXSoRmE32JG6K9HqqmqLAZ4Nz2kbW41Y73RvjGKy5CSqc1F31UbD+FrQ+sNiNwmvWSZXVQ8wUCpcq9QLyOjSSOtSwr8khyRbMil5Gmqxihvt6vW5uDZJgLtmntuTrzUaUtqop7OQIq0Qt7QvQVp0Vkrd3kqq7946f6p8oe7Bxm/c2qefxOGJtlaCQ58sFAdCXO6ieittIH8dUcWJHehLYnJUuk7OrXIWNGTrV8Ww== Received: from LO4P265MB5961.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:298::11) by CWLP265MB6068.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:1ca::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8356.22; Tue, 21 Jan 2025 16:31:15 +0000 Received: from LO4P265MB5961.GBRP265.PROD.OUTLOOK.COM ([fe80::1ae3:3235:324f:7bf9]) by LO4P265MB5961.GBRP265.PROD.OUTLOOK.COM ([fe80::1ae3:3235:324f:7bf9%4]) with mapi id 15.20.8356.020; Tue, 21 Jan 2025 16:31:15 +0000 From: Alasdair Lambert To: "types-announce@lists.seas.upenn.edu" , "categories@mq.edu.au" , "logic.list@outlook.com" , "agda@lists.chalmers.se" , "spls@lists.cent.gla.ac.uk" , "bctcs@swansea.ac.uk" , "ProofTheory@Lists.Bath.Ac.Uk" Subject: 41st British Colloquium for Theoretical Computer Science Thread-Topic: 41st British Colloquium for Theoretical Computer Science Thread-Index: AQHbbAb7tci92+eEIkS1hpp8+1CLxw== Date: Tue, 21 Jan 2025 16:31:15 +0000 Message-ID: Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-traffictypediagnostic: LO4P265MB5961:EE_|CWLP265MB6068:EE_|ML1PEPF0000F179:EE_|SYBPR01MB7145:EE_|SYBPR01MB5535:EE_|MEYPR01MB6504:EE_ X-MS-Office365-Filtering-Correlation-Id: 08c80137-543a-471d-7a10-08dd3a390cf7 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0;ARA:13230040|366016|376014|1800799024|38070700018|13003099007|8096899003 X-Microsoft-Antispam-Message-Info-Original: =?us-ascii?Q?6vVoBsK9vumzSr49m8tWbFB8Wk2j0+uBDNc4G2A0l2lTLHaAVXnhP6yxEb9/?= =?us-ascii?Q?vM7wShAFoGS3aqUqJ64Qu6lua8T/g5hniqpVjYKlVqqFHs6xsch8IemGncC5?= =?us-ascii?Q?Sqb4ljQv1E8gEwZSCikTauayvxS3xcnOYTToMpm4aI/A1ozuwnYH5PT/r5ZI?= =?us-ascii?Q?s/O+ygeCiAA0pMAoLdAZWM1Q8dJxdolEqbFQOBI7tFEGVATyl5Ml+u8GzPV4?= =?us-ascii?Q?PEgh3Ffi1he0SqtIdK8cB58nSPFH9EsymPC3ol+EHr4O64ph/N68YtnDzyFM?= =?us-ascii?Q?RmvNG9jTwuT0OA9zEvjDa2aoSVh4THFMwvE6hHzAjKmcJlX1foeqxDpyviXL?= =?us-ascii?Q?1OEe5bilu4I2+FMNzoaMgIv78+Vcrscf/j+ruYaAclpHZ9hDL+c6EjJVh6hs?= =?us-ascii?Q?eEDsz/hednovEGEkHkihhxw0uMUnVolCqUz3Q5jaXceS9ADYW49FVhRu1QH9?= =?us-ascii?Q?KNzTfReLr+aK8jpawQfKsZFH/vV4NGpcDThJwNQYNxDqgAlk6Od1hAxLHn50?= =?us-ascii?Q?33eRmPb2r2caqxHudb9FuI7ZTiqNyF8wSNEPiP4b9bQFrIE48OQCxfG0z536?= =?us-ascii?Q?pZVkeRplY+QmVQk66fZ67oX/KE37yPCfMp/HUE1SHZmF3TOTyC/RTpO88d9x?= =?us-ascii?Q?wWPCnKruHqMyvHohnC7de3HKbcd+x3JHvUC59lIGptkZ3Ndf+9gcz+n+Ikhf?= =?us-ascii?Q?GewOgBGiKhQUqM17b0CGZDrQG27BmZbMg1feWtRMgZI6VdyWvk0T6UmtTRVa?= =?us-ascii?Q?SivlfZUjgTRFTv3NostB2tv0x65+VNwFTWr/5MgI9qpJvdg0RXvmhpQxGtVs?= =?us-ascii?Q?yYUw1A58x/RYDcCYMwKJj+1ztbmrsoM8ptkiZ5YVz1gx5fOKGIiwnztc2GGt?= =?us-ascii?Q?Ujyx2B4XlS6HU8Hz2aPiaX6lQC/MIpGz4f/LfXy/kIK5M8oHUXSDmE2I+/F7?= =?us-ascii?Q?78z0vey9tcKKhtmUmkphTzb7hPTgy+sENMeULETu5Sc6e1fZkpgLuuxNHMks?= =?us-ascii?Q?J3F+EP/h43/4KSIzWNtlL/jDfyVxWP3QODXC7Zd3n8WtH1cjHjN6gDF5Kj50?= =?us-ascii?Q?JlbzCeacdY5D/CaYOgI29kBXcIaVGuMgn5I0EgMLYuFfRDbJBek/YP+XSVT2?= =?us-ascii?Q?1eQlGBcn6Z/fFJOwVpWQaKAEVWgr/vN1/IEj7Ei0tW3QAXvmJLrN0YNJ/eks?= =?us-ascii?Q?eFSsb+rMmwst4U85d/ZAbvYc/yufoPaHaeTiwDS1Y9Hz8QlnLHQqFlQQRVCD?= =?us-ascii?Q?pEsrA3jC9wFnjvG3Ws2b7jc/zMeDnWLgWmK6/CcKjn+tottdErc+9PwGbY3z?= =?us-ascii?Q?KSp7C/tvxKUAk7phGuIbzm0q4vUXjwCuA2i0E+hTAkP9lg+8Vz+HXTh22X7I?= =?us-ascii?Q?qz372WiKs6iF+TpA3miIto5766L7qy+LvJcIfTP8aH/jfI7FpA=3D=3D?= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO4P265MB5961.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230040)(366016)(376014)(1800799024)(38070700018)(13003099007)(8096899003);DIR:OUT;SFP:1102 x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?Windows-1252?Q?RXMEpUrfGmf5OPcLlyFhBrk9+N1jbkwBsx18SG3hnqxS2XZANenrQiYL?= =?Windows-1252?Q?7XtUHqEcVn3mqLU0YhYf6B4mmrnA5lzON3Jlkc+wf+LFuYnU+cnpu277?= =?Windows-1252?Q?B1hrSlZtiXPaI68MbjIVdMlTfSVZnWmUm5rl5EUqK+0x70rMGGHFuLIj?= =?Windows-1252?Q?YIHj62ur5IJuUgQOypbapxCd+Ch/D2E0VxL7l3WAwDBIz5iUmqrJGFcu?= =?Windows-1252?Q?S49IT0LK4ZDSth659R7hDTUU8vnXPgJ4Mw3dBWD69Hog81AjP+I9rQ+E?= =?Windows-1252?Q?IFTaFAQ54GIpghscKsGqb1aL5ijsLS/S2q9NkHBbgEjyKrBuTXv6p+Gc?= =?Windows-1252?Q?LQNK6n3a7s1/04vSWjEkxFDPFExdq4PjqojwGtDivF43h+4QoWpNwqX1?= =?Windows-1252?Q?+LQFAjSLCkHzzybkD0OXRlldR2fkdgToDRqNaJdpsF70AY3EornUQh1y?= =?Windows-1252?Q?Ji4C0CGQokQY3lFygzn3HFFusc0Hjw4nZSbecj1Nv06Xzy4fIoyDazrb?= =?Windows-1252?Q?8ReJkwztww6DQW4t3wAh3baln9c6hkct1qhgGrsJvemLiJzdHv996QJV?= =?Windows-1252?Q?HaYI+fAcUkPE0KYLzhqoOoXA28c1lysJUq7AR3qFqlEjCF66WgPQIgMj?= =?Windows-1252?Q?84xc+dY1ozaeJntREvYwjKw7FWHB+/8pT8BKVlHrOY45ZV8SBZ9VEXas?= =?Windows-1252?Q?R9pvtvyP2DnlmI3kFU6pTpyl3bZZ56rL7Aw6Dx+lJv1sJxXvgjbbXrBj?= =?Windows-1252?Q?vJjXB5NCFkfp2hTI/bwM3jgbSiRw1TOS8zGlsCgEjO7wKUkWTwDACNyX?= =?Windows-1252?Q?qhBVNkgJR54XIWH0j1xXiSCBWzptKYYQdHl1++mB8tKGmiuN97mjuSre?= =?Windows-1252?Q?wwL7tMZfASN7z6QRreEF2wY1PYfMrLNAnSV+M1bGBShRFlHnJpzHh2Jb?= =?Windows-1252?Q?IuSxRmhI6+qxR73SYtAACjru5wV/cYNM4Ex3SdOYYFk1GGqiOJxVlPKH?= =?Windows-1252?Q?MyrjtLdZ1yz41uJTcMRRjc3hU82k10MqCzoV667njOgbWfOKw+DJC2IE?= =?Windows-1252?Q?/o41pxx/Qts70SxLgVMXo+Mj7Lf8xQVZf3QGcMB6NuYpe88ObJ8PhGFo?= =?Windows-1252?Q?zNDmH9x9GIJE4DQWuRcGPnYRKNfTQMZWfIwZEgI38E1AWs/7pG9xkRM2?= =?Windows-1252?Q?8DyGKxEKiZmfabu7abDI/fLp+xmSgOo1EHDSH5LC0weYln+UMlSFlXIK?= =?Windows-1252?Q?Bd/Wvfh44AMLhDmW7tSQTJ8xHku0ITdNu638oAaL4iBKoTiwS51OipnE?= =?Windows-1252?Q?iGkYvE88RN1KgDPHY94fvic3Kz8MsQZzykRTig9ZpEMDu/Ao6DGKseEy?= =?Windows-1252?Q?VZNp4/0pEZJ+fs0PPslaWjjEO7u3pBt2FIL8yt5hDRjP0bm0LBKKe7Wm?= =?Windows-1252?Q?9iBGwXVKDOBTmxiGFRf4Kk2fI7lKcRj7ezOZncqkGJK0TTTEGdnBro68?= =?Windows-1252?Q?mfS9KdQ8eLs5K+pCXMEArJ9A/21zGy3cMKBsuIXfo9P8L0Z8HUAMCy3c?= =?Windows-1252?Q?/yxmdG/ElP3P4agGzPWBcEnRULEhMYWrCVWs7gjvZeMzLekCoZPeH158?= =?Windows-1252?Q?b/OyDhPfaRoxuw2hBfCqGHQMRwNPkKdC8MAOunoHX0X97HJHENUL/xwS?= =?Windows-1252?Q?+GAYf4340b4KeKHw8dOFJHCu2AkbvC23n4/OyqCXSSnD/N0FRr980w?= =?Windows-1252?Q?=3D=3D?= MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWLP265MB6068 X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: DbXahghvNu3ulmkr78JQaFs_YeRHze0n3NdR88dkCHs_1737477077 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=false;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_LO4P265MB5961E6FB134CE9D357CB2D9EA0E62LO4P265MB5961GBRP_" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[52.101.195.127];domain=CWXP265CU008.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[52.101.195.127];domain=CWXP265CU008.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: ML1PEPF0000F179.ausprd01.prod.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: f509f78e-7d45-4b55-29e1-08dd3a3906b3 X-Moderation-Data: 1/21/2025 7:27:12 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 08c80137-543a-471d-7a10-08dd3a390cf7 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF0000F179.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Jan 2025 19:27:13.8598 (UTC) X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6504 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-OriginatorOrg: mq.edu.au --_000_LO4P265MB5961E6FB134CE9D357CB2D9EA0E62LO4P265MB5961GBRP_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable BCTCS 2025 -- Call for Contributed Talks BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2025 University of Strathclyde 14=9616 April 2025 https://msp.cis.strath.ac.uk/bctcs2025/ ABOUT THE BCTCS The BCTCS is an annual event for UK-based researchers in Theoretical Comput= er Science to present their research and discuss future directions. The mee= ting aims to provide an environment in which PhD students can gain experien= ce in presenting their work, to broaden their outlook on the subject, and t= o benefit from contact with established researchers. The scope of the collo= quium includes all aspects of Theoretical Computer Science, including Algor= ithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal M= ethods, Languages, Logics, Semantics, and Types. CONTRIBUTED TALKS We invite 30 minute contributed talks on any topic in the scope of the coll= oquium. Presentations from research students and early career researchers a= re particularly encouraged. To propose a talk, please fill in the submission form: https://forms.office.com/e/1E8nuEU9hS The scope of "theoretical computer science" is intended to be interpreted b= roadly. In particular, this year we invite talk proposals which detail nove= l and innovative ways to teach theoretical content, as part of a track focu= sed on theoretical computer science education. For all talks, please ensure= that your talk is accessible to other students who may not be specialists = in your research topic. We put no restrictions on the originality or publication status of submissi= ons. There will be no formal proceedings, but the collection of the contrib= uted abstracts will appear in the Bulletin of the EATCS ( https://eatcs.org= /index.php/eatcs-bulletin ). INVITED SPEAKERS We will have the following invited speakers: * Elizabeth Polgreen (Edinburgh) * Nicolai Kraus (Nottingham) * Jess Enright (Glasgow) * Jakub Opr=9Aal (Birmingham) * Conor Mc Bride (Strathclyde) * Rob van Glabeek (Edinburgh) REGISTRATION We hope to open registrations in January 2025. The registration fees will b= e as follows: * Early registration (until 24 March): =A345 * Late registration (until 7 April): =A360 Further details are available at https://msp.cis.strath.ac.uk/bctcs2025/ 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_LO4P265MB5961E6FB134CE9D357CB2D9EA0E62LO4P265MB5961GBRP_ Content-Type: text/html; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable
BCTCS 2025 -- Call for Contributed Talks
BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2025
University of Strathclyde
14=9616 April 2025
ABOUT THE BCTCS
The BCTCS is an annual event for UK-based researchers in Theoretical Comput= er Science to present their research and discuss future directions. The mee= ting aims to provide an environment in which PhD students can gain experien= ce in presenting their work, to broaden their outlook on the subject, and to benefit from contact with est= ablished researchers. The scope of the colloquium includes all aspects of T= heoretical Computer Science, including Algorithms, Automata Theory, Complex= ity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.
CONTRIBUTED TALKS
We invite 30 minute contributed talks on any topic in the scope of the coll= oquium. Presentations from research students and early career researchers a= re particularly encouraged.
To propose a talk, please fill in the submission form:
https://forms.office.com/e/1E8nu= EU9hS
The scope of "theoretical computer science" is intended to be int= erpreted broadly. In particular, this year we invite talk proposals which d= etail novel and innovative ways to teach theoretical content, as part of a = track focused on theoretical computer science education. For all talks, please ensure that your talk is accessible to ot= her students who may not be specialists in your research topic.
We put no restrictions on the originality or publication status of submissi= ons. There will be no formal proceedings, but the collection of the contrib= uted abstracts will appear in the Bulletin of the EATCS ( https://eatcs.org/index.php/eatcs-bulletin ).
INVITED SPEAKERS
We will have the following invited speakers:
  • Elizabeth Polgreen (Edinburgh)
  • Nicolai Kraus (Nottingham)
  • Jess Enright (Glasgow)
  • Jakub Opr=9Aal (Birmingham)
  • Conor Mc Bride (Strathclyde)
  • Rob van Glabeek (Edinburgh)
REGISTRATION
We hope to open registrations in January 2025. The registration fees will b= e as follows:
  • Early registration (until 24 March): =A345
  • Late registration (until 7 April): =A360
Further details are available at https://msp.cis.strath.ac.uk/bctcs2025/

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