From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 4636B2E03 for ; Thu, 13 May 2021 15:57:10 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,296,1613430000"; d="scan'208";a="508086556" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 May 2021 17:57:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3BB16E006F; Thu, 13 May 2021 17:57:06 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 29F54E003C for ; Thu, 13 May 2021 17:57:02 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sam.Lindley@ed.ac.uk; spf=Pass smtp.mailfrom=Sam.Lindley@ed.ac.uk; spf=Pass smtp.helo=postmaster@seine.is.ed.ac.uk IronPort-PHdr: =?us-ascii?q?A9a23=3ABNQBoh+JaiQZkv9uWe+8ngc9DxPPW53KNwIYoqA?= =?us-ascii?q?ql6hJOvz6uci7bQqFuKkm0weBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg?= =?us-ascii?q?94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZ?= =?us-ascii?q?oKujvFYPeksC62/qs95DTbAhEiziwba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe?= =?us-ascii?q?+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgf?= =?us-ascii?q?MQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLml?= =?us-ascii?q?icJOSM6/m/ZhMN/kK1VoBOuqBFk347UeZuYOOZicq7Tf94XQ3dKUMZLVyxGB4O?= =?us-ascii?q?xd5YBAPAEPe1FqYf9pl0Ooga6BQayBOLk1zhFiGLs0q0/yegvFwDG3Ao9ENIKr?= =?us-ascii?q?nvVrM74O7kPXuyv1qbH0S/Pb+5V2Trk7oXDbx8ur+2WU71qbcrR1VcgFxnDjli?= =?us-ascii?q?ItIDoIzOY2+ANvWWV8+ZtUfyjhmAopgxtpjWhyNkghIbKi48X1F3J8SZ0zZspK?= =?us-ascii?q?NC6VUJ2Y9CqHIVUuiyHOYV7QsUvSHxmtiY9z70Jo5+7fC4SxZQ92RHfcOKIfJK?= =?us-ascii?q?S4h3/VOaROy10hHV/eLKwnxqy8U+gyvHgWcmuyFZGtDZKkt7Jtn0Lyhfd6dCHR?= =?us-ascii?q?+Ng8ku/3TuDzR7f5vxELEwuiKbWKYQtzqAsmpYNqUjOHSz7lF/ygaKUbEkp+Oi?= =?us-ascii?q?l5/7nb7jkoJKXKpV6hRvkMqs0n8yyGeQ4PRYKX2ic4em8z6Ps/Uz/QLpUlPE2k?= =?us-ascii?q?7LZvIrEKssGvKK2GRNa3pw+6xa8Fzum0dIYkmcbLF9dZR6LkYzkN0vQLPzlDfq?= =?us-ascii?q?zmUmgnTVxy/zYIrHtHI3BLn3Zn7fgebZ95VRcyA02zd1H+pxbELQBLOj1VE/ws?= =?us-ascii?q?tzXExs5PBK0wuv8Ftpyy5kSVniTDaODLaPSskeE5vgzLOmUeI8VpDH9JuA56PH?= =?us-ascii?q?0iH85nUYRfa2o3ZsMdHC1Be9mIkWcYXr0mNgNC2YKvgwkTOzrklKOSzBTZ2zhF?= =?us-ascii?q?547s2UwAYeiSIPCXZyFgbqb3S79EIcANU5cDVXZKn7tP6GFXfsIZTPadvRol3o?= =?us-ascii?q?gVL6tT4Iw/Ryi8gbxjadkeLmHshYEvI7ugYAmr9bYkgs/oGQc5yu13m3LRmoyg?= =?us-ascii?q?2BaHlfePYhkrE17xxGCyu51j7pRHppO5KEQOu/fHZPQieVxTc3xCFqpQw=3D?= =?us-ascii?q?=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3ACJzn5q19ZwbAsBAv250jqgqjBLEkLtp133Aq?= =?us-ascii?q?2lEZdPUzSL3+qynOpoV+6faQsl0ssR4b+OxoVJPsfZqkz/5ICOsqTNWftWDd0Q?= =?us-ascii?q?OVxedZg7cK7AeOJ8SUzIRgPMlbH5SXH7XLfDtHZRiQ2njcL+od?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BhDwAUS51ggMoR14FQCoEJgVmBUVFpF?= =?us-ascii?q?Vo2MQuEPINJAQGFOYhSCCWVFIRPgyoBAQYDAQMBCwEBNQoCBAEBgVuDK4E/Ah4?= =?us-ascii?q?GAQQ0EwIEFQEBBQEBAQIBAwMEARMBAQ8LCQgbDByFIwEFASYNQwEQAYFjIoQOB?= =?us-ascii?q?hUIAQEREwISGBwCJgI0FxQNCAEBEIJdAYMHAQMLi1iQbgKJUwKBRIEygQGCBgE?= =?us-ascii?q?BBgQEgTgFgRCDJCIWgTsDBjhYKgGOGYFVRIEVJwwDgj1tgQSDEgSDQIJjgVhsL?= =?us-ascii?q?iUbIhAJGBM8ARYfEwUXGAQ4CgIXSZBRjBSBAYprkU1pLAeDGQSBJQuITZBBgnQ?= =?us-ascii?q?FMYNZkQQtkCyhOpMJAhOEWwIEAgQFAg4BAQUBgWuBfE00gygSPhcCDlaGSyqGa?= =?us-ascii?q?yCDOYUUgmaCZHI4AgYBCQEBAwlbIYNnhWaBNgGBEAEB?= X-IPAS-Result: =?us-ascii?q?A0BhDwAUS51ggMoR14FQCoEJgVmBUVFpFVo2MQuEPINJAQG?= =?us-ascii?q?FOYhSCCWVFIRPgyoBAQYDAQMBCwEBNQoCBAEBgVuDK4E/Ah4GAQQ0EwIEFQEBB?= =?us-ascii?q?QEBAQIBAwMEARMBAQ8LCQgbDByFIwEFASYNQwEQAYFjIoQOBhUIAQEREwISGBw?= =?us-ascii?q?CJgI0FxQNCAEBEIJdAYMHAQMLi1iQbgKJUwKBRIEygQGCBgEBBgQEgTgFgRCDJ?= =?us-ascii?q?CIWgTsDBjhYKgGOGYFVRIEVJwwDgj1tgQSDEgSDQIJjgVhsLiUbIhAJGBM8ARY?= =?us-ascii?q?fEwUXGAQ4CgIXSZBRjBSBAYprkU1pLAeDGQSBJQuITZBBgnQFMYNZkQQtkCyhO?= =?us-ascii?q?pMJAhOEWwIEAgQFAg4BAQUBgWuBfE00gygSPhcCDlaGSyqGayCDOYUUgmaCZHI?= =?us-ascii?q?4AgYBCQEBAwlbIYNnhWaBNgGBEAEB?= X-IronPort-AV: E=Sophos;i="5.82,296,1613430000"; d="scan'208";a="381361532" X-MGA-submission: =?us-ascii?q?MDGpirZwqkRgWm80jY6OgAT9HvyA7by8vGTeBF?= =?us-ascii?q?TWkmthFjZJxw48gMeV/so7BSiRB0VE8IZWx1kG7a7K/r7AN2++IW9qYP?= =?us-ascii?q?3mRiSvcFyi4SC644CTStiPoQN0GEGY7406AWxQ6U13c/U3mwSM86vvG8?= =?us-ascii?q?eu3PrdRz2qh6+9z2FdwvsXOA=3D=3D?= Received: from seine.is.ed.ac.uk ([129.215.17.202]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 May 2021 17:57:00 +0200 Received: from exseed.ed.ac.uk (hbdkb3.is.ed.ac.uk [129.215.235.37]) by seine.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 14DFuqgY020830 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Thu, 13 May 2021 16:56:59 +0100 Received: from hbdkb3.is.ed.ac.uk (129.215.235.37) by hbdkb3.is.ed.ac.uk (129.215.235.37) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2242.10; Thu, 13 May 2021 16:56:57 +0100 Received: from EUR03-VE1-obe.outbound.protection.outlook.com (104.47.9.56) by hbdkb3.is.ed.ac.uk (129.215.235.37) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2242.10 via Frontend Transport; Thu, 13 May 2021 16:56:57 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=YETwoz+WykuwbUbyoec3k0MCMuN6jp2LE94MdslvoPSLh5bOamT1QWIH1LCbWEH79zVdl43UCbOalg1lJxbQ1174pfliTIjVdNMeMvo4tDkQsq0Bqxv2m6LzCQsvP+k6zZ7gq5EZK80NzJH3kXFDKAqOsbVAoa6EQbi/LVLTjhO7enzVAGyl9g/w1kZFki1RK8MNELTcicGHRDcC7Td2DieKbqBZce7wFBtJg9YIx0tbtmOw+SrHcU8AZsG0/t13PMvJBVK/QEay15zUr73RMVPPtFdbm8V3XmxRUQGFzV+l89t8YZe4JUQvl5fs88Lo7otTaTnv+7v5gY2r8KK0lQ== 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-SenderADCheck; bh=nPSRroQNW06T3lJo2Ky5AYzrw4OrYY6IIs640SyHaOI=; b=NV9JjThYDFUcnYHhX/+Jd9re5S5s8//Hxc00mfWgjMSYXHSKAAnRlhyC4vkT10BXwusKAhW9FbeFK17ZNUgE/S9UAerh5Br99mBGjiTDVcTgg0zecWqjyglOwkw+h5iTcJWFacy5yGNQJ6ALdc1TNLfBt0kfbsq9z4ac48aNPNAXg/IPprD1IxWzuW3QzrNSyOU23SKLUue8XeUULpS4bVdPZtrwDPbmOD9wPWcv14UGpwe/szCSEZbf33CdJsnMPsW3tTJcRvyhpjehfRpdXOQKgnbwcXMchR+Z5gIQgYpHiDNoRK27WgmmQSjsCmWLjc1YzzU7VUMJxpzFryTjJg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ed.ac.uk; dmarc=pass action=none header.from=ed.ac.uk; dkim=pass header.d=ed.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ed.ac.uk; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=nPSRroQNW06T3lJo2Ky5AYzrw4OrYY6IIs640SyHaOI=; b=wwBs6YJsHeg92UzlGqfZXlte5lz1X/H0tW6975+PdJKAVCf8h57X5D3W61lrAaZ+vj8Wv9ZO6L5qhg6tgi9ao85kTL3gYmIIzehpLEC3ko+MG1gezuQZ6smTKpYv+ixCZFdKM09/PzloXohQTmNtRWVGI2B9zScC4GGheziWPaSrucgqYgrD+qSqRKP+pMVWSaoquripF3lmC2nPv7WMuqQOyeLAKJCUd/9czfynS0oMMSvRpc/aPjmSvcYz0OOy/STYH0evlw1RfTm0Din0Rar2t+uvkHcwViKoOC5m4Oo0OVkUDTQ+IB9RXUHfvJrBR2McxBJWzlEeMkHDpEVIxQ== Received: from VI1PR05MB5456.eurprd05.prod.outlook.com (2603:10a6:803:94::11) by VI1PR0502MB3743.eurprd05.prod.outlook.com (2603:10a6:803:b::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4129.26; Thu, 13 May 2021 15:56:55 +0000 Received: from VI1PR05MB5456.eurprd05.prod.outlook.com ([fe80::254f:bf81:c17a:6a9]) by VI1PR05MB5456.eurprd05.prod.outlook.com ([fe80::254f:bf81:c17a:6a9%6]) with mapi id 15.20.4108.031; Thu, 13 May 2021 15:56:55 +0000 To: From: Sam Lindley Message-ID: <004f3a54-9873-c9c4-5c85-df32c1d0dbcf@ed.ac.uk> Date: Thu, 13 May 2021 16:56:54 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-GB Content-Transfer-Encoding: quoted-printable X-Originating-IP: [88.97.75.57] X-ClientProxiedBy: LO4P123CA0410.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:189::19) To VI1PR05MB5456.eurprd05.prod.outlook.com (2603:10a6:803:94::11) MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 Received: from [192.168.1.99] (88.97.75.57) by LO4P123CA0410.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:189::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4129.25 via Frontend Transport; Thu, 13 May 2021 15:56:55 +0000 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: b90dbc8f-990d-4195-1703-08d91627bb7e X-MS-TrafficTypeDiagnostic: VI1PR0502MB3743: X-Microsoft-Antispam-PRVS: X-MS-Oob-TLC-OOBClassifiers: OLM:10000; X-MS-Exchange-SenderADCheck: 1 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: uVkbv7C/YZtU4LRb5cifq9tzLFDd1jP2s/q1G9Zglz9QMX9iNfaYxLuMwufqk5Nz3kHRhE4OgNiHSNgxEWZjkzUR1l2fk/rwYxxrAPhUx1Kknrdd1kOjjgLjHYSb5U6GevMmauezqW3bdgj9E7r1sLSw8kEUUWH6RjW+W8C0X3EhgJrYCXz+wkYBH5ofFrc69Qr2g5j2pMimUWG/uz8JqqMbGByyXXZFT31RZcqAkjG27D/gUJ5JcpaXCl29wW+gMfcpt+RQ2eeIsl0YanGSCaqA6qBkvQ1inVqSPsHbBQqVPSsUP3nhNkU5GyDFff0fbJE3xEhs/p2E9Lc5OOBKSwEICnI5QJG6NdYCv625xBrSr9lpC6Vm+NXH1EXCcT0XSEBXFSfQKfz4wMb+tKaYiApilF0ocCzGxmfqkQvMaTGvTTyxbLJTSEBcSSQ6UJByXM+VkxhGvJCtjFV5ceXzfRMJz3sbw1pOrd9giHroRL2VAr9b/9/kEXJhgpXP5ltcBFn0C6YBgRgkZ86j4pmklm+fJqGf5LfettE/16zTkdX/94/xaDBkDec/bdtr9ftWlEz3stVizuQl5t85N1vWJ672+Rk36t7WSns0I5gE6Erhp0tpQGlL/7ZBhVnj6vNc7H7VxsyfrRS3FNbZ3fqNHVKpq2+0i1XiRo1lgixB9PNCICo2gNXSoHjjn9sb7pZbq4zDCbLYvoTCK+2l6SN6cNy1y598jbTowJjbIp6p6noevSR/+jTkxAe80co6M5+oq5JVEThXA5yCRdBZxuj2U97Hq8aZLv/ICh28bZEX1S2zRysoKRtvXOefCMmu+q6JA3SaKpgZy4b2ZTptIVXhPvXlovqVhgquzdOq9nuZGACFwaQBrHW525c1QQMXD4YrA0SlSuZy8aptKeedEsZVVw== X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:VI1PR05MB5456.eurprd05.prod.outlook.com;PTR:;CAT:NONE;SFS:(136003)(396003)(376002)(346002)(39860400002)(366004)(956004)(2616005)(2906002)(966005)(26005)(83380400001)(38100700002)(31686004)(86362001)(31696002)(6916009)(36756003)(38350700002)(66556008)(16576012)(478600001)(66476007)(8936002)(52116002)(786003)(316002)(66946007)(16526019)(5660300002)(6486002)(66574015)(186003)(8676002)(225293001)(43740500002)(45980500001);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData: =?utf-8?B?elhobVp2VnI5TjNSSTB5MkdmclpjZXhsTm1LTkN5YjBmVGJjQXphUkZqd1Fa?= =?utf-8?B?bWZnYm5DekNkL25NZEpEQzFiWElXYUN3a25iSEVJQU1pNkNDbmZMcVJoOU9C?= =?utf-8?B?K1luRlFnZ3llTU5yYjVTbko0RmZMdFJaZWNOVStZdENRcHkzVDk2MDJ5emJS?= =?utf-8?B?UWgwaXdqSHJia0l6UGIzMU94RkRSS1lYTSsrWWljR1YwdUxQNFQxMmw5QVN0?= =?utf-8?B?ZDRUSFJPa2o4VW93NTBOaEhBNVBsLzJETkNxY2lXSG9MUU93ejFpdjdJcDB4?= =?utf-8?B?TWZJbDRsSkpoN05vZHZIcndnTlpkYkZuMXMvL0xvWmxWNW5sMDBCV0NYSnJ4?= =?utf-8?B?VHI3THM1VWs4a1ZwRHZSU1V6eFVWYkorWDhKaTFtaXU4c3l1NnpKK3BaV3lH?= =?utf-8?B?bEk3aCtwM1gwZ1ZuNXFydTBZMEtvREpOdE9VaUZxT0lmZXlKYzdJai82YWJh?= =?utf-8?B?czNJVmpsTnBIRzUzWUhLRlpqa0RTSW53ZVQ3VWpuVVNIblFzSkV4R3p6WUxz?= =?utf-8?B?VXJRbXhTL3REY1J6Skgra2dDNEJhcERBS0ErY0liSlowbzR2ZW0xV09vclpl?= =?utf-8?B?YkZSOWJ6L1dyRTloTXVaMldzRHQ2Vk1jU2ZFdFR0amkvV3oySTN1b1NubW9F?= =?utf-8?B?Z1ZIRjdlK0dpcEZKMnpCTG1aMjdrMUl1djRielBJVGpsNWFvVHJpWXlyYlpq?= =?utf-8?B?QkxSckFRY01tQitscHAvcURacEcwQkhDRkJiSllPaXE5R3kwMTlWL3l6Si9G?= =?utf-8?B?VW82djBYR1dhMDhSQUx3SlJERERFaTNRc080T0V0RWpVTkc1K2hQcFZUY21J?= =?utf-8?B?Z0lwNUw0SHY0QmV1QlB1d0RFdkltcy9RelZSUEhEajZMZVNRWUJyZXN2SCt6?= =?utf-8?B?c28rVzNkbHQ1bWhxeTV4dFdUUUo1eVdnRGN1eHd0S3hpK0hIMG40aW0xRCtX?= =?utf-8?B?TjNJTk5aRjd6TzBjbW9QZDNIaTlGT0o3Y0Y2Y2xOK1IzS20vaHZDTEVCWUhu?= =?utf-8?B?cCtCTFIzNmMxVTdQOHQvM2pZOXkxOUsrZXpDTlJhbWRFSGUwVUFJYmRWRk1y?= =?utf-8?B?NEM2bEVMaE5GM0gyaHNaU0JhaTUzMjlpNCs3cVdvcXQzV25EVGZpMXdEZGlN?= =?utf-8?B?RVN3THNoQmdqSzFZeUdxczJTVUdWUW1nMTFtbFVQZjFzQVhBcmlFYTRnMk1h?= =?utf-8?B?Z096TmhodXMxZVRhOG1qa1hFSmZnUDl1eWVNNzR6TmNkWU52Q2U4ZkFDdzkw?= =?utf-8?B?OFZyODB1amlucVE5bVo5RHMxME50UGh0WTNudUJpeTFWb1hMejU5eTViR2VZ?= =?utf-8?B?aHM0YWFtTWlzU0FQaTQ4S2MvdlBoaDJsV09MTFFmVUZxdHhxMWhmN3oreTgx?= =?utf-8?B?Q0ZkVlc4Uk94U3NDZlJBekh3dDJ4U2tHdnpyZU5obXlrRHRqUjBGMFMvdUQ2?= =?utf-8?B?M0VkbnE5TmsxOFdJZFJsQ2g2Y29SblNRcnVlMDF2a0dMZlUzaEFDZ3lXRVFZ?= =?utf-8?B?K1l5TTIrT09pOVJKUVlPOUtHejU0THdCRVFnSysrcVVuRFhNeGZoMk05RXB4?= =?utf-8?B?TFBKNGtUM3g0ODhFdTlPc1J5ajV4ZHlrN2kzaXVFdTJPU2pabjJ2MjRFbTBK?= =?utf-8?B?WlR0SnNya1FNQUsrSGN5aFllOS8vOWJFT3F3Zmlqd2pDdjA4S2NKUzBIako3?= =?utf-8?B?Lzl5MnBHZXV2UDlkY0JUQWh3K3g2ZVMxdVc0L0V5a01DdEY0dlNzZFIrTGtG?= =?utf-8?Q?YAZqPVpXqY/x8hkU8MsNhav8C4/iU8Ko0Fa4TyT?= X-MS-Exchange-CrossTenant-Network-Message-Id: b90dbc8f-990d-4195-1703-08d91627bb7e X-MS-Exchange-CrossTenant-AuthSource: VI1PR05MB5456.eurprd05.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 May 2021 15:56:55.5793 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 2e9f06b0-1669-4589-8789-10a06934dc61 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: xuHcakB+2zT/TtdvkGB2IzMeX+hvngdT9V5Q8WwtmHICy8lsbepQCP8NLQTvUl91q9xTl78g8oAvwS3SHriqgQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR0502MB3743 X-OriginatorOrg: ed.ac.uk X-Edinburgh-Scanned: at seine.is.ed.ac.uk Subject: [Caml-list] Call for Papers: 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Reply-To: Sam Lindley X-Loop: caml-list@inria.fr X-Sequence: 18491 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: CALL FOR PAPERS 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Oct 17-Oct 22, 2021, Chicago, Illinois (co-located with SPLASH 2021) https://conf.researchr.org/home/aplas-2021 The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2021 will be co-located with SPLASH 2021. Due to the COVID-19 situation, all authors will be given the chance to present remotely regardless of whether the conference is held as a physical= , virtual, or hybrid physical/virtual meeting. Papers are solicited on topics such as: - Semantics, logics, foundational theory - Design of languages, type systems, and foundational calculi - Domain-specific languages - Compilers, interpreters, abstract machines - Program derivation, synthesis, and transformation - Program analysis, verification, model-checking - Logic, constraint, probabilistic, and quantum programming - Software security - Concurrency and parallelism - Tools and environments for programming and implementation - Applications of SAT/SMT to programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of tools in the scope of APLAS are welcome to the Tool paper category. Authors concerned about the appropriateness of a topic are welcom= e to consult with program chair prior to submission. IMPORTANT DATES Submission deadline: June 16, 2021 (anywhere on Earth) Author response: July 28 - 30, 2021 Author notification: August 11, 2021 Final version: September 1, 2021 Conference: October 17 - October 22, 2021 CALL FOR REGULAR RESEARCH PAPERS We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. CALL FOR TOOL PAPERS We solicit submissions in the form of tool papers describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool-highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool=E2=80=99s strengths and weaknesses, and a s= ummary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. PROGRAM COMMITTEE Andreas Abel, Gothenburg University, Sweden Kyungmin Bae, POSTECH, South Korea Edwin Brady, University of St. Andrews, UK Yu-Fang Chen, Academia Sinica, Taiwan Andreea Costea, NUS, Singapore Rayna Dimitrova, CISPA Helmholtz Center for Information Security, Germany Yu Feng, UC Santa Barbara, US Giulio Guerrieri, University of Bath, UK Kihong Heo, KAIST, South Korea Yue Li, Nanjing University, China Sam Lindley, Heriot-Watt University / University of Edinburgh, UK Sergio Mover, Ecole Polytechnique, France Uday P. Khedker, IIT Bombay, India Alex Potanin, Victoria University of Wellington, New Zealand Xiaokang Qiu, Purdue University, US Jiasi Shen, MIT, US Xujie Si, McGill University, Canada Gagandeep Singh, VMWare Research / UIUC, US Youngju Song, Seoul National University, South Korea Kohei Suenaga, Kyoto University, Japan Yulei Sui, University of Technology Sydney, Australia Tachio Terauchi, Waseda University, Japan Xinyu Wang, University of Michigan, US Qirun Zhang, Georgia Institute of Technology, US Xin Zhang, Peking University, China SUBMISSION INFORMATION Papers should be submitted electronically via the submission web page using HotCRP (https://aplas2021.hotcrp.com). The acceptable format is PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer=E2=80=99s LNCS se= ries. Accepted papers must be presented at the conference. REVIEW PROCESS APLAS 2021 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors=E2=80=99 names o= r affiliations as they initially review a paper. The authors=E2=80=99 names w= ill then be revealed to the reviewers only once their reviews have been submitted. To facilitate this process, submitted papers must adhere to the following: Author names and institutions must be omitted and References to the authors=E2=80=99 own related work should be in the third = person (e.g., not =E2=80=9CWe build on our previous work =E2=80=A6=E2=80=9D but ra= ther =E2=80=9CWe build on the work of =E2=80=A6=E2=80=9D). The purpose of this process is to help the reviewers come to an initial judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. AUTHOR RESPONSE PERIOD During the author response period, authors will be able to read reviews and respond to them as appropriate. RESEARCH INTEGRITY The Program Committee reserves the right, up until the time of publication, to reverse a decision of paper acceptance. Reversal is possible if fatal flaws are discovered in the paper, or research integrity is found to have been seriously breached. The University of Edinburgh is a charitable body, registered in Scotland, w= ith registration number SC005336. Is e buidheann carthannais a th=E2=80=99 = ann an Oilthigh Dh=C3=B9n =C3=88ideann, cl=C3=A0raichte an Alba, =C3=A0irea= mh cl=C3=A0raidh SC005336.