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 6B8B25D5 for ; Wed, 1 Jun 2022 17:20:31 +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=DTTIZj8y8OEEcshOa4V6V2WngJLBuUWjQY9cpyzJ55s=; b=YJelIG6eyFMOJ5omwgLFSgEbOPdRkkMYM1vXiYF3EdpzQ2DYN2ALNHX+ Nby8m3v/GgTziGpmmYCsLfT4FBdg7WMba3dZZCT/SsUf2tqsnOYjaglm3 2z1+au2dTXzIYd+H41EIQHibf3lzSGSH4yLNJKrYfm721aZAptSsUi9mX U=; 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,269,1647298800"; d="scan'208,217";a="39058842" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Jun 2022 19:20:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 53E6BE037F; Wed, 1 Jun 2022 19:20:30 +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 5E450E007E for ; Wed, 1 Jun 2022 19:20:27 +0200 (CEST) IronPort-SDR: Qb/w0qOVtTxnWNnS0Sz0BW+O/BG/cV33vmzhUUUxf+cP2glsNFwzB6t0rtpP5m8dqmspi1FzwE Xf7MRAAPdcAdMKAM03CB7t/Fs89hbh8+Uu19uS9Vrpum83TSIOlSDpmGIpVsuv/Q4/BLiv2+xt MkVUY+04AQSbGgWnOryDpCsaEuGelKu1464xSLyNBH7COx48p4LT7Kg9nP2ha4nxuwBXkcTSYR 0gwHoD2Nefm0HkumsZ96pjEtC7tJiIkg1zvhGaw4oneFpyG6h2xxOWD/I2uq72rUiDNLRZ1NSP qYMH4A022phO/ZgV6/N2UXiT X-IPAS-Result: =?us-ascii?q?A0BfAwCFn5dihwoQ14Fag3kBMFKBAFkqBwhEhE6DTQEBh?= =?us-ascii?q?TGFC4MCmz6DKAIJAQMBCwEBNwkCBAEBhQIChUYCHgYBBDQTAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBAQMBAQUBAQECAQECBAQBEwEBAQENCwkFCAoHEA4FPGRnAYFOAYF5B?= =?us-ascii?q?gQwDYI1IoQEER0BASQUDUwDAhgcFBcNBgIBAR6CWwGDGAEOnyMBgT4CAosXg?= =?us-ascii?q?TGBAYIIAQEGBASBOwWBFoJvJlSBHgMGBYE4hz0BAYl0gRUnD4Myg3t/gyCCZ?= =?us-ascii?q?ZZ6BycEDwMcMjQSgSFxAQgGAwMHCgUyBgIMGBQEAhMRUx0CEwUHChwOFBwkG?= =?us-ascii?q?QwPAxIDEQEHAgsSCBUsCAMCAwgDAgMuAgMYCQcKAx0IChwSEBQCBBMfCwgDG?= =?us-ascii?q?h8tCQIEDgNDCAsKAxEEAxMYCxYIEAQGAwkvDSgLAxQPAQYDBgIFBQEDIAMUA?= =?us-ascii?q?wUnBwMhBwsmDQ0EIx0DAwUmAwICGwcCAgMCBhcGAgJxCigNCAQIBBweJRMFA?= =?us-ascii?q?gcxBQQvAh4EBQYRCQIWAgYEBQIEBBYCAhIIAggnGwcWGR0ZAQVdBgsJIRwKH?= =?us-ascii?q?xEFBhYDIwttBQo+Dyk1GSgellGCOXgYKQZCFAUTJQMMDmkvlWurCgeDUYsbi?= =?us-ascii?q?DqMJAZAg3WMPoZgkUYBh0KERopgjS2UTRWEewIEAgQFAg4BAQUBgXiBfoEBg?= =?us-ascii?q?ydOAQIBAg0BAgIDAQIBAgEIAQECAVONYh6IT4JmgmV0OwIGAQoBAQMJgjqDD?= =?us-ascii?q?4lBAQE?= IronPort-PHdr: A9a23:E2AvfxTdndsiKG9xpwOeMpnco9psoqmVAWYlg6HPa5pwe6iut67vI FbYra00ygOTBsOKs7kd07qempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQtFiCC5bL9uI xm6sBndu8oLioZ+N6g9zQfErGFVcOpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q 6BWAzQgKGA1+dbktQLfQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8 qxmTgLjhiUaOD4j6GzYls9+gqxVrxy/pxJx3oHbbZqPO/ZiZK7QZ88WSGRDU8tXSidPApm8b 4wKD+cZM+hXtY/9p1oQohu6HQaiBuLvyjtMhnDox606yPghERvAxAwlAtkDt2nbo8/zNKcTT ++1yLPEzTXCb/NS3Tfy9pLIcgs9ofGWWrJwdNHcxlcyGA/flFqftZbpPy6W1ukUtWWQ8uVvW /61hWE9twFxviagxt0qioTRiIwbxEzJ+Cd3zYs2K9C0Vkx2bcCrHZVfqyyXM4V7TMwsTWx0p So3174LtJ+7ciUW1pkq2x7SZvOafoWL/x/uW+CcKip2inJifbKwnRey8U64x+3nV8m0305Kr i5fndnKrHwN0AbT6seBR/Bg/UmhwS6C2x3N5uxAO0w4i7fXJp47zrItl5cfq1nPEjPulEnoj aKaaksp9+215+j7eLrrp5qRO5Johgz7NqkihsmyDOElPgUNWWWQ5P6y26f5/ULjRbVHlv02n bfdsJDdPckboqm5Aw5P0ok98Rq/Diym3M4GknYaNl5KYg6Ig5L0O1HNOPz4DPG/jEqwkDpz2 vzKILnsDo/TInTekLrtZ6tx5k9GxAYu0dxT/5dUBasAIPL3VE/xrtvYDhohPgK62ennDtR92 Z0aWW6VAKGZMafSsVuW6eI1OOmMeJUVuDH4K/U++fHhkGU1lkUBcqWzwJsXa2i0HvJ9LEqBe 3rjns8BEXsWvgo5VOHmlUWOUSRPaHaqQ6I8+jY7BZq6AojZQ4CthKWN3CO6Hp1NemBLEUuME Hftd4WcQfgAciOSIsl7kjwFT7etUYEh1Qv9/DP9nu5sJ+/QvykZro7L1d5v5uSVmwtkphJuC MHI/2iLTmxwqUMJQzs7xrtju9J4ggOP2K55jvgeFd1X4/5TSRsgMpv0wuA8Atu0RwGXLYTBc 0qvXtjzWWJ5ddk22dJbOy6Vev2nhxHHhG+xBqMN0qeMHNoy+77d2H74I4B8zWzH3e8vlQpuW dNBYEuhgKM37A3PH8jRiUzMm6+sdKkYmi7M8GOO13GSpkZdeAN8F6zOG20cNQPNtdqs3krZV Pe1DKg/dA5IyMqMMKxPP/Hgi1RLQLHDOdDabniqh323AD6FyvWFZ8z3eDZVxz3TXXANiBtb5 nOaLU4+CyOm9nrZFyBrHEnzblnE9e5/sn79T1Rywg3MZkYnyrndFgc9o/uaRrtT27sFvHxks DBoBBOm2MqQDdOcpg1ndaEaYNUn4V4B23iL/wp6doetKaxvnDt8O0x+ol/u2hNrC45Bjdlir XUkyxB3IL6Z11UJfi2R3JT5MLnaYmfo+xXnZ6nT01DYmNGYn8VHoPgxrVTuuEepF04m/m98z 8NS1lOR6tPDB0wPUtO5U0o68QR7u6CPejM0tOa2nTVnNai5tCOH2sp8XbF0jEz5IpEGbuXdT FyXcYVSHcWlJe00lkL8axsFOLsX76soJ4a9cOPA3qe3PeFmlTbgjGJd4Yk73Fjfkkg0AuPOw ZsBxOmVmwWdUDKpxnuotMH6ncZkZDUWE3Ck1TLjAaZcaut7dsAWCi39Rq//jsU7nJPrV3NCo RSvDlUH1cvveRuWa1HnxhFK0kE/rHDhkCD+0j8+wFRL5uKPmSfJxerlbh8OPGVGEXJjgVnbK o+xl9kGXUKsYmDFjTOd7F3hj+heraV7dCzIRFtQOjPxNydkW7exsbyLZ4hO7okpuGNZSrb0b VefQ7/76xwUtkGrV0dXwjE2c3eKu5H9kgZhlHiaKV5+oDzQcodtxl/T6cfdSvhYwjcdDHAi2 H+NXwX6ZofvpI3cnoym0Kj2T2+7U5xPbSTnhZiNsie2/ywiABGymeyyhsyyFAE71SHh0Nw5H S7MrRv6fszqz/Hja7MhJBA1QgairZMiSeQc2sMqiZod2GYXnMCQ9HsDyiLoNMlDnLn5dDwLT CIKxNjc5E7k3ldiJzSH3dGcND3Vz81/at29em5T1Dg66pUAJK6S7bFA2wt0pl61txnNe/94t joRj/IlrmMZybJs2kJl3mCGD7YeEFMNdwDlkRWF65aeraFTaXy0baK30WJzkZaoB/efoUsPP RSxModnFih24MJlNVvK23Cm8YDodu7batcLvwGVmRPN3KBFbYg8nf0QiW97KHrw6Dc7nvUjg 0UkjvTY9MCXbn9g96WjDltEOy3pMokNryr1g/8Wn97Kjdn1T9M7Q2hNBcWuFKrgESpO5629Z kDUSWB68yjdQ+KFeG3XoEZ+8yCWScHtbSjKYiBGi4wyGVGcPBAN2VpFGm9jw9hgSEbznJapN U594np5CkfQkhJX0aooMhD+VjyavwK0cnIvT4DZKhNK7wZE7kOTMMqE7+s1ETsKtpGmqQWML CScaWEqRSkRXVeYAln4IrS0zd3H8vKVQOulafbCJ7yF7/FdH/uF3pOg1IJ68i3Eb5/eeCM7U rtihAwaBThwAKG7030XRjYSlj7RYsLTvxq69iBt74i+/PntRAPz9N6PBr9VYp1k/xG7h7vGN vbF3Xwob2wBi9VVmzmRkOt6vhZakSxlejizHK5VsCfMSPmVgapLF1sAbDs1MsJU7qU61w0LO MjBi9qz2KQr65x9Q1pDS1HlndmkIMIQJGTofn/OAkeGMPKmJDnPztvsfbm7TJVdgKNdvFutu nzIdi2rdiTGjDTvWx21ZKtUizqHORVFpIynWhJqCHLuCtP9LBC3dtZ8yyA1i+5R5DuCJSsXN j5ydFlIp7ub4HZDg/lxLGdG62JsMeiOnyvKp/mdMJsdtuFnRzhlj+8Pqmpv0KNbtWsXIZ490 DuXtNNlpEuq1/WC2iYyGgQbsS5F3cqC9QBrPaGTnnGvcXvIuhsGq3iTWU1iTzpNDtruoa0Wy 8OJma61ITwE7tGGpKP04uDZJISOOzw8MkixcAM= IronPort-Data: A9a23:RceNWqsomeFWPiK7v7SAF4eol+fnVLJYMUV32f8akzHdYApBsoF/q tZmKTuBMq2KZGP2coojPtvgoRhU6JbVx4ViQVdr+XtnHigTgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52LBVPyvX4 Ymo+5OHYQf+s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnbepQD4sA4jTpPg6bgEJEzsjALVA+5aSdBBTseTLp6HHW3/rwu9jSkAte4AUvO98R3xNn RAaAGlXP1bZ3r/wmez9E7EEascLdKEHOKszs3dhwDWfLfciRZ3ZWLnQ4tpw0Tt2j8sIAPW2i 88xMGcxMk2eOU0n1lE/JZM3tqD2gmfFdhoIqVu3/fMZ2Xn59VkkuFTqGIGJJIDTHJ89clyjj mnP+mC8BhABKPSE2D+d+zStgPXOlGX1Quov+KaQ8vlrmlDVx3dVBRFQXFD9vPrRZlOCt8x3A FUdwy8TiLcO6GuWVoj9RUCFuHiHl0tJMzZPKNES5AaIw6vSxg+WAGkYUzJMAODKUudrHFTGM XfUx7vU6SxTXK69FC/Mq+rOxd+mEW1OdzdaPUfoWCNYi+QPtr3fmTrgZL6P+oaYgtzzEyzqz DDiQMMWqpVM5SLn/56w+kzDijSgzqUloyYx4QTNUySk9UV0aMisbMq16jA3DMqszq7HHjFtX 1BdxaByCdzi67nRyURhp81RQNmUCw6tamG0vLKWN8BJG86R03CiZ5tMxzp1OV1kNM0JERewP hKP4VkItMUMYiD6BUOSX25XI5pxpUQHPYq+Ps04kvIUM8IZmPKvo3szPhLMhwgBbmB9z/lhU XtkTSpcJS1GV/g+lWDeqxY107Ytyzx22GXSW53h1BW7wPKYaWKKTq0GWGZinchnhJ5oVD79q o4FX+PTk0s3eLSnMkH/rNBPRXhXcylTLc2m+qR/K7/YSiI7STFJI6GKm9sJJdc695m5Y8+To xlRrGcDlAGg7ZAGQC3WAk1ehETHB8kh/SlrZnZzYz5FGRELOO6S0UvWTLNvFZFPyQCp5acvJ xXcU8nfUPlJVBrd/DERMcv0oIB4JEamiUSHNGy4Y2FnLZJnQgXI/P7ifxfurXFQUHLn5JVm+ 7DwhBnGRZcjRhh5CJqEYvyYyV7s72MWn/h/XheVL9QKIBfs/YFmJjbflPgyJ81QexzPyiHKh QuaRx4T4/TO+tdn/N7MjKGCjoGoD+onRhQERzmKs+7uOHCDrGS5wIJGXOKZRhznVTv5qPe4e OFY7/DgK/lbzlxEhIxxTuRwxqUk6tqz+rJXw1g2HHjPaFj3WLpsLmPfgptLsaxXy/lYok27V gSG8Z9HOuzRas/iFVcQIisjb/iCjKlKxGGCvKpteEiqtjVq+LenUFlJO0fegiJqLIxqbNEvz 9AntZNE8Ae4kBcrb4iL13gG62SWI3UceKw7rZVGUpTzgw8mxw0Qe5DaESOqspiDZ88VbRsuJ T6OiezDnPJRygzLeDwuFiGVj+ZagJ0PvjFMzUMDfgzXxIKV16FvhBABoy4qSgl1zwlc17whM GZcN3pqefeE8QBuiZURRGurAQxAWUOUoxSj11sTmWTFZEC0TWiRfnYlMOOA8U1xH7iwpdSHE GV0CVoJUAoGuOn12SooVAhksLruQZp4/Uvfm6hL2uybSoIib2ONbrCGPAI1R9nPWKvdR3ErY cFn8KB5YuvmNkb8ZoUlXpKC2+14pA+sfQR/rDIIwE/NNWzQPji5nyWNQ6x0lgWhONSSmXKF5 wdSyg6jmvhwOOtibtzWOELUH4JJoQ== IronPort-HdrOrdr: A9a23:Bk3gjK4axr1jGApnIwPXwSyBI+orL9Y04lQ7vn2ZFiY6TiXIra +TdaoguSMc6AxwZJhSo6H4BEDgewK4yXcR2+gs1NiZLW7bUQeTXfpfBOjZskHd8k/Fh4pgPM 5bGsAUYrCAbikZsS+Q2njDLz9P+qj+zEnlv5a58587JjsaFp1I3kNUBwadGVFsSggDP5AwE5 2R66N81nidkDksH7OGL0hAe9KGi8zAlZrgbxJDLxk76DOWhTftzLLhCRCX0joXTjsKmN4ZgC H4uj28wp/mn+Cwyxfa2WOWx5NKmOH5wt8GIMCXkMAaJhjllw7tToV8XL+puiwzvYiUmSAXue iJhy1lE9V46nvXcG3wiRzx2zP42DJr0HPmwU/wuwqQneXJABYBT+ZRj4NQdRXUr2A6ustn7a 5N12WF87JKEBLphk3GlpL1fiAvsnDxjWspkOYVgXAae5AZcqVtoYsW+14QOIscHRj99JssHI BVfYrhDc5tAB+nhk3izyZSKITGZAV8Iv7GeDlLhiWt6UkaoJgjpHFohfD2nR87heEAotd/lq T5259T5c9zp/8tHN1A7dg6MLqK40z2MGfx2TGpUCDa/J9uAQO8l3ew2sR32N2X X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,269,1647298800"; d="scan'208,217";a="15661628" X-MGA-submission: =?us-ascii?q?MDHUwI5r8P/n9mKE0q61WvwSO8O35M/mX+jw3p?= =?us-ascii?q?i4iRmhdWKN7ABXiRoIdhjCAUymbZ6bXDXvTn/BCwTLnc1xMQ3HAfI4JE?= =?us-ascii?q?JxOVRl5oS3wRkTfaZS9t5iTRimINoqRkrN9b9gt6NLI8aklgDYQeBphD?= =?us-ascii?q?98idcrH5Vl6kuaanCd8+Ba4A=3D=3D?= Received: from loire.is.ed.ac.uk ([129.215.16.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 01 Jun 2022 19:20:08 +0200 Received: from exseed.ed.ac.uk (hbdat3.is.ed.ac.uk [129.215.235.38]) by loire.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 251HK6GA016215 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Wed, 1 Jun 2022 18:20:06 +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.28; Wed, 1 Jun 2022 18:20:06 +0100 Received: from EUR04-HE1-obe.outbound.protection.outlook.com (104.47.13.53) 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.28 via Frontend Transport; Wed, 1 Jun 2022 18:20:06 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=WQ3UqfymY2eQSK1zt9639vL2uy9kJIXJdxf+Ukj0ot9EopkCa4nSO3FMjaSQ+zUTDRiBWvsBN2pJEMrLj7b5koSjzCJzM4fwP9C7j/IRzq7xiYG5K6KiEOsPVsBcp8zX3eljSrz5iXGyJS1rGbHpR3/B0F6mERHsYbk6EC8/FBMdfYCXLHYE1k3n0XnNIiVZjqW4R4UCHoUOInDi3qCsqv4ENclBhrTWIIe7Br513RdofMRnwWb0nL2RQVy3tiWgSZCFUIhWy7LhXaEtvJe2LzHpauFRzMqCrg89/RthMY+hZAY093ef+jPm5Jsg0gUJEEMOmpS0/wsMSVqDl6m/RA== 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=DTTIZj8y8OEEcshOa4V6V2WngJLBuUWjQY9cpyzJ55s=; b=C302rK7rbDfy7g3wM3+F9K44VXjqJ89QJCXbuwTBh5NvyvV4ConjDAlf7khBMvifT9fJFS2pQjPT9mKEb3HhnUFBrazyK9K6w+0VNIwiXp8oArZT7aIfXw/19kKO/f3tRzh6+FCUyAAj6UgYgO289P7UsCOEgbJ9OKgcNnWYywLxvbnXxfEFMpuZ9kZI0CqMb6AIOiFv12WIzcGYnzqyhLkTbchPR6BBugh6sgJ4C2CdfWV71xG9nvXxP3+GNqZkEyAXvIov7540g1zsKphMp18dxdPGmsRrnbWuxMPADaMclixh7Wf0ZgYkmas2OjrSbFRLF4WJNmQnnkJDYVtWPw== 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=DTTIZj8y8OEEcshOa4V6V2WngJLBuUWjQY9cpyzJ55s=; b=jgzh6EYaobQoQbfTNP+woxgc2QpXm2TZ3lv9EgstS8lzI01FYTDE87MPReCZ7A2SHSMTdnE8ys649TsNhBRiTij4KJRBoi8t/fBUfFqgLyLHYniI/cu5PzQxOO57x6AgoltFH8y/z5X6su7GfpL6PPgNIjc3ruq80rqoZMxy7iu/Oj5dW8bDZ3tizL1i8nIFY1y/m4t/HybNC27x4xNW+lcRp4iya5D+LPFtdmNWNAKIjtbkEj8ujHHFyghozaJuMmz+REdLWDVTPrQfbIm4WM1ttZrcjT5BISSGpMKsdjdNYu372B4VOO9cqDw/u/tmEYqMchV+Dak4ce1lQUfFpQ== Received: from DB7PR05MB6155.eurprd05.prod.outlook.com (2603:10a6:10:90::18) by VI1PR05MB3470.eurprd05.prod.outlook.com (2603:10a6:802:1f::25) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5314.13; Wed, 1 Jun 2022 17:20:04 +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.5293.019; Wed, 1 Jun 2022 17:20:04 +0000 Content-Type: multipart/alternative; boundary="------------5VXG62O08JwUpAA7dpuFm06w" Message-ID: <7e4ac172-0a26-fa44-be4c-f3001d4bc4b8@ed.ac.uk> Date: Wed, 1 Jun 2022 18:20:00 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.9.1 Content-Language: en-US To: From: =?UTF-8?Q?Daniel_Hillerstr=c3=b6m?= X-ClientProxiedBy: SA9PR13CA0046.namprd13.prod.outlook.com (2603:10b6:806:22::21) 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: b4c7ca14-9782-4858-355b-08da43f2f7bd X-MS-TrafficTypeDiagnostic: VI1PR05MB3470: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: s2Y27E+DPfs0Ww70wj9RTo4S9dVO9KksTodzXQsJvYdOmps6cI0UOET52QselVQJjRG5rrsvmsir0juGmylzY6hoR7KTmJJKx6XQtOuiTTd9z9U5rE3EUzTKJZm6ZfK31iJjHVAv9J6KKFNWh0aotC27uGSxRpGyMmuCS7KYbXJeCQk+fwybjwtEcH71gNkKObYjRdMmBqYBIr9jD/dfq4vMLIaRQuVXDohGkEGsRktmeZgvP8OumgkkSOs1SYIGNKnWHyj6npjXrdttnp1enzXLgKEICFx2xbNoq3Y1LEBZU8cBdxYSsA/fs7RWzee1byiGWB7HaRMPzRTXdvBLQGC8Wn9eEITwMDl1+D2l3O42Cg6knK7xwaKnTaRe4SDjeJ8pUVAUxOxz1U94BuuTCRsqc4WygiEbnbh7zNlxZf9zV4tY3yJ/iu5amVNxuwmev4e66dp2jsh2fBv05hWFxC3fwoMS2k1JH4FcRMBmKF7Skj/G+Ivmkr3ACQ3Cf7z8GBxokpzXnf+kArclghJtCy4QYKp6jtPRAPICJ/RkFV860FhecvamuihnNBvnoCw7gEGuOq8ISUzVPQec1W7qulze/jIlmEo6RkESGo4MeM4UHoAh/+oIDlKhWuVvu7QILI6O9rAfZOJ09eKhNemyHXjIia/wTLgP0qRBHfg4e6FXqcP6o7TXZ7drSJrWGPKEOU++gnwyjOqv0oGtk0uvDUrYLjNSyKdTms+YWoV+kliAYYQdMT0gcWKuMoiEswEai/ENbSLZ+LzibgznyHDwEm2DY2EiiMzRDUjFFKpRXAQzhUZR3n7BGJNhl6ZEdJCe0pTfL5mdblxusiFBkZgrFQ== 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)(36756003)(5660300002)(38350700002)(166002)(38100700002)(31686004)(8936002)(966005)(2906002)(83380400001)(66574015)(6486002)(31696002)(33964004)(26005)(52116002)(186003)(6666004)(6506007)(2616005)(786003)(316002)(508600001)(66946007)(66476007)(8676002)(66556008)(6916009)(86362001)(6512007)(45980500001)(43740500002);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?TWtnZm5aWUVLcHJRNWhZOXBQOHgwUkxoZUxDV3NiUnBLeXpMRkxkWEpleU9p?= =?utf-8?B?eFFyMGZTTXZjaVpvZEtFUzEyWDZLK1RnV0Z3Z3RidGExb0RRRFhuYkx5cFhr?= =?utf-8?B?bnFlWkFvdE9PVmhVR2RMOFIrd1FyZERtWjhHQzdqcXNhcnVacStUTXJnMXl2?= =?utf-8?B?N2lkNFlWbTRHTHBBbTBUWHpQUzBIaXlIZ0pMdTVObFZEVTNlQldUTE4ySEQw?= =?utf-8?B?QUw1MWNlVCtEUjlpOVRaRS8vTTlseEdJY2dyMWNneEw3V3RDQmJyZXF4VldX?= =?utf-8?B?UWpWZGYreksxZ2Z2bHhlZVU3TkdvdzJDc1crSjBFLzJ1QWdoQ1Q1citqSTNG?= =?utf-8?B?em4vQ3IyVTNUN253eFBTYi82MmZ5eVdrNWYvVk95Q1NxV2E2VHVwd2ZrOVhM?= =?utf-8?B?K1Z4V25FU2orVkl0UXZIV282L1d5Y3p2SEptdFFRcFhEMTd6cVYzMU1WY243?= =?utf-8?B?cFd3YXVKWE81OG1NRm50Y05waDlST1RHU3ZwRlp6NzlESkhoR05yRUcvSUl5?= =?utf-8?B?U1hWYmxLUTZqRTh0NHJKVldJWGpjaHgrYmhXT1Z4N09rWHZSZXlCVkhzeG5Y?= =?utf-8?B?Y1gxWWo5NHVKeTIyRDVrZkJmUWdSQXFyWnJLVktlMEFoeUxYSnR6YndrdExQ?= =?utf-8?B?ckFFYXZyWCtFM0lXTUZ2Rk40emhLSjZoVXZZYVg4bG9UcFliMkNPWEdobWkz?= =?utf-8?B?OWU1eE9Pb2Z4SURqUG9EaHF4NjA1VzcvbVZxTm00M2Fzc0xBQStSMnFiaDRI?= =?utf-8?B?M0t1eExZbWU2NXBQeld6d2VvZllscmlpUXg3amlobVg3d3V4WXZOeU9pSkt6?= =?utf-8?B?NG4wdzBOakdwdHJvQ0V0N0xaL1NiTWhkTVlVNnJFaW1IbDFYL2JUNUtHcDJs?= =?utf-8?B?M0lvbVlIZW5zTTN4V0habjl0ZGEzczI4ckNyUXBsWU9NZG5xV1ErRnpJVTl3?= =?utf-8?B?MU1Fd3ZUM091TFVsNXAzZDI1RGxvcWdVaUEwV29QWFRrczVwd2EzTXFDU09W?= =?utf-8?B?QnpQd2ErZ0lTL0Y1Z0VFaW1pNWlSSkE2clR3SmR3QTFEYzE1QWRjblFVT1dU?= =?utf-8?B?ZlpnQ3VndGtTbkZLNlpLWGhtN21FbVNoamVZZ0pqaHdsYWdnTmszdXZvNGJ4?= =?utf-8?B?akNhWmViMDJSdW1rSTkrU3EycmlWSHVlQldSbWZ5YW1tQm9qQ1d3bFhMUmxM?= =?utf-8?B?WCtPM3pkR2YrRit2UEFZYktXUmx0YWdJc21JVzBBNHVoUExYR1BGcXhvZTNy?= =?utf-8?B?VDFRWGUzcmRDQ0xYNkNzUmUzclQzQ0k3ZVlrZjRKODJXYWNLeWYzc0YvZlJy?= =?utf-8?B?amh4MWdyY1BUZlRldGVBcWVPQzk4V0V5LzQ1UGFVUitrNzNTZURRTWFSK1BP?= =?utf-8?B?NUE0eVI2Q1F6Wm5SQlRwMVJiUUNPazVJcm4xWEtNNlVydzNmVXBjNEkxcSsw?= =?utf-8?B?d0lOWUJkOXpxZloxSTk1YlJQMDFkT2tSSDlWOXhJRDM2N2NTcHNlZk96VjV2?= =?utf-8?B?aEVuWUdla0dxQ0lxbWI2S2VXaUhYeVZoYUFTeDQ4K3FnWHc1Qk0vUW1WSVRH?= =?utf-8?B?eUJaR2Y1dGxFcVVwMUJ4UUNKMzB4TmYwMWpxb0o4U3pBeGRaalNvWmQrMmJw?= =?utf-8?B?MG5aV2hMOElkbjdtWlNJTTNwY1BPdjVrbXNWQmk1bWR4RnhscHQwMkQ4ZzBq?= =?utf-8?B?aHZ0MEhrclFmeU95TVJCTmhRZ3AxdURjUnhPdWp4UWJmZ0tNbGROYnhYRXM5?= =?utf-8?B?bVUxVEtJTmRaQnlZdnJuQittNEovT3NFWmlWNTB0SWxscnRIVmZCYXN3eUlW?= =?utf-8?B?YzZFK3M4WU9KY1lIK3FDWlZwaG1sdEJKSzBkT3JSOEhNdng1OGtNcXNmMzF4?= =?utf-8?B?S1NHYVhqMjBkNE9NTDYxKzY5UUhTNjlIWEUvMnA4dmxOa2VFdHRBWXJESkQy?= =?utf-8?B?M2xlZEJXUit3ZnZZcWs3cnlXYlcrSHpxei9LV1FKUnB5Y09BRHV3U05UN1Nw?= =?utf-8?B?TzB6ZXVYazZBY1dybmwzSnB0U1dlc2tFd2VTRm1vRUMrVm1JZWp4Z2pDQzBp?= =?utf-8?B?clc2aUpzcHJLSTdZOVBnU1dXd1VnTjBGVWFlQlQrWG9JbU5uRkF2ZjZoNmRW?= =?utf-8?B?KzM3OGZvT0dYV3ROYTdNQ2tOcW9hcjFpQ3VoVUdjeXZHZ2hSQVJxbFJkd0c4?= =?utf-8?B?SmdvNGFSWHB0dTZuTXAyMXNYTk5NUkFCbFBPWjJmbjE1V2k5NmU3T1RoMUR5?= =?utf-8?B?RGE5MUx3ODVuZTkwVGRBbERCZVJLa2hBZEdwUGJMNW1jNXhYeitFSWE1WXpB?= =?utf-8?B?cTNOeXZ6MEF2eUtRM0JJY2pQZjk0M1padi83emsxeWJCRmw5Mm1RUT09?= X-MS-Exchange-CrossTenant-Network-Message-Id: b4c7ca14-9782-4858-355b-08da43f2f7bd X-MS-Exchange-CrossTenant-AuthSource: DB7PR05MB6155.eurprd05.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 01 Jun 2022 17:20:04.4490 (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: F/Ip9q+L15hlDYoMk2YvBeKVgh0bqFmLl7cm016NcppS9aHGx4WYWJiFb6Vlc7qv4FZDo0LpHKHIdCOPtx010A== X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR05MB3470 X-OriginatorOrg: ed.ac.uk X-Edinburgh-Scanned: at loire.is.ed.ac.uk Subject: [Caml-list] [CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (DEADLINE EXTENSION) Reply-To: =?UTF-8?Q?Daniel_Hillerstr=c3=b6m?= X-Loop: caml-list@inria.fr X-Sequence: 18776 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: --------------5VXG62O08JwUpAA7dpuFm06w Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable The deadline has been extended by a week to enable more people to submit their work. The new deadline is *Wednesday June 8, 2022 AoE*. HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 11, 2022 (Sun), Ljubljana, Slovenia (the day before ICFP 2022) Call-for presentations https://icfp22.sigplan.org/home/hope-2022 HOPE is an established informal workshop bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. Talks about work in progress are particularly encouraged. It has been held since 2012 in affiliation with ICFP. We solicit proposals for contributed talks, in plain text or PDF format. The motivation, the problem to solve, accomplished and anticipated results should be clear from two first pages of the submission. By default contributed talks are about 30 minutes long; proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides), which PC members are free (but not expected) to read. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Daniel Hillerstr=C3=B6m (daniel.hillerstrom@ed.ac.uk) and Oleg = Kiselyov (oleg@okmij.org). * Deadline for talk proposals: **June 8th, 2022** (Wednesday) * Notification of acceptance: **July 13th, 2022** (Wednesday) * Workshop: **September 11th, 2022** (Sunday) Program Committee Jonathan Immanuel Brachth=C3=A4user University of T=C3=BCbingen, Germany Edwin Brady University of St. Andrews, UK Daniel Hillerstr=C3=B6m (co-chair) University of Edinburgh, UK Mauro Jaskelioff National University of Rosario, Argentina Oleg Kiselyov (co-chair) Tohoku University, Japan Sean Moss University of Oxford, UK Maciej Pir=C3=B3g Huawei Research, UK Taro Sekiyama National Institute of Informatics, Japan Ningning Xie University of Cambridge, UK Yizhou Zhang University of Waterloo, Canada -- 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. --------------5VXG62O08JwUpAA7dpuFm06w Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

The deadline has been extended= by a week to enable more people to
submit their work. The new deadline is *Wednesday June 8, 2022 AoE*.=

HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
September 11, 2022 (Sun), Ljubljana, Slovenia  (the day before ICFP 20= 22)

Call-for presentations https://icfp22.sigplan.org/home/hope-2022

HOPE is an established informal workshop bringing together researchers
interested in the design, semantics, implementation, and verification
of higher-order effectful programs. Talks about work in progress are
particularly encouraged.  It has been held since 2012 in affiliation with ICFP.

We solicit proposals for contributed talks, in plain text or PDF
format. The motivation, the problem to solve, accomplished and
anticipated results should be clear from two first pages of the
submission. By default contributed talks are about 30 minutes long;
proposals for shorter or longer talks will also be
considered. Speakers may also submit supplementary material (e.g. a
full paper, talk slides), which PC members are free (but not expected)
to read. If you have any questions about the relevance of a particular
topic, please contact the PC chairs, Daniel Hillerstr=C3=B6m
(daniel.hillerstrom@ed.ac.uk) and Oleg Kiselyov (oleg@okmij.org).<= br>
* Deadline for talk proposals: **June       8= th, 2022**  (Wednesday)
* Notification of acceptance:  **July      13= th, 2022**  (Wednesday)
* Workshop:          &nbs= p;         **September 11th, 2022**=   (Sunday)

Program Committee

Jonathan Immanuel Brachth=C3=A4user   University of T=C3=BCbingen= , Germany
Edwin Brady          &nbs= p;           University o= f St. Andrews, UK
Daniel Hillerstr=C3=B6m (co-chair)    University of Edinburg= h, UK
Mauro Jaskelioff          = ;       National University of Rosario, Argen= tina
Oleg Kiselyov      (co-chair)    To= hoku University, Japan
Sean Moss           =              Un= iversity of Oxford, UK
Maciej Pir=C3=B3g         &nbs= p;           Huawei Resea= rch, UK
Taro Sekiyama          &n= bsp;         National Institute of = Informatics, Japan
Ningning Xie          &nb= sp;          University of Cam= bridge, UK
Yizhou Zhang          &nb= sp;          University of Wat= erloo, Canada

--
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. --------------5VXG62O08JwUpAA7dpuFm06w--