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=-1.8 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01hn2213.outbound.protection.outlook.com [52.100.199.213]) by inbox.vuxu.org (Postfix) with ESMTP id A03562A741 for ; Tue, 6 Feb 2024 21:32:49 +0100 (CET) ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=JWPFl6nh9x5s23M8deT/QqCCjPsIIRjYJmJGtW7h/xa8c4Ss196DLYcb8HDm9+MpRJjTsLYNJFkVk1IGhg284lRQnDyPvHwEPzDHbl/alg3j6PLz8SBWqNXW4cn5dVi0NRXpcQ7U81MaRtAKTHWNmgXfEng0nLhN9wDcih45zUIjxxM9kdctoh/5Q0zGoeiQNk/3/0S9LARUrYYqoLp4E/r1r+pDbQuvYaXl9Zznpkwdl/aE3Jd6GT3oQ21ly3rfIMGtv1ez53i3Kq+0igBdnryPfW4z2aCWKaUDo4mueusoD9dtj8egSbHYLyDWvQvMr+uxJmzndyBmlNolG1Q2GQ== 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=0YtBgNCRkS3YTFqATdWSoju1jhIXTphqHanL69SKwl0=; b=UNIpCD1DpR+bTfH2wA4ncHKR4Y2rxvv1deUXWp8eNAa8qEZMdWT/MP0L71HqlKGTDYwiUI53BR6qKBkmJQJWjnW7i0tlTpaDTEjWnP+Hr/V72EhaTRRsp1PkHBDkz0jfWlOqntvdhU6MTDk2H/Mdx06Mf93FgtJhxF4xE4i+7UgUXfiUt1HV8JWnG1GtozGNYX7E55oVxkWUe43qI5ePxfqN0NozJxgNF4EoaaL9Y6SQ2hU8xolQLTIy1CcqbHsR8U0Sg+YYsB3uHxSDYbgtEzfR+rTwdAcDrIjncy9mvGmL6j8xExhBxJ2nxanZrC6T3D+66demjYMEtQi2XOpA8g== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=temperror (sender ip is 40.107.105.121) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bristol.ac.uk; dmarc=temperror action=none header.from=bristol.ac.uk; dkim=fail (signature did not verify) header.d=bristol.ac.uk; 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=0YtBgNCRkS3YTFqATdWSoju1jhIXTphqHanL69SKwl0=; b=X0hUvjQAiGBsl1aaKZIK6tgTlvtHiFtA6Rdbz4T+J7WJ5SdlR2EqlQH5T5/uAc5d9+k6+8pAzHn4rfR87Ko/g8H9xjVNTQ9b9QLaUjN5hFfWRQhWmjkZj5f4t24rsi5KSZJaRAWPGBGxMGxQUdzt/E8E3rbirhHfM+HRxOgsLkcP8Bd0h1HLNmZTH2XG2uSfUZKX+0KVaMMJ3tGH5738SN0V2ifDz7eKKElvIbkaO7k9Qt7i8BY68htqszcF3auoT20vJyNWcqWbr5ysw63tafeJELvjPBdeAlUDnL24A8kQyqOmNnb0gY4kP3n48GTWxX8NsZOQAblA8uGh2xLTNw== Received: from SmtpServer.Submit by SY4PR01MB7106 with Microsoft SMTP Server id 15.20.7249.36; Tue, 6 Feb 2024 20:32:45 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=BRc6oYIrf1XqvePGXgYhv+sh2AMlJ5jDpUoQXlFaU0y4C21WAfau3jxjWpv/39Th4vGsya0WDxxJJ03ZC1E87YqGMtQPv6md74vtkYiEQc+vZv4Ryjyx21X4/aKkefqfs0TWkoHw7ZBasE34UkOX/wnVR7N8dasmJKtPUeHalR29+V8o5dTSuWhyT3b19YHHGYQlXmGLMzi278ggsFCzmrSqv3ftpqe3juwIhrZpirY9Y/q40kuKg8EsbCXG8GGrTuwoDMkmsWSRwCb8Hj4ne7eZzWgFpzZ1TjUSa6Ed2UifzjXu8SGLA5yXM8WbOdTEVAy1u0DJRP65m3iSFufOig== 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=S5BHnDtjBPadhHMsqYocx4Gz7QWP97MRdlp5tkAVmb8=; b=ano2irUdTGb7gnMX+XPkbzIPCSrBptFnS2eNtY+XlM8RUV2XSV7gno60HV2wTeBP3bRlJstlp1R7TmQnGSVFlTkQYCzcKccCvRrbXWs7nGWdZPnopUwfcjzRUvIpF8DP7ZAfOfspljyzZZVKxqckq4o4guD1EWlN+09ybMGo03InfyyNTrmcbSin6gyx0Pw+kq6IAW4avRqxO6PdNTBad3rMOHBeIwMXchSiUgg8WSEstbyu6MMTsqZfCa/lmko8EOnVcoiM9eeSBpdHXeKIdVBY2V++KArpOe5nxrCTqfl+9YmLRGAx+KTTxsjRh94ulb0nDTyK91O3q0suLKNCrQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=temperror (sender ip is 40.107.105.121) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bristol.ac.uk; dmarc=temperror action=none header.from=bristol.ac.uk; dkim=fail (signature did not verify) header.d=bristol.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from SY7PR01MB8740.ausprd01.prod.outlook.com (2603:10c6:10:217::9) by SY4PR01MB7106.ausprd01.prod.outlook.com (2603:10c6:10:143::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.36; Tue, 6 Feb 2024 20:32:39 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com (2603:10c6:201:11::21) by SY7PR01MB8740.ausprd01.prod.outlook.com (2603:10c6:10:217::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.36; Tue, 6 Feb 2024 20:32:35 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::7526:d89d:c5b1:4004]) by MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::7526:d89d:c5b1:4004%3]) with mapi id 15.20.7249.035; Tue, 6 Feb 2024 20:32:35 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Sp31g7dtH9ZVpXNa4Mw2Ce+4e5VpDXtVHcHOGg5PULjKyNS++gzb/1MU+jJwsxBT9myNwNv0YTLwrbbvwHIgr0txUvZyQ1ysOsZfArvDS+96xm0rO0yKjg7WaKpiCBQvcadFyRc2PFEYt298P7H/HdjtTE5FusiPHyX+Xurwo0kYrGKyp4ek2lZWJZL8D9Ga8aNXFbvIKeKObDRctl7b0AF5Zjn0adCbbBpRh5gyOMmVXRgTDLG3GKL+MwtWRhbRBMiosBZ9lbtefI4/VufKq7aaEBlb/3g/zVHe3cMHNwsYzLd9605akCemqaPnPnuYLkuzXDa4VH5J7QF+ICo3qw== 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=S5BHnDtjBPadhHMsqYocx4Gz7QWP97MRdlp5tkAVmb8=; b=md9BZ/xFEFbuGITEh6e62BD9DFC06cx+4fBrwRwLtfov1S6PC1kaectWDaN9hMjktPLob13q2JU/dZ/se1pi/63Dr9A411X3gDscQyxj+gqduzwN7O1PfglXIeUnuuNewcu5nbJec+HLHUby1xSojqpgaIouWGBNjIgezyDOF1DWywl7XKx5u83UjC2FAB54X0ipOdY6/zb0NfwgGZkhpEnPEjsYVs9J/LUq2tStbsDpWOVyZ0EK4bselg5BdgVjkSjNjGtkTp8ARXJiUaNlMk9jngxd/fR06uSQNo5dnMkBIY3W5Y8fJMli/86NE9qxYPVgT3C3XFo0Dp/rfAlPaw== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=temperror (sender ip is 40.107.105.121) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bristol.ac.uk; dmarc=temperror action=none header.from=bristol.ac.uk; dkim=fail (signature did not verify) header.d=bristol.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from SY6PR01CA0084.ausprd01.prod.outlook.com (2603:10c6:10:110::17) by SY7PR01MB8928.ausprd01.prod.outlook.com (2603:10c6:10:216::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.36; Tue, 6 Feb 2024 17:04:41 +0000 Received: from ME3AUS01FT003.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:110:cafe::4) by SY6PR01CA0084.outlook.office365.com (2603:10c6:10:110::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.36 via Frontend Transport; Tue, 6 Feb 2024 17:04:41 +0000 Authentication-Results: spf=temperror (sender IP is 40.107.105.121) smtp.mailfrom=bristol.ac.uk; dkim=fail (signature did not verify) header.d=bristol.ac.uk;dmarc=temperror action=none header.from=bristol.ac.uk; Received-SPF: TempError (protection.outlook.com: error in processing during lookup of bristol.ac.uk: DNS Timeout) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ME3AUS01FT003.mail.protection.outlook.com (10.114.155.122) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7270.18 via Frontend Transport; Tue, 6 Feb 2024 17:04:40 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1707239080; 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=S5BHnDtjBPadhHMsqYocx4Gz7QWP97MRdlp5tkAVmb8=; b=hGtGoFV9qnaRaD7sdd07R32UJ6+iviz+YstXFV7RYD7zFVdrO1GU8UxOdjzNAPfg1cXJBy yKyMUr8DT/HBTjbjT0Dok5uQRmbrlhOlGT20RavMHalwR5ejEtqjJALRs2nkZWoQpUS/xH BL846XwT5dYSWPzk/4CTN6T8QM7cLHsYcduP2R2Sp4jWrKUuG6kkbeJ4k2gxgQPOAerBXi 3vETNoCyubuN0V6XLXEK9T0hJLOH9lcIKcICBEcur+H4pZgSRhAEUKEdycrg8yaAheI0NB AE4+rx+pgaRC6Qa5ANT5fk3c9d7qWLkZQSaTb3VNvQ0lKX4sXOT1R7l4TrLlpg== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1707239080; a=rsa-sha256; cv=pass; b=R+yzv7C7Q9MPnUBV+XhWIqlAMw1Wo7hYzzLTScPVx7mszaZZCf1rlHFpSdx/CAXsg1YVQs 2QRbnVdwp4zGrbuv7sefVHZQ17OVEC2a2MTR13L1rEO2WE84YFen7oW4aPSZx9O7POf6Af de7u4jrpK5lmBLYIXOi7CB/V+XjnZm7ASbZ6bHEpABpOiQCITKYwLSbRZ7Qx1026pJE+z/ MLh345pH6GMk3dKktV/8iDtQNeWBuwYlMW/j+wVGh4YB+nSMdzKcR4pDIT65ebut0ko+0J BIQdX0efMJJQo5dxhp5jeygdnGotzwpVYyvH/omjnCa7/vt9XphoJpQjJ2Ju2w== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=bristol.ac.uk header.s=selector1 header.b=Iu4c3AsK; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=bristol.ac.uk; spf=pass (relay.mimecast.com: domain of alex.kavvos@bristol.ac.uk designates 40.107.105.121 as permitted sender) smtp.mailfrom=alex.kavvos@bristol.ac.uk Received: from EUR03-AM7-obe.outbound.protection.outlook.com (mail-am7eur03on2121.outbound.protection.outlook.com [40.107.105.121]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-24-0yhNs_SXMMSboj9_H7tpPg-2; Wed, 07 Feb 2024 04:04:37 +1100 X-MC-Unique: 0yhNs_SXMMSboj9_H7tpPg-2 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=LhqzknfXlksYI7cSDKkc+TJBZTVeZbOEkXcqYP/SOLM5COuQDdsBE4ohYpBFXEva4v2Rz9xwgkgX5p4Qq5ges91xqh0ngsk8zfDQ7F6wI5lLyZ++DeF50qHlbsWJVbDZJpMUmLY3opV72wnXOG2mTELc25/8UGY3CyFCh8cEhUify5jS5RN3kSPPAuunKdVQD98vDw62zGgxH4/Ej0GoR17WV09f7NJQ15qL9JkeAyO6VBYdyZXiutXXT+5moqET2HWxgnb/gg2OWC18l3EtBr7N8FNXJidSe3VWe3bdnkipqdAtrTMLw3cV5UgiiS3W31nif5PVb5pgeLuiPqAfQw== 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=TiPAs1Vi+xt8FpNr4zCbhF1Tx/CXECZV8SmwR0WIv0k=; b=SIy1PhjWPXdYXaXMpF9Ywq2LIYjkwrX16j3LbSdlOGMblKuwYvYOkvOXUguz1xhx7oGOO6IATZtPf9Xt/pLexOi9o0B5V9lcMswkS8SwaHhuZUg84Xottu7Db1xbKzZpMnC3vB+UzKf2TousN0nk0YTm8TcbsjNpcgMSIK5pEphnRfJLlwaM68EQIugd1uuTzah/sCgKJ1gscmAWph6wOfbTBZRnRkK6XReppaoadL8Q4NE12dU+gEAQRtpRM/lJbkLaQbDf3aPkLr7y3/4Ekwxb2dysPtJw1AHjJ8yuDHfP4b8E7+hvRPbt7aWTpsqdOHtMiE5Qw8PMr8NMt8BaNw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bristol.ac.uk; dmarc=pass action=none header.from=bristol.ac.uk; dkim=pass header.d=bristol.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=bristol.ac.uk; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=TiPAs1Vi+xt8FpNr4zCbhF1Tx/CXECZV8SmwR0WIv0k=; b=Iu4c3AsKkdY9OBgFHlbSCC67C8lXjt4oxowW3/82EAp+Bz2nCbDtJ2ORu+UNB93ZdTxDZfBkuqt6n1BX0hQIAXSmF1nhmpXmG+a6AHvrN/d2WnJJb8I0uRlPCsrnwgyPiXipT5whjnQH3KTqDNcknaFoFo9I5snerpgKFpKZWd0Lbt+VhQnnGS6GG8jmSUsuvjED7chiWeEr+VVzyfD6mdi+7VVdMnXx1OGiT/niu6f69EvfodFPZaFWYQg02Y44cPco841+nL98EbYaMVGkODrJl3Mvq/yqTJd5P7LhA8wxO6Bn/pPZN5EKRfoI+YM8xCN4Iv9rMJAu6shJ/IRkFQ== Received: from AS8PR06MB7318.eurprd06.prod.outlook.com (2603:10a6:20b:252::19) by DBAPR06MB6837.eurprd06.prod.outlook.com (2603:10a6:10:1a8::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7249.36; Tue, 6 Feb 2024 17:04:31 +0000 Received: from AS8PR06MB7318.eurprd06.prod.outlook.com ([fe80::57ec:749b:476a:c85e]) by AS8PR06MB7318.eurprd06.prod.outlook.com ([fe80::57ec:749b:476a:c85e%4]) with mapi id 15.20.7249.035; Tue, 6 Feb 2024 17:04:30 +0000 From: Alex Kavvos To: "categories@mq.edu.au" Subject: 14th Panhellenic Logic Symposium Thread-Topic: 14th Panhellenic Logic Symposium Thread-Index: AQHaWR6MkktNLwLlSUWO26tLCbyooQ== Date: Tue, 6 Feb 2024 17:04:30 +0000 Message-ID: Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-traffictypediagnostic: AS8PR06MB7318:EE_|DBAPR06MB6837:EE_|ME3AUS01FT003:EE_|SY7PR01MB8928:EE_|SY7PR01MB8740:EE_|SY4PR01MB7106:EE_ X-MS-Office365-Filtering-Correlation-Id: aa8fba0e-ccd1-4245-a04f-08dc2735b4fd X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: FP729cMa1xy6eGylXygbQGwPSLE5eBZK9ravzM2GAKt/WDt/ayP86a8XTjpo3d33F8m6gBRcvgZdUOtb4PDbKk0ylRJKq/jCI2fwwACB9/QEbNEz304FxTgSo2fkP76CI0VdcZ4MaUbv+6nkWQnDK0zDMZiVE1S+wT4zil4WL3kJE9OVYVyPcmbkLTQ6kTAt4JL0K+BrqXEzCbcAB2EL1XZvTwZ7zL8xUla5w7Mx6qztUXfCJ7E2Ro3bb5j5GtT5KSCjJ7Sc1XcFEQU2Y8xFba6eyWB/Kx1b4pBgEEkXx0UP3LDcKQdbEeXlLMBG6+Au437SQqC++H6Yp1MZ4g8aKua3yr3rHJ0nP/PxPstQ+D+ZewnIXBdrl2ogTllJgwyTXBbAfz5/C2DvhX9VkC1KYBBRMuPVUDns3Fh0DTL6OTnwa75iweWz5yXBuigU+qCX+3D7k2erf9vMUFHb0GAnXunuZVikQAB7LaJhCeN6FX4HH7Ail5HBhqH15W5dHO+pX11BJW4rJDlqP+2qZv0bbh63XzQy3qJvgO9FVU1nTdAWMuzb/aUcshTflxx615Y4Vuh2RKljnt1Ef4mjrUWeF8ti4Gr4F2MZP+3X7cwbajk= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AS8PR06MB7318.eurprd06.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(376002)(39860400002)(346002)(136003)(396003)(366004)(230922051799003)(451199024)(1800799012)(64100799003)(186009)(41300700001)(86362001)(52536014)(44832011)(8936002)(8676002)(66574015)(966005)(7696005)(5660300002)(478600001)(71200400001)(33656002)(9686003)(6506007)(38070700009)(91956017)(66476007)(296002)(6916009)(316002)(76116006)(786003)(66556008)(66446008)(64756008)(66946007)(2906002)(83380400001)(122000001)(38100700002)(55016003);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: DBAPR06MB6837 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=bristol.ac.uk header.s=selector1 header.b=Iu4c3AsK; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=bristol.ac.uk; spf=pass (relay.mimecast.com: domain of alex.kavvos@bristol.ac.uk designates 40.107.105.121 as permitted sender) smtp.mailfrom=alex.kavvos@bristol.ac.uk 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=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="MCBoundary=_12402070404390011" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[40.107.105.121];domain=EUR03-AM7-obe.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[40.107.105.121];domain=EUR03-AM7-obe.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: ME3AUS01FT003.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: ecee9c41-3a03-463a-baea-08dc2735af65 X-Moderation-Data: 2/6/2024 8:32:33 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: 90IbzQJri+Ec0W1mcjF++bcoGXRZaAROFeUybo/bjWSEH/bEdWrM7qW7B2nbC1uyu3Tt1Nvw05nEOYaTK22dQziYxN41JYTAV6fCSbBChLmv8oYsFOx8l4C4m3+F9I1IguIBTsDPoTMbxfoJ7RzL0R2W4DKhLrMMLZVueKLQt/o2wIfnDNBov7rXoZebMcqrxIYuMnJewuxWdLlkEwIiQVn7marMNcSqdhCfHfcnbBuY9IYFK9O3KZsSzoHeZ3e1pvOcGCkREJ4ul4mKI824HRk5ctyU1uDmDRbDBkJGSAjC7F9w+U64JdYEC1gfGovLdwkRzbpMsF5mFO9WduNQYLvJnSzwHdzQn/FJ9uLURFGY3C3wXulHXgcgdUaa35+7c8eZn/NSYLSV6b/m1SqU9VwRrHUpoc6zUQ8jb3ijJETOIrSy4GnK45lWsHdf10U5nIJp+RSBbMe3NvF9EUQL/5qhP6B4DVWfFueK/oKmZwJdvWaoAuJhcsGnXdcXNFoW4oyPDrvytaXWaloEpHf9+XhfFz33Rigf5QyCQ1Ou9D9vdPa0xqecXNA9HTpOby5t5YL65WWEkY7BW57aIawcUGqOInjUjQQZ0z08GNjr0wbJpE7FWuQPHvPcUnf26KtB5FGXkxfASuz2lU6Ln3wJcvfeGwIhz02fmc2gk2LOVP9mSMXMy3v9dXEuI781nBUi019s8RZ8whbvDX3pZFgEIq1uyKT99FqI9CId19TX9CPcIjLZ+WmqL2nh+hcGBG+TNdXhlVRrMyuggdleFCbqCcj93dI6iA/akOO4iCenXgMit+ruhPxe3gI5FjtsZScYByYiYdHdEzBhL4/JTaHgP8HSd2Ci4qgYE98GgrNok1p+RXLYxpVc9gPza12uS1vw4aWXXJGAcEP2/WSU/LHTyw== X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:NL;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:EUR03-AM7-obe.outbound.protection.outlook.com;PTR:mail-am7eur03on2121.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(4636009)(396003)(136003)(376002)(346002)(39860400002)(61400799012)(451199024)(64100799003)(8000799017)(82310400011)(48200799006)(40470700004)(41300700001)(66574015)(52536014)(6862004)(44832011)(86362001)(8936002)(8676002)(7416002)(7366002)(7406005)(7336002)(7276002)(30864003)(336012)(5660300002)(76576003)(498600001)(88732003)(6506007)(966005)(89122003)(9686003)(33656002)(7696005)(26005)(316002)(786003)(68406010)(70586007)(83380400001)(63350400001)(2906002)(63370400001)(41110700001)(40480700001)(32850700003)(40460700003)(156005)(32820700001)(7636003)(166002)(82740400003)(55016003)(32650700002)(35950700001)(17680700008)(41090700016)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: aa8fba0e-ccd1-4245-a04f-08dc2735b4fd X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT003.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 06 Feb 2024 20:32:35.2560 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: Kh6GkXpvYFEFk4uri6wKLpcdY5NXlwD1zXo4e0CLOR7v1FAXUpIh30HbUjBx9t1NV/hueGOo+F1GqVm3wVvDy6Trr2kUOaxFPZX/qPFK4UN53Bz1AAxAwVWM/rvT6vRgGaLIgAoLouXUevw90TVUfvUbi5XovSwAvIDKsSp7KJGYSUQIREg5slhcwrnrrI+Q X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB7106 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: =?Windows-1252?Q?4dk0uU9hjT1yEcDz4iJgWNlpEYq47xGTubG2tRV21Ld3a6bT+pvUN14B?= =?Windows-1252?Q?wF8elntOLuQpVMMF84KLOzxuznPZRVgg/Nd6VGtTCsxowpfp/4PtOdpK?= =?Windows-1252?Q?ie7of8ac7x5Coi1bP4Bvvq3eQsA0k1yc7b7E4/HoHXh8TDMUHfEAPeez?= =?Windows-1252?Q?rd45YpIYeqdtrqVntvvd/68suOsa9L/q9Xsnq5Eqcrl6+Ux/YSQ+T1VZ?= =?Windows-1252?Q?mPiLJXR7WxvANsGO4Xi9LnqMONdq1p4ynLx7DLw6egBAg/OEXQPYIv3A?= =?Windows-1252?Q?SOUihUoqx9d5kbblM/7vtRxUW7zoNN1iDbmM3q8XgufcsHV4jU12JUL9?= =?Windows-1252?Q?SppeJ/I27m+MLhOWkstTVqXauE7EzO+oouyxiYwgMsYE9Co4ECD13fAR?= =?Windows-1252?Q?0kVttAFP+QtJRyKN3KrV8jeopPBMvf3s2jB5+YJijfXP6oqyU6i/XJ3c?= =?Windows-1252?Q?GzDQKEhtWeoCJ5TdQenNZChIeb2Xf2tXVvHC8ToysKILLa3peUHEsG5R?= =?Windows-1252?Q?s94mLpBY8om7UJiq4CO6haBX8WVfKQNCuPQ8O1NYh9KzDGTGdpkvcfTV?= =?Windows-1252?Q?IdKhup6rBA8xDi0majgM4s9KxyX7mrSLj9bzddb0+a2yk17eUMy5jUih?= =?Windows-1252?Q?ZLq+2TUxENNk1Stf6PzttAKrazt9qbKhdvzRUiwyEmFOQKCc8/9n497c?= =?Windows-1252?Q?MR9UCmkCdY+v6KllZYxMfPCBc8xHwxrqa2hiPEEzEWmjSl+geHRFBE0w?= =?Windows-1252?Q?gO/oe6KgpVnBG28NjWyVQ+8CwBQB2f+KdBLsxZn9/2O9dk35WPSeNDr7?= =?Windows-1252?Q?WtTlwfgX7+eRAZUG0uC3h5C4va+rOjaWoCL6cPXAQIsfuj76qu5fPH4s?= =?Windows-1252?Q?wO5t93T4yx2mlL2K+0fOnojle94nUH0cLcE00l66VfdABhq8hbPq93KG?= =?Windows-1252?Q?GK5y9JfAhrZiW3lspfM2LIVN9xKIU370+8qP+7/mb+6TNMbUJvNTJJ0O?= =?Windows-1252?Q?UXGpJAh/G/geLFgSFequU5ALUkNdBhU4R5nBBYIIpQ92jHYT3BhcCCfA?= =?Windows-1252?Q?DB/cf6REMc8zHRqsGpfGBRhCLtw902MMhq66q/BUSXWPuxgNjtiA7cCG?= =?Windows-1252?Q?zxmnQOzFpHR9T3mw6ZrHJEnFV10/72NWsCpqSQiNMpg8PTSyt7jAfkVl?= =?Windows-1252?Q?m1eEbH78FA6CZsCgZ0XukJlFiel0XSzvjejT08K9LNSPaEzHw/gCQpJi?= =?Windows-1252?Q?cG/kaCysraLfBjTIe09tTjMJrFIZpjKRK6PHUZGSdbf8FTbD0WMkEwsO?= =?Windows-1252?Q?sP0B36O2JLKiATLViA74y61AzADKrNewKijw006isUHZuqtS?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12402070404390011 Content-Language: en-GB Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable PLS14: THE FOURTEENTH PANHELLENIC LOGIC SYMPOSIUM July 01-05, 2024, Thessaloniki, Greece Organized by the Aristotle University of Thessaloniki http://panhellenic-logic-symposium.org/14/ Dedicated to the memory of Thanases Pheidas. Paper submission link: https://easychair.org/conferences/?conf=3Dpls140 The Panhellenic Logic Symposium (PLS), a biennial scientific event establis= hed in 1997, aims to promote interaction and cross-fertilization among diff= erent areas of logic. Originally conceived as a way of bringing together th= e many logicians of Hellenic descent throughout the world, it has evolved i= nto an international forum for the communication of state-of-the-art advanc= es in logic. The symposium is open to researchers worldwide who work in log= ic broadly conceived. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D IMPORTANT DATES Deadline for submission: Friday, March 22, 2024 Notification: Monday, April 22, 2024 Final version due: Wednesday, May 22, 2024 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D INVITED SPEAKERS - Aristotelis Panagiotopoulos, Kurt G=F6del Research Center University of V= ienna - Christina Vassilakopoulou, National Technical University of Athens - David Aspero, University of East Anglia - Isolde Adler, University of Bamberg - Matthias Aschenbrenner, University of Vienna - Paul Blain Levy, University of Birmingham - Yannick Forster, Inria TUTORIALS - Angeliki Koutsoukou-Argyraki, Royal Holloway University of London - Takayuki Kihara, Nagoya University =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D SPECIAL SESSIONS Logic and Philosophy: Higher-Order Logic - Bruno Jacinto, University of Lisbon - Cian Dorr, New York University - Gabriel Uzquiano, University of Southern California Special session in memory of Thanases Pheidas - Dimitra Chompitaki, University of Crete - Konstantinos Kartas, IMJ-PRG/Sorbonne Universit=E9 - Lefteris Kirousis, University of Athens - Xavier Vidaux, University of Concepci=F3n [to be confirmed] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D SUBMISSION GUIDELINES Research papers The Scientific Committee invites all researchers in the areas of the confer= ence to submit their papers for presentation at PLS14. All submitted papers will be reviewed by the Scientific Committee of the sy= mposium, who will make final decisions on acceptance. Accepted papers will = appear in an informal, electronic proceedings volume, which will be posted = on the event's webpage. During the actual event, each accepted paper should= be presented by at least one of its authors. Papers should be written in English, a maximum of 5 pages long, and prepare= d (in PDF format) using the EasyChair class style (easychair.org/publicatio= ns/for_authors). Submissions will happen through EasyChair. Paper submission link: https://easychair.org/conferences/?conf=3Dpls140 Poster session Graduate students and early-career researchers are invited to submit a shor= t, 1-page abstract on preliminary work that may not be ready for a full tal= k yet. Those accepted will be able to present their work in poster form in = a special poster session. The session will also feature a mentoring compone= nt in which senior researchers will discuss the posters and provide feedbac= k to the authors. Interested students and early-career researchers should submit their abstra= cts by Wednesday, 29 May 2024 Submissions will be accepted by email at the address pls14@softlab.ntua.gr =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D GRANTS Students may apply for travel funds to the Association for Symbolic Logic (= ASL), under the following provisions: a) the applicants are ASL members and= b) the application is received three months prior to the start of the meet= ing. See https://aslonline.org/meetings/student-travel-awards/ for more details. Further travel grants will be provided for students and young researchers. = Details will be uploaded on the conference webpage. Further travel grants will be provided for students and young researchers. = Details will be uploaded on the conference webpage. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D LIST OF TOPICS Areas of interest include (but are not limited to): - Computability theory - Model theory - Set theory - Proof theory - Categorical logic - Philosophical logic - Nonclassical and modal logics - Logic in Computer Science =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D COMMITTEES Program Committee Alex Kavvos, University of Bristol (chair) Alexandra Soskova, Sofia University Ana Sokolova, University of Salzburg Andrew Lewis-Pye, London School of Economics Antonis Achilleos, Reykjavik University Antonis Kakas, University of Cyprus Costas Dimitracopoulos, University of Athens Elli Anastasiadi, Uppsala University George Barmpalias, Chinese Academy of Sciences Konstantinos Tsaprounis, University of the Aegean Kostas Hatzikiriakou, University of Thessaly Pantelis Eleftheriou, University of Leeds Rizos Sklinos, University of Crete Vassilis Gregoriades, National Technical University of Athens (chair) Yannis Stephanou, University of Athens Organizing committee Ioannis Souldatos, University of Thessaloniki (chair) Nikolaos Papaspyrou, National Technical University of Athens Paraskevas Alvanos, University of Thessaloniki =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CONTACTS General enquiries: pls14@softlab.ntua.gr Alex Kavvos and Vassilis Gregoriades, Chairs of the Scientific Committee Ioannis Souldatos, Chair of the Organizing Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D SPONSORS European Mathematical Society Association for Symbolic Logic University of Thessaloniki University of Bristol University of Cyprus 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 --MCBoundary=_12402070404390011 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=WINDOWS-1252 PLS14: THE FOURTEENTH PANHELLENIC LOGIC SYMPOSIUM

July 01-05, 2024, Thessaloniki, Greece

Organized by the Aristotle University of Thessaloniki

http://panhellenic-logic-symposium.org/= 14/

Dedicated to the memory of Thanases Pheidas.

Paper submission link:

https://easychair.org/conferences/?conf=3Dpls140

The Panhellenic Logic Symposium (PLS), a biennial scientific event establis= hed in 1997, aims to promote interaction and cross-fertilization among diff= erent areas of logic. Originally conceived as a way of bringing together th= e many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the c= ommunication of state-of-the-art advances in logic. The symposium is open t= o researchers worldwide who work in logic broadly conceived.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

IMPORTANT DATES

Deadline for submission: Friday, March 22, 2024

Notification: Monday, April 22, 2024

Final version due: Wednesday, May 22, 2024

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

INVITED SPEAKERS

- Aristotelis Panagiotopoulos, Kurt G=F6del Research Center University of V= ienna

- Christina Vassilakopoulou, National Technical University of Athens

- David Aspero, University of East Anglia

- Isolde Adler, University of Bamberg

- Matthias Aschenbrenner, University of Vienna

- Paul Blain Levy, University of Birmingham

- Yannick Forster, Inria

TUTORIALS

- Angeliki Koutsoukou-Argyraki, Royal Holloway University of London

- Takayuki Kihara, Nagoya University

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

SPECIAL SESSIONS

Logic and Philosophy: Higher-Order Logic

- Bruno Jacinto, University of Lisbon

- Cian Dorr, New York University

- Gabriel Uzquiano, University of Southern California

Special session in memory of Thanases Pheidas

- Dimitra Chompitaki, University of Crete

- Konstantinos Kartas, IMJ-PRG/Sorbonne Universit=E9

- Lefteris Kirousis, University of Athens

- Xavier Vidaux, University of Concepci=F3n [to be confirmed]

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

SUBMISSION GUIDELINES

Research papers

The Scientific Committee invites all researchers in the areas of the confer= ence to submit their papers for presentation at PLS14.

All submitted papers will be reviewed by the Scientific Committee of the sy= mposium, who will make final decisions on acceptance. Accepted papers will = appear in an informal, electronic proceedings volume, which will be posted = on the event's webpage. During the actual event, each accepted paper should be presented by at least one of i= ts authors.

Papers should be written in English, a maximum of 5 pages long, and prepare= d (in PDF format) using the EasyChair class style (easycha= ir.org/publications/for_authors). Submissions will happen through EasyChair.

Paper submission link:

https://easychair.org/conferences/?conf=3Dpls140

Poster session

Graduate students and early-career researchers are invited to submit a shor= t, 1-page abstract on preliminary work that may not be ready for a full tal= k yet. Those accepted will be able to present their work in poster form in = a special poster session. The session will also feature a mentoring component in which senior researchers will d= iscuss the posters and provide feedback to the authors.

Interested students and early-career researchers should submit their abstra= cts by

Wednesday, 29 May 2024

Submissions will be accepted by email at the address

pls14@softlab.ntua.gr

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

GRANTS

Students may apply for travel funds to the Association for Symbolic Logic (= ASL), under the following provisions: a) the applicants are ASL members and= b) the application is received three months prior to the start of the meet= ing. See

https://aslonline.org/meetings/student-travel-awards/=

for more details.

Further travel grants will be provided for students and young researchers. = Details will be uploaded on the conference webpage.

Further travel grants will be provided for students and young researchers. = Details will be uploaded on the conference webpage.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

LIST OF TOPICS

Areas of interest include (but are not limited to):

- Computability theory

- Model theory

- Set theory

- Proof theory

- Categorical logic

- Philosophical logic

- Nonclassical and modal logics

- Logic in Computer Science

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

COMMITTEES

Program Committee

Alex Kavvos, University of Bristol (chair)

Alexandra Soskova, Sofia University

Ana Sokolova, University of Salzburg

Andrew Lewis-Pye, London School of Economics

Antonis Achilleos, Reykjavik University

Antonis Kakas, University of Cyprus

Costas Dimitracopoulos, University of Athens

Elli Anastasiadi, Uppsala University

George Barmpalias, Chinese Academy of Sciences

Konstantinos Tsaprounis, University of the Aegean

Kostas Hatzikiriakou, University of Thessaly

Pantelis Eleftheriou, University of Leeds

Rizos Sklinos, University of Crete

Vassilis Gregoriades, National Technical University of Athens (chair)

Yannis Stephanou, University of Athens

Organizing committee

Ioannis Souldatos, University of Thessaloniki (chair)

Nikolaos Papaspyrou, National Technical University of Athens

Paraskevas Alvanos, University of Thessaloniki

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

CONTACTS

General enquiries: pls14@softlab.ntua.gr

Alex Kavvos and Vassilis Gregoriades, Chairs of the Scientific Committee
Ioannis Souldatos, Chair of the Organizing Committee

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

SPONSORS

European Mathematical Society

Association for Symbolic Logic

University of Thessaloniki

University of Bristol

University of Cyprus
 
 
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
 
--MCBoundary=_12402070404390011--