From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=jnUwaed8; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 0B3C240092 for ; Fri, 29 May 2026 17:16:05 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=It22gHd5zOaMcN4EQKnOF9RT2xh22ZessBpXRtaBmR0=; b=jnUwaed8uJVGJWgZBf1qcXiJsiiacTF4isJ7/LXgtQkVfprtcMrVvEyl dsPJ+hJ+AOPjtvdCMot0RYic7CE+JiZnRI0VlvvA+O6SgaRyzDElnLoqm ZwAfiAH1xf6gGnWNmFhHFGjX0jXow/yf8diwtB4McAlsrlKtkIuOYwXNu A=; X-CSE-ConnectionGUID: E/TPCVFyTaabzy1+t0/Nwg== X-CSE-MsgGUID: puX5AmqsQ5iaA43KEC/+OQ== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; 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:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.24,175,1774306800"; d="scan'208";a="278946691" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 May 2026 19:16:05 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 7E4D6827B0; Fri, 29 May 2026 19:16:04 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id D9E7982653 for ; Fri, 29 May 2026 19:15:55 +0200 (CEST) X-CSE-ConnectionGUID: Ymvut3b0SruWQgHlclzRHA== X-CSE-MsgGUID: FPoZbH2eQoi3SQwVj2v7OQ== IronPort-SDR: 6a19c9cb_uzIdGmKMyB6gYuvaFFCvx8MCV6FKNNyRa/MjMf8DbbS3B5O Mb8s305Qav4eKeQT/lwqlQ1KPz6qqVjt4SUcQkw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HbBgCmyBlqgSzgfUpaDgiCRYIWKYEIXjQEC0mEWINPj?= =?us-ascii?q?ARTBwEBAQaBOwOLd5BSgxQWJwIPAQMBDT0UBAEBAQIBA4R/jTUCHgcBBDQTA?= =?us-ascii?q?QIEAwIDAQEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHDjuGT?= =?us-ascii?q?w1JAQwBggQ7cWECBQM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQUCDQcYFSo4CwYdARsMCggDEhAPAiYCIwERAQUBIxIigghZgiIBB?= =?us-ascii?q?hABAzYDEQaoFYECQos9gRUFAhaBAYINBoEJPgXUFgoZKA1ygWQCAQYWgQkuh?= =?us-ascii?q?HgqXYJaAYFwhAY7g0aBIRt9gRCBFTWDM4JhAQKBSSuDRoJpBIINFXoSgXV3g?= =?us-ascii?q?X6BYIF0hk8mCAEGFwMHBwkFBBwGBQUCPwkGBQoSAwQDBAQBAgsTCQMDAg4CC?= =?us-ascii?q?AMCCAYZAT8SBBMKDQsHBR8KAgwUCigiEisKAQIBKSwDLQEIBgICBAQCBAwCC?= =?us-ascii?q?QICBQcCEQMEAQEIAgItAwEDGQgJCAILBREYDAsHMQMQCQMfFxoIETQIBhYBG?= =?us-ascii?q?gcFBgs4FQUMEQEBAkcCJQQeEQgDAQkHEgIPCAMOGwICBAIJAQEGDgICBgICA?= =?us-ascii?q?QMHGAMEHQQDAwcCAgkJBAwQChIVAw4DBw8CBAwHOwMCDgIJCAwXAgICBgIDA?= =?us-ascii?q?wMECQECAQEBAQEBAQIHAwMDAgMGAxcHBgMEBgEEBAMDAgMFAQMDAwUDAgMCB?= =?us-ascii?q?gcDBgkBAQEBAwICCAMIAwwJBQUDGwMeBgECAgMCAQIGBgMHAQoDBAINAwMEA?= =?us-ascii?q?gMDAwMDAwMEAQICAQEBAgMBAwMEAwEGAgEDBwICAwMDCwECAwMDBQMFAQUDB?= =?us-ascii?q?QICAwUFAwUCAgoCBgMDAwMCAQUCHAMDAgwDAwcDCg8BFAMDAgMDBgEDBwMDA?= =?us-ascii?q?wMDBwIEAwgCBgQDAwYCAwQGAwMCAw0IAxgCCAMDAwIDAwMCAwMFAQICAgQFB?= =?us-ascii?q?wMDAwMDAgMKAwsFAwQDAwMEAgIDDAIGAQEDBQMDAwMCAgMDBAQDAwcCCgIDB?= =?us-ascii?q?gQCAwMBAwMFBQMFAQYHAgMHAQICCw8DCwkIEz0BCwcyBDYBFBQHKSFfiyUaD?= =?us-ascii?q?4JODzo+FgJdFBQLAQkDJQ8JBQtQAzqSdAuSKaERaIM+jCGVVDOEBIcXhX2HA?= =?us-ascii?q?pJQAYgxhHaLXyKNCF+VYxOFMBEkEoFJI4FcTSMVbII2UAMZD1eOCINEgT6DV?= =?us-ascii?q?Yohuy8QODI9AQEHAgcBDAEDC4FoinWFDDOBSwEB?= IronPort-PHdr: A9a23:ObtsHx3opyRRSNtYsmDOlA0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeCo601xwaWBdqHo7Ic0qyK6PymATRBqb+681k8M7V0HycfjssXmwFySOWkMmbcaNPMUWkRM f8GamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj4tvJrwtxhfVrXdEZuZbyX9qKF+cgh3w4tu88IN5/ylftf8s+NRMXbnmc6g9U LdVECkoP2cp6cLkshXOURGB7WYGXGUMlRpIDQnF7BXkUZr0ryD3qOlz1jSEMMPvVbw6Viys4 KhyRBL2hykJKiY1/27LhMN+iqJbuw+hqAdkw4HIeoGVNeFxcb3bcNgHWGdORMdRVyhGAoOhc 4sCCvcKMOhEo4XhoVYFsB2zDhSuCuzy0D9FnnD506003eoiDA/IwhAvEd0VvXTItdX4LrseX fypwKTKyzjIcvNY2S366IjNah0vv+uDXah3ccHM1EcgCQDFjlSQqIP/OjOazPkGvm+B7+tgS OKviG8nqwV2ojip3coshYzJiZgUylDA7yl23IE1JdihRUN9fNWrH4deuTuAOItqXsMtXXtou CAix7EYvZO2fiYExIgnyhDRdfCKb5aE7B39WOieLzl1imxpda67ihus/katy+LxWte73VtOr iRLnMTBumwQ2hLT6sWKTOZ28Emm2TaKzQ/T6+dELFgvlaraJJ4h2rowmYAVsUjZGS/2gkr2g LeXdkU+++io5f7rYrv8ppOEN490jR3+Pbg0msynG+g3Lg8OX22d9O+h17Pj5VX0TbdFg/Esj 6XVrpDXKd4FqqKnDAJZyIku5hm5Ajy7ytoXh2MHI0hAeB+fj4jmJVXOIPfgAPe6mVuskTNry +nGP7zuH5nBN3bDnbjucLpn5E5czw0zzd9b551KEL0OPPXzWkrpuNzZCB82LRC0zv7lBdhyz I8SRHyDD6+DPK/Mr1OF6fgjLuaDaYMNvTbyMfkl5/rgjX8jnl8deLGk3YEXaXClHfRmIkGZY X3qgtoaHmcKuxAxTO3uiFGYTTFTYHOyU7om5j4nEIKmEZvDRoe1jbOdxii7G5lWanlCClCNC nfoa56JW+wMaSKXOs9uiCYIVbmnS4871BGhrhX2y7R9LubM/C0Xrors1MJp6O3LiREy6Tt0A tyA322VQGF7gGQISTws0q1nr0Nz10+P0bJmjPxGFtJd/etEUgIgOp7dy+x2EtDzWw3cctuQR larTdqrDSs+TtI2xN8ObEJ9FMu4gh/f2CqqBqcZmKGIBJw196LRx2D/KclzxHjYyKcsk18oT tNSOm2jnKF/7RTcCpbRnUuAj6ikerwQ3DXV9GeN1WeApl1VXhNtX6ndRnAffkXWosz55kzcS 7+uDqwqPBNYx8CaJaUZIuHu2F5PQfOmPNXFf0qwnX2xDFCG3PfEcJvydn5Y1SPbD1UCmA07+ XedKRN4HSqouCTDFDFoExTib16/3/N5rSaHR1UzhzqHbExw3r+8skoPlOGfSvcU2JoLvS4gr 3N/G1PrjIGeMMaJuwc0JPYUWtg6+loSjQox1iR4N52kdOV5g0IGNh9wpwXo3gl2DYNJlY4rq mkrxUx8M/HQy0tPIhWf2524IbjLMi/q5hn6cb/L2VDa19C+9aIG6fB+oFLm70myDkR3y3x8y JFO1meEoJDDDQ4cS5X0B1wm6ht7o7bcSiY47oLQk3ZrNPr8qSfMjvQuAuZt0RO8Z5FfPaeDQ Rf1CNEfDtOyJfYCnlGoalcVLLkX+vJoecyhcPSC1eigO+MIcCuOq2NB7cg910uN83E5UevUx 9MexOne2AKbVjD6hVPns8btmIkCaytAVmy4gTPpAoJcfMgQNc4CFHuuLsurx95/m4+lWnhW8 0SmDk8H38nhcASbblj01wldnUoNpnnvlSy9xj1y2zYny8jXlDbf3ufjcB0BEmFOTWhmy1zrJ Mn8jtwXWlSpcxl8jAGstg7xw6lWorg6LnGGHhsOJnKraTs4Du3s6unnAYYH8p4jvCRJXf7pZ FmbTuW4uB4Gy2b4GHMYwjkndjass5G/nhpgiWvbImwgyRiRMcx22xrb48TRAPBL2T9TDjNpl DrWAl+6F9as9NSQ0ZzEt6rtMgDpHo0WaiTtwY6a4WGh9HBpABm4mdi8n9TmFU4x1iqxhJF6E C7Pqhj7eIzi0a+3ZPlmckdfD1j588NmG4t6n+Pcnbko0GMBztWQ9HsDyiLoNMlDnLn5dDwLT CIKxNjc5E7k3ldiJzSH3dCxWnKYy8pnL960BwFekjgs8sNLDKCSxLNBlCpx5FG/qErdbON8k TEU1fY1oCFGxbhT5Ux3lHnbXuxaFFIQJSH2khWU892yyccfLH2id7S9zgs2nNysCq2DvhAJX X/4fpk4Giojps57MV/KzDjy8tS7JJ+JN49V7EfI1Uuc3I03YNorm/EHhDRqIzf4tHwhkKsgi AB2mIq9pM6BInls+6SwBlhZMCf0boUd4GKI7+4Wk8CI0oSoBpgkFC8MWc6iV+O1EzMWsvLPO AOHETl6oXCeU+m6f0fX+AJ9onTDHor+fWuGOXoYydJkbBaYLU1bxgsTWX9p1o58HQesysv7d U5/7T1E/V/0pCxHzedwPgX+WGPS92LKIn8kDYKSJx1M4kRe9l/YZIaAu/lrEXgSrdWx6RaAI WuBa0FUAHEVDwaaUkv7MODLh5GI8vDEVLXiaaKUPPPW77QZDqnAxIrzgNE+rnDca4PWZCkkV 7pihQJCRS4rQZyBwmdTG3JPxX6dMZLJ9lDhpEgV5oi+6Kq5Al63udnRW+MKY4k/pUzk0+Dea aaRnHgrc2gAicEClXWQmuRPggJA2WYzKVzPWfwBrXCfFvKIwv0MAUZJN3MtaJkaqP9ilghVZ 5yBg4uthOck06ZnVwcbCQ6z3Zz3AK5Ca2ClagGdDx6FZrqMeGWZn5GpPfHuDuAOxPNdsxn60 dqCO2nkODnL1zzgVhT0dPpJkDneJxtG/oe0bhdqD2HnCtPgcByydtFt33UwxvUvi3XGOHR5U 3A0el5RrrCW8SJTg+luU21H4H1/KOCYmiGfp+DGI5cSuPFvD2x6jeVfqHg9zrJU6mlDSpkX0 GPKqcVypli9juSV4j9uUR4LuyYSwYzX4QNtPqLW8pQGUnHBvVoM4WiWFxUWto5lB9no6MUyg pDEkKP+LisH8sqBopdaXpKJbpjdbDx9bUmMenacFgYOQD+1OHuKgkVclKrX7XiJtt0hrYCqn pMSS7hdXVhzF/UAC00jEsZRRfU/Fj4ij7Ofi9YFoHSkqxyEDt9Lo5PGUvWUKfrqITedy7JDY lFbpNGwZZRWLYD910F4PxNim5/WHkPLQd1XiihobwtxsVUUtXYiEis83EXqbg7r63gWX63R/ FZ+mk51ZuIj8y3p6lE8Kw/RpSc+p0I2nM3snTGbdDOZxEKYUoRfCi6yvE80YMuTq+ddaASzm Ql1JG6BSe4NybRncm9vhUnXvp4dQZa0ooVLZRYRwbecYPB6iDxh IronPort-Data: A9a23:U35fKaKGe/uWOEjoFE+RNJElxSXFcZb7ZxGr2PjKsXjdYENShjUAy mMcUGrSOP+NNDfze9lyPNm18h5UsZaDx4JqS1BorCE8RH9jl5b5CIXCJC8cHQvCd5yZFBoPA +Y2M4SbcphsFhcwgj/3b9ANeFEljfngqoLUUbCCYmYtA1c9Fk/NsDo788YhmIlknNOlNA2Ev NL2sqX3NUSss9JOGjt8B5mr9lU14JwehBtC5gZgPa0R7QeH/5UoJMt3yZ+ZfyOQrrZ8RbbSq 9brlNmR4m7f9hExPdKp+p6TWlEKWLPbIT+VgXNQXaW46jAazsDl+vtT2FI0MC+7uh3R9zxD4 IwlWa+YEG/FCpbxdNE1D3G0JQkuZPwcoOevzU+X6qR/x2WeG5flLm4H4EseZeX08c4uaY1CG GBxxJngoXlvisrvqI9XRNWAiewSKdf2INgV4kp60A7gAtYiSpTReYXjsIowMDcY3qiiHN7bb ssdLCt/NVHOP0EJNVAQB5Yz2uyvgxETcRUH9BTM//dxuTKPilAtuFTuGIK9ltiiX9RInUeco WTu8GHwAxVcP9uaodaA2ivw2b6RxH6lAOr+EpWWzvlYin3Jy1UUCUYtbESFo6On1WmHDoc3x 0s8oXd39fdjqiRHVOLVVBS9pDuAvwUAc8FBFvUzrgCL0KvdpQiDblXoVRZEYd0i8d4mHHkki gPPkNTuCjhi9raSTBpx64t4sxuDPDYIMTQIPRQeUDQ87Pnnq4UhtDLmG4ML/LGOsjHjJd3nL 9m3QMUWgrwSiYsax/z+8wybxT2roZfNQ0g+4QC/soOZAuFRNNXNi2+AsAazARN8wGCxEAPpU J8sxZH20Qz2JcvR/BFhuc1UdF1T2xp6DNEsqQUyRsF+pmrFF4+LcodX7zVzbEZvOYBsRAIFl HT74FsLjLcKZCXCRfYuP+qZVZ52pYC+To+Nfq6PMbJzjm1ZLl7vENdGPhbIhziFfYlFuf1XB Kp3hu73XCZLUfU9nGHpLwrfuJdyrh0DKarobciT53yaPXC2PhZ5kJ9caAfUPNMqpriJuhvU+ Nt5Ps6HgUcXGu7nbyWdtcZZIVkWJDJpTdr7uu5GRN6lewBGIWAGD+OO4LUDf4c+ob9ZuN2V9 V6AW2hZ6mHFu1v5FSuwZEpeNYzfBaREkSpjPAgHH0qZ5Hw4UIP+sIYdb8QWeJckxsxCzNl1b egIS/uaC8tfVD7E0TIXUrflpqc/dh7x3QOqFAimaQgZYJRPaVHo+NjlXw237wgILHO9mvUfq o2a9DHwYMQ8VSU7K+3JeteD8kiXv3NAvM5TBW72esJyfmfo+6hUcx3BtOc9eZwwGE+S1wmk2 BazKjZGgPvGvKse0sTD3IKApKeXS9pOJFJQRTTn3OznJBvh3zSRxKFbW7y1ZhHbbmT//Zuia chzz/3RNP4mnk5Ag7FjEoREnL4P2N/ym4B0lghUPm3HT1COOINSJnOr2cputKoU4pR7vQCwe FyE+/gEGLGvFf7mLmUsJ1seXrze7c0Xpzjc1uRqAUPY4CQswqGLf38PNDaxiQtcDoBPDqUb/ ckbtvU70TeP0igRDo7ejwR/1Xi9EXgbYqB26rAYGNDKjyQo+HFjYLvdKD770K+VYupcLEMpC Dmeu4TajZ8BxECYK3sXPlrO1Np7mp4hlk1rzlgDGXuni9DUrMMF4wFJ/AsZUjVu7ERj+MBiN ld7M3ZaIf21wA5po8xYTkaQFBpkFjTA3mDAkHwyi3z/TWekckfvPV8NE7+B025B+l0NYwUB2 q+TzVjUdArDfebz+3AXclFkofmydu5B3FTOt+7/FvvUAqRgRyTuh5KvQm86qxHHJ8cVr2+fr MlI+NdAU4HKBRQykYYaVbbDja8xTSqaLlNsWftipaMFPV/NcQGIhAShFRqDRdNvFdfrr2mDF M1cFuBeXU+f1QGPjAwhK4wiHrtWpMMttf0+Iu7FBGheqLaOjCtbgLSJ/AjEuWIbadFPk8E8F 4DvSwy/AlGg3Xt6p0Kdre1vGHaJXt0fVQitgMG36LooErwAgsFNcGYz8KeFgHGOFDtjozev5 QblS5bL/bYz17Y2j4/IF4NdDT6VMvL2bvyDqyqoguRNbPTOEMbAjBwUoV/ZJDZrPaMddtB0t LaVuvv14R/1h6k3WGXnhJWxLalFysGsVu5xMMisDn1lsQadec3ruT0vxnuZLMFXrdZj+cWXf Qu0R8+uf9ozWd0G5nl0aTBbIikNGZbMcabsiiOsncuiUiFH/1T8E+qm0nv1YUVwVCwCYcT+A zCpncee3IlTqYAUCSIUA/1jPYRDH2bifqkbbPz0iyiTCzi5o1GFu4a6ryEa1xPwNiCmHvr5s LX/fTqvRCTq7euMhJtcvpdptxIaMGdljKNiNggB8tpxkHahAHRAMe0ZNo4cB4pJljDpkqv1f yzJcHBoHBCVse6oqvkgyI+Lssaj6u0y1hPRIzUo+waFe37zCt/cRrRm8Shk7jF9fT6LICRL7 z0B0iWYA/Rz6sgBqSUvCjiTjuJux/eczXUNkaw4u9KnGA4QWN3my1Q4dDeglkX7/wXlm0DCJ GxzTmdBKK1+pYgdDu44E0No9NolUP8DAtnmgepjADoShmlD8NB99Q== IronPort-HdrOrdr: A9a23:Mk9wFKPXv63FkcBcTh6jsMiBIKoaSvp037B17SxMoE1uH/Bwyf rFoB19726PtN9xYgBapTnkAsa9qBznhPpICOUqTNKftWrdyQmVxeNZnO3fKlTbckWUygc379 YYT0ERMqyJMXFKyej/pCa1G8s929WcmZrY4tv2/jNCSUVFZchbjzuRyTz7LqS1fmd77FMCZf mh2vY= X-Talos-CUID: 9a23:sdEBbW5L5e6da3JWQ9ssxUsKB9x+eCXm1mrvGkCYDW1tWoe1YArF X-Talos-MUID: 9a23:g6GB3QonoyKiGEoKLMcezx9aM/Viw/6jMUcMyq4/pPeGbzIvHA7I2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,175,1774306800"; d="scan'208";a="147961560" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGIiev8n4zGwVZOVzySMVUspn2zbDrSbyWX20?= =?us-ascii?q?vd58qUE3fuZM73dudyJPUmlQdm7HL9T9rkMgGZe4K2MPmoti6DFmGvwU?= =?us-ascii?q?JAIQJ+PezEG2kR74w+7YB7+GOTyqf8iRfpMl5fQ49JuQsiEyp93YssN9?= =?us-ascii?q?db2nmg7XgJdP6KtmDpRX8Vjw=3D=3D?= Received: from mail-yx1-f44.google.com ([74.125.224.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 May 2026 19:15:55 +0200 Received: by mail-yx1-f44.google.com with SMTP id 956f58d0204a3-65c3ea2ebf7so14827439d50.0 for ; Fri, 29 May 2026 10:15:54 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1780074953; cv=none; d=google.com; s=arc-20240605; b=eMDaBHxL46ln844YGxD/ylZpldAjjq8sEJU8GGVSqc3DLwk+G8609xoVd7z8+brknh KeQbrhmO/HBbcF28kyB8R1h0tJG1xcirYpwfkPzYdNdONIizxlkpCiS2Zqc/KjD+W+5A XnWH2oJQOMIlFsrDBREXqzB6AXP7f+eogl/D/k75GVDvH54OodqUB2WSn5W5Z2jGIgVu bLxakcPEZB8vrkJVdgxPwY5IC1vBACJp16ZtgqMlY0XhAgnbGRBnazBXykhkiXk5RpNF jyubsEFUk3rkJ4E/YdVDVAmVb1qgPU9+qKSTSX9XItwtc3y5D+Fj96CCI8h1hbZ35EB5 GZIA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=It22gHd5zOaMcN4EQKnOF9RT2xh22ZessBpXRtaBmR0=; fh=ULzmEikwhFURAzuVJcb99IT+/xF3graxlt0GJsvWXAQ=; b=M/Znfr67lSZNaZeenie03tP1N/CR4GgfW1q9Pv/hpXNcGkiPUuW5aPj241JOcC4EYA nV/K2wLnGdFy2+kwSWu7JWeZYIKG0xMpZXfhOkQ6zC6RCbb4WaRQ/terjwxfVhoy+a3R zrikt2IWprXUEuSZUM6hQUSL3TUFApJqIiqv/pqRYYpuMDkQxvs2ZYckGiRDguwJ3F4s 7rc9D1uxJUEhKku7w5szd23Bx6B9bv5JoMeH61jmDUzXAIJuVIVBvqB/WSaYZi5f8GJ+ Dmw+jeQ0EGZ6qgaVCQsAG1aUl2tuO+WCPndZqVfK6ieX4J0yut3IL0w3w2nOqqbNLb8E d6pw==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1780074953; x=1780679753; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:x-gm-gg:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=It22gHd5zOaMcN4EQKnOF9RT2xh22ZessBpXRtaBmR0=; b=mqI/doH88chYiSEcu1amirMc647IhwwOaEdwmuxTesGCXnepM5rMRDFJM9rb0YCw8k YlrQ7GHOTFo/9SBN6pcpKIZwRQFrIh102vvgyBGFRfAVkJXfGFr4YuOnXfjeYXuX5I+9 KnFzvptvRmIWA+0zJUqkePqlCi2B/v/P9wlTIQvap/tR853LCTrMOjH7Fn1PoVrA31PZ N6fJTs1bfdT6tfgOAnYxd2U4UKY3YLOBxf4lLdr/0wfFhLE3sTvrJq1cU98NcsAvUHmS 1os/eTrI3G/FUFBbZFAs22695Lbqj0z3YNT4+Bc4kzLAsWtVUz7OnaojZneyqSOh1Ib/ 4CkQ== X-Gm-Message-State: AOJu0YyMNml6yBw63D1JflSdkSN8mRI7ER9M5rUXKR6FNU43uyKH6yOb OEWif/NitLrZYvqknTIgs3Ij5TAgH8ldqwjG9nRglpHTQt3s6Qyuux0P8mk77RmcbOWIh5cxwty 45JnkU1Lqq3pvq7TTLFKFkILho2eiXCd/ZDUIQ3k= X-Gm-Gg: Acq92OF0UGtBmfxrnuqwBniqOVsxAzNeX4B1nTSNcIjPmOetE0uHfcYLIM2eNeSkecF H9n1tmHZyddUOjifVFy05jfYlvXedoeK2BLqCmrDOukekzjsKznGIRPCQvQqixsWmE6XY/i4Z0w tM4e8kg142Mh4MyS41fHmkxrzj5lJjnS7YaMvs5eoDOwgMMw61akeS+h2IYTLCWjaLSz8OWBSFM j8oiMPhg18MHW7OoD66bFPxjNB/vb9DQ8AJLS0FwyPDj7PLQI2Cwr8s67F0sRtjFmDmTO+oZQAk 8UMXoFWx0YJHwoJqRw== X-Received: by 2002:a05:690e:4850:b0:65d:cc6b:6767 with SMTP id 956f58d0204a3-6605ed3b2aemr312752d50.3.1780074953424; Fri, 29 May 2026 10:15:53 -0700 (PDT) MIME-Version: 1.0 From: Taro Sekiyama Date: Sat, 30 May 2026 02:15:29 +0900 X-Gm-Features: AVHnY4IrJpKOrlhHd8JIY-NjqQcORTeChmlt9AoIcfXfa02XIAoyRl0VSDQxZwE Message-ID: To: caml-list@inria.fr, types-announce@lists.seas.upenn.edu Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] [CFP, Deadline Extension] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effect Reply-To: Taro Sekiyama X-Loop: caml-list@inria.fr X-Sequence: 19517 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: Talk proposal deadline for HOPE 2026 is extended to Jun 12, 2026. Author notification will be on July 3, 2026. This year, the workshop will be co-located with ICFP'26 (Indiana, US) and FW'26 (Paris, France). ---------------------------------------------------------------------- HOPE 2026 The 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 24, 2026 (the day before ICFP 2026) https://icfp26.sigplan.org/home/hope-2026 HOPE 2026 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be*informal*, consisting of invited talks, contributed ta= lks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposal= s of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to r= ead the first two pages of such longer submissions. When submitting talk propos= als, authors should specify how long a talk the speaker wishes to give. By defau= lt, contributed talks will be 30 minutes long, but proposals for shorter or lon= ger talks will also be considered. Speakers may also submit supplementary mater= ial (e.g. a full paper, talk slides) if they desire, which PC members are free = (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Taro Sekiyama (tsekiyama@acm.org) and Francesco Gavazzo (francesco.gavazzo@unipd.it). Important Note: HOPE=E2=80=9926 will be co-located with ICFP=E2=80=9926 (https://icfp26.sigplan.org/) and FW=E2=80=9926 (https://www.irif.fr/~scherer/events/fpw-2026/announce.html). Presenters can choose either event to attend in-person. We also encourage remote participation and will support remote presentations. Deadline for talk proposals (extended): Jun 12, 2026 (Friday) Notification of acceptance (extended): Jul 3, 2026 (Friday) Workshop: August 24, 2026, Indiana, United States & Paris, France The submission website is now open: https://hope26.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Yuyan Bao (Augusta University) Rapha=C3=ABlle Crubill=C3=A9 (Aix-Marseille University) Francesco Dagnino (University of Genova) Elena di Lavore (University of Oxford) Francesco Gavazzo (University of Padua) Cristina Matache (University of Edinburgh) Ken Sakayori (The University of Tokyo) Taro Sekiyama (National Institute of Informatics) Dario Stein (Radboud University) Niels Voorneveld (Cybernetica) Zhixuan Yang (University of Exeter) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kind= s of effects: storage effects, I/O, control effects, concurrency, etc. While eff= ects are of critical importance in many applications, they also make code harder= to build, maintain, and reason about. Higher-order languages (both functional = and object-oriented) provide a variety of abstraction mechanisms to help =E2=80= =9Ctame=E2=80=9D or =E2=80=9Cencapsulate=E2=80=9D effects (e.g. monads and handlers, ADTs, owne= rship types, typestate, first-class events, transactions, Hoare Type Theory, session typ= es, substructural and region-based type systems), and a number of different sem= antic models and verification technologies have been developed in order to codify= and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexe= d Kripke logical relations, higher-order separation logic, game semantics, va= rious modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and excitin= g ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program wil= l thus involve a combination of invited talks, contributed talks about work i= n progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, = talk slides, etc., to be made available online. --=20 Taro Sekiyama