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=izfG+ia9; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=Rh3LehfB; 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]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 40A4E400A1 for ; Tue, 22 Apr 2025 23:37:23 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:to: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=AfdHGo207ZRD8gp+VYiyK7MmUe5tPlTkPRTCBSwnrUE=; b=izfG+ia9vdg9gqHfisui/b8wVvidV5pndYgziR5Btah2dzh9Jyr4VkxA H19LpXewPJX68kOUNr66aC2byihlVtC27ifBWqwvOa0a3ZASyh1XyIM+U GsvkVI4o7ASW0TAYJIeG7fankIpyyTYyuKkp7SwDGEVUEdDkS6dGj5Bwh k=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com 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@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=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="6.15,232,1739833200"; d="scan'208";a="218995508" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Apr 2025 01:37:23 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4C10DE0264; Wed, 23 Apr 2025 01:37:23 +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 2622FE007A for ; Wed, 23 Apr 2025 01:37:19 +0200 (CEST) IronPort-SDR: 6808282e_UoSXDbR5RSBMxCm6foSeFPmW7e0govOnMnIoxhLUVqkuRyx dQg4KzQqCVL6ywW6cUbNvZ+15MJ5x28FekRW7eg== X-IPAS-Result: =?us-ascii?q?A0G8BgDQJghofC3YVdFaHgEBCxIMQINFUn1aMwRThFWDT?= =?us-ascii?q?4wBXQaBES2EPoc4k2AWKA8BAwEMATkJAgQBAQMBA4UAiy8CHgcBBDQTAQIEA?= =?us-ascii?q?QEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBAhABASIZBw4SKYV7DYJbO3FhA?= =?us-ascii?q?gUDOgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAhQYE?= =?us-ascii?q?S44CwYPAQUIARsMCggDEhAPAiYCJBEBBQE1AgEBHoJgAYIvAQMxAwEQojSCJ?= =?us-ascii?q?IEFQos+gRUFAhaBAYINBoEJPgWBHtdzChkoDW+BYgIBBgkBCoEHLoR2KVyCV?= =?us-ascii?q?QGFbIN9gSEbfYEQgRUng0GELSuDRoJpBIIWF4EDFGeBW2OCLYFzhDuBVoE6g?= =?us-ascii?q?hGCboQ0iRkIBx8SCRwGCgJLCwoSAwQDBAQBAgsTCQMDAg4CCAMCCAYZAT8SB?= =?us-ascii?q?BMKDQsHBR8KCAwRCigDIhIrCgNbNAEIBgICBAQCBAwCCQICCAcCEQMEAQEIA?= =?us-ascii?q?gIuBQEDGQgKAggCDQUTCgEFBAMHBQIbAwMCAgULAggFAgUHAwkOAQIFAwQVA?= =?us-ascii?q?hACAggVAgIFHAECJAECAQIBAgECAQoBAgIBDQkGGQ8EAgMDAg4BAgIJAQIBA?= =?us-ascii?q?wMIAwMJCAcKCQECCggJEAECAhADAgICAgYHDgMCARIPBQYGAgoHDQsCEgEBA?= =?us-ascii?q?wkGAwUKAwcECg0CFQIVBSACCAkOEQIFEgMOBQMCAhEEAgMDBQMBBwEVAwcIA?= =?us-ascii?q?gIMAgICAgUCBQIFFxENBAMDAwIIAQQVBgMJCCUbEAEDAQkDAgMECAMDAwIGD?= =?us-ascii?q?AsCAQcIAwMGCwgJBgMCBwgZAwUEAwcFCyECBgMCBAUEAQUCEw0CAxkCBgMGE?= =?us-ascii?q?QkNBggHCQMHAQEBAgICCAEGBRICAwQCBQQEAQESBgIBAwEBAgQJAQICCgIIC?= =?us-ascii?q?gEJEwQDCAMDAwMDBQICChEFBQIBBQoTDAoGAwYDBAICAgsHAgMBAgMHAQsTC?= =?us-ascii?q?QIBAwICBQICAQUDAgIGBAMCAQEJAgMCCAECAgECAgIEAQcBCwYBAQIEAgI0A?= =?us-ascii?q?gEDCAIFAQEOAgYCAgECAgIEAgQBCAsEBQ0BAQIBAgIBAQEEAQgDAQECAgMDB?= =?us-ascii?q?QMFCA8NAQEXCx0DBAUCAgEBAQECEgICAQcBAgEBAxoCAQMDBAELAgEBBB4EF?= =?us-ascii?q?gICAgICBAMCAwEBAgsTJQECAwYTAgQCAQICBQUFAQMEERAJAwIFBAICBgIEB?= =?us-ascii?q?goCBwQCGgQCAgIBAwQGAwECCAICBwQEBgMCAgECAgcZAhkBAwEBAgICBAICA?= =?us-ascii?q?gkKBAUEBAQDAgICAQwDAQIDAgICAgEDAgIBAQMBBQEFDQISAgEDDwgEAgIHA?= =?us-ascii?q?gIhDwsBAgEBBgYCAwMDCgMBCgECAQECBgIBAhIFAgIBAgQBAgIDBCUBAgECA?= =?us-ascii?q?QEBAQQCAQIBAgQCBwIBAgIDCAEFAgYBAgIJAQIBAgICAQIBAQIGAgERBAECA?= =?us-ascii?q?gICAgMBAwYCAgICAgIJAgIBAQIFAgUDAgMBBgICBQIDAwICAwQDCQMDCAMGB?= =?us-ascii?q?AIDAQEBAgECAgIBAgECBQIDCQEBAwIBAgICAgMGAgUFAQMLBQQHAQECAQMFA?= =?us-ascii?q?wMEAwYBDAQDAgIEAgICAgICBAICAQUDAwICBQEFAwgBAgQCAQMDAwQEAwECA?= =?us-ascii?q?goMAgQBAQEBAgECAgoDAgUBAQMDARIDBAEGBQUGAgcJAwICBAIDAgQDCQQCB?= =?us-ascii?q?gMDAgICAQELAgIBAgIBAQMDBwYQAQICAgIBDwIDAwMDAw8GAwUJAQMHAQEBA?= =?us-ascii?q?QECARMDAgEEBh0CCQMjDwIBCwkIEz0MBzIENgEJCxQHBiUYaJd4hDYPOj4YX?= =?us-ascii?q?RQUCwEJAzQJBQtQPZJxC5IZoQtogz2MGZU1Bg8EL4QDjQmGOkaSSgGIMIR2i?= =?us-ascii?q?1iNKF6VbYUXAgoHBxEjEoFJI4FcTSMVbII2Ej0DGQ9XjUqEAIUTvGUQNDU8A?= =?us-ascii?q?gcBCgEBAwmFaYoAM4FLAQE?= IronPort-PHdr: A9a23:DtlGAREliVoNp0H94d0QSJ1Gf5ZGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21hmRBc6Bt68c16L/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezf79+N gm6oRneusUIjoZvKro9xxTUqXZUZupawn9lKl2Ukxvg/Mm8+4Jt/TpNsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQTXHkYnRpOGAjF8Qr1XoztvSvgt+pywzeVMMvrRr0pQzui7 qNrSBj1iCcbMjMy7W/ahtBsgK9dvRmsoQF0zYzJb4GPLPdwfa3TctwUSmRBQ8hfSTBODIynY osTDOcMJ/pUo5Xjq1YMqxa1GAmiBPnoyj9NnnL4w7c10/4mEQrbwQIvAdEOsHXUrdrvMacdS /2+wa7SzTTDcvNW2jb96IzPchAnuvyMUrdwftDQyUkrDQ/KklKQqYn8Mj6Ty+8CvHSV4fB6W uKzl24otRtxoj63y8oiiITEgoAYx1La+Ch6zog5O8C1RU9/bNOrDZddtj2WOYt3T84iXW1lu Ts3xL0atJO1YSQH1JsqyhrQZvGZfIaF5A/oWuiWITd9nn1lebS/ig6o8Ue+0e3zSNO70ExWo SpFiNnArHcN1wbc6sSfSvt9+Vuh1iqV1wDL8O1LPUc0la/dJpU8wbAwjoIevVrfEiLygkn7j 6+bel869uS16unreLrrq5+EO4NqhQzyLr8hl8miDegmNwUCQnaX9fm52bDj8031XKlGg/grn qTYs53WOMEWq6ylDwBL04su7gqwDzm739gEmHQIMUxKdRaFgoXvJlrDPvT4Deqkg1Swjjhr3 e3IPrzgA5rTNnXPjLHsdqtn5UFG0go819Vf6opUCr4fJPLzXVf8tNnCAR84Nwy42v7nCNdg2 o8HV2KCDa+UPLndsV+P4eIvLO2Ma5EPtDnhLPgl4ubijX4/mVADYamkxYUbZGy8E/h8IEiUY WDgjskcHWoLpAYzQ+znhEWHUTFJZnayW6w85is8CIKjFYrDXICsgKGC3Ce6Gp1WYWZGB0uDE XftbYqEWvMMZDiOLc9mlzwITb6hRJQ52hG0qAD606ZnLvbT+iAAqJ7vzMJ16PHLlREu6Tx0C NyQ3H2XQGFxmmMEXjs23KFkoUxh0VqDyqh5g/lAFdNJ/f9JUwE6NYTdz+NgEdzyVBjBLZ+1T wOtS9CiRDUwVc4ZwtkUYk87Fc/xoArE2n+WCqUS34eGB50l+6fVlyzrNtt+ynLB0oEuilAnR o1EMmjw1f03zBTaG4OcyxbRrK2tb6lJhEYllU+GxGuK5gRDVRJoFL/CVjYZb1fXqtLw4gXDS aWvAPIpKFgJ0taMf41NbNChllBaXLH7It2LeXOsmGa0AhCgybaFbY6scGIYj23GEEZRqwkI5 j6dMBQmQCKoombQFjtrQEj+fkDt9e54gHy+R04wiQqNah4pzKK7rzgSg/HUUPYPxvQEtSMm/ i1zB0q41snKBsCoogNgeOBEY4p47gsak23esAN5M9qrKKUKakc2VQNxsguu0hx2Dt8Fis02t DYwywE0L6uE0VRHfjfe3JbqO7SRJHOgtBaoI7Xb3F3TyrP0su8G9eg4plP/vQqoCltq8nNp1 MNQ2med4ZOCBRQbUJb4WEI6vxZgoLSSbi447oLSnXpiVMv8+iXTxtEoAOwj4hmldtZbdqiDE U66EsEXAdSvNP1/g0KgPVoPOOFf8rJxPtvzLaPXnv72erw5wnT60Dcigsg1yE+H+itiR/Sd2 p8Ex6vdxQ6bT3Lmi1zntMnrmIdCbDVUH2ylyCGiCpQCA886NYsNF2qqJNW6g9tkgJu4EWRJ6 V2iA1QA8MCscBuWKVf62EcDsCZf6Wzigia+wzFuxnszv7ec3SjJxcztcRMGPihAQ2wo3h/8Z IOzid4dRk2haQMkwQCk6UjNzK9evK1jLmPXTC+kZgDOJnp5Guu1v7uGOYtU7Y8w9D9QW6K6a EybTbj0p10b1TniFi1Q3mJzezavs5T/1xt07QDVZGxisXnYfcZ27Rja7d3YA/VW23IKSTJ5h j/eGlWnd4PxrJPEytGZ6774Cz/pX4YbaSTxyIKcqCa3gA8iSQaymfy+gJyvEAQ31zP6y8g/U CzJqBjmZYy4n6++MO9hYgxpHAqms5s8Stw4yNJuws1Nih14zt2P8HEKkHn+K4Be0KP6Nj8WQ CIThsTS607j0VFiKXSAw8T4UG+cy41vfYrfACte1yQj4sRNEKrR4qZDmH4/uEulrgPVZv5Vk TIUyP9o43kfybJs2kJl3mCGD7YeEFMNdzb9iheJ69e4hKpSbWerN7O30QAt1cDkB7aErAZGX X//cZp3Bi584PJ0N1fU2WHy4IXpK7yyJZoD8weZmBDag61JOYo8w7AU0DF/Nzu37jU1jvQ2h ht00dSmsZibfi9zqbmhDEc9VHW9ZttPqGqwy/8PxoDMg9/pRtI7Rn0KRMe6E67uSmlJ8625b 0DWV2Rt4naDReiBQ0nGsB0g9zSXVMrzUhPfbHgBkYc8Gl/HeB0Z0FhSBHJgxtY4Dlz4m5anK Rs/v2FLoAa/80sEy/o0ZUajFD6F+UHwLG9zEcb6TlIe7xketR6NYYrHsb01T2cAucf45A2Vd j7COF8OVDBVHBTCXxe6YPGv/YWSqbDJQLrjaaKUMfPW7rUBMpXAjZO3jtk8pmjKa5XJZyg4S aV8gxsLXGglSZ6AxXNVEH1RzHiLN4nC9V+q8ylz5KhT6dzNXwTircuKArpWa5B0/gyuxL2EP KiWjTp4LjBR0tUNw2XJwf4RxgxajSYmbDSrHbka0EyFBKvNhq9aCQIaYCJvJYNJ6aw7xAxEJ c/cjJv8yLd5ivc/D1oNW0bmn4mlYskDImf1M12iZg7DLLOdOTjC2N36e4u5QLxUyf1W7li+5 WvdHEjkMTCO0TLuUlHnMO1Bij2aIA0LuIy5dUUIayCrR9bnZxundd5v2GdukPtk2zWQbDBab WUvFiEF5qed5i5ZnPhlTmlI734/aPKBhz7c9e7TbJAfrfpsBC1w0eNc+nUzjbVPv0QmDLR4n jXfqtl2rhSoiO6Kn3B9QQdNqzJMgqqEuExjPePS8ZwKChOmtFodqH6dDRgHvY4vEtr0p6VZ0 cTCjor2ITZGtsrWpI4SW5WSJ8WAP34sdxHuHXSHaWlNBS7uPmbZiUtHlfiU/XDAtZk2pK/nn 58WQ6NaXlg4fhv1IktgFd0GZpxwW2F9+VZ+pMEN7Hu66hLWQZcC1ngmfvebAPGqMDTAyLcYO l0HxrT3KYlVPYr+iRQKVw== IronPort-Data: A9a23:CxD4e6mK1l2idtVrOqsfETfo5gwhIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIcUWmCb66CN2Kkft51bYri8x8GscfRmNJmQFdorithEFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayaz98B56r8ks14ayu4mlA4DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1VUGpuG64F191yCGxs0 9pEAg4NNhCM0rfeLLKTEoGAh+wmJcjveZsd4zRukWyfAvEhTpTOBa7N4Le03h9q3pEITauYP ZNHL2YyBPjDS0Un1lM/EoMjn+asgX/XfDhRqVbTrq0yi4TW5FYogOm8bYaEJ7RmQ+1YuWffm 1/i9VjgLRUfDP+n1CDc6HCF07qncSTTA99LTOLpqJaGmma7zWUWDFgSVECnieKoj1a3HdNZM U0dvCQ0xZXe72SuR9j5GgW6+TuK4kNaVN1XHOk3rgqKz8I4/jp1GEA/EhUZTv87mfQzTDEI8 HnVte3pXTxg5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3zUFiNFj5v4oZoYzeJNZnuHI9SfML ydmRRXSap0WhM8Pkr25pBXJ32/qqZ/OQQo4oA7QWwpJDz+Vhqb1NuRECnCCsp6sybp1qHHf5 xDofODAsIgz4WmlznDlfQn0NOjBCwy5GDPdm0VzOJIq6i6g/XWuFagJv20jfxs3bZZfIGK4C KM2he+3zM8DVJdNRf8nC79d9+x2lcAM6Py8BqCLNoUePvCdiifdrXEyPBT4M5/RfLgEyvxmY cjKL65A/F4VDqNoyDf+RuEWl9cWKtMWlAvuqWTA503/i9K2PSbLIZ9caQfmRr5jsMus/l6Om /4BbJvi9vmqeLeiCsUh2dROdQhSRZX6bLiqw/FqmhmreFQ6RD96V6+BntvMueVNxsxoqwsBx VnlMmcw9bY1rSSvxdyiMyg4NOHcTtxkoGglPCchG1+t1jJxKcys9aoTPd9/N7Uu6OUpn7Y+Q ugnavewJK1Fag3G3DABMrj7johpLyqwiSy0YiGKXTkYfrxbfTLvxOPKRAXVyXQxPnKFjvdm+ 7yE/SHHcKUHXDVnXZr3aurw7lafvko9ueNVXmnOKOZ9YE/HrYpgcXTwqtQVIMg8DwrJ6RXH9 gSRADYe/fLspa1s+vb3pKm0laWbOMogIVh7Rk7w8qSTGRTB2Faa0atscbqtbC/McmHZ44Cgb rhl9O79O/g5g1p6iYpwPLJ1x6YY5dG0hbtl4il7PXfMfXK5I6hBJySY4MxxqaF9/L9Vlg+oU Eap+NMBG7GoOtvgIWEBNjgeceWP+vEFqAb8tc1vDh3B2xZ2276bXWF5HRqG0nVdJYQoFrIV+ 74qvcpO5jGvjhYvDM29sRlV0GaxNV0FbbQss8ALIY3sizdz8Gp4X77nNnbU7q2MOvJ2CWt7B h+PhaHHuaZQ+VqaTVo3Ckr2/LR8gbYghUl06WEsdnWztPjLvPsV5CFq0C8WS11VxypX0ugoN WlMMVZ0FJq0/DxppZZiWmywKj5FHzmc3FL78HoStWjjV0LzfHf8HG48Hues/U4i7GNXeAZAz oyY0GrIVTXLftn7+ykPBWpJjuPFdsMo0CHvg+WlENahM7hgRAH6k4m8YWYsgDn2M/Mb3UHoi 7Fjw7dtVPfdKyUVnZweN6Cb8rY1EzWvO21IRKBazpMjRG3zVmm75mmTFhqXZMhIGv3t9H24A exIIuZkdUy39ASKnwAhKZ88GZ1Gt99324NaYZLuH3AMjJWHpDkwsJ7wyDn3tFV2f/pQy/QCO qHjXBPcNFePhElkuX7H9+hFHWuaXeMqRiPB2MKNzeFYMK5b7c9Ndxkp36qWrkelFlJt3yips TPpY47UyO1fyrpQobb8L5UbByuIBIPycM+q7DGMt89/aIKTEMXW6CIQhFrVHyVXGrozR+VIk a+pgPTu+XicuZAabn3rwcifJfNZ4eG3evRdCePsDXxghSDZctTd0xgC3GGZKJJyj9JW4Pe8d Ta4cMedcd00Wc9X4W98MQxyIk04MLvmSJvgqQeWjeW+OjJE3SPpdNqYpGLUN0dFfSo2CrjCI w7Tucf2wOtHrY5JVSQ2N9s/D7BWeFbcCLYbLfvvvjylD06tsFOImp3msTECsTjrKH21IPzW0 KL/ZCrVVUqN4fnT7dRjrYZNkAUdDy99jckOb0stwYNKpA7gPlEWD9Y2EMsgMY5VoBzQxZujR TDqbUkeMwvfcwlAUy3B5IXEYl/CKM0IY9v3H2l8tQfcISK7H5iJD7Zd5z9tqSU+MCfqyOa8b 8oS4DvsNxy22YtkXvsX+uf9u+p82/fG3TgdzCgRSSAp78o2Wt3mFUCNHTahkQTCGsDJ0V3Jf C07GT0CT0a8Rkr8V81nfha53f3fUCzHl10VgeWnmb4zeLl3CMVPzfT+P6f41bhrgAEiOusVX X2uL4eSyzn+55HQ0JfFf/omhKZ1DbSAGc3SwGoPg+ENt/nY11nL9P/uUcbCoA/ONeKf/57ge uGQ3kUD IronPort-HdrOrdr: A9a23:y2vsma4JPyQZa8aabwPXwOzXdLJyesId70hD6qkDc20vTiX+rb HSoB17726PtN91YhsdcL+7Scy9qB/nhPhICOoqTNOftWvdyQmVxehZhOOIsl7d8kXFltK1vp 0QCpSWZueAdWSSwfyKhzWQIpIPxJ2o/smT6ts2DE0AceipUcxdBstCZDpz23cWeDV7 X-Talos-CUID: 9a23:Pi4xXm1kKQDMWuCr2zrWobxfIZwOKlv+0VrrJka1K0BPFJerSQeQ9/Yx X-Talos-MUID: =?us-ascii?q?9a23=3A+t69Ugz3CHypNgfGxTjxtxQg11GaqKmJKQcwrLE?= =?us-ascii?q?Mh9CrMSlIGA+Alm2tQKZyfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,232,1739833200"; d="scan'208";a="218995495" X-MGA-submission: =?us-ascii?q?MDHciuNhrH/PjrDKrWOT0hv+tvQyBkvznZW/GV?= =?us-ascii?q?orB9KAuZyUH9TTfxK0pCKAgKIVRN+RwPZbQoirCiFZsmcmli9tapvnP+?= =?us-ascii?q?DP7RJhsolFPR+Kc7LbgBTPkUj60ttUSSycGX85MydNoF/UgwwFzDMpNA?= =?us-ascii?q?0ZowgqJsau70d5802WKfS3Gg=3D=3D?= Received: from mail-pj1-f45.google.com ([209.85.216.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 23 Apr 2025 01:37:18 +0200 Received: by mail-pj1-f45.google.com with SMTP id 98e67ed59e1d1-3085f827538so7084170a91.0 for ; Tue, 22 Apr 2025 16:37:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1745365037; x=1745969837; darn=inria.fr; h=content-transfer-encoding:content-language:to:subject:from :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=AfdHGo207ZRD8gp+VYiyK7MmUe5tPlTkPRTCBSwnrUE=; b=Rh3LehfBFMJERV6oEsh+1Zv3L4Zz7CzGNRKGxzn19Vi4dEewUCio7E5m6qCXF+wzKY qGeyH4OKG4K/cWlt3VTMZgVqoYRj+rqhns+r6e65yHJ6tM16Mpp12bpvunUzXbZPw9D/ ai2usRAJU98l4qmsZ4yywym7LEGPj1xR38MifQ9GS4y2jLW/XH1BHCcpU6FRjwz4mUkD NDaesHWvQAfdEXmyQrbrKNA0JONiomrAW1J3WZlArE9RbFGjg9M6iCxklSAGq+jM4Y5I 8n6gOacNULZGSplDvrd2sOSw/cB6DRPudA47xM1UYcMxjwic+ZTKQe5BLMe6khN7e9Ho l8rw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1745365037; x=1745969837; h=content-transfer-encoding:content-language:to:subject:from :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=AfdHGo207ZRD8gp+VYiyK7MmUe5tPlTkPRTCBSwnrUE=; b=SmOFkKboj7UgV6AULwEqGS/KPW/BTOfQxlk1YmShnRDcFwwhCDfJ7N/gDrSqFFjlRE RWIKdwOBqpf/vdl7sVGv9Roj3gdzCmw1RF2IJ9C8EIwpb7yCn0ugPnKPPBq7GAbpKVs2 yz6QDNjFGrbwH7LrdHII1htBmlX2MsBMxCL03FOeHsukf9cC+0CA5LZMLhVBN/lOh9yo qQ721UHg7QWR2F5wSdbP5EZPNgz8Een8gu0NZbBOZevl0SkoGQ7FeIIsapYKBQ/5x1Di VGIxulUc7qmxwtV28JbxvvSM2hMfuK6MHIGudVIkO7fX2DVnsNpI1ysyifardwZIoc2k 8NCw== X-Gm-Message-State: AOJu0Yzr78uFJRj+L/hDHQxzaROv1LK5OwY4GNFldtEQyxHmFdVXze6h vganCl+wRC4J7MzU3si7Ko1tVG2L0xX5LPTHHN7kR3mFRwm5O27j9N2tDB5d X-Gm-Gg: ASbGncuimte6lw4D3vSjtsS8MSvtZHu7EizbP5nkkaek/41c7P2hee+lh882wi+XlO2 RUyL/fn+xfdHcB49hd0g7El937BlKNQy/JFYS/+kmW/rQRncR7jpubg7GqL4SW7eiEvs0E6wwGq WFl5sCCDtI4kHdPVRgXMQKBu7VYchDlC6Hl0FQZN+p1lfRyuuml3HYNCO1W/PoxtMHZkaE9Lke3 5JUmlKHNLu76ddcyZO5cNGWDrUk4o3o7ekc8iKT21bTYXE+UJfrFUdbnf99O2wUANgaMU7GXBu4 6sGlXgEN0hHrcPZ93MKsEGPpy/cALAQiRc23iUf/8bzVO1QN+YkTzS3LgXDQVIDTI3FTN0/VuH/ O2xaLC3gf2W21 X-Google-Smtp-Source: AGHT+IHvXfAQF+GkUE0S0NX6u7xcZ3QCzBXP7PfO166ra8+lWGPophXeZIZQ7Csw+f2jyz1qP6fU3w== X-Received: by 2002:a17:90b:5103:b0:2ee:b2e6:4276 with SMTP id 98e67ed59e1d1-3087bbb02ecmr24574945a91.27.1745365036696; Tue, 22 Apr 2025 16:37:16 -0700 (PDT) Received: from ?IPV6:240b:12:121:5f00:1681:70e6:cfd0:de97? ([240b:12:121:5f00:1681:70e6:cfd0:de97]) by smtp.gmail.com with ESMTPSA id 98e67ed59e1d1-309d5e18130sm1464389a91.1.2025.04.22.16.37.15 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 22 Apr 2025 16:37:16 -0700 (PDT) Message-ID: <9347c04f-4b15-4a8e-81af-e611363c7eaf@gmail.com> Date: Wed, 23 Apr 2025 08:37:12 +0900 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Taro Sekiyama To: caml-list@inria.fr Content-Language: en-US Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] [CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Reply-To: Taro Sekiyama X-Loop: caml-list@inria.fr X-Sequence: 19300 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: TL;DR: Talk proposal deadline for HOPE 2025 is on May 29, 2025. ---------------------------------------------------------------------- HOPE 2025 The 13th ACM SIGPLAN Workshop on Higher-Order Programming with Effects October 12, 2025 Singapore (the day before ICFP 2025) https://conf.researchr.org/home/icfp-splash-2025/hope-2025 HOPE 2025 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 talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals 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 read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (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, Guilhem Jaber (guilhem.jaber@inria.fr) and Taro Sekiyama (tsekiyama@acm.org). Deadline for talk proposals: May 29, 2025 (Thursday) Notification of acceptance: June 26, 2025 (Thursday) Workshop: October 12, 2025 (Sunday) The submission website is now open: https://hope25.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: William J. Bowman (University of British Columbia) Zeinab Galal (University of Bologna) Justin Hsu (Cornell University) Guilhem Jaber (Nantes Université) Danielle Marshall (University of Glasgow) Alexandre Moine (New York University) Takahiro Sanada (Fukui Prefectural University) Taro Sekiyama (National Institute of Informatics) Yahui Song (National University of Singapore) Leo White (Jane Street) Yizhou Zhang (University of Waterloo) --------------------- 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 kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects 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 “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various 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 exciting 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 will thus involve a combination of invited talks, contributed talks about work in 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.