From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 11492 invoked from network); 23 Dec 2023 00:13:27 -0000 Received: from mail-sy4aus01hn2244.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (52.100.199.244) by inbox.vuxu.org with ESMTPUTF8; 23 Dec 2023 00:13:27 -0000 ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=nMTn/cD+OSvKexeHasIA7cJIR7fe0vwHXOXTyIx8we/nqz5S1qFha/5lfcFdJ+NWVl+sjURXg1zGTYqTx7IzsCFdLbBLBya5uKSdqXtTanVwagYZauLB9d00xb0x2Msq0bxwPeDP01kUqwxtc5l/Js5kizKYNkeB5gzepyutIh+tyuiJuLMTE495Y6CbWJo95wdw4usJNAUFi8iKv2Y1ufn2TmQq+PmyXJInW29rhfyCXwyK7y92QXl0yNQeS0YY09+4n+PE8iuZ2WvLFjmaA70gSAqQacSWvDA7wlHeW6H2WDO2ISqdAvcbZQsDQC11+sHOevsD6V4lYB5JCL2NyQ== 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=WmJeXkoFWmHl4IXDhzSux9GAViWQNoe9sHScFi5IkV8=; b=gmbSZ2Ji0n5PBqsfgWozOcfaj4YOTuAx/+s7d8f2ehpUURwnuI+0fSzHQJ8J+Ero1bjCTM8Wlp4XB13OcGzbT/mEsQHyt2QMtU9YhAK5jPte7dqM8WEThAchNjnbSBGJ3PKEtiMl9w/i8gI7K0Sc4NNFxnMFL3t1iZnLdNQ5JTDImbIyzhTeKdOaYxt0yIbQ9P6oXeZWIL8hgY/+UtAngbCt1Bonv2vpkclZ5Qr3cQk/2C5UZNoHJa4s1e/QVNPm9BQ78KrR+j7/ud+eOFTG8G8LSGP9aot6rkigKIs2l1x2s9qyZTG6BvVD3s+D5yudcIEX+aNuiTNAfeznYQzaEw== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=temperror (sender ip is 129.67.1.170) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ox.ac.uk; dmarc=none action=none header.from=cs.ox.ac.uk; dkim=none (message not signed); 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=WmJeXkoFWmHl4IXDhzSux9GAViWQNoe9sHScFi5IkV8=; b=IeLztDCnfbuyOD2mpTDiQds4mk1CSPfMAPf07My2V+kbyz1pAQTQl61j9tm8IGkUxUrP2ZQdpqRBm+KyYLNihyTNp5nGq3315B30zCHMWdCg+6nkqWa6GyWz8sjii9aQW0JmCp1MKC09S3bfBGE1QrBCi6ZQgA5pkqMr+4o5dEzXXhsWyCajDVo104UOEYUlNBpICBP65TXA4GI5aZYiQCAVceZkebBSdAfutTJTlze2CB0V2LZGaR0OEIgAwBXjQJoQh5nL0VJTQgLtUniZ/SwoYqsPqbFnHKkcF2YzYnOHS1VlXRAf5Rkig8w3MMmUvW2fbGvMApekASXkDBxEXg== Received: from SmtpServer.Submit by MEYPR01MB7457 with Microsoft SMTP Server id 15.20.7113.22; Sat, 23 Dec 2023 00:13:24 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=TnpX/fF5WloZ5Pd2d3qdvVUCTFr7srT/k46Eejmu947YW5TVBjkixiK3uMUVFwlpX4crBtG53purdYGii0I3YRVTukJvckl+sVK/YJiz1xYIbiPA4FzN9hLWtwrjzz5gMAvV0BEinUphwe0KBWqHPYEknbntRKH2WqWuUpzwK9swS5w1f+cGGCcl17rRYSHR9bwu6ONza33GmgbRPoqZn5qifOIanY580FAzzwY8lHFb3eehs6bWTlM0nTt4apHoEMqi79gVnNxp/MiAoccv23Bvyiny12H3pvj9t0/F6FjGrXk4ukpgxJ3juQoAFCBbozboSG/vpXA+r5nzzTMprg== 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=U2reiTzfXPAWKa+HoUjZ4reR+lmKUC5FYoQdNL6GieE=; b=Ouk/NquHDfMxVT4khDBl8t+wEKGbTvIDm70bNG+zQuynvrYKFvqmGPKMSr7FwppR0l8n9Sloxw/ptGdMU86D7jZ1/SmXxICPj1Y5R9EZQ0WjZMnl2fvxpJOEXrxPuQgBGQnQ0Zl9tGVYP5eRx8s7Syq6jUA4uQUgGGjq5Q3dCS7/T+H0DTPGQ9+T4YXquz3wfMOqkxVKviyYgrRzcyb7SDlhjt5cQvSF5otPxw+/rEGw5HUOMSJjI8QOoRrLD6xjjQhus1tPRgiN1Lo1qsw2w5q5NAe196Dd/8H6QRcR9tqV4R7Q5hXWxrG3Zre6oAvaTi2RdI4skx5lDNh7Wa1lcg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=temperror (sender ip is 129.67.1.170) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ox.ac.uk; dmarc=none action=none header.from=cs.ox.ac.uk; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB8051.ausprd01.prod.outlook.com (2603:10c6:10:1c2::6) by MEYPR01MB7457.ausprd01.prod.outlook.com (2603:10c6:220:15a::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.22; Sat, 23 Dec 2023 00:13:19 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com (2603:10c6:220:2a::17) by SY4PR01MB8051.ausprd01.prod.outlook.com (2603:10c6:10:1c2::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.22; Sat, 23 Dec 2023 00:13:16 +0000 Received: from ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98]) by ME2PR01MB3970.ausprd01.prod.outlook.com ([fe80::415a:53ea:a168:7d98%5]) with mapi id 15.20.7113.022; Sat, 23 Dec 2023 00:13:09 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ei75JzcjikRbh+Yv01mtD1j30kIv0kzR55bDV2q6U2Iqvm4fgkYbxpzFDTjV7qX6KO0OJ6uYt4KYZKoNvzEcRnjT3y2Lrh1VyRjXrFLscYelm0aeHO7Pvm8K4WnQ+ehhuYVAtcgYZCjn5gPvamaLBy5WX1gV3uEIjlpEdJnM5PeafaSbZyQbjmfMvcF6tP4czq2PmZdXif1EmVNe3j9laIdFJTU3v05WAmEMMaNr2+Ihf1GPV5aIwziqbp8FfruQFON3cGHKEsqYROEmV70AJYMAe9dW1mH21VRnxext1lJhVKS+Wc7QI+taYcHqw2SidiywKacY7yN00eIjc0oi6g== 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=U2reiTzfXPAWKa+HoUjZ4reR+lmKUC5FYoQdNL6GieE=; b=IYT/5enkGIi1LQtYjuZHSZ8FNS0nSX/cb0TuMKvXQZATrwGaRXvlZmfqkWWPrP+zfME9FzmY1vbcupAYqovdci6Hy/GNyPf2rc6DmYXNn1CyypmkBk7KrfEeHMl60E+fsTqb31dH7bLQrXwQW4GS3Z5UNBvrNjATWhPKpRbvCHqV2FqYCBW+c29Hz7oGJgF5nXLfIGpZhXUh4UNyQy+fr3yJDyPE/6BzU3QvQo2qQzOGz9tK79Eq++LEraZdRWYUxPVDfqwMU+eNHYwTBypKSRv4fZsmWEPtGipJ4s48F+a0tYdaiMYwDZvrbGZYg1oIWePeO42ftKBDXs4aX4y3nA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=temperror (sender ip is 129.67.1.170) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ox.ac.uk; dmarc=none action=none header.from=cs.ox.ac.uk; dkim=none (message not signed); arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0124.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:209::18) by SYBPR01MB5805.ausprd01.prod.outlook.com (2603:10c6:10:e4::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.21; Fri, 22 Dec 2023 20:04:10 +0000 Received: from SY4AUS01FT018.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:209:cafe::61) by SY5P282CA0124.outlook.office365.com (2603:10c6:10:209::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.21 via Frontend Transport; Fri, 22 Dec 2023 20:04:10 +0000 Authentication-Results: spf=temperror (sender IP is 129.67.1.170) smtp.mailfrom=cs.ox.ac.uk; dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=cs.ox.ac.uk; Received-SPF: TempError (protection.outlook.com: error in processing during lookup of cs.ox.ac.uk: DNS Timeout) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY4AUS01FT018.mail.protection.outlook.com (10.114.156.133) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7135.12 via Frontend Transport; Fri, 22 Dec 2023 20:04:09 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1703275449; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=U2reiTzfXPAWKa+HoUjZ4reR+lmKUC5FYoQdNL6GieE=; b=UYJFqPK+GI0lQ+r+Mjs3B211uHkVyDsKmoZ7d+xUvtL0B5LP22I26xo38c69hP6/NnKjtM z3aVkvCccSsVYaiN/FmMR5lXJbcD1rwVcm4cZa42CI52gP5ALF5nVTObU6mTmIHmkhWJS7 GpBO3YbmrD623mLFrxC2uTVkvxJ5xrI3FFUi/HaoWkznfglSf6DUwTgAado1UqaEDT/71f aPIRcv5ndfTeGgfg/oQNK77qTKOTvg8ZPNMvFaVfxK4Dr+tfdPqeQ0JvUHCOk2hrY5yar+ hg0xjhhsRnCVPspMunJ4iP3+5oYVEiRFNmB3mZtdxpqpuRUgSuq3AjU9WuyKzg== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1703275449; a=rsa-sha256; cv=pass; b=emEDYC1xqWLw0Piz8+3X/wldOKHDtf15EYRdgyVtobPIsATPmST5qqYftsD+ZgfKYKlVfx MPduMSxFoKQZc873BLByjmx0hEa+9WI/Bizs753FTW+8ZlFnGO2NRHLaEbCN4D52QdWqAd HRr9jvfTfq9fwTKlLUnnfYS+cRacWSN+iCoBJoZ1V/Nb0dGRDy9cDTg6GlNqucw463vGyo 6g/Yo0SkoIzlwZM10fw28hcLCRpreu5ICMh+7eVQIbRP1NBI5uU4QSc+PYygThoE4wphll G1vUORJaiSgWgZaqCiVs75KSqSzTX8TH1nLSjAMI91y24ztEAe6pCdEhkXQRkw== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=none; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=none; spf=pass (relay.mimecast.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.170 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Received: from relay19.mail.ox.ac.uk (relay19.mail.ox.ac.uk [129.67.1.170]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-31-53CCeHfZOhyvoFHErqE3Hw-1; Sat, 23 Dec 2023 07:04:04 +1100 X-MC-Unique: 53CCeHfZOhyvoFHErqE3Hw-1 Received: from ex2016-01.nexus.ox.ac.uk ([163.1.154.141] helo=Ex2016-01.ad.oak.ox.ac.uk) by relay19.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.92) (envelope-from ) id 1rGlkW-0004Fh-Ag for categories@mq.edu.au; Fri, 22 Dec 2023 20:04:00 +0000 Received: from Ex2016-01.ad.oak.ox.ac.uk (2002:a301:9a8d::a301:9a8d) by Ex2016-01.ad.oak.ox.ac.uk (2002:a301:9a8d::a301:9a8d) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7; Fri, 22 Dec 2023 20:03:59 +0000 Received: from GBR01-CWX-obe.outbound.protection.outlook.com (104.47.85.40) by Ex2016-01.ad.oak.ox.ac.uk (163.1.154.141) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.2375.7 via Frontend Transport; Fri, 22 Dec 2023 20:03:59 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=O3msWsavR30OLTmBrfQK3iOFVENBEDoRQ+YW1ncg1y923927/Tn1UBc0B2NuXvlUFzJvlcWVTezIFXh0LyZ4OQbbvukgQ9qAAajyYqWKEJV+iJ3akWX900stgl4CUCuN7HT8/1Clm3NfgjEF9cHr7qOFD1sh9QQxLyvH7O8XFPgUKcgZrTJjdSgh1GAUTXBmQ70F2khhhN/tpIhbUm6UOkP/gMG3PXqvGA6LvnW1fsEO/peXWzlF3hTjVipA8hcHldAnoyvFp7sz96BjfHSQZIibl0PdrIkVNd7visjdg3nmiZvioFwgdojL59r06UGKQI01W3VjVdSnNZlt8TCS6Q== 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=X6eHiY6hw6oM3B6YzK84/mI22GbylXbCsHClAjFV4FE=; b=FtzSGE2jyYiNLpdTBf8G/8H4CcDGjkSojaDEEz1DQvIjQQthjNhJSk+0gdMlPVuqOXgNvCOZWseNg2sE/3y3UOJarfIkJ+Ucv5lALTGp5T2uQdPbfjORdakCMsBAIhBJjCdmOS2LJVvW2YWxMva8SXPYo59aa3RhrJi6CFLxVZvCOSJr0LGWn7aA/+lAnqIwirRH06SIzVcDsEL+xNnbAVPq9XUS5BWBJ9uNAvfu/KqNQj+3jHdKOZn1tJ5D5AEZc8cv+rOn9CIa/TMAZ6C3spuxtePvVjWzM1zfrHE3pCU6YTjM81DVj1lqzS0Y21pviUzff+1Krw8xFDsx6/5z3g== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.ac.uk; arc=none Received: from CWXP265MB4186.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:135::6) by CWLP265MB2595.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:a1::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7113.22; Fri, 22 Dec 2023 20:03:58 +0000 Received: from CWXP265MB4186.GBRP265.PROD.OUTLOOK.COM ([fe80::5511:fe9e:afb1:d272]) by CWXP265MB4186.GBRP265.PROD.OUTLOOK.COM ([fe80::5511:fe9e:afb1:d272%3]) with mapi id 15.20.7113.022; Fri, 22 Dec 2023 20:03:58 +0000 From: Sam Staton To: "categories@mq.edu.au" Subject: LICS 2024 Second Call for Papers Thread-Topic: LICS 2024 Second Call for Papers Thread-Index: AQHaNRH/MXo72kE0SUyk/FDRjW6Hkw== Date: Fri, 22 Dec 2023 20:03:58 +0000 Message-ID: <9483D654-B1AD-408A-BF24-B029B2210E6A@cs.ox.ac.uk> Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3696.120.41.1.4) x-ms-traffictypediagnostic: CWXP265MB4186:EE_|CWLP265MB2595:EE_|SY4AUS01FT018:EE_|SYBPR01MB5805:EE_|SY4PR01MB8051:EE_|MEYPR01MB7457:EE_ X-MS-Office365-Filtering-Correlation-Id: 763ced28-6981-4e8c-c43d-08dc032928ed X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: OTfZzJ/Pv56HQBsDiXvna71AWogWg1UAjva3bfe5oD7E3VadfxgPwmM/y5rFcZBiTm+wFcQbiRK4bdKZ/9Xy6radUJ6vquqevnqFgY0/Nd3EC716KWOZqnkuJGiyIR0I6h8VT12qPIVNQC2tSB5HqVA6hJ50NtFRsebvWJ5mS/qtuEkFc03v0CiGvY1I6uZ9gizno8jbfrNpqHmPHrp/2nDnoFENzgMnTBxlCnKZSd+R5UdAs0US6gPkxLccBRUrEVq4E7+BfHnaE+6Yp2yuMbPLoei50QCVpg8/1w3kZARxx7nvJPIrdIG+/J0zxoCMSfR02Q5kPj8RMGDkhODoPmoi7gEGCdVpQngUXBpRh7emenTEci5BAmOjl/s82Uf5i5cL0DIs7R7BvZGiDebEvq1anHW+9HrF/wZoYg/Jjqfup4IOiOHfwimbt+mqHq6FYuq4G18Sq8xzpXsVj8XYRZ87Fml6y3mqpZj6v2rc1OPn4Srzw0XVvIk0H9heKEi/zYGYeQ02LRrg5cJn37gq4OHFCIr6M8CJdEpEP9QFeoq/pwAy026AxFq0LkpwL1znJ08KiCrt/sbpKH2zzJgLnV8QAZ+Ewpe3YVViFmC7KyGn4MHIDHHcZa5HAkouaBdaLeoSV4Q6LSKBuWznxnu2fjntHQeow+e0rp6vn08kBgM= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CWXP265MB4186.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(346002)(39860400002)(366004)(396003)(136003)(376002)(230922051799003)(64100799003)(186009)(1800799012)(451199024)(66899024)(4743002)(71200400001)(2616005)(6512007)(6506007)(122000001)(38070700009)(38100700002)(33656002)(86362001)(8936002)(8676002)(44832011)(91956017)(83380400001)(2906002)(5660300002)(41300700001)(76116006)(6486002)(478600001)(966005)(66446008)(786003)(66946007)(66556008)(66476007)(64756008)(316002)(296002)(6916009)(225293002)(45980500001);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWLP265MB2595 Authentication-Results-Original: relay.mimecast.com; dkim=none; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=none; spf=pass (relay.mimecast.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.170 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.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=_12312230704070431" Return-Path: bounces+SRS=1Sz85=IC@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[129.67.1.170];domain=relay19.mail.ox.ac.uk X-MS-Exchange-ExternalOriginalInternetSender: ip=[129.67.1.170];domain=relay19.mail.ox.ac.uk X-MS-Exchange-Transport-CrossTenantHeadersStripped: SY4AUS01FT018.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: c4d97173-8516-4a09-5c76-08dc0329221d X-Moderation-Data: 12/23/2023 12:13:05 AM 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: =?Windows-1252?Q?621hNVw8YcXJ1ClaaIIe0CQ64JCkU/DtLtPjrEGz8mtlV6myEWkV9U9p?= =?Windows-1252?Q?rjpCUOo704gZq+GWRwohmT495b9NhRIJJ4bFSrh6V+EbeCsZ7JKCO8ks?= =?Windows-1252?Q?wfsoKXmEW5k8jDeTHYn1R7GQsgclkPMwoBCRD/MHDsj82G+5XbmCo41b?= =?Windows-1252?Q?ggyRZyrsewfCcMtF21nYPlMfarCqG0XiqsdKkce/T0R/z3Zh5brbajde?= =?Windows-1252?Q?321NOd2dQ7jxp96AqWITMM0JoCLG2E8h8D1zMQ6+wAWdAFb/AFFWH6IT?= =?Windows-1252?Q?MDyldejt4SgQKheEw/HLa6puVQMmvsc8g2umNu0U6mR99p7lrfboVPOQ?= =?Windows-1252?Q?o6gjJIPCzJwJD0ATxeTo1OUldNnlBYZ7LsdiCC3PnIjrPUIE3QRX/dTp?= =?Windows-1252?Q?/1cISz/29Wh4fBpTwg5mJ6F4j41gh9suMYWuo3+wB9og2MDlL6zmiabO?= =?Windows-1252?Q?8qsDH9piyMyhj6Vxkj6uKIFS5mOpjaWkgCIMkyQGcajEhvwLwNTYtfOT?= =?Windows-1252?Q?Jbx2faYdb2vpEgrU2B4XlGsiwW6H0NZ3hV8KANxfpCDow8MMf+vDcUyF?= =?Windows-1252?Q?qZwk315aI9yCEZMIqUuxbXjXMd32Z43PIog+l8JKOnpM/76sjvbVfSIN?= =?Windows-1252?Q?lnoKRBW4nfITYC7q8Kd+OErgpBfB1CXTg3dvbcwqk8hIDGIALnzK9mHO?= =?Windows-1252?Q?psaX4t+bMH1qc2ynNw87hWNVvcAtsOhWWWL+zyuxJKKybcTPfyf32DkV?= =?Windows-1252?Q?ghUCHerDOkIfjYK55wyofmsKYkZpSLK3yjTCUayNv9SFOK3s/XxtjcJr?= =?Windows-1252?Q?Up6kunjdyioY0hQ0Da67XGrG8VrJZyTQFXBxVHw6dIMXcXVNxUnV3hZ2?= =?Windows-1252?Q?A0pAEhGtriwDAE99fufw4TZEhjJZxAAJ97wdSbT4h+RXacUi8JE0/Cj2?= =?Windows-1252?Q?ICeaSL8JeBrpdOrV2bofnzzCUh1pBq0hUoDSIqem9DsKsrq+dMWi0OWl?= =?Windows-1252?Q?P+klWnJ0q6NMYlN32Va1GNnTnZsVqg=3D=3D?= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:relay19.mail.ox.ac.uk;PTR:relay19.mail.ox.ac.uk;CAT:NONE;SFS:(13230031)(4636009)(136003)(346002)(376002)(39860400002)(396003)(82310400011)(61400799012)(48200799006)(64100799003)(8000799017)(451199024)(40470700004)(32850700003)(2906002)(44832011)(6862004)(8676002)(8936002)(35950700001)(6506007)(6512007)(26005)(166002)(2616005)(83380400001)(32650700002)(82740400003)(7596003)(40480700001)(40460700003)(41110700001)(5660300002)(7276002)(7416002)(7406005)(7366002)(7336002)(33656002)(41300700001)(86362001)(16799955002)(66899024)(88732003)(498600001)(966005)(89122003)(70586007)(156005)(68406010)(45080400002)(6486002)(76576003)(63350400001)(336012)(316002)(786003)(17680700008)(225293002)(45980500001)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 763ced28-6981-4e8c-c43d-08dc032928ed X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT018.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 23 Dec 2023 00:13:09.4302 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: GhVptSTbzKm9H2a1tqADS3aFJy6kXU5Dharw/fk7IUEknoCtvrFoaEnMgPABjClXrd/4Lk3wKFqqr2HwhY4mBV8NwrT/w/YyHsggmmyN2wyHNY5KyQ/OM+fUITvxWUlBJBUUkBkBHGVLjmUkOeU2D49nat9Fgs5lAz8aoGkKsACOd1IPn0mSb+vOkie679FL X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB7457 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: <9483D654-B1AD-408A-BF24-B029B2210E6A@cs.ox.ac.uk> 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?/1mvEfKfKVkvtuRLgBsm4Idw08Ym0X1w4q8IZhiTqu1LDJ+IjqEej+NB?= =?Windows-1252?Q?7NE5JWhQo5kKBjGd34h+ZLyoqgNcT9iWvwzBnHR8hJOHFXckduUlP1aq?= =?Windows-1252?Q?cLcphRvJSOYfNzYPHjSKJpOYLCixR8R6k4mq7cfx6LXiXAvqhvzVOUtR?= =?Windows-1252?Q?7dv6oaT3idAwqCRVpgzgcbwTYIQ2hx76wk97WiMWb0DR1MizK3ujYfZY?= =?Windows-1252?Q?i3JHl5kLLmH7mVP8LGpygmNs4AI/wOoXR3Z2iPKezqcHhKzSfN9jjtOM?= =?Windows-1252?Q?HJfgDnuKcI87wOvyBY1cc5TalZtyUMYIp6uoRq4SlY/JKErkq5n6Ua4h?= =?Windows-1252?Q?VTNWjUVisT8FNt6qMWRRWohTIfH8F7kAY2zsoCTOI2z2as4IqQFcvIde?= =?Windows-1252?Q?U9bmL8HVjXmpiukrD9dnt16ye9bE1JE78Q0OG//HHRFMRvdhZFOXD4zi?= =?Windows-1252?Q?JB+q7KNhWrfbmdF4YZltBY1yfaQb5e38w87QRuqUSta/a0UcqJHjEgXz?= =?Windows-1252?Q?h68q+O4zAdh85um8sRiLXc87MKeFjD9wfAu7VLZi9KYYoP7ITWjuSFmM?= =?Windows-1252?Q?nGMV/iBK+E00RD25ES6jieuddPDTS3wciEVuH/z0vizxYEftwAgfmFWw?= =?Windows-1252?Q?HurB+/awDE36UDb13CtAlV8FcmlQzSxmc5pCnxacOJXdf6ji3BNoa/aN?= =?Windows-1252?Q?EeNzDdG50kkyRC2iCbhdCRgqhlUdFE45E9QuwBLUUiV8knJ5aTRyugcM?= =?Windows-1252?Q?GX6H0bWY+9Zxm/YSUYCsYAmQ5siYMo1JDRpFZsfhwJPWIC81rP3WT48d?= =?Windows-1252?Q?gNUK8yJnSauQz20bQA+oIdv7ZT48ILvJSZdSA8IZx/ktsMtGReWN2fYd?= =?Windows-1252?Q?oLFB6p0iQTdv+gOAEhKA7IRqhZzy9KeXZHlBlGcuX5OvHMwt2dUwX7VU?= =?Windows-1252?Q?ryq0+oGxP7Z3sgHttCsGf4hTokJ+H1o5afFVzCa+J9WojzwLFAiPt8rF?= =?Windows-1252?Q?5doMjGT0Snny4CZLWk3gJSDdhHN4mkWbBnC3ar5riebMj6wEL1i8Uu//?= =?Windows-1252?Q?211n55kS6f5YGoV6Bwt5AirDKnNxbnY1KRzMQJMVTBweNNObkGYwN9HC?= =?Windows-1252?Q?bQ8gcukazqw7x88qICqhcZRcffF90hp3D84MyVckLP8i4tD3w37hvFSQ?= =?Windows-1252?Q?aSGHqWACpSfWUPKrivWE6HPgv63/ykJh9UL9PQJSezmOSknhLfy9U4e6?= =?Windows-1252?Q?FXEdW5lbGWlGjeapK6L1KQKKnOg90fYzytuFp8M1oohHA0EIDB01toeO?= =?Windows-1252?Q?y6hICNIe8qKgv+IaJLfwZ/BStuswpESJq2kdaaVzb9vSrsEl?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12312230704070431 Content-Language: en-US Content-Type: text/plain; charset="Windows-1252" Content-ID: <0C63EF1A81C1A647B121B34682C833CC@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable SECOND CALL FOR PAPERS Thirty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Tallinn, July 2024 https://lics.siglog.org/lics24 SCOPE The LICS Symposium is an annual international forum on theoretical and prac= tical topics in computer science that relate to logic, broadly construed. W= e invite submissions on topics that fit under that rubric. Suggested, but n= ot exclusive, topics of interest include: automata theory, automated deduct= ion, categorical models and logics, concurrency and distributed computation= , constraint programming, constructive mathematics, database theory, decisi= on procedures, description logics, domain theory, finite model theory, form= al aspects of program analysis, formal methods, foundations of computabilit= y, foundations of probabilistic, real-time and hybrid systems, games and lo= gic, higher-order logic, knowledge representation and reasoning, lambda and= combinatory calculi, linear logic, logic programming, logical aspects of A= I, logical aspects of bioinformatics, logical aspects of computational comp= lexity, logical aspects of quantum computation, logical frameworks, logics = of programs, modal and temporal logics, model checking, process calculi, pr= ogramming language semantics, proof theory, reasoning about security and pr= ivacy, rewriting, type systems, type theory, and verification. IMPORTANT DATES FOR PAPERS Authors are required to submit a paper title and a short abstract of about = 100 words in advance of submitting the extended abstract of the paper. The = exact deadline time on these dates is anywhere on earth (AoE). Titles and Short Abstracts Due: 21 January 2024 Full Papers Due: 26 January 2024 Author Feedback/Rebuttal Period: 18-23 March 2024 Author Notification: 15 April 2024 Conference: 8-12 July 2024. Submission deadlines are firm; late submissions will not be considered. All= submissions will be electronic via easychair. PAPER SUBMISSION INSTRUCTIONS Submissions should use ACM SIGCONF Proceedings 2-column 10pt format and may= be at most 12 pages, excluding references. Latex style files and further s= ubmission information is at https://lics.siglog.org/lics24/cfp.php. LICS 2024 will use a lightweight double-blind reviewing process. Please see= the website for further details and requirements from the double-blind pro= cess. The official publication date may differ from the first day of the conferen= ce. The official publication date may affect the deadline for any patent fi= lings related to published work. We will clarify the official publication d= ate in due course. 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=_12312230704070431 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=WINDOWS-1252 SECOND CALL FOR PAPERS

Thirty-Ninth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)
Tallinn, July 2024
https://lics.siglog.org/lics24

SCOPE

The LICS Symposium is an annual international forum on theoretical and prac= tical topics in computer science that relate to logic, broadly construed. W= e invite submissions on topics that fit under that rubric. Suggested, but n= ot exclusive, topics of interest include: automata theory, automated deduction, categorical models and logi= cs, concurrency and distributed computation, constraint programming, constr= uctive mathematics, database theory, decision procedures, description logic= s, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computa= bility, foundations of probabilistic, real-time and hybrid systems, games a= nd logic, higher-order logic, knowledge representation and reasoning, lambd= a and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinf= ormatics, logical aspects of computational complexity, logical aspects of q= uantum computation, logical frameworks, logics of programs, modal and tempo= ral logics, model checking, process calculi, programming language semantics, proof theory, reasoning about sec= urity and privacy, rewriting, type systems, type theory, and verification.<= br>

IMPORTANT DATES FOR PAPERS

Authors are required to submit a paper title and a short abstract of about = 100 words in advance of submitting the extended abstract of the paper. The = exact deadline time on these dates is anywhere on earth (AoE).

Titles and Short Abstracts Due: 21 January 2024
Full Papers Due: 26 January 2024
Author Feedback/Rebuttal Period: 18-23 March 2024
Author Notification: 15 April 2024
Conference: 8-12 July 2024.

Submission deadlines are firm; late submissions will not be considered. All= submissions will be electronic via easychair.


PAPER SUBMISSION INSTRUCTIONS

Submissions should use ACM SIGCONF Proceedings 2-column 10pt format and may= be at most 12 pages, excluding references. Latex style files and further s= ubmission information is at https://lics.siglog.org/lics24/cfp.php.

LICS 2024 will use a lightweight double-blind reviewing process. Please see= the website for further details and requirements from the double-blind pro= cess.

The official publication date may differ from the first day of the conferen= ce. The official publication date may affect the deadline for any patent fi= lings related to published work. We will clarify the official publication d= ate in due course.
 
 
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=_12312230704070431--