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=si9jOiB4; 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=ICkVeEGw; 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 9F51E40084 for ; Mon, 26 May 2025 02:02:47 +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=si9jOiB4P8lvMcBVa1BkLU9rJFm67Y69Qxs9emDHM3XkM7Ss7iZaBFyX VUYO/EMhNAzyJ/Wbm6YJnia9gKOBrpfUauGoehYjLy71yOv0mBUqjhc+X vE051FZ/keGL2o1ZXbLEOggNMDRcL6De6UvFeew7QrsbYMCSd2Kg21T+c 8=; 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,315,1739833200"; d="scan'208";a="223798217" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 May 2025 04:02:47 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E67DEE0AF6; Mon, 26 May 2025 04:02:46 +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 68A54E0AF6 for ; Mon, 26 May 2025 04:02:42 +0200 (CEST) IronPort-SDR: 6833cbc1_tjvzxVi6W8or+DRHO0WgXKgfhRTa7WtrcxMgNveLBnAXw8f ZPmx3fDbd8I/7wMxgBfbaoeRA9jPZV3aileQn6Q== X-IPAS-Result: =?us-ascii?q?A0FeBAAYyjNogarSVdFagQmBU4FyUn5aMwRUhFWDT4wBX?= =?us-ascii?q?AEGgT6EPoc5k2IWKA8BAwEMAT0SAgQBAQMBA4UAi1UCHgcBBDMGDgECBAEBA?= =?us-ascii?q?QEDAgMBAQEBAQEQAQEFAQEBAgEBAgQGAQIQAQEiGQcOO4V7DYJbO3FhAgUDO?= =?us-ascii?q?gEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAhQYES44C?= =?us-ascii?q?wYPAQUIARsMCggDEhAPAiYCJBEBBQE1AgEBHoJgAYIhFQEDMgMBEKA4giSBB?= =?us-ascii?q?UKLPoEVBQIWgQGCDQaBCT4FgR7XdQoZKA1vgWICAQYJAQqBBy6EdilcglUBh?= =?us-ascii?q?WyDfYEhG32BEIEVJ4NBhC0rg0aCaQSCDReBAhSCS4FZhCyBUIE2ggyCX4Qni?= =?us-ascii?q?wUIBx8SCRwGCgJLCwoSAwQDBAQBAgsTCQMDAg4CCAMCCAYZAT8SBBMKDQsHB?= =?us-ascii?q?R8KAgwRCigiEisKA1s0AQgGAgIEBAIEDAIJAgIFBwIRAwQBAQgCAi0DAQMZC?= =?us-ascii?q?AkIAgsFFA0IAwMDBgoJAQoHCRABAgIQAwICAgIGBwoDAgESCgUGBgIKBw0ME?= =?us-ascii?q?gEBAwkGAwUKAwcECg0CFQIVBR4CCAkOEQIFEgMOBQMCAhEEAgMDBQMBBwEVC?= =?us-ascii?q?BACAgICBQIFGBENBAMDAwIIAQQUBgMJCCUbCQEDCQMCAwQIAwMDAgYMDAIBB?= =?us-ascii?q?wgDAwYLCAkGAwIHCBkDBQQDBwULIQIGAwIEBQQBBQITDQIDGQIGAwYRCQ0GC?= =?us-ascii?q?AcJAwcBAQECAgIIAQYFEgIDBAIFBAQBARIGAgEDAQECAwQJAQICCgIICgEJE?= =?us-ascii?q?wQDCAMDAwMDBQICChEFBQIBBQoTDAoGAwYDBAICAgsHAgMBAgMHAQsTCQIBA?= =?us-ascii?q?wICBQICAQUDAgIGBAMCAQEJAgMCCAECAgECAgIEAQcBDQEBAgQCAjICAQMIB?= =?us-ascii?q?gEBDgIGAgIBAgICBAIEAQgLBAUNAQECAQICAQEBBAEIAwEBAgIDAwUDBQMID?= =?us-ascii?q?w0BARcLHQMEBQICAQEBAhICAgEHAQIBAQMZAgEDAwQBCwIBAQQeBBYCAgICB?= =?us-ascii?q?AMCAwEBAgsTJQECAwYTAgQCAQICBQUFAQMEERAJAwIFBAICBgIEDgIHBAIaB?= =?us-ascii?q?AICAQMEBgMBAggCAgcEBAYDAgECAgcZAhgBAgEBAgICBAICAgkKBAUEAwQDA?= =?us-ascii?q?gICAQwDAQIDAgICAgEDAgIBAQMBBQEFDQISAgEDDwgEAgIHAgIhDwsBAgEBB?= =?us-ascii?q?gYDAwMKAwEKAQIBAQYCAQISBQICAgQBAgIGBCUBAgECAQEBAQQCAQIBAgQCB?= =?us-ascii?q?wIBAgMIAQUCBgECAgkBAgECAgIBAgEBAgYCAREEAQICAgICAwEDBgICAgICA?= =?us-ascii?q?gkCAgEBAgUCBQMCAwEGAgUCAwMCAgMEAwkDAwgDBgQCAwEBAQIBAgICAQIBB?= =?us-ascii?q?QIDCQEBAwIBAgICAgMGAgUFAQMLBQQHAQECAQMFAwMEAwYBDAQDAgIEAgICA?= =?us-ascii?q?gICBAIBBQMDAgIFAQsBAgQCAQMDAwQEAwECAgoMAgQBAQEBAgECAgoDAgUBA?= =?us-ascii?q?QMDAREDBAEGBQUGAgcJAwICBAIDAgQDCQQCBgMDAgICAQELAgIBAgEBAwMHB?= =?us-ascii?q?hABAgICAQ8CAwMEAw8GAwUJAQMHAQEBAQECARMDAgQFEQYEAgEBHgEBFQIHA?= =?us-ascii?q?QQDJx4CAgIHAQICAgIDAgIDAwMBAgEBAgMFAQMCAgMCAQIBBgIDAwMCBQMBD?= =?us-ascii?q?gICAwEDAQYEBAIHAQICAg4BAwICCQIHCggCARMTAgICAgECAgECBwEBAgMCB?= =?us-ascii?q?QUIAgEBAQICAwILAgIBAgECAgMCAwIGASMCCQMjDwIBCwkIEz0MBzIENgEJC?= =?us-ascii?q?xQHBiUYaJcbhAgPOj4YXRQUCwEJAzQJBQtQPZJxC5IcoQ1ogz2MHZU6Bg8EL?= =?us-ascii?q?4QEjQyGOkeST4gwhHaLXY0pXpVuhRcCCgcHESQSgUgkgVxNIxVsgjYSPQMZD?= =?us-ascii?q?1eOCINChRPFJRA0NTwCBwEKAQEDCYVpijczgUsBAQ?= IronPort-PHdr: A9a23:U+caNRfKFIhgnobAM3lqxQ6jlGM+0NfLVj580XLHo4xHfqnrxZn+J kuXvawr0ASSG92DoKsa0bae8/i5HzBbu9DZ6DFKWacPfiFGoP1VpTBoONSCB0z/IayiRA0BN +MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj4VvJrwtxhfVrXdEZuVbyX1nKFmOmxrw+tq88IRs/ilepf4t7dJMXbn/c68lU bFWETMqPnw668HsqRTNVwyD6GcCXG4LiBRIGQ/F7B/7Xpf1rCT3s/d21TeZM8PrU706QCyu4 Kh3RhDmjicHLCM5/3rMisNslqJboQmuqAJ5zoXJfYyaLvt+fqfafdMHWWpMW9taWiJdDo+ga YYEEuwMNvtaoYbgvVsDtRiwCwejC+zhyjFGm2H40rE13ek6DQHL3xYtE84SvHjKrtj4MroZX +CvzKnPyDXOd+1Y1i3n6IjPbxsvvO+DXbFxccvR00YvEhnKhUiXpIz/PzKVy+cNs2mf7+pnU +KikGEnqwRrrTiuwscgkJXGhoUQyl3d8yhy3Yk6K8GiRkFhfd6kDIVftzucN4ZuTM4vQWVlt SQ4x7AYupO1cjYGxYkmyhPbZPGLbomF7g7jWuuQITp0mnNoda+/iRuu/0Ws1/HxW8aw3VtFs CdLnd/BvW0D2RzU78iIUPp9/kG51DaVyQ/T8f9LLloulaXHK54h2KQ8lp0JsUTMBiP2mEL2j LOKeUU+4uik8fjoYrLjppKaKoR6iRn+P7wwlsCjBek0KAsDUmiB9eiiybHv4Vf1TKhIg/Eqi qXVrp/XKdgAqaO8HgNZzIMu5wuhAzu71dkVnXcHIE5ZdB+CkoTmIF/OLfX4APq8gVmhkDJmy vTbMrDiDJXAK2bMkLn/cbt/7UNX1RQ+zdRC55JPFrEOPujzVFLwtN3ZEBA0KxC4zuD6A9tnz IweQ3iAAqqBPaPSr1CI4uUvLvGJZIAPuTb9L+Ep5+bgjXMkgFMdc7Sl0JkLZHyiEfRmJEKZY XXogtgfC2sFog0+TOnyhF2DVz5ceWqyUroi6j0nDI+qF4TOS4C3jLCfwSu3Aodaan1EB1yQC Xvocp+LW/YIaCKcOM9hlTkEWKC7S44hyBGutw76y75gLurS4SAYupfj28J05+3Xjx096Tt0D 8GF32GLVG57hnkISCMu3KBjvUx9zU+O3bVgj/xCCdNT/+9JUhs9NZPE0+N1EdXyWgbYcteNS VamWcmmDCoqTtMxxt8Oe1xyF8+jjhDFxSqqAqUam6aFBJwuoerg2C36LsN5jnLHz7UJjl88Q 8IJO3f1qLR48l3vDpTO236UlKe7fKEVlHrX5XqAzG6JumlXVQdxVePOWnVJNRielsjw+k6XF +zmMr8gKAYUkaZqS4NPY9zt1xBdQev7fc7ZaCS3knuxAhCBwvWNapDrciMTxnaVE1AKxiYU+ 3vOLg0iHmG5uWuLFi1zFlPrZEXE/ux3qXf9RUgxnEmRd0M077Ou4VYOgOCEDfYa37YKoiAk/ i9lAVW829XQI9WFrgtlOq5bZIB1+09JgETesQE1JZm8N+Zii1oZJhxwpF/r3g5rB59olMErq DYywlM3J/vHiBVOcDSX2Z22MbrSQoXr1DaobaOemlTX0dLMv7wK9Ox9sVLo+gegCksl9Xxjl dhTyXqVoJvQXkIUVtrqX0A7+gIfxfmSazQh547SyXxnMLWl+j7E1dUzAeI5yxGmN95BOaKAH QX2HoUUHc+rYOAtnlGoaFoDMoUwvOYuLt6ldv+B3oakOe9hmHStimEGqIFx30SQ9jZtH/bS1 sVNyPWZ0w2bEjbk2Q3544anxMYePGlURzXnmk2GTMZLa6Z/fJgGEzKrKsyznJBlgoL1HmRf/ xilDk8H38mgfVyTaUb81EtezxdywzTvlC2mwjhzizxsoLCY2XmE2fX/dxsDPWhjS2xrjFOqK o+xxYN/PgDgf00ymR2p6FyvjbJKuad+K27VaUhNdinyaWplV+Hj/qrHaMlJ5pQytCxRW+npe lGWRIn2pB4C2j/iFW9TrNwiXwmjoY6x3xlziWbHaW12sGKcY8Z7gxHW+N3bQ/dVmDsAXihxz zfNVBCwONyg/NPckJmm0Kj2TXO8VZxXdi/DwoaJtS/97mpvSRGyhPG8nNT7HBNyi3eqkYk3E 3+R9FClPdGj3r/yKe99e0h0GFLwjqgyUppzlIc9ntBY2HQXgImU4WtSlG7yNdtB3qetJHEJR DMN35vU+F2/gBwlfi/PnduhECzCmpgEBZHyeG4d1yMj4tofDa6V6OYBhi5puh+iqgmXZ/Fhn zAbwP9o6XgAguhPthB+q0fVSr0UA0RcOjTh0hqS6NXr5r9GeWWudb+2/EV7lNGlSrqFp0sPP RSxModnBiJ24shlZRjWwWDw64XjfvHfaNsSsluflBKK3KBFbZk2kPQNny9uP2nw6GYkx+AMh htrxZimvYKDJjYInurxEltCOzbyfc9W5iD1gPMUgJONx472VMYpCnARUZDvV/7tDD8CqaGtK VOVCDNlzxXTUbvHQV3EtQE//iqJScz0cSnQfiRRzM0+FkfBYhYE20ZNAm18xtlgR0ir3JCzL hk/v2hLoAa+8lwWkocKf1H+SjuN+lnuMGtlDsjHakIRtFkK5l+JY5PEqLsvWXgJpNv561XdY m2DO1YXUSdQABHCXxa7eeDwgLuIu+mAWrjnd6uIOOrR77wYD7DSnNquytc0pmnXcJzeYj86S aV8gxQLXGglSZ6BynNfFmpOzXKLN4nC+3LesmV2tpztqq21Hl+/o9LeUf0Kdow+sxGu3fXZb rDW3n0ob20CkMtLnC6A3rEb2BR6ZzhGUT6rHPxAsCfMSPiVgapLF1sBbCg1MsJU7qU61w0LO MjBi9qz2KQqxvgyQ0xIU1DsgKTLLYQDPn29OVXbBU2KKKXOJDvFxNvyaL+9TrsYhftdthm5s zKWW0H5OTHLmz7sXhGpeeZC6UPTdARZo524ew1xBHLLSdvnblijPoYyg2Rpmfs7gXTFMWNaO j95MgtMorCW8SJEk6B/FmhGvR8HZaGPnyeU6fWdK45D66M6RHQp0bgDuDJjlOMGiUMMDOZ4k ybTsNN09lSvk+3VjyFiTAILsDFAwoSCoURlP6zdsJhGQ3fNuhwXvgDyQ1wHocVoDtr3tuVe0 N/KwejpOSpB8tbT++MTAsHVLISMN39rYn+LUHbESRAISzKmLzSVn0tGjPSb7WGYtLA/o5no3 YIAE/pVDQNtUPwdDUthEZoJJ5I9DVZG2faLycUP43S5thzYQs5X64vGWvylCvLqMD+FjLNAa nPgJJv3KI0SMsvw3EkwMjGSfazPEkvUGMhD+2hvN1Bs5kpK93d6Qys43Ee3MmtFD1ccEPe1m lg9jQ4sOIwQ IronPort-Data: A9a23:/QYSQKiQd+R/Yjn9hPntP4hdX161zxQKZh0ujC45NGQN5FlHY01je htvWDvVaPuMMGGne4wiYIyw80MCuJGAn94yQQRornwzQXhjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtJg06/gEk35qmq5WlG5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGIV0xZpI7vcpLO2xH8 eMIBmwiXjmRiLfjqF67YrEEasULKcDqOMYHtCglw2iGVbApRpfMR6iM7thdtNsyrpoWTLCOO oxDMGIpNUuYC/FMEg9/5JYWhva1hXj7dDtwp1ecpK5x6G/WpOB0+OK3a4WEKoXbHq25mG6H+ znh1GikGS1EMfWx6muq/H7rjbPAyHaTtIU6T+DhrqE73jV/3Fc7AxQTUR6/oOKlolWvXspWb U0S4Csn66YonHFHVfH4Vhy85WaK51sSAoUIVeI97w6Jx+zf5APx6nU4oiBpRcAh79AVAhAW7 FKAm8z5K2BAgJSHRifInluLlg+aNS8QJG4EQCYLSwoZ/tXuyL3faDqfEb6P94bl3rXI9SHM/ tyckMQpa1wuYSMj0qy6+RXfjWvpqMGWFkg64QLYWm/j5QR8DGJEW2BKwQeHhRqjBN/GJrVkg JTis5XPhAzpJc/V/BFhuM1XQNmUCw+taVUwe2JHEZg77CiK8HW+Z41W6zwWDB42bpZdKGC4P ROO4FI5CHpv0J2CPfAfj2WZW5RC8EQcPY61PhwpRoMeO8EuLVXflM2QTRTIjzC2yCDAbp3Ty b/ALJ/0UidEYUiW5DWxQOgZ3PcqwCt4rV4/triqpylLJYG2PSbPIZ9caAXmRrlgsMus/l+Jm /4BbJDi40sED4XDjtz/q997waYidiBjXcieRg0+XrLrHzeK70l9UqaLmOlwJdU890mX/8+Rl kyAtoZj4AKXrRX6xc+iMxiPsZu2Bc0j/0EodzchJ0ip0HUFaIOipvVXPZgucLVtsKQpwfdoR rNXM4+NE9ZeeAThoj49VJjaqJA9VRKJgQnVATGpTgJidLFdRivI2OTeQC3RyAc0ABCK6PQO+ 4+b6luDQL4oZRhTM8LNWff+k3KzpSc8ncxxbWvpI/5SWkPmz6ZyIQesjPVte8AoAjfAzwu8y Ay5L0o5p+7Mgolt6/jPp/mOgLmIGttEPHhxPjfk/5fvEgLF7E+P/JRmbN+YWRz8CEbl57SEZ 8hO6vP3bc08g1dBtrRjH4ZRza4R48Xlo5lYxF9GGErnQkuKCLRyBGuvxuhK67Nww4FGtTuMW k6g/sdQPZOLMpjHFH8TPA8UUfSR58oLmzX97eUHH2ui3XVZpIG4aER1OwWArAd/L7EvaYMs/ roHif4ssge6jkInD8aCgiVq7F+zF30nUZg8l5QkEYTu2xsKyFZDXMTmMRXIwqqzMvdCDkp7B QWvpvvmp69dzU/8YXYMBSDz/e5Ct68v5jFO7nE/fmqspPSUp8UZ/hNr9RYPcj901TRCiuJ6B XhqPRZ6JIKI5DZZu/JAVGGNRSBECAGoxUjq714vimfiblKJU1bVJzYXIte9/0E+8kNdcANE/ bqe9n3XbDbycOz13QowQURAqcG/afBU6Sv5h5mBM+meOps1cx7Jo/WLXnUZjQnjDecaplz1l cMz8MleMaTEZDMt+YslAIyk5JEsYRGjJkkZZNp+/akMTFruSBvr1Regc0mOK95wfdrU+kqFC utrFMJFdzK68A2s9jk7J6o9E4VYrc4TxugpW+3UfDYdkr6lsDBWnora9XH+iE8VUtxeq5sBB b2LRQ2SMF67pCVyoHDMnvlmK2DjQNgjZS/A5s6X3tgNNao+tLBLTRlv/Jqy526YISl2zSKy5 QnjXZLb/8Zm6IZrnrbvLJl9OhWJGYvzetiloAGXmPZSXOzLKvbL5l80qEG4HgF4PokxetVQl JaRgeHzx2f1lrMTaDncvqWKCI1M6du4BuZMAPmqLnMAxSqmc+3v6isl5GqXB8FoktRcx8//X Cq+SpK6WuA0Uudn5k9+SnZhATMCLaXoNIHyiDiYrcnQOiMC0AfCEsyrxUXpYU5faCUMHZ/0U S3whNqD+fFaq95qKCIfJvQ7HaJ9HkDvaZEme/L1qzOcKGui2XGGm7n6kCsf+SP5MWaFHOn68 KD6aEDHLjrqg57xzfZdr4BWlT8UBiwkgeAPI2Qsy+QvgDW+VGM7PeARNKsdMa5tkwvw6YrZY Q/cZ25zGAT/WjV5KS/H2urBZTvGJOIyOYbeHAcLrnOkM3L8QMvKBbZ67S5v7ktnYjapnqntN dga/Wa2JRSrhI1gQeEI/PGgnON73bXgy2kV/Vzm2dnHa/rE7W7mCFQ6dOaMacDGLy0JvEDCJ GxwXW4dBU/iFha3HsFndHpYXhoeuVsDCtnugTinmL7iV0ezlYWsC8ET/8n817QCaIIBI7tmq bbfWT6W+27PspAMkfJBhj/q6JOYzdqEG8G7KOnoQgh6c2RcLIg4F5tqoBfjh/3ONOKS/50xW 9VsD7UD6Jy5FX1s IronPort-HdrOrdr: A9a23:4iM6wKh7Vo+y/z8Zl0irr8ya6XBQXv4ji2hC6mlwRA09TyXqrb HUoB19726ItN9xYgBbpTnkAsO9qBznhPtICOUqTNGftWrdyQ+VxeNZnOnfKlTbckWUh41gPM 9bE5SWY+eAdGSS4/yKmDVQX+xQp+WvweSHgaPxwR5WIj2CqJsN0+66MGum+4FNKjWuzKBZKK ah X-Talos-CUID: 9a23:EG0yQ2EYumAhPN+RqmJK6ElPBeNiXkHnwX7UPF+WVUlZYa+aHAo= X-Talos-MUID: =?us-ascii?q?9a23=3A6MLO+Q1xPZyTtJmAzk/TpAJukTUj/Pn1L2sBzI4?= =?us-ascii?q?65cytGw8hFDmRyz/rTdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,315,1739833200"; d="scan'208";a="223798193" X-MGA-submission: =?us-ascii?q?MDFI8iWdyX0QCYrlSbOD4KGeXtyumS+ZQMR2ir?= =?us-ascii?q?LEmp5MF8dcKFs4IX6DVgy40wYYfwx+dLvZdL4pIjWyiirEuGy4F6aD6y?= =?us-ascii?q?3/vbG9seBLHXZ3MP0DdqJ1cROTVsIxAP93tC0YAbBH5GItVFAqnvg8ZL?= =?us-ascii?q?XnmFBgkMbXGxP5pmyu1BUGBw=3D=3D?= Received: from mail-pf1-f170.google.com ([209.85.210.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 May 2025 04:02:41 +0200 Received: by mail-pf1-f170.google.com with SMTP id d2e1a72fcca58-742c7a52e97so1344624b3a.3 for ; Sun, 25 May 2025 19:02:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1748224900; x=1748829700; 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=ICkVeEGwjNg+j8k3LR728Jfm/GyCPurgoDb+7LyXjSAs4ZW9hO2BVPUQcZa+75rMz9 WtlrK7U/hOUfQKQqeiEnkvMUDE10shCt6rsdQl6YGVKJPtkgJ3JlM5ibmOq+pW5PxgFI kgFTiGfkdNRtKxuA1qKYDY12v6h0ufXS1VcMrP7mzREw85FDe2xsfPYklYooNEmqWlXz htZwAGsBF2+0wHqclUkGGLkjoDjGwxR+15L0yQszsfrPUbET7ieM5J2NzVZYNgvlQdnQ 6UF/R73To/loGMxoPEXTCJ4WQ2OksPaVjFZyAbj27+iM90Qnbf4ELv9bpFdauT/rqVwt fdqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1748224900; x=1748829700; 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=sEzj1InuTT2Q9CGEi2efkelr51DYDkuzTdH3G+KlbWsZVZJLmU/C6O6xEbA9k0kolg x/yPIrIrAtpNzvFqGPfXHPWooQiUXPb54X8WDSoKDLry86yuwifZkLpNiHeusOH39T/s EQ4+9wjU+o+EkqRXnmPNoSgDWWyLk4ymuVLfks4+mBKPs8Ei5lDGorLodAQwD8d5/kGv aWPmrCwW+hXyndgEPSBrRKTZwIPvkzSXqu1LjbbWbCcjHO2eWUCzY+p5THahTEDWguYF oHK5I18ErSCMxM2MiQb051M7oEhChUTMIW1rhe6Qfj0b9B9R8hvfmNKHcpeTBIaPY94W ZoTg== X-Gm-Message-State: AOJu0YxwI2Jb41CzEFKxvqCe6ix6CJGN0ORiVN8SPtdVcUo/OuYd5gOm YOaCh6ph94qtnuhtXLuEHj6Mx9DKZu88CkkuNkjzV5EJo50zYN6rU2DgNFhYENTr X-Gm-Gg: ASbGncs/r3KmfzEaokFKqHukRly2kOLrFGPx5soZxs2/hR+xeZS3buWw2xBc/GP/fwv xAIFKWCukMhpBUYraeHyxCcL0IpVrwnnnAfBBxLyogULB7+IflCNkjKnooy2c/ILZj6V60zuDe/ SPvlpHC5MV1BHfe0of92e+QtURGKZM2rRQoercZZVhnuQwNBhJmxhJMspS3jjpfVVS+JZBk/mGZ hLspmZnZSug2RnshnY52bjGDIyLhGUzmCgWUng7wlxXwAp+nD5Gkd1lYisu8WQXhrm875olyeve rXPR1+Ya3FO5+wgL9/dYgbtrc/gtgd8/D1XB4BPK2zbAkq1LqLLaAwm6O929RXw82NktB6Nzk/0 Lhocn9Ps7uN69K5MhhJ1zVLU/zVnwpEU= X-Google-Smtp-Source: AGHT+IEFPOKAO4dcPylnckLkR6+/h5CyK5DPMKnHbMx8WPi5A9SR8/Xk3rE7INS35U3Sft/5Sk7gmw== X-Received: by 2002:a05:6a00:22c2:b0:740:6630:633f with SMTP id d2e1a72fcca58-745fde9e86bmr11196645b3a.8.1748224899990; Sun, 25 May 2025 19:01:39 -0700 (PDT) Received: from ?IPV6:240b:12:121:5f00:1bf:5875:918f:ef27? ([240b:12:121:5f00:1bf:5875:918f:ef27]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-742a96dfa19sm16062735b3a.22.2025.05.25.19.01.38 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 25 May 2025 19:01:39 -0700 (PDT) Message-ID: Date: Mon, 26 May 2025 11:01:37 +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] [2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Reply-To: Taro Sekiyama X-Loop: caml-list@inria.fr X-Sequence: 19325 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.