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 E93C55D5 for ; Mon, 30 May 2022 17:30: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=jhOeswHDT40ZRALEK+ZCQHGlP78UzTBi6oL+0M9VXIE=; b=NdYyn1b83GuAcu2oQlNKf1EJcqlwfJk/dE6/Jmc0BPqWnTwUPyb5zmcy u1zZvSUKwqZw0A4geFZ3Z3LMaOrvGoIkcisIj9To7VeYdlgdilKOBe8lG v/JPepfbVeUNn2adAmEG/0NhjvHCvAqRdBvcJ0/CP7i7M+FKzWkEeW5Q1 s=; 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,263,1647298800"; d="scan'208,217";a="38640137" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 May 2022 19:30:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id AEA78E0AC3; Mon, 30 May 2022 19:30:30 +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 8105EE0380 for ; Mon, 30 May 2022 19:30:28 +0200 (CEST) IronPort-SDR: FIFh+xjMc40wDUvbAOt//Tz3gkuvJbl1ALvOaCmlGuzolAa2GByTajdeU1hzM/DTLIWW3l4NND cvEml+EkX7DpcvsXQJL9YehnV3EcAuacBT1xH2PbGcJoSU2bUaLT7FdLCVJqvMmtltTfFnqPEr wOqiZafKfDtUg7Fd5tzelSgPJflh0W/JW70k3p/oxyWMxW0Fw6g6V0qf7EY0vGQd+rvFf4qKdV k2FYtBPOHhVBtL7fkn1K8P+bsQqCK/mEqAw0MTsV//cjG7v6E7k+FTAEOZ4UCh6UZsm4O3gekI u/7p2YspW0Y+KNWZRkbvaTm5 X-IPAS-Result: =?us-ascii?q?A0BeAwAA/pRihwoQ14FahCpSgQBZKgcIRAOES4NNAQGFM?= =?us-ascii?q?YULgwKbPoMoAgkBAwELAQE2CgIEAQGDTIE2hUYCHgYBBDQTAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBAQMBAQUBAQECAQECBAQBEwEBAQENCwkFCAoHEA4FPGRnAYFOAYF5B?= =?us-ascii?q?gQwDYI1IoQEER0BASQUDUwDAhgcFBcNBgIBAR6CWwGDGAEOn2kBgT4CAosXg?= =?us-ascii?q?TGBAYIIAQEGBASBOwWBFoJvJlSBHgMGBYE4hz0BAYckglCBFScPgzKCYgICG?= =?us-ascii?q?H12gymCZZZaBycEDwMcMjUSgSFxAQgGAwMHCgUyBgIMGBQEAhMRUx0CEwUHC?= =?us-ascii?q?hwOFBwkGQwPAxIDEQEHAgsSCBUsCAMCAwgDAgMuAgMYCQcKAx0IChwSEBQCB?= =?us-ascii?q?BMfCwgDGh8tCQIEDgNDCAsKAxEEAxMYCxYIEAQGAwkvDSgLAxQPAQYDBgIFB?= =?us-ascii?q?QEDIAMUAwUnBwMhBwsmDQ0EIx0DAwUmAwICGwcCAgMCBhcGAgJxCigNCAQIB?= =?us-ascii?q?BweJRMFAgcxBQQvAh4EBQYRCQIWAgYEBQIEBBYCAhIIAggnGwcWGR0ZAQVdB?= =?us-ascii?q?gsJIRwKHxEFBhYDIwttBQo+Dyk7KB6WPII2eBgpBkIUBRMlAwwOaS+SKINDq?= =?us-ascii?q?woHg1GLG4g6jCQGQIN1jD6GYJFGAYdChEaKYI0tlE0VhHsCBAIEBQIOAQEFA?= =?us-ascii?q?YF4XoEggQGDJ04BAgECDQECAgMBAgECAQgBAQIBU40nOx6DO4UUgmaCZXQCO?= =?us-ascii?q?QIGAQoBAQMJgjqDD4hJAQE?= IronPort-PHdr: A9a23:9IoNpRCLPneaJpu1ytzoUyQUoEkY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua82yg+XFtyDu7ptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys9ZDfeQZFiTuybb9vM Bm7rhjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3T bpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8 qxlSgLniD0fOjEl82/ZhMJ/grxbrhy8qBNy2JTbbJ2POfdkYq/Qc9EXSGxcVchRTSxBBYa8Y pMBAeUbO+ZYrpfyp18WohW8BAmsAOfvxSFShn/twa06yeI5EQTb1wEnAt0BqnLUrNTrO6cWS +y1zKjIzTHHb/xIwzf985TIcgomofGJRr9/b9fexVM1GAzZlFmQtI/lMiqT2+8QvGeV8/BuW vizi247tQ5xuD6vy98yh4TUiYwZ1lLJ+yV3zog7O9C1TFB3b96gHZZeuS+UOJZ7TM0hTm9mt yg0xb0LtJ2mcSUO1ZkqxxDSZ+GJfYWH5B/oSeifITB9hH1/ebK/gQ6/8VOhyu3zTsm01ExFr ixfntnLrHAN2ATf6tWdSvt540iuxziP2B7V6uFfP084j7bUK5kkwrIomZoTtkPDHiDymErol qOZakIk9vK16+TkZLjtu5ySN5dshw3jLKgjntazDfolPgUORWSX5OWx2Kf+8UHlWLlGkPw7n rXXvZ3fOMgXurS2Dg5Q34o99xqwFDKr3dAbkHQCKV9Idg+Lgo70MF/UOv/4F+2wg1G0nTdr2 f/GOrrhD43JLnjEkbfhZ6hy51RdyAoo19xQ+Y9bBqsbL/3vQEPxqd/YAgc4Mwyy3ennFM1w2 p4AVW+LGKOVLr7evF+S6u4yIuSAfpIZtCrlJ/gg/fHujHs5mVEHfamu2JsacH62Ee5gI0WYf 3Xshs0NH2ULvgo6SOzllkeCUSVPZ3aoWKI84yo2B5y7AovZXI+inKaN3Dq4HpFOYGBJEUiDE W30eIWcR/cMdCWSL9d8njAcT7iuV5ch1Q2ytA/907doMvDb+igctZ760Nh15vbTlQ0p+DxvD 8Wd1nmNQHtukmMJQT82xqF/rlZnxleNy6gry8BfQIhY7vZNFwM7LoL0zupgCtm0VBiXLfmTT 1PzbtygADw1efIwx9sDeV1hAUunxkTP1iyrDrtTl72PAJEu6b7G2H3ZKso7wn2Ayap33Apue ddGKWDz3v03zAPUHYOcyy1x9o6vfKUYhmvW8XubiHCJtwdeWRJxVqPMWTYeYFHXpJL3/BCKV KegXJIgNAYJ0sueMu1ScNS8gVxARfrnftTfZ2a8gXysHxGN7r6AKoPhPXgej23GEEZRqwkI5 j6dMBQmQCKoombQFjtrQH7mZULh9a9eqXe/Q1Uv0xuNamVs2/y88VgIhq/UUOsdi4oNozxps DBoBBC90tbRXsKHvBZkdb5AbMkV5FBGz2+fthc7M5DmJqskm112nx1fmUTo2l03D4xBlZJvt 3Y21E9oLqne1lpddjSe1JS2O7vNK2C08gr9I6jRkkrT1tqb4MJtoLwxtknjsQe1F0Ej72Qv0 t9b1GGZ74nLCwxaWIz4U0I+/Rx377/AZSx164TR3Hxqea66112Kk94gAuoozlCgftNbPbmfC BX1FuUXC46nI6o3mBnhbx4JOvxT6L9hJ9mvJJ7kkOagOOdtmi7jjHwSudoslBjVqmwlFKiRh 8VgobnQxAaMWjbigU30t8n2ndoBfjQOBi+lziOiAodNZ6p0dIJNCGG0IsTxyM8t4vylE3Ne6 lOnAEsLncGzfh/HJXD02wxd0QI3oHijlDGj0yZzlhkkouyW12rTwK6xEXhPcn4OX2RkgVr2d MK4htYbUUzubwktkBa//lrgwK1zqag5JmKVXEQCLE2UZylyF6C3sLSFectG7pgl5D5WXOqLa lefUrfhohEe3ksPBkNmzSsgP3Gvs5T9xVlhjX6FaWx0pzzfcN1xwhHW4JrdQ+RQ13wIXnswh T7SD1m6d96nmLfc37vKtOGzUySBV5lXfDPw0ZmHsQO26StjCluinLi/l8bmHg4zzSLgn4AwB GOS9Uu6O9etjvzyOPkCHAEgHFLm7stmBoxy2pA9gp0dwzlSh5mY+2YGjXamNNxa3azka39eD TUPwtPT/E3kwBg6dCPPndukECzDhJI5NLzYKisM1ykw7t5HEvKR5b1Ax25up0ag6BjWar57l ysczv0n7DgbhfsIsUwj1Hb4YPhaEE9GMCjrjxnN4cq5qfAdSG+pcLW0kmp/mdSsFqqeuAZZc Hv1PJ4pWzJzpJYaUhqEwDjo54fodcOFJ/4asByZl1HgjuxRJYgqiuANgAJqNST0tjs4yKRo6 H4mlYH/t4+BJWJ3+au/CRMNLTz5afQY/TT1hLpflMKbjMi/W49sETIRUN70XOqlRXgM4O//O V/EQ1he4j+LXKDSFgiF5AJ6omLTRtq1YmqPKiBRzM0+FkDHdQoF2V1SBWt8x8ZxFxj2lpW7I QEjv21XvwG+8EMWr4AgfxjnDjWG/lbuMG5pDsHAakMGs0lD/xuHaJbPqLgqQmcBoNv49FbFb 2WfY04g4XghYkWfHBijO7Cv4YOF6O2EHq+kKPCIZ7ySqOtYXvPOxJS104Ig8SzefsmIO3BjC bU81C8hFThhHN/FnjwUVyENvybKbtSW4hanvCB76Mm0tunoEA7i/oqADbJOPM4nokrnx/3aa qjJ2mAgcX5RzfZujTfQxaIa3UIOhi0mbDSrHbka9GbMQK/Whq5LHksbZid0Z4ND66Mx2BUIO NaO04mkkOQh07hsVREcDQ+E+Inhf8EBLmCjOUmSAU+KMO7DPjjX24TtZqj6T7RMjeJSvhn2u DCBEkalMC7Q8luhHx2pL+xIizmWeRJEv4ToODpkD2nuSJTGaxm/PcVskScxxJU5ijXDPigBM nIvFiEF5q3V9i5ejvhlTiZZ6WF5KOCfhyuDx+3fK4wb9/pwRCl40etRpmk5gegwjmkMVLl+n y3cqcRrqletn7yUyzZpZxFJry5CmIOBuUgxcbWc7JRLXmzIuQ4c9WjFQQpfvMNrU5e83sIYg siKjq/4Ly1Ots7Z7ddJTdaBM9qJaTIoeV/gHDqeZOPkZTqsNHvSwU1G1vyesHSe6IU5+MGEc HUmR7MdXVdzC/BIUyyN+fQPLNF+VXU5kuzD5PM= IronPort-Data: A9a23:OEsWPagyJYEWnVvJdkuZubTlX161uhYKZh0ujC45NGQN5FlHY01je htvWmvXaauKYmX8fo1xadi390wHusTQzdBiSVZvr3s2FSxjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKieUsxIbVcMpB0J0HqPoMZkxN8x6TSFK1nV4 4mq/paHYAXNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ Nplk5PoEx90ffX1m+VAUgZDAT1PEJMa0eqSSZS/mZT7I0zud3zt2fgoDVpwMIFe8+0xHGImG f4wcWpcKEra2qTvnvTiEoGAhex7RCXvFK8WvHBtyXf5DPIiTIrYX7/N4PdV0HE5jYZTHp4yY uJCOWQzNE2ZOHWjPH8OLNEam/yQqUKiXB4EjFCwu4Els0/MmVkZPL/Fa4aLJoXTH625hH2wr WvD+yH9AwoGHMeOzCKMtHOqnO7G2y3hML/+D5W88f9wjRuS3SoeBFsfXh2mopFVl3JSRfp5J BRO4ndt9ZEx9RGqUcLvQyyVniKt60t0t8VrL8U27wSEy6zx6gmfB3QZQjMpVDDAnJNoLdDN/ gLR9+4FFQCDo5XIFCPAq+38QSeafHNPdTdaDcMRZVZt3jX1nG0kpj3lJjqJOIO5j9v/BCv/w 1hmRwATp+p7YSIj7K684VTOhT7Em3QkZgoy5x/aGGO+qA51IoeuIZGrgbQ60RqiBNnAJrVil CFa8yR70AzoJc3U/MBqaLlRdIxFH97fbFXhbadHRvHNDQiF9X+5Zpx36zpjPkpvOctsUWa3P RSD5VIJvsEMYifCgUpLj2SZVpVCIU/IS4+NaxwoRoAfPPCdiSfYpnw1ORLIt4wTuBl8zf1X1 WinnTaEVipEVf0+llJats8f2Lkm2mgjw2LNSIrgzgi2mbyTeGGSU7RtDbd9Rr5R0U9wmy2Mq 4w3H5LSlX13CbSuCgGKr9J7BQ1UfBATWMCnw+QKJ7XrClc3SAkJVaSLqZt/INMNokigvryVl p1LchQEkwWXaLyuAVniV02Pn5uxDc8u/ChiZHBE0JTB8yFLXLtDJZw3L/MfFYTLPsQ6pRKtZ /VaKciGHNpVTTHLp2YUYZXn/N5veFKijkSTPHP9MjQ4epdhQS3P+8PlJ1OxqnFeX3Tv7cZu8 ae90g77QIYYQ1gwBsjhbv/ynUi6umIQmb4vUkaReotTdUzg/ZJEMSv0ivNrccgAJQ+TlDaWk Q+dRwob/LGfr4gw+djPpKaFs4bwS7UgRhoLQTGD4O/vZyfA/2elzYtRa8qyfGjQBDHu5aGvR eRJ1PWgYvcJq1BH7thnGLFxwKNiutbiquMIzglgG3mXPV2nBqk5fSuC2shVu+tM3flUtU2/U QSS+YACa7mOPcrkFn8XJRYkN7zdi6lEy2eKtfllcl/n4CJX/aacVRsANRe7iBtCcOl/PrQjz Lpzo8UR8QG+10Qna47UkiBO+m2QBXUcSKF75IoCCYrmh1Z50F1EepCAWCb67IvWNIdINUgwL 3mVn+zPi/JVzQzfcCNrR3TK2ONcg7UIuQxLlQdceQzZy4Sd3vJnjgdM9TkXTxhOyksV2exEO l90ax9/K5KI8mo6n8NERW2tRl9MXUXL5kzrxlIVv2TFVE30BHfVJWgwNOvlEJr1KI6Akuy3P Y10yVoJlR7ue8Dr020zQghop7rqRpps9WUuXei5St+dEcBSjSXN28eTiagg8nMLwv/dQGXKq a9j96BtasUX8AYO9rYjBdDyOas4EXi5ya8rfR2l1K4FW2jXPiyxsdRLx4ZdZesVT8H3HYSE5 wCC6y6Bu9lSFMpDk9zDOZMxHg== IronPort-HdrOrdr: A9a23:MmSAt6HoRR0rxlF7pLqE6ceALOsnbusQ8zAXPidKOH5om62j5q OTdZsguCMc5Ax8ZJhCo7C90cu7L080nKQdieMs1NyZPTUO1lHGEGgb1/qG/xTQXxHbssRZ1a tmbuxXBdDqZGIQsfrH X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,263,1647298800"; d="scan'208,217";a="38640113" X-MGA-submission: =?us-ascii?q?MDHjKN21M4rdowXMfOExqsP8X+wEiCHO/P6ZJc?= =?us-ascii?q?58It0wSOHG84nXOMOsrt8fDplm0zzw1XTO2xKmyk7YsyUX/Xl8WyPvDJ?= =?us-ascii?q?nMDrYaCD5JisIOhl8Jyzi1SeHr1PVxQrFbUChDbkpMtefMyxnEdy4bYi?= =?us-ascii?q?lRWQ0BiVbIVCcbLT4YEdrtFQ=3D=3D?= Received: from loire.is.ed.ac.uk ([129.215.16.10]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 May 2022 19:30:27 +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 24UHUNfg020010 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Mon, 30 May 2022 18:30:27 +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; Mon, 30 May 2022 18:30:24 +0100 Received: from EUR04-VI1-obe.outbound.protection.outlook.com (104.47.14.58) 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; Mon, 30 May 2022 18:30:24 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=gFIQyh5kv7Ny9yxcg1/MlKYeOqwalHuUwwEeUxh/8qx4h7xqTas90E+/r/wl6B1j2ZtfD+XGI8bHZHnOKruQZ+fLgQSl1Wur+OIHxqWKPBqnQOEuOIx75mF3Hz22X7J0B3WxGtyDEyHFbCg+UHonLgVlG2aKDvtRCW8dw5iP8rfJfYXQN6bOTmagcDwYlwrd/KbIWC+qf/HTZwbZx5/C/dwyZmORIPQ8qG2jhHf0U/tKNMy5tH7mLXsuK36lGbJE4wLWyREhoqngxPm3V9JUK+LEs++rS+ZZp89L+cXbZ46vZNEHH6/H9Q77fQgJYLnCrAE2S18AY6vjSnQRpMtqqA== 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=jhOeswHDT40ZRALEK+ZCQHGlP78UzTBi6oL+0M9VXIE=; b=E9kjAXYQw2xIQ3SRcUfdxoSbv+TqgReAyZOzchsGG5KxRcK5Krhw+6bFauFCA1dsTkU4E4bRcRUsWmQK3qti0jLxS+jr2yDCunmSRYgRhV818y38xRnGhWBiK9scCuYk/EbiIqQFfCJWFQXmlla0aJ3cDnnNVI0n1Cx13SfDnef8K1Mz/2JTqlRDaMas0y2N+Ahuu0mKw2Gsv5gm/D+ZxZdHNc+Y+ZSGTEok1wyEdmwipYeKjA4LB98KUVqShym7TLzaB/N/PdbdmqWJmbv4ApMv3Bub96baJcQ1zWWhTpFGHTsyaTpUYT+lD8ZSBcbEUJ1Pc8p6068D8XAx+y/TMQ== 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=jhOeswHDT40ZRALEK+ZCQHGlP78UzTBi6oL+0M9VXIE=; b=XOF39kUp4RiDpwEki4AQQnZIWVJC2p2GtoplGGR08WDkqo950FRpz+9gvpOA/Zy++Ch4aSr/Xue5V0eylbJjdIe32hkdU25oNbDAwwAvovGzfVWllQ+OC+SSTklDsGFVfbWJaZiYmVTtDaK7DbHMcCp9x6d5o1FnRaOAENoZ95s6pL36+EHSOwbVslQlE+MEAheLIiiAMbcZWa/7Szr/k/9XNgHnffmhKyCnb1O72I3sRezXGoDsqzXt7cQO7MJe0LVonCRV51j4q+Yi0rriSEmpOR3Rn1VP/T7lv3uCFZThM7DelzDpg/ylbaTxBrXKxIWCYwhLreS/6Qh6ddguWA== Received: from AM6PR05MB6151.eurprd05.prod.outlook.com (2603:10a6:20b:98::31) by AM4PR05MB3137.eurprd05.prod.outlook.com (2603:10a6:205:8::27) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5293.17; Mon, 30 May 2022 17:30:23 +0000 Received: from AM6PR05MB6151.eurprd05.prod.outlook.com ([fe80::1c7b:bff6:22d1:db94]) by AM6PR05MB6151.eurprd05.prod.outlook.com ([fe80::1c7b:bff6:22d1:db94%5]) with mapi id 15.20.5293.019; Mon, 30 May 2022 17:30:23 +0000 Content-Type: multipart/alternative; boundary="------------CHerAxiXwl2E3ucsMzd22m5s" Message-ID: <2bebe447-584a-c4ab-e999-8090b93e9ec1@ed.ac.uk> Date: Mon, 30 May 2022 18:30:18 +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: SN4PR0401CA0040.namprd04.prod.outlook.com (2603:10b6:803:2a::26) To AM6PR05MB6151.eurprd05.prod.outlook.com (2603:10a6:20b:98::31) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 3ca80c15-543b-4d74-8966-08da42621403 X-MS-TrafficTypeDiagnostic: AM4PR05MB3137: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: w/N0c+V4T54Qhtpjp49EcEgLkRwKXv6XSU7EqVP58gPR40lktc/DVaydFWcw0lRrfsrqlmJRaeCirYp407eNexkuT4YA7oTDq+fOsQucm6H4uvQwv57FbgDJp/1oTN2QwtMGI4UUIxX97hLnkEnf89J2F9sY78Xj0YDSNwq20vSBfwV+cEgSw6faR2J0734movwi4nC1LnRdVbu8SgHw9Z3DyPg0IZw1fWz7a0r+2eVnMlrHYNMCuAQuIWWX6c1KW08RTEKyy8506/FF8SDjr5D/OuCxGMYHSFXsZPAZXUppr76aBeOzuqFvSxFHGRaSufug+i4HeC2wSMTbHMKSoEVFtP3DXqnTPzi/R2Qnw/PvvwrmZyOnNpxO6xoPF0FrmK+ucC+BYzBKI1FeSY2z7A2JRsREZZrpCADFXy/rjH9TSqjqDREu/qoPz+O8WPAV+nehdNQUFwyRpCa7jUAGKndDCiB2O8LhcnDfH6H5XnjFL6KtMKFu/uc622jJvLWZPPSkhgMvsx7v+2vaYeuFbn/0vPBjmBBlL1Wrx8lcKwL0TqhJK6yWKRtQU/dKxGizAo4qDXhPkdmfzT+o0hRpVWb02gs7Ta0xn/nWV0d6Dvnn+0+H2ddC9FTf1XZZmFWog4Ii8yWG1TTjvBuPb5+b6q/kkoHR3p/aGU7IKbJ8ysD9xqv2u2L6I0fkl3lJZ9+NtzD9X24osyLQMHPEabEJ/3nqvVFj9sUyMw+Ug+oGDHbYmfMUlFW3a8lXfeU+AhKmbrEpeRxL+Udm7RpJqtw5T3WTSteg7mnEnP8aWQFWtFEWy3711nuvot8yt0RbanWYbtwjOAaWar0IGJES4G5cxqx0vwltOSND0UA2HxP+M+uuxPHpyreIBLyEh7saFLNt X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM6PR05MB6151.eurprd05.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230001)(366004)(5660300002)(8676002)(52116002)(33964004)(36756003)(6666004)(66946007)(166002)(31686004)(6506007)(186003)(66556008)(66476007)(83380400001)(31696002)(786003)(6916009)(86362001)(316002)(6486002)(966005)(38350700002)(6512007)(38100700002)(8936002)(2616005)(2906002)(508600001)(66574015)(26005)(43740500002)(45980500001);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?R3JGVEtpM2VxT0dNcHhLL0QvRm4ySzNmSDdlWlhEbnBNTVI2NDhaUUJCcURt?= =?utf-8?B?ckNvejcwdGFkK3BuSzNuWWVJVzJKRWFRMUxqYmoyQkJWU2NETUhHMjRCMkw3?= =?utf-8?B?c2VoWmlXMm9LYmMxUWdldXZjTjZhSG9ESFM3Vk1XeWRwVFNrQnBXczFhNTFj?= =?utf-8?B?cXpJSGEvMzdRODZhTTBlcExQRk5lL1B6WEI2ZDhrVGhWRnMvUkNTNGZNUVV4?= =?utf-8?B?SE01ZFRZTHNIWnF4Rno2bmsxVnNRZ2YrQnN1L0FlT1Y2UkdHRnhQZ2pGeUk4?= =?utf-8?B?WU13bzByNnEyL1hWZmUySXBuOTluT0hGRWtpNE1nR0t2MFVRL216YXdSWDRJ?= =?utf-8?B?bnZJMlUyUzA5L3U0Y2NVQ1hYSkFWOHZzdCtWU2Z2SmFkV2tUQVhqb1d4bXg3?= =?utf-8?B?VDlFZzQ1OVJzMkRlUFFKa2tmcVFQZ2I4UEx1d0lJYzVSWTI0TkRHVWVCSENM?= =?utf-8?B?OGtRcXUveTl6MXE4YXdxdHJOcDVQZWRYUnVIZG1adUg2WGkxa1RXV2lSUFAr?= =?utf-8?B?djYzY1RWVFFodjV6cnVta0lPdzZuYnR6MDVHRmw4cUpFUlhuOS9UV1ZTNFFF?= =?utf-8?B?c2YvOWFxYWZRWHIrZkpDa0ExMTcrbkdRaW5LVDVwWHMyTDJnaWJMSXNvMHN6?= =?utf-8?B?bjVaKzlwUk12STVoNGJmSzBidkR2KysySytvM0RITCs5L0x2RUFxVFIveHh6?= =?utf-8?B?eDZLbGZTYmJCaXlYMWNuVEtuQVNCakVjOWZNeTdqWWh5MU5lbkpkZUdqK1Yy?= =?utf-8?B?TEExRkdSSFZFNnZSUlE0VzlQcFlmR05PVUdkbWY1VWpMOEF1bXZ1SWdRT0U3?= =?utf-8?B?RkZOaFhDbmcyQ0pLZ0hhRng5TkwzVThmdldCeSsrOHFnZVdvRlVzbVpQV2lK?= =?utf-8?B?aGJOSXVHZzBwT0EydlRLQmZhVWlhWHl0ZENzUGZzbWlKZ1YxSnFlUjlDbU1s?= =?utf-8?B?TzVTZldQQnYvZjg5NnV6cmdORnZDZTZWQlE3YzVJQjUyNkV0MXNXYldWcm9G?= =?utf-8?B?b3htdXFKOVlDb3hmZTJzRXpxNzB4S1QyeGlYcHhtTThkem42WG5naDJXSFh6?= =?utf-8?B?aFVwUHpRdDhaWjFJS09jdm5lcEdiWWt4UTduc043SHdRTXRHZ2tZUjJGdmlh?= =?utf-8?B?RHdNYTIzQ2VqcGtjU2xQZHZLbTJkQ3VrNGhJc0RmeGk3cmtLMERWaWdreWly?= =?utf-8?B?L0N2MnBkcDVQd1RKeVBtWU0wZjZCeHJWRHFzZEV6U08wSGh2NW5CRXZhWEZu?= =?utf-8?B?VkpMU1ptQmwxNGVQSDlXcllCU0ZFaitEckUrelI3S3ZkTlR5dDd4c0pmWUdt?= =?utf-8?B?TlhjdzRNcnNOUE4zbFZJWldPeUV3eXc2cWZid0RudVJLMHpDcFZtU09pdUky?= =?utf-8?B?SEFXcGZ1QjVyazVTLzhxQWI2MGJVZ2Y1NkhFNndzS0ZCTE9xWlBKVXR2c3d1?= =?utf-8?B?SVNnZERHR0VSRE9HMmcvTVJWWUlHUC9FRUs2REhUek00Z0gyUUZYVlEzK0FP?= =?utf-8?B?RjF5OFovQ1lIYmUrVk12cjlqN3NCMmppdXRvb3ZNbFdsOXR4Y3dlUkJ6SnZ1?= =?utf-8?B?eldnRFNOc1lVZHM0eHBiZTNtN2JWMDZHVWM4aVY5ZFJkczVNR1c2K0E2b1Fk?= =?utf-8?B?cUpHTTExUlh2TUZMdnJvSExZUSt2OG9VWlMyVGNFODhuOXdDYm5kbDIrTmpD?= =?utf-8?B?eldzQm83a2Y4VVdzTGkwZHBZK21iY1VsbS9xYy9maEtQQktpeUZOeENzME1i?= =?utf-8?B?U1hKa3JHY1lWYTlIZkNnUytaSTNNWlRpcGpJWmRuVzB2WmRtdysxUGpiQkxk?= =?utf-8?B?NE5mbGhRRWJMMmMwTFFzZWUyYU1tdWJJMDFxK0xNZGJ6WFpxU20ydHRYK0Rr?= =?utf-8?B?V1IvWTZiTjU0UHhDb2JkSGVPekRicCtJZXl2MkR3SHZ6a21xeWNnaHdDNWVN?= =?utf-8?B?MVJzbWVRZnZTQjJzZ3VjUlUwMnpadmhBZG5JakQyL3QwUTJJbjdCV1luSG5R?= =?utf-8?B?cFkrNGo1eGdsQUplUURXa1BwdXZINURMNDMxZDByM1ZKN1kyVmc4ZmhOT091?= =?utf-8?B?eTMrcGQ1Y2tTMmNidHFZclRlVGVKenNoczNHdUdFZWFlK21kWGxGZEtjN29V?= =?utf-8?B?S1hSQ2xTV3VtalhNckRjSmludUJLWCs1VUY2QmExVWtsVGhGLzE3OWNXUWp1?= =?utf-8?B?eURMRHRoNThSczM0WnJNNlhGOEMyZGtmeE9hcDdTR2tYdFlsNFFaOHdSNmYz?= =?utf-8?B?S0s4Y1Zuc1hUbGpMVmp2eU9jMTNiM2REZmYydWFKb1l2YncwcEd6Sm54SGRm?= =?utf-8?B?K2Z2dzBnL3pHdTY5U2dQRlh3TGd0RTZQdWxiRXNIQVNJRVdON09mUT09?= X-MS-Exchange-CrossTenant-Network-Message-Id: 3ca80c15-543b-4d74-8966-08da42621403 X-MS-Exchange-CrossTenant-AuthSource: AM6PR05MB6151.eurprd05.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 30 May 2022 17:30:23.7132 (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: ebOa7vWKjvAaOG384MpGErwOtFJqucxgrx69YSqIQFqQ3A2wgHraabB3hzO2aTrP+YIDomyC9pzaAU5I5hXHpg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM4PR05MB3137 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 (3rd CFP) Reply-To: =?UTF-8?Q?Daniel_Hillerstr=c3=b6m?= X-Loop: caml-list@inria.fr X-Sequence: 18770 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: --------------CHerAxiXwl2E3ucsMzd22m5s Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable **Deadline June 1st** 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 1st, 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. --------------CHerAxiXwl2E3ucsMzd22m5s Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

**Deadline June 1st**

HOPE'22: ACM SIGPLAN Workshop on Higher-Order P= rogramming 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 Kis= elyov (oleg@okmi= j.org).

* Deadline for talk proposals: **June       1= st, 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. --------------CHerAxiXwl2E3ucsMzd22m5s--