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 651055D5 for ; Mon, 9 May 2022 13:43:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:to:from:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=8CkokjbqreperL2QU7bZrPNZ5Tbm5NEU7dkoi4qMKx4=; b=dQcDaSEE/1rgrZJiTG7G+g1tX8Rel5rBXB1SoDqYfNCAjFIkHhBo7It7 8c+3BkzoHL2VW6u1TvN3zxGXuEJERH9FTDEkOQG4H8QHFTERB1YRcTi1S Bab6rk3UWCUYuNNhD9UZjOZYtnR+mLQk4fI/SJN7+KnnZ5WXZL42vh4/C Y=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@ed.ac.uk X-IronPort-AV: E=Sophos;i="5.91,211,1647298800"; d="scan'208,217";a="35376724" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 May 2022 15:43:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 39BA6E010F; Mon, 9 May 2022 15:43:24 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2EACCE009B for ; Mon, 9 May 2022 15:43:22 +0200 (CEST) IronPort-SDR: K5Xdqjrx+ggSTgSRmfODT3Zs+G292CUBqaGoV4FjAmGuvP6AAkKDQRUJRaJTWPuB8skxLoI/gM XzkITpUvA/DgA4pQb3ciqxtcsYvoKX7GGI3Yi7uBQhNr9cEAv5NkXNScfAXSTwprXobR0zxF4g Tjogm7h7+N9rIuav3V2fWKFz+LCWEzXPkDqFxEe6glPCuORdnYqrWwsSs43+5pKc2M196LhrIQ iahHgRr9m2DTgmx0mo5/hpX+w1h2lFHkEOUA40+IpemzG1xWn/wyMunJCC8R0reFrgQm8VRAdV TO4mnjgY0ALAKPsYabZNM+EF X-IPAS-Result: =?us-ascii?q?A0BeAwD+GXlih8oR14FahCpSflgqBwhDA4RLg00BAYUxh?= =?us-ascii?q?QmDAps6gygCCQEDAQsBATIOAgQBAYNMcUWFPwIeBgEENBMBAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBAwEBBQEBAQIBAQIEBAETAQEBAQ0LCQUIDAUQDgU8ZGiBT4F0CzQNP?= =?us-ascii?q?IF5IoQECwYdAQEmDAYNTwIYHCsNCAEBEAcHglsBgxcBDqAFAYE+AgKLF4Exg?= =?us-ascii?q?QGCCAEBBgQEglaCbyZUgR4JBYE3hzoBAYchglCBFScPgkJwgQUBgToiAgIYg?= =?us-ascii?q?R5VgymCZZRAggEqAS8pLQUOAwIlAwwULyY9kh8Ig0OKOI1DkngHg0yLGIg1j?= =?us-ascii?q?CAGQIVEow+WYo0ilEUThHsCBAIEBQIOAQEFAYF4XoEggQEegwkJRQECAQINA?= =?us-ascii?q?QICAwECAQIJAQECVI0nOQKDWYUUgmaCZXQCOQIGAQoBAQMJgjqDD4lfgkcBA?= =?us-ascii?q?Q?= IronPort-PHdr: A9a23:FhPdsxy6gHVXWmzXCzJAwFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZvqQm0gKBHd2Cra4e0ayO6+GocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjSwbal8I Riyognct8kbipZmJqot1xfFuHRFd/pIyW9yOV6fgxPw7dqs8ZB+9Chdp+gv/NNaX6XgeKQ4Q 71YDDA4PG0w+cbmqxrNQxaR63UFSmkZnQZGDAbD7BHhQ5f+qTD6ufZn2CmbJsL5U7Y5Uim/4 qhxSR/ojCAHNyMl8GzSl8d9gr5XrA6nqhdixYPffYObO+dkfq7FYdwURmRPUchPWSJBH42zY JACAPAdMetCtYTxu1UDoBm4CAKxBO3v0DhIhnru0KM0yeshFwDG0xIkH90WsnrUrdH1NKMMX uCv16nI0S/Dd/VT2Tzg74XHbwouofeNXb1udcrd00kvFwLBjlWUt4PlJSiV1vgXs2ic6uptT vyghHM9pw5rvjej3NosiorQi48T11vL+jl3zpwvKt2kVE50f8SkEJ1IuiyaOIV4Tc0sTW5st Ssm17ELt522cSsKxZkm2xPSdeKLfoiL7x7/SeqdPTd2iW5ldb+jhxu8/0eux+/yWMe60VtHq DdOnNfLtnAIzRPT686HR+N9/kemxTaAyxrT6vleLU8okqrbLoYtwqMqlpoXrEvMACH2l1vwj K+NaEoo4PSn6+PiYrn+vJCTK4p0hhv5MqQ0lcyzGf84MgkBX2iD/eSzzrvj8Vf+QLVQgf06i qbZsJfdJcQUoq62HRVZ3Zok6xqlEjem09IVlmQEIlJdYB+LkpblNlXULPzmEPuyg06gnCppy vzcILHtHovBImDdnLrgYbpw5UtRxBcvwd9F5p9ZD6wNLO72V0L1qNDVCxo0PxG3zuvhFd5zz JkRWXiVDa+cKK7SsUGH5uYoI+SUf48apjf9K/476PL0jH85gkURcre00pcNcn+3Au5qI1iaY Xb0g9cBF3kFvhYmQeD3llGPVSRfa2ivU688/D03FYCrAZ3dSoyxnrCNxCK7EYdXZmBCBFCMC 3Dod4CcVvkCci2SJM5hnSIAVbS7SYEh1BWutAvkxLp9NerU5jcYtZXm1NVu+eLciAs++iZoA MiHzmGNTHl4nmUTSDAuxqBwvVR9ykuf0ah/m/FUCMRf5+lVXQciKZ7c0+t6BsjuVQ3be9eJT E+qQtGnATEqUtI82MQOYkZ4G9W6lB/PxSuqA7kPl7yKHpM46Kzc32Kib/p6niLN3awlyl0nW ddnNGu8h6c5+RKFVKDTlEDMu6+sdKkY6w7M8GOO13GSpt9dGFp8WKPEUHRZZkrSqdnj/V/YS LqGBLhhOwAH1M3UefgCUcHgkVgTHKSrA9/ZeW/kww9YZD6Nz7KINs/xfnkFmT/aAw4CmhwS+ nCPMU4/AD2gqiTQFm8mDkrhNmXr9+Q2s3anVgks1QjfY0Rn1rexvB4UgfiRUegPxLUBkCot7 Tx/Wku+jJrNE9TVnwN6Z+1HZM8lplJO1GbXrQt4a7CpKaFvghg+cgBzsln1yw9wD61NnY4jp zU3z1k6MrqWhWtIbCjQxpXsIvvXJ231qQiocLLT00rC3cy+4aoO7vl+qk6lsQ3vH0Fk7nYPP 8B99Xya692KCQMTVci0SUMr711goLqcZCAh5oTS3HkqMK+uszaE1ch7TO0igg2tedtSKsbmX Ef7DtEaCs6yKecrh0nhbxQKO/pX/bI1OMXufuWP2aqiNuJt1Dy8imEP7Id420OKvy1yL4yAl 5oMxfCV2k2HVjP4gU26rtrwnKhJaXcbFSyiymmsBYJcYLFzYZdeEX2ncKjVjp11g5/gXWId9 Ub2XglXnpXwJFzLMBqnhVcDsCZf6Waqkia50TFuxjQgr67FmTfL3/ynbh0MfGhCWGhli17oZ 4myldETGkayPG1L3FOo41j3w69DqeFxNW7WFA1kdi73ImUkcqq0sreYeNJV75YAvCkRWe/6f FPQGduf61MKljjuGWdT3mVxezisu5j92Rx7jGaQNm1vtn3cUcx8gx7UosHfD600vHJOVGxzj j/ZAUK5Nt+i8ICPlpvNheu5UnqoSpxZdSSDIZqojCKg/iUqBBS+m6r2gdj7CU0g1iS90dB2V CLOpRK6Y4/x1q38P/g1NkVvAVb97YJ9FOQc2sMcjZcR1HxcppSR+XcdinvpNtBz1K64ZXFLW D1Dz9PO4Qfj0VFuNTrQndO/DCzAhJI+IYPiOCsfwUdfp4hSBb2R7aBYkCc9uVe+oQ/LILB8k job1foy+SsfiuANthAqy3b4YPhaFk1ZMCrw0hWQuonk/eMNPTvpKOf2jhIkzrXDRPmYrwpRW Wj0YMInFC50tIBkNU7UlWf04cficcXRatQasluVlQ3Bhq5bMsFU9LJCiCx5NGb6pXBgxfQ8i Ekk8Zi8vYWDbUVs+Ka0GAVELDrwT84fvDjmy7td1JXzvcjnDtB6FzMHUYG9B96hFjMfsbLHN gKKHScntm2cHJLSEUmW4wF7rDicdvLjf2HSL34fw9J4QRCbL0EKmwEYUgIxmZshHxyrzsjsI w9poyoc7Vnipl5Q2/plYlPhB3zHql7iOVJWANCPaQBb5QZY6wLJPNyCu6htSjpA8MTprRTRe DXBNkISVDxPAxLCXgirP6Hyt4Caoq7CX7f4dqSIO+3UzI4WH/aQmcD2iNogpW/RcJzQeCAyU rU6whYRBCooXZ6AxnNWFWpOz3iFKsefoF3UFjRflsmk67yrXQvu4dHKEL5OKZB1/Bvwh66fN umWjSI/KDBC15pKy2WagLQY2VcTjWlpeVzPWfwYsjXRSavLhqJNJwUWaiV+cspTqa8wmABGf 9PYwt/4zb93iPcpBkwNDAaw3JvwOIpTfCfnbAmPDV3uVvzOPTDRxsDrfa6wAaZdiulZrVz4u DqWFVPiIiXWlzTtUEPnOuVNgSeHeR1G7djnI1A3UDWlFY2gMEXhY7oVxXUszLY5h23HLzsZO Dl4KQZWq6GIqDlfibN5EnBA6XxsKa+FnTyY5q/WMMVz07MjDyJqmuZd+Hl/xaFS6XQOaPVzm SbW6P5vp1WriPKT0D1ieBdC7D9Awp+I9xYHW+2R5txbVHDI8QhYp32XEAgPrsB5B8fHoK1Rz NWJlbm1JTsE+tmS4MhWVK22YIqXdXEmNxTuAjvdCgAIGCWqOW/ojEtYiPiO93eRo8tyut32l ZEJULMeSE0tG6ZQFBF+BNJbasQSPHtsgfuBgcUP/3b7sBTBWJAQoMXcTvzLSfynbT+difMsj /og2r75K4lVN5a91kAkY1I8gYeYQiI4uPhArmtoZUkpoxcVmJCRZmA/nUvuLB6usiZ7KA== IronPort-Data: A9a23:Zqgdiali9W3aRMqSZXrT2Mjo5gyjIERdPkR7XQ2eYbSJt1+Wr1Gzt xIfXGCCMv6JZGGnf40lb4/g/ElS6pCAyodgSgU4+ykwF1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTrSs1hlZHWeIcg944f5Ys7N/09cAbeSRWVvX4 4uv+5yHYTdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /1UmcKxZ18tNZbFmd8CVwlXGCIhP4dvreqvzXiX6aR/zmXdfnrqzrNvFwc7McsR8aBqAgmi9 9RBcmFLNEnewbvphujjEIGAhex7RCXvFK8WvHBtyXf5DPIiTIrYX7/N4PdV0HE5jYZTHp4yY uJCNGEwMkuYO3WjPH8LE5s+s8CGmkDcXBdSgmzLjLVrv1X6mVkZPL/Fa4aLJoXTH625hH2wr WvD+yH9AwoGHMeOzCKMtHOqnO7G2y3hML/+D5Wj+/9sjRuS3SoeBFsfXh2mopFVl3JSRfpGB xIV1HIqppM79Xe0SsnyVB7nolSt60t0t8VrL8U27wSEy6zx6gmfB3QZQjMpVDDAnJNsLdDN/ gLR9+4FFQCDo5XIFCPAq+38QSeafHNPdTdaDcMRZVZt3jX1nG0kpj3lJjqJOIO5j9v/BCv/w 1hmRwATp+p7YSIj7K684VTOhT7Em3QkZhU45wPaGGO+qA51IoeuIZGrgbQ60RqiBNnAJrVil CFa8yR70AzoJcrd/MBqaLlQdIxFH97fbFXhbadHRvHNDQiF9X+5Zpx36zpjPkpvOctsUWa3P RWL5FoBv8QPYiHCgUpLj2SZVptCIU/IS4+NaxwoRoAfPvCdiSfYpnw1ORLIt4wTuBF0wfluU XtkTSpcJS1GV/g+lWDeqxY107Ytyzx22GXSW53h1BW7wPKYaWKKTq0GWGZinchnhJ5oVD79q o4FX+PTkk03eLSnMkH/rNBPRXhXcylTLc2m+qR/K7/YSiI7STFJI6GKm9sJJdc695m5Y8+To xlRrGcDlAGg7ZAGQC3WAk1ehETHAMgv8CpnbXB9VbtqslB6CbuSAG4kX8NfVdEaGCZLlJaYl tEJJJeNBOphUDPC92hPZJXxttwweRjtjAnIIin8OGozeJtpRgro/N74f1K3qndWXnvp7ZMz8 ++6ywfWYZsfXAA+XszYX/SikgGqtn8HleMuAkbFe4EBeEjl/IVwBTb2i/s7f5MFJRnZlmmX2 0CfClEFprCV8YMy9dDIg4GCrpuoSrMgQBIKTjeDtbvvbHvU5Guux4NEQd2kRzGFWTOm4rima MVU0+r4bK8NkmFMvtcuCL1s168/u4biqrIGnARpGHLHMwaiBr96eybUxsROsKALx6QftAfwU 0nJ59oDYeeFP8bsEVgwIgs5b73bi69MymiMtaw4cBfg+St63LubSkEObROCvypQceluO4Q/z OZ95cMbt16lhhwxPorUhyxY7T3TfGcNUqMq8JABRoLnzAMgjExBOMSOBijz6ZCJStNNLkhze mHK3PqT2ewEyxqQaWc3GFjMwfFZ2cYEtidMwQJQPF+OgNfE2qI60RA5He7bleiJIsirEt6fO 1SH82VuKKSI8nFpn45OUyalEEdcB3V1P2TvnkARmjSxo1aADwTwwK8VYI5hP3z1N0pRcn5S9 /eFyw4JlB70Kdrp0HJatVFN8pTeoB8YyuEGsM2rWc2OWYQ5CdYgbmlCekJQwyba7QgNaIEra AWkECucqUE2CMLIn5AGNg== IronPort-HdrOrdr: A9a23:JWOSjaAjLbDTNtblHehIsceALOsnbusQ8zAXPh9KJyC9I/b2qy nxppgmPH/P6Ar5K0tQ4OxoWZPwJE80kKQV3WB/B8bEYOCLghrSEGgA1/qf/9SDIVybygc178 4JGMISeb6Ab2SS5vyKmjVQfexQuOVvvJrY49s3mBxWPHxXQpAlwwp4DQ2GCUN2ADNNDZ0/GJ f03LsEm9PsQwVhUu2LQl0+G8TTrdzCk5zrJTYAGh4c8QGLyRel8qTzHRS01goXF2on+8ZqzU H11yjCoomzufCyzRHRk0fV8pRtgdPkjv9OHtaFhMQ5IijlziyoeINicbufuy1dmpDY1H8a1P 335zswNcV67H3cOkmzvBvWwgHllA0j7nfzoGXo80fLkIjcfnYXGsBBjYVWfl/y8Ew7puxx16 pNwiawq4dXJQmoplW22/H4EzVR0makq3srluAey1ZFV5EFVbNXpYsDuGtIDZY7Gj7g4oxPKp gkMCjl3ocbTbqmVQGXgoE2q+bcEEjbXy32CnTqg/blngS/xxtCvgolLM92pAZyyHtycegF2w 3+CNUXqFh/dL5oUUtDPpZxfSKWMB25ffueChPnHbzYfJt3S04l7aSHo4kI2A== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,211,1647298800"; d="scan'208,217";a="35376700" X-MGA-submission: =?us-ascii?q?MDEAdLjmWcx2SoQFoNtM2EAVHoEH8ltw0bmra6?= =?us-ascii?q?Ydre3MqZa9DZpd56CNir60bZwCvveTt+8QsXq+3NbPq9RPtskrKdlrxP?= =?us-ascii?q?q3DvSVZwXqt8rUBR038TthgPDniXKXEUlqQMqzm7f0RXvSMRB7S145q7?= =?us-ascii?q?jQQ3XKYOteBFMWloWVa+vCKw=3D=3D?= Received: from seine.is.ed.ac.uk ([129.215.17.202]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 May 2022 15:43:21 +0200 Received: from exseed.ed.ac.uk (hbdat3.is.ed.ac.uk [129.215.235.38]) by seine.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 249DhK2K016396 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Mon, 9 May 2022 14:43:20 +0100 Received: from hbdat3.is.ed.ac.uk (129.215.235.38) by hbdat3.is.ed.ac.uk (129.215.235.38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2375.24; Mon, 9 May 2022 14:43:20 +0100 Received: from EUR01-VE1-obe.outbound.protection.outlook.com (104.47.1.50) by hbdat3.is.ed.ac.uk (129.215.235.38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2375.24 via Frontend Transport; Mon, 9 May 2022 14:43:20 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=lvLXV9e05+27jg91M8DrkBR9Q8aoEQX8jlNAWDltJ6syOujTF13iDhCBnUIKNpwfmrkyIH9tpPn6GgVkGcegiMpCM4IEHWwhBs/3togK2oHgcLobYL4dok2u07+49Vg66xVypgf8JQbb2GixKgxFap7lKLMND5FhwmL0q2QLKkKKVX0OTmC/XHGOiJbRJ8cXCewDx1mIY0eTU3WrnvrUlwBV8bUHvWqKfUjMobltousaBUcW4Xq4qpd+QIBdioJYPId/EhYgoakLhAU6glUT638oA6C7dOeiqN7PXeApvGzTwKfJLTn+lN9bDEqLqwlvrgP8p92prm1NHN0qdYbrGA== 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=8CkokjbqreperL2QU7bZrPNZ5Tbm5NEU7dkoi4qMKx4=; b=Kh230J+1mAIFZim68y2Ue/PGHSy5In/Afs5GZlSZT+f4kXAjVftnC4cnpE4UbVBtdcN0/CnJC93xHOcnT9Vf/Ce93RDN03G3PGFbzpCOv6mAobsGXJEZBV0HxPvlnnN9EnQ4wrSA/PS8+rXRX/pBoCsYK08irKNz1e8yHYix1YF2CunbumLQTDe72UPF5cEEgywKvyL2ffxaEI23nBUEKaXWjMJLfHLG9lGFw4CHNatYG12zoPaAj0MG8QJuwquGM/TDZ/t0Oy/uu6li3Wr5RLC9dpRNtDJ38NtNXy1VaHytyRtngmGeN1UuQrFDVzqsbl+tcSqB8eUqK0r0rNB8mg== 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=8CkokjbqreperL2QU7bZrPNZ5Tbm5NEU7dkoi4qMKx4=; b=qI7nlUbwWeh8O91mCIn4wKp94dsmxOpsaWzYi8gEGXtd1/BKUKDceWQuGoCny96vRSsb4egdfCjqHAHVKxaM0AxqgwYYmW0oqpJw4pUMtGWgMSJNXyzSOWcaPBeHh1vyNFWtKwol55atXgtWFSdOBsrAwrp0yhb0343BsZTE0vMUpadAjzN8OXFZQWL5qKrxuGlwjFkkmAgTjkPs8k28kGI/JTVBtyHGm7EIyB6dEeUO0mU7BTd51ZfAYOcte1PmTqgrsMjyGdC7uPHRiRTPlOcm/tYD448q3G2LsxOyQ2xY81lXX0XuB74AZyDOhL/qMlSfgpqROsORT3YgCThE0w== Received: from DB7PR05MB6155.eurprd05.prod.outlook.com (2603:10a6:10:90::18) by VI1PR0501MB2351.eurprd05.prod.outlook.com (2603:10a6:800:31::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5227.22; Mon, 9 May 2022 13:43:18 +0000 Received: from DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::6c54:ad34:f3c2:4e2f]) by DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::6c54:ad34:f3c2:4e2f%6]) with mapi id 15.20.5227.018; Mon, 9 May 2022 13:43:18 +0000 Content-Type: multipart/alternative; boundary="------------tWgy37lu0BpMTQV706SXFJCR" Message-ID: <16d77f19-22eb-85d9-c5b2-5a22abbcd0b4@ed.ac.uk> Date: Mon, 9 May 2022 14:43:17 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.1 Content-Language: en-US To: From: =?UTF-8?Q?Daniel_Hillerstr=c3=b6m?= X-ClientProxiedBy: LO4P123CA0377.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:18e::22) To DB7PR05MB6155.eurprd05.prod.outlook.com (2603:10a6:10:90::18) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 68598a75-3080-4662-5b21-08da31c1e02e X-MS-TrafficTypeDiagnostic: VI1PR0501MB2351:EE_ X-Microsoft-Antispam-PRVS: X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: dTK23QTHn+g2YUUcbqkjovW9TiRDjvBLuDsyRxqc/h+hKggQXjgya8iNR2/Peckk3t+r7iezN7oSep/o+RszM+yBp0v8sX5cPuPROJxLmuk6r/hnAnwELO20dRxKf8o+FRUslDYdwpQWQ5s2aPl0VCX4khtPR/k/Bvf7LTvlub+6p3LlmgmdR93RLpgqQQRSUWiqE0B3isx9q6cMyP8PjN9eA1ksEUcqB4DFUCj6qcrx/aY4YPM9HV0gBQMOk/Ah5SE3NAiHainGvzUVMu7gtJXHsiPw/+cW5xkKL8awywhRy82H/aElqc/KIejtLC6Oa2QysG2c9UqEkkQtlZt78JPPUWPENaMgaNtzTTiWc8WkPjJsebm7aRaweuHR1wIzeYnt2CPdIfHyvE8rnRj+VB8Khu0waFFGUiM5U+fSKhjf2BJHHoyQWm+bhW6jhFJUCBMthTJZCh7t7WkMMDDVU0yX/BIp93/z30rmAgWM6+rdEnWUZ7LQNV2qei4pdD3cqrMXXS+eQHTVVEpif7Zh17KaPavdZnnsuSunBFWKetytxHKN4HsJ5jNsoLNf0tBKziYvpGugrLom2tuSTTDQSfJ6XqR11Ghjp0MZMGZya/7zSxyWlUSQpB720d59O57obR84MxH2eTg8P6G5+QjU6j120nAsKnI+l9I9Hra/Isv+OemC99OEzT3Jj1KM6Dsf6BZYV76sLTL7rNopnoOZuQZ7JNPta1KEpTmEsYE7xgDASIzgYy0cXWwVOmE1Pbr4NBWLZp8Qx3aPaf+O/WRgrB4A39EsRb6zZLLPvKAOGtiTss7q/PKrHTK8sGEWu4bTmx+1Qpz6Hw1TA/kRB0ZDy2FYGEgSkXI7P/bBNAr4kl/37tKiRIobBITW7zY09STK X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DB7PR05MB6155.eurprd05.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230001)(366004)(786003)(2616005)(66476007)(6916009)(66946007)(8936002)(66556008)(316002)(6512007)(45080400002)(86362001)(8676002)(6506007)(33964004)(26005)(52116002)(166002)(31696002)(6486002)(38350700002)(508600001)(38100700002)(2906002)(31686004)(66574015)(83380400001)(186003)(5660300002)(36756003)(966005)(43740500002)(45980500001);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?YmNiVTdTdmJ3OFJPZGt0S3pyTmpXMnYzanBWYWJwWW9XTkJkNi9KbktsTGdC?= =?utf-8?B?eUhtczZ3dXl2Q0p6eXNzc3B2Nk5nd3A5Mkw3VkNZeHROVzVyZi9BQUpWa2kw?= =?utf-8?B?dFZqdXFIZENXZ0w3OG54WFNmZStDWFBhU21lQWp0Yks2amlldUZXUWgzRXdC?= =?utf-8?B?QnkxT2ZPQ3JRUElJcDBHMGtKZC9lUkJXVnpncHFCb1JnVzc5NWt0NjNKSjEr?= =?utf-8?B?MHVpRk1EVlZKY3Z5aVl0cVowTHkwZG1vbGwwcTg1WlJ0RHkwdDh3WXNYVlRB?= =?utf-8?B?a3VUbEFMZ2Z6OXlpZW1Nc0ptL1V4M0RKYkRHeEsyRDhLMFVYWEdBZ0R4LzJh?= =?utf-8?B?WFlHUzVCZ3lnTjE0Wk82R2JaV25vMys4RDBxUGowQ2pnRHowNFZ1K1YvMHNO?= =?utf-8?B?cG55OHVlbnpXeUU0Y2pYdjVJUzdwUEhURjRKaWpvREpVT29oNm9QNWtucE02?= =?utf-8?B?bVZQZFd2d3cxNDdoYXNzMUg5SHJEWkY3OXZSY21BcFFSemUrSW5HM3dYd1c3?= =?utf-8?B?eTlucDZQWXVTMndFcWk0MldKR2RiYmtrbnB3cXZITGdPaDI2M1E4MmpYQW9h?= =?utf-8?B?L2wva05iOVB2R0dlNXNQRVVNN0VrVzY0ZWdiUlQzaVJLSzRQMjlqNHpBMlk2?= =?utf-8?B?SXlkblZLbldGSzQzdGt4NFVCbkJIVGNkT2ZRdjF6OCtmV3RCSVdQTm96Zk1P?= =?utf-8?B?VkRhYytidnBMQytjSXF2VE00TEprd1ptelA1Z1ZnbFNkZDJWREtTb2hEUFZO?= =?utf-8?B?d3lsbjhuOSthTkRoNFlDZ1FJeVJ6eDVDTjJHaHRSU2RjenlNVFo5Q0xCR2NK?= =?utf-8?B?bDFucm5IREx6c3oyWnl5dUtVNjlPMHJxTFJHeVBPenprbmxIQ2s0ek4xZ2Vq?= =?utf-8?B?YU4xZ2hTeEhrSFNWcysvdXdFWGtJWVJNLzZSc01NN0VIWVFHcXJhL203aFUw?= =?utf-8?B?c29YUzhCekNTVjVUNTN3MERSa3ozaDdtTmQ0V3dkT2NwMnA3MzA1R083WUlD?= =?utf-8?B?dUN1RlpMWjdwOW8rcUY2dTA5emFtTXZwV2x1U2dUbHJvOElMME1POHUwYkVH?= =?utf-8?B?TisveStNNTRQZS9qQ1ZtWnlUNUtGdkV6SXc4ZnB4MjRxSmpmOGZDTjdSdStw?= =?utf-8?B?Y3RoZzFJeXhwclhNY21laXhuODhLNlMrK3BweUR4OG1jN25PYVB3Qm1USlUx?= =?utf-8?B?bks1TGtmUEFueGRvMDY2TS85VFIzbUgyUXZudW5QazQrNjlQSDlvSkNpYWVE?= =?utf-8?B?SlFTYW1PSHFORmRrdmlnb2FjeGJwL3cvVWZZYnByc0d5ZG50aEFPeWN6KzVP?= =?utf-8?B?SWttREhXcmc4VFI1c29weHU3MmdTOHF6dm55Q2ZpWDdwWHlxWUd4SU1BYVZk?= =?utf-8?B?T000WUpYLzNSeUwraVQ5N2IxOEdKdUVKUWxvdWhuYUViaGwybzgwQkcyYzda?= =?utf-8?B?MlpKMVI1UDNjcG5kSmxVc2h6bGZ5ZWl2OFNHWXVCMlJ1QVdGVUVqWldHYkRO?= =?utf-8?B?NzFjMjJJaExGSnhrM2lTWVFuN0dXUURNK0R3a0lHYWl3V25LSzJrY3pZTG5i?= =?utf-8?B?Ti9qS01Ed0kxUS9URU5LNjhrTFE3OVBsWTQ5Y0RIeXZsNVFiWUhyeUJyTTJO?= =?utf-8?B?dVZFTHFlRUNDVkpFbys0YlRqcWxRa0NDU0UyQy9GV3JoMzVzTDU1blVQc3B6?= =?utf-8?B?SkEyYXBhZVFQeDdQL1Rab2xmMHlWZlFvQ2hZTU1adThTSmtUbER1STgvbkcx?= =?utf-8?B?WnFwb1l3dEpSdEVjQ1d6aEIwak9BZW5RYS8wN0xMMEtLVTJMeXZmT016UXEz?= =?utf-8?B?ZWR1RnR6aHdBVkdmNGtNYmNScnZrT05hOW56anVTU3A1RGppanZZWEZyejcv?= =?utf-8?B?UkdvTGFlREpUWDljaWl0THZ4M1BieFhrdVg5MHR6RnVLOHZGVkNqTFVJc1Bx?= =?utf-8?B?T1NXTU5NUlprUkdzN2hGcVZqYkpKVWk1TmMrbXBJcTcwSGlPdnRHUCszVmpL?= =?utf-8?B?UGxPTUJTRU1aL3NuNTJkM2RsdkJtc0Vja3hZWkxtQStwRGxkdE50M3VsZkZM?= =?utf-8?B?Y2dKNjk2WitkUlh5akg2SjErbDNvUVE2cktNemRDNUFob2FLN0JRTmlzb1VU?= =?utf-8?B?MWtWd1dNQUpJL3dqOGp6YzJsRkV6Sjg0S3hiNFFCbElVZHFsOHU3RElTQmd0?= =?utf-8?B?MVF3WVJ4b2lDaHZuUXlkZDgrRlF6WGcvcFZpMzFxL3VQZXRhOGV4Wkx1ajFa?= =?utf-8?B?TnVyTktuaC9DcnhIY0hqYUNzM1RLYlpZQXlaekx3dTBLZms2bjF2U3RwRzNy?= =?utf-8?B?blY4SXhKc2dSdHovYjlhdHNWSm51ZFJUdklLS1dIMGJJTE9WSXJ2UT09?= X-MS-Exchange-CrossTenant-Network-Message-Id: 68598a75-3080-4662-5b21-08da31c1e02e X-MS-Exchange-CrossTenant-AuthSource: DB7PR05MB6155.eurprd05.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 09 May 2022 13:43:18.7492 (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: TZivesoOweWI+LUPOe6ZMY7ZO3RuQmp29ZPPtqhkvYbv75mbaPIhzN3Rt8QY7COkMSaNHHglm2pphmgml97Rng== X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR0501MB2351 X-OriginatorOrg: ed.ac.uk X-Edinburgh-Scanned: at seine.is.ed.ac.uk Subject: [Caml-list] ICFP 2022 Student Research Competition: Call for Submissions [2nd CfP] Reply-To: =?UTF-8?Q?Daniel_Hillerstr=c3=b6m?= X-Loop: caml-list@inria.fr X-Sequence: 18757 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: --------------tWgy37lu0BpMTQV706SXFJCR Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable ICFP 2022 Student Research Competition Call for Submissions ICFP 2022 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three rounds: * Submission of an extended abstract * Poster session at ICFP 2022 * Finalists' presentations at ICFP 2022 During the first round students submit an extended abstract detailing their research to be reviewed by the program committee. Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2022. Winners of the poster session advance to next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience. ### IMPORTANT DATES * Submission Deadline: 8 June 2022 (Wednesday) * Author Notification: 24 June 2022 (Friday) * ICFP 2022 Conference in Ljubljana, Slovenia: 11 September 2022 (Sunday) - 16 September 2022 (Friday) ### SUBMISSION OF EXTENDED ABSTRACTS * Submission Website: https://icfp22src.hotcrp.com Each submission (referred to as "abstract" below) should include the student author's name and e-mail address; institutional affiliation; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp22.sigplan.org/track/icfp-2022-student-research-competition ### PROGRAM COMMITTEE Danel Ahman (University of Ljubljana) (co-chair) Maria I. Gorinova (Twitter) Daniel Hillerstr=C3=B6m (University of Edinburgh) (co-chair) Shin-ya Katsumata (National Institute of Informatics) Jennifer Paykin (Galois) Fran=C3=A7ois Pottier (Inria) Nikhil Swamy (Microsoft Research) -- Kind regards Daniel Hillerstr=C3=B6m Find me in Informatics Forum office 5.28/1. 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. --------------tWgy37lu0BpMTQV706SXFJCR Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
ICFP 2022 Student Research Competi= tion

       Call fo= r Submissions


ICFP 2022 invites students to part= icipate in the Student Research
Competition in order to present th= eir research and get feedback from
prominent members of the programmi= ng language research community.

The SRC consists of three rounds:<= /font>

* Submission of an extended abstra= ct
* Poster session at ICFP 2022
* Finalists' presentations at ICFP= 2022

During the first round students su= bmit an extended abstract detailing
their research to be reviewed by t= he program committee. Those students
whose abstracts get accepted advan= ce to the poster session round which
will take place during ICFP 2022. = Winners of the poster session
advance to next round, where they = will give a 5-minute presentation
about their work on the ICFP main = stage in front of a live audience.

### IMPORTANT DATES

* Submission Deadline: 8 June 2022= (Wednesday)
* Author Notification: 24 June 202= 2 (Friday)
* ICFP 2022 Conference in Ljubljan= a, Slovenia:
    11 September 2022 (S= unday) - 16 September 2022 (Friday)

### SUBMISSION OF EXTENDED ABSTRAC= TS

* Submission Website: https://icfp22src.hotcrp.com

Each submission (referred to as &q= uot;abstract" below) should include the
student author's name and e-mail a= ddress; institutional affiliation;
research advisor's name; ACM stude= nt member number; category
(undergraduate or graduate); resea= rch title; and an extended abstract
addressing the following:

* Problem and Motivation: Clearly = state the problem being addressed and
  explain the reasons for see= king a solution to this problem.

* Background and Related Work: Des= cribe the specialized (but
  pertinent) background neces= sary to appreciate the work in the
  context of ICFP areas of in= terest. Include references to the
  literature where appropriat= e, and briefly explain where your work
  departs from that done by o= thers.

* Approach and Uniqueness: Describ= e your approach in addressing the
  problem and clearly state h= ow your approach is novel.

* Results and Contributions: Clear= ly show how the results of your work
  contribute to programming l= anguage design and implementation in
  particular and to computer = science in general; explain the
  significance of those resul= ts.

* Submissions must be original res= earch that is not already published
  at ICFP or another conferen= ce or journal. One of the goals of the
  SRC is to give students fee= dback on ongoing, unpublished
  work. Furthermore, the abst= ract must be authored solely by the
  student. If the work is col= laborative with others and/or part of a
  larger group project, the a= bstract should make clear what the
  student's role was and shou= ld focus on that portion of the work.

* Formatting: Submissions must be = in PDF format, printable in black
  and white on US Letter size= d paper, and interpretable by common PDF
  tools. All submissions must= adhere to the "ACM Small" template that
  is available (in both LaTeX= and Word formats) from
  https://www.acm.org/publications/authors/submissions. For authors
  using LaTeX, a lighter-weig= ht package, including only the essential
  files, is available from
  http://sigplan.org/Resources/Author/#acmart-format. The submission
  must not exceed 3 pages in = PDF format. Reference lists do not count
  towards the 3-page limit.

Further information is available a= t the ICFP SRC website:
https://icfp22.sigplan.org/track/icfp-2022-s= tudent-research-competition

### PROGRAM COMMITTEE

Danel Ahman (University of Ljublja= na) (co-chair)
Maria I. Gorinova (Twitter)=
Daniel Hillerstr=C3=B6m (Universit= y of Edinburgh) (co-chair)
Shin-ya Katsumata (National Instit= ute of Informatics)
Jennifer Paykin (Galois)
Fran=C3=A7ois Pottier (Inria)
Nikhil Swamy (Microsoft Research)<= /font>
--
Kind regards
Daniel Hillerstr=C3=B6m

Find me in Informatics Forum=
 office 5.28/1.
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. --------------tWgy37lu0BpMTQV706SXFJCR--