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.5 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,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 SY5PR01CU010.outbound.protection.outlook.com (mail-australiaeastazhn15012002.outbound.protection.outlook.com [52.102.200.2]) by inbox.vuxu.org (Postfix) with ESMTP id CC0E4210AD for ; Thu, 21 Mar 2024 19:44:45 +0100 (CET) ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=fEwu4lXLhCrQAtH8fA9Y8+jHSpAQfvs8QO6GcuO3Pwg0V9bayFmw3gPrsHI9IBNtXcaXUw7yDdfLwy4/+hMWYNrHoNhV2AE+SYlafPGBpltD3c2YmpRsRmkAlZN8cK9fQ9sgD3kDXkT7ZM7HQdyTxuiENAt8Ssukm02np15uJZoSjIJcnLpYRADZVSqUf6W/bl7d6i92u0CPFmcFKYfk31XFtkT1LLORf4VoFHJw65sm6TpsSn4ROr8q0zHLktn8TwlRNCU0Cehw1czeCTE7E11kvv4Ejjk/9ZQ5WiFYsVM07rkKkxfq4c7b5OsrnNxifaMKAbPbx/rxCYM+XsnYcA== 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=DHPo+dZGUD1vGSMhgpVMP35bMlP8nYgg/swiOkLjd4Q=; b=XS9c63cY82IqWJ2vbrxmTRLH2kJnTyj81PFANXqG/Y2rrK4NvsseGjU9f0AR1/RQzWhAoejbGjKdkPTpDf8+jtYOIqmUDGODoMvwqLfEVua7Qh2MjgmOo+AcbbXmmhA6zDkhOJt9d3Q1fXr2Rw+dELnwba8ICbv5iTtehSUCFuUmGGzj679XhjWUpm6WX/q/iQ44aRLE1RiuHFfpbFaB43ZIBGPNlBZfQ1eDVg3dB7l4gnGFXgIcSDP6uKLZqYXviq4PuXpV135cHJYwGjEnMyfKFKQJhZqDP9Cd16RKcWE0/waDK/ZcakGO+csO82q+5ZjG/sHD5qEHGypi1TA39Q== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 40.107.15.90) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bristol.ac.uk; dmarc=pass (p=none sp=quarantine pct=100) 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=DHPo+dZGUD1vGSMhgpVMP35bMlP8nYgg/swiOkLjd4Q=; b=rXXN9gziMBGYGVTNLQT2bWjUWT0PHGB2YWy/PA69UA9L5o2Xmd2wXgQxRZWV/NjBKF0VGur0OdG2bqYpz1r2Ng9XIpdD4rhYmUfvKAknYskLebkNoRHjrdHB68HWu8HjUXO7MiHBvocZn0M8Yr4sg3v50qPhxcWAURtwxjyRI1cpVOauJK87wXWaQGtMfc0zYQmmtpP3Lc4uFGUKRkxRO1q/In957RVgZkkyxamRPpBWSnLR7k+aSYbTlgEEra+QiJ1DcUwOKIsLWK71qVJ8NU1CghSdJGRdkL9/cos9j2GriDxMZFT79AW5ALNDDQXiaKgIwx+kvzFqxgdaB2w2Pg== Received: from SmtpServer.Submit by SY0PR01MB8763 with Microsoft SMTP Server id 15.20.7362.35; Thu, 21 Mar 2024 18:44:42 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=QB/nToe+cyrGumrsvqfc3JhJ6ZlQJ/oUHvzRon3PwC8N6Fc9aW4VLooF5Op+41MG/WHB5wFeKKZmT9txP5aTzDHUTWEcO8wbp8JcCt9GWljTa6juwWjcll3jb9dWLC4ZidFojnCA8VTr3MqzhEM0aO0t5R4jax1Nhhx5Q7PI3xI0OLG2qSS2127Lk9xzjoetdNPFUyoWk3aKAYskhjxH7x9dGG7wQw2sJ5BtEI7epCFnnoUwKpY4E/v+LBpM4NlYBVHMzh5gmaNqHCvsd5LrEtXs6WQoh1GuQ+3HWQhJLr59DDRvJzmaGuIl2Trc1ENJ3quX+DnB6HAfBfLVaKO0Qw== 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=//d3aaYQVhqJWCu849nVZ3BtIzvJlJ8LsBprpjrEcx4=; b=V3JSPLpuUi5BPtM32Hs480SYu0Q1s0cYx9TnFcgRT6FNn6qgrQScSNMsbA7SHSFlgiDoa/5gpdJXJw8L6J6y8La1wZ43CuMlnJnvOl8m7gKCwCkM3wrX0ETSnpmvq89hrnVyepv6SQuZz6OEieTwTat+bc5uQiGbfVESv7Z244U5pEelLBlOVj2pcJAaiH13G42S5LY6RKE5T2+qFbiu2UwwOgMQn4AQPf+Sn16NSDqwfZ4rEZUP7dk+FNosaZ95mdfV9zY8tiqkXioIXs5/DGcWX6nihMB6URl42fSkf3p/mKwSy+HJM0wOKsVqb1CQh7ZVEMvH5rvrAaBdbjwbRg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 40.107.15.90) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bristol.ac.uk; dmarc=pass (p=none sp=quarantine pct=100) 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 SY6PR01MB7492.ausprd01.prod.outlook.com (2603:10c6:10:173::13) by SY0PR01MB8763.ausprd01.prod.outlook.com (2603:10c6:10:20e::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.35; Thu, 21 Mar 2024 18:44:37 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com (2603:10c6:10:221::18) by SY6PR01MB7492.ausprd01.prod.outlook.com (2603:10c6:10:173::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.24; Thu, 21 Mar 2024 18:44:33 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5942:6aca:28bb:1b8d]) by SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5942:6aca:28bb:1b8d%4]) with mapi id 15.20.7386.031; Thu, 21 Mar 2024 18:44:33 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Z2yiRLo0Aqfyr5wmd/NXPkt817PrDr2rU26lgkwSOF7Ra+L+CaibLtGeo9BGPtkE8QDfWQGJ/vUtf+nQN0kgXYwq3EPcCRZYc2s6E1PZxUzkOyBy7zkV8/V68Mveflc/QyivJtP9szxRhjgfLTtHvMma2YjZ/EKRin+fvidmw7zgPoPGBUCbI38qBhnHE/ObwFV0o/IVL7Y5ogW/QL2G7JUC8zANRTfc/Whqmqvz0dTItMbqgVQh5OJXzapM5Wc8yqJfd/c2b10JSBFPKFvR2EF2n72Gb/+RDUuALEpYu3rATYwbmmIaJOKesot6F7hhqaXeQEfyg9t2+9KuEc2YNw== 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=//d3aaYQVhqJWCu849nVZ3BtIzvJlJ8LsBprpjrEcx4=; b=UVbY5gMlpVPqhfkPgYbRsjkNFFSEdDmGbAv2x28bwEX9qDGzm3DncN5GHZv2S7DiPnrS+geAlZM2CDphaYrl0szKeVc6oxFZnXPm951JKwhafl2Gmz5TLHk1/hcGGk9zrfCWV6JYxctBk2A9CFwHzg3dSSn0YmV6z/zPdmJdELWowS2McxI88FmGjsgY94mppPiscpLdG0jmE+NRQE4qCdoQ9mUNoH7pfcOzVJJDusZFNhFZ5QAJbmVElgAjinGForS0m6GXzwatPt0U3t2rAX4Q+3NOj+j4ZpIPdJgZy+EnaZzHzeWWeRzExcRZUNOL4Kxn990erxvBmfjbvXMGAg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 40.107.15.90) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=bristol.ac.uk; dmarc=pass (p=none sp=quarantine pct=100) 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 MEWPR01CA0128.ausprd01.prod.outlook.com (2603:10c6:220:1d3::11) by MEYPR01MB7023.ausprd01.prod.outlook.com (2603:10c6:220:142::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.24; Thu, 21 Mar 2024 11:36:36 +0000 Received: from ML1PEPF0000F179.ausprd01.prod.outlook.com (2603:10c6:220:1d3:cafe::83) by MEWPR01CA0128.outlook.office365.com (2603:10c6:220:1d3::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.28 via Frontend Transport; Thu, 21 Mar 2024 11:36:36 +0000 Authentication-Results: spf=pass (sender IP is 40.107.15.90) smtp.mailfrom=bristol.ac.uk; dkim=fail (signature did not verify) header.d=bristol.ac.uk;dmarc=pass action=none header.from=bristol.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of bristol.ac.uk designates 40.107.15.90 as permitted sender) receiver=protection.outlook.com; client-ip=40.107.15.90; helo=EUR01-DB5-obe.outbound.protection.outlook.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ML1PEPF0000F179.mail.protection.outlook.com (10.167.241.70) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.10 via Frontend Transport; Thu, 21 Mar 2024 11:36:34 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1711020994; 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=//d3aaYQVhqJWCu849nVZ3BtIzvJlJ8LsBprpjrEcx4=; b=lEFTkbn8xIdQcc6/9a8qvuQgbjdBJiPoydeajTmnEu8RLnF3AcCTJlYtS1gytq/SJNd/x3 zz94GhyqSOxJC2HT1NVttzEH+ZZQt2iAwztmoKVwSErX+ibvvihn28VYXGrLzIZLxaxHep LGGNnuJuh55YbGsjCObVbzBpWZ1A1CEKArwFN1Ui+rtow6yGh9Mdrh6XTVFSHhUR0ZbE1Y M+e9FeEusS50LkNfy8CrXIW3cFLsCJ6BDJE+V1sc8l/Lau4LbGKQ/ZEvd+fGsHtwUWMCBA OtJlfiM2WHUMPzdyaibGSZVrxWj6z+1FNzNIgn0Ws3M9JBmyye4vaLC1u6LtJg== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1711020994; a=rsa-sha256; cv=pass; b=drWbft32SchVMi1pGRsEwbMONxIfCCj/pi0TRjCVq6aGB5AsYYyant/WOoctcP3ib+GNDp owAPtfyOGaQ/UjA4AqWW1ZzP+qIWy05heC6ufIU+sUdY+cHgPVh6HpWqI4OsGPs0muWzIC TNsZaYwsKebb1shmsz8kJRsOoKwbaMDD6F+/VJW0ttIMRl58fH0t43U7yOvdpVj4nDUr2V Lvaq9nOnPBuEJnzsMVy+cEZcLdx9ExlA3Aor/r023EU6/MR0Ms5pJIYF3DpSL9agiFwN4B 58S3ayvGVcY/NjbLYQespGRnc+3Va+XVxgUUZ3IPxBAD76AcvJjaT0aNUxdogA== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=bristol.ac.uk header.s=selector1 header.b=OB3eCfWL; 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.15.90 as permitted sender) smtp.mailfrom=alex.kavvos@bristol.ac.uk Received: from EUR01-DB5-obe.outbound.protection.outlook.com (mail-db5eur01on2090.outbound.protection.outlook.com [40.107.15.90]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-87-gjZ2ktmWODm23tExYnTaXQ-1; Thu, 21 Mar 2024 22:36:25 +1100 X-MC-Unique: gjZ2ktmWODm23tExYnTaXQ-1 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fKHgJ75+6zXEEgxi0ETcx1VycTz+YTXsZDdAsKbO1r+oT9FGNV2v/y1p+kO34QwuPwrR7083TqWPJbYWFMQ6rfmgxzCefE3Yb+6b5CoZAI8I5ZuFMmcWcOeV0cv3I+QlN0pug9rWOiDIrDSlj3t+2de++GuQp5SUYL8ohQjnZHHbqYgX1MrFfEOxVUkytN40uONyIDO1wFcHvcNmRMAvqKeMaJ/snjxk8NSg8K/y5FZLe/xAEIVuFLPGdAgi551lrO0mdh+apCVajZDuKQXYiq9CRbdu8v1jRccLyTWHwFXxfrSiw+8PNW2Psqp3Q8bKhnOQNbZYTb/5oOamOxOkvQ== 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=8uXz4vKjjZPnxdshbHMTNI4ND21SQU25f45BHFNVW3A=; b=exT8/pigx/KCMLJ75+aRFxhMekNaLIE7WACRDSRhfClOZKwsSWUKdBfxXsdoPouaEqSH4Ptlh7+bCcpxkAe4BgahsoQKVJoE4DNqmP564XBMNOmCZ/NkKmEBih5zN5xGkCOUbMzlE9lYJH2hYKagxgeCKXUwmi8+5X8B9ownMVpCTNA97nivsdmcE9fbU+m3/0tasZjW/JUUu9HxYcCz5WmaLPwodmh/qPlansyR0+BwX78a0OWYQta2X4m9XiD+nDDad3NQvhsxlj40Mt4XRJkZX3cvKkBesWXZKaN4TUiIeLLG1OxhEDLiwo1rOeTB5/AgSTzFKLsmVfMPMr1Nfg== 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=8uXz4vKjjZPnxdshbHMTNI4ND21SQU25f45BHFNVW3A=; b=OB3eCfWLrAYq9SDuSLkmE53wupwsYSTbmPvOo/CXSwClrq4oxBOvz3pvZGTz2VJhxIpIEz+u/LxEpY2xFoE6LvsrQt1d0xi/cOHYcZf5TbCpLKuwrOieM7CTa2LrOYEmeK7O9XmGp17TFLX+sYZ6qpxz8IVkQ8AW5Ukd4lDLnq0ZchUyRvkI0DSxP56eG4AG6PqZJ2K+0ABey37jQ78/pm6Cl0j6hCZgVv08u1qvnWgGCKOYKwhrgO6Eq/gufk7SIfvpx0hYCseuszTfcMx/ypxSrPsetdSrSUfTpK2B3mThmOaDuH3S84NQsClC0kycInR2dWlqeKmyfSoKE8+NfA== Received: from AS8PR06MB7318.eurprd06.prod.outlook.com (2603:10a6:20b:252::19) by AS8PR06MB7400.eurprd06.prod.outlook.com (2603:10a6:20b:332::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.11; Thu, 21 Mar 2024 11:36:18 +0000 Received: from AS8PR06MB7318.eurprd06.prod.outlook.com ([fe80::58a5:7e53:6bd:fdf4]) by AS8PR06MB7318.eurprd06.prod.outlook.com ([fe80::58a5:7e53:6bd:fdf4%6]) with mapi id 15.20.7409.010; Thu, 21 Mar 2024 11:36:18 +0000 From: Alex Kavvos To: "categories@mq.edu.au" Subject: Second CfP and deadline extension: 14th Panhellenic Logic Symposium Thread-Topic: Second CfP and deadline extension: 14th Panhellenic Logic Symposium Thread-Index: AQHae4P9/Qoi/8asTkG0fFI5Ip/OaA== Date: Thu, 21 Mar 2024 11:36:18 +0000 Message-ID: Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-traffictypediagnostic: AS8PR06MB7318:EE_|AS8PR06MB7400:EE_|ML1PEPF0000F179:EE_|MEYPR01MB7023:EE_|SY6PR01MB7492:EE_|SY0PR01MB8763:EE_ X-MS-Office365-Filtering-Correlation-Id: fd3781f0-7e69-45d2-f9da-08dc499b29d3 X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: gQEJqgg6aqEWUGHPHSbOqLPL+mYTgovnaqIhVDwpC3IUlFMu8i3xsd2/7bY5lly8rvWDVNtNU6dOxCsplJlfM6MiFtgPkT1VhbUZ2fKtu+UM507dz5O+nC1H8qRXBVmF5kgANlHe4+WX8Al2ZWjpitNZXRKfGoA3YQSupuX8cP8Cyp5+qz9aYCwukD/jCmEsU87dinrjNZgyX0/RFdjQzajDkRtAuTFo9q8FZfDLI9UlPeuaaHNeqFuGyNPZHQKMieoZEFtZrNd98yGkHAUQEjMGgHzDe/DMJkXXkjUZ/Fv6tqth/FKK9e2AaymIyEwl9Xucuej6+PoFKLVGmBIKmEB91T4HBdmOcyZyxArK2NW2gyxE0KHFS/1jxhPtrR8+2FNSezQzZkHAh4Q9o6xC3OryreW5g3DS4xMsm7cKnahSmo8fvKM6S6XlxgvnqqqDxsjIdOz5OulvDHVZd3t4PxU1Q5FNTVZmWQQS8vRn7igPrnQfLz2yBFWbsErhn2kj3B0TZJJDvnoclg3FalNfxaeFscrbfWkB4/nbw4k+EMMBHFXV/XJXS3GbzxcLm6m5d7jxs8yGHAqMbxYCth+AFyhKUghSlyu5EBE+TZIHqc59QrVP7a6e2aZk1ylW1N4RxHeXkuMrgn5Kz55fSIYGaC1QIiKuXCvbYx91Myzphr8= 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)(376005)(1800799015)(366007)(38070700009);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS8PR06MB7400 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=bristol.ac.uk header.s=selector1 header.b=OB3eCfWL; 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.15.90 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=_12403212236270131" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[40.107.15.90];domain=EUR01-DB5-obe.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[40.107.15.90];domain=EUR01-DB5-obe.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: baeaedba-2dd9-451d-d3d9-08dc499b202c X-Moderation-Data: 3/21/2024 6:44:32 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: +hrFZXlUxPfhKoqs35qL3pfYoJYu6gAD4rliqsIOuiVVarYI2aRdHrailL7gCXv5nYpZy/F3XmsPxsOR3ULSF4gPRQPl/aWBw7wav//95jsDTClVPFSEz8pfvOxzAAt7f9rutit4WX+RT5W5nBxzvlNnEqUavHahziESxM1IdFYpGqpGZOIoWE0EqAfl5u5gFlsCB7XdnQPZ9nwBLbt0CwuiBVXM57sXuLrjpGRrO+fP092carS0XgUnklMh73ilr8N2E2qSPEk+yx4s68BXuvg8fCyHeHQ/1HcMkIrtExXhKn2t/QNrYvqm4KG0oIBzsZIqQ2cVTSDsslTsYZhZkWviw9ltDKmaiIfdVDk3oNECV1k9v0t9ROzeIpa+PIEjIopEyliJEogK/RczoKsafbSVdM1TZ4OXKHpXGEPLgwEd9q6Fvspw3kO2Fv+ZXIdl+XBQfT1fvDXzKeChFTYTxJfUbpni8jLymg10OkL+yCisMDOb+7jcaVBVF0NnsUtcouY5X2P6yALMd1KJp9+aCElZIhsZYvEnGB9cT4U4Kk+qBOdNbJHXNxZu+h8inJlgxw2mSWOwToQe3NxziHxwYkXK8prnJ+7vpmMI3tGok5FcoTIv3tgxcJaiFM+b0v+awBeI9ldEcuAuKMDSBpvfB1nWst772CFM+spupJEid3kvH/IyxAA3MpzJdoExJbsz3pTePq9OXh5v81kAXnk4jHyi8QZRDlB5c2m0UebiqaYBpLNZSHvsjnVWdznvU/twKC2Tw8kMu0sf1YCOpVxAwhPeoLjfgcYpT2SFJWbc0C/42whfowf4l2HF5M8qnLe6annLtyjMZFx0MuaMlfaOyQ== X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:IE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:EUR01-DB5-obe.outbound.protection.outlook.com;PTR:mail-db5eur01on2090.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(35950700004)(48200799009)(7416005)(61400799018)(82310400014)(376005)(32650700005)(41110700001)(32820700001)(17680700008)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: fd3781f0-7e69-45d2-f9da-08dc499b29d3 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 Mar 2024 18:44:33.7024 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: NkS6MNaAvgFa7NaPS1SrBTV+yG6Ql3KVhYGMm4mcQhR3kUN9nKGsCE6nGHd+Mfe6rIN0yp6qdgxQWZyp/OQYSFU/pgeYVd37+clVsl+5F8oV/xurqjRr5XgPWOQQXd+Df5RDIxJUTCscJi2jyDdS3SIbjWJnUKJDQRf1xtTeDFFazhmgu5NyDfb5fS6lxhVQ X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY0PR01MB8763 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?ZIKjXTxByD2Ddp8YX0wDyOcs8iqb4UH7AJADov7Uy+aENl7LnU2Kejzc?= =?Windows-1252?Q?r37Nh5IdKsshuRGufA9vu7NupR722l4eXFWwDGBLhGgOZLEgl/P9ZVPN?= =?Windows-1252?Q?daAaatwwqicGMFH1manZKwy/L70IapncnJbF4mZK7CJra60q3QLOYdj3?= =?Windows-1252?Q?I3idrVKIwoU5PCO/VnOlNB2WS3TMNOIu+tlNvnq9+3fM3n5r1rTYdcHt?= =?Windows-1252?Q?POIOSiDwoWwybRt0wMLEYWxPiOqn/ClvTV4+bvLYqYL6NPxlgC4/sQby?= =?Windows-1252?Q?66H8bZ1MlcsB84Qr255dwOpP8gffsOQuuvG/3E0SSUHN/vMflOidVlT1?= =?Windows-1252?Q?fbBYKTpo9+Au0DN8hBAheMRFXJJrLp363jMScNyAnYoVPIa/g/QV/Kog?= =?Windows-1252?Q?ebzilP6i7V4yyAQhIuYR8qKoY9oYC5lmI+202QkvSr7/90XfI6jTecAx?= =?Windows-1252?Q?xyZjYg4RVgzeIfzgP0L/d75bxaabVO8t+mT9Ogt+KO28tGaKE5XXYpBd?= =?Windows-1252?Q?6Jgt1sMCI75ZTot2wPl5hrPbB4zWfDOmn7R6fImtXhnVfax2KBQI7NLh?= =?Windows-1252?Q?+kY7JgB+p8r+Zb+3m6YI8Vi5qVBJIHV9ApMzXhcNw48CXTpiPn/MC3TU?= =?Windows-1252?Q?pptfE9shO/ipx3kDMNaMUsJOeX2HkAzTVUimvidO6cYe84u4ZftiSRW0?= =?Windows-1252?Q?NrQ5zy/SeS4Ds/1XKuwoZhpOs1SFCOrBIdldZcA5WeYWZaLJff+VKeFP?= =?Windows-1252?Q?YCOLUSA8HT8PYf6yt+pYafndoHACxeGXb/lcELRNC8rO9Ew3Akqh0Hca?= =?Windows-1252?Q?0J1dkHWDq6hW5jXfqjxPyRkTuDFF3ZpRfkIHTgsi3wjs7r0dBKnqjTuX?= =?Windows-1252?Q?u9JsYPnMa/cqxxy9odd2WqgoEatYeuLKSfbwGDJxM8sI9ee2Xz4u4Xqp?= =?Windows-1252?Q?mVHwamvaUty08Dk/i8vRPo7W2xO90hsPMkkHnVyZOuMZTlE5uJ+DWheo?= =?Windows-1252?Q?yIKs1B160KHoy3rT8e2C9yUNqF4hjgfDtNpSM+6NbO+OyB6NJC4yUDPn?= =?Windows-1252?Q?VnbtCYJfjXH7GlxUGziUfnHWrTr1FP88CCMYR1h5YNLUjNbhtW3gvXUs?= =?Windows-1252?Q?EKAU+cQFig9FNf1Y+zlTTB2KtgpTa66PoePQ77CEcplUWjrgi9/3LaCt?= =?Windows-1252?Q?IaqJIVJ18T/cBdn/BCfEYiz9cjfdiBP3ZlIrxbfQJQcJ+gDwEPxaaoQn?= =?Windows-1252?Q?pUkYicC14P7daOk4s2ZEwkqMcyqtptgg25qIWzfoTQPDIWCScUdprh1F?= =?Windows-1252?Q?ZwGjewLcqZyh7KoAJbeJhgGyFHY5mwW9kvHHWYulQzOMp8/9?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12403212236270131 Content-Language: en-GB Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable *** The deadlines for the 14th Panhellenic Logic Symposium have now been ex= tended. *** *** Please see below. *** PLS14: THE FOURTEENTH PANHELLENIC LOGIC SYMPOSIUM July 01-05, 2024, Thessaloniki, Greece Organized by the Aristotle University of Thessaloniki http://panhellenic-logic-symposium.org/ 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 - DEADLINES HAVE NOW BEEN EXTENDED * Deadline for submission Friday, April 5 2024 * Notification Monday, April 29 2024 * Final version due Wednesday, May 29 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 [to be confirmed] - 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. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 Foundation Compositio Mathematica Association for Symbolic Logic Aristotle University of Thessaloniki University of Bristol University of Cyprus =85 Alex Kavvos =85 Senior Lecturer in Programming Languages =85 School of Computer Science, University of Bristol, UK =85 https://seis.bristol.ac.uk/~tz20861/ =85 Alex Kavvos =85 Senior Lecturer in Programming Languages =85 School of Computer Science, University of Bristol, UK =85 https://seis.bristol.ac.uk/~tz20861/ 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=_12403212236270131 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=WINDOWS-1252 *** The deadlines for the 14th Panhellenic Logic Symposium have now been ex= tended. ***

*** Please see below. ***



PLS14: THE FOURTEENTH PANHELLENIC LOGIC SYMPOSIUM

July 01-05, 2024, Thessaloniki, Greece

Organized by the Aristotle University of Thessaloniki

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

Dedicated to the memory of Thanases Pheidas.

Paper submission link:

https://easychair.org/conferences/?conf=3Dpls140<= br>
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 - DEADLINES HAVE NOW BEEN EXTENDED

* Deadline for submission Friday, April 5 2024
* Notification Monday, April 29 2024
* Final version due Wednesday, May 29 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 [to be confirmed]

- 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 (ea= sychair.org/publications/for_authors). Submissions will happen through EasyChair.

Paper submission link:

https://easychair.org/conferences/?conf=3Dpls140<= br>
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.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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

Foundation Compositio Mathematica

Association for Symbolic Logic

Aristotle University of Thessaloniki

University of Bristol

University of Cyprus


=85 Alex Kavvos
=85 Senior Lecturer in Programming Languages
=85 School of Computer Science, University of Bristol, UK
=85 https://seis.bristol.ac.uk/~tz20861/

=85 Alex Kavvos
=85 Senior Lecturer in Programming Languages
=85 School of Computer Science, University of Bristol, UK
=85 https://seis.bristol.ac.uk/~tz20861/
 
 
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=_12403212236270131--