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=m8PO3bSO; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=googlemail.com header.i=@googlemail.com header.a=rsa-sha256 header.s=20230601 header.b=S9ngJNQc; 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 7D21F400B8 for ; Sun, 3 Aug 2025 14:14:30 +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:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=BwkTmvyY9ionpyegjZ54ITAj67IVSrAB/I32JiQl9Ng=; b=m8PO3bSOVJ9wWTDtIMFZULdrS582DKBCJzvQ+Aiu6k39eyOug5PpkPUL 18/dRGv28rQMUByCjxjF9Odg9LKD2d0Jmtr+Es8VvfFGeWMHg6LZGDoX8 8Zhd+HOw4+4yEbTJw5CMsk1mhHyquXaWuxH/CPoDBfXQ8yRN+Rv7Omg+f M=; X-CSE-ConnectionGUID: zcO2TGBNRtae2cKrGk+2dA== X-CSE-MsgGUID: 0zNUx2R9RRyXKktGZSAg3A== 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=@googlemail.com X-IronPort-AV: E=Sophos;i="6.17,258,1747692000"; d="scan'208,217";a="234012260" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Aug 2025 16:14:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 89E11E0CDC; Sun, 3 Aug 2025 16:14:29 +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 D2C87E0171 for ; Sun, 3 Aug 2025 16:14:23 +0200 (CEST) X-CSE-ConnectionGUID: pezSkfPuQwWqn8EWQ+4lmw== X-CSE-MsgGUID: ULgbD0aFRSe/Xs2BCLQtWQ== IronPort-SDR: 688f6ebf_hcTFi94bCFrqJiYsfvy+ZoLlrmhdCkIqkDhUEdobIs8hxLM G3HmbUaCGm/bwZHZucJD4HoWgUJo3rHp1jyrWfA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0F2jAARbo9ogbSmVdFaHAEBATwBAQQEAQECAQEHAQGBa?= =?us-ascii?q?oE/GwI+KF0jWTQEC0mEVYEjgixTiy6DN5FBjRwnAg8BAwENFAEBAQIGFR0EA?= =?us-ascii?q?QEDAQOFAIwcAh4HAQQ0EwECBAEBAQEDAgMBAQEBAQEBAQENAQEFAQEBAgEBA?= =?us-ascii?q?gQGAQIQAQEiGQcOO4V7CwKCRRo3cYElAQEBAQEBAQEBAQEBAR0CDR8RRSELB?= =?us-ascii?q?h0BJxIDEhA3AiMSAQUBKAEuOYFPWYIhAQYQAQMyAxGfe4IkgQVCiz6BMoEBg?= =?us-ascii?q?g0GgQk+BRAP2HQKQQ1ugWQCAQYUgTMCAQGEdHeCZAGBXQIOg3+DfYEhD4FVR?= =?us-ascii?q?IEVNYIFOHaBBYFcAQOCC4MuFoJTBIIigQIUkGiCARqGLyMDJgMHBw4rRg4BI?= =?us-ascii?q?QMmMywBVRMXCwcFLVQKA1UBAgFkCCJuAQIvBheBJzqBEwMBBAMFAwcaQx8FA?= =?us-ascii?q?xwCBGCBGgQNAzEFBoEKDFUEEmolAwMRBT0NHgMPDy4qHQUOAwMHBwMDBgMDC?= =?us-ascii?q?AMFAgQTBQIECw4LBQIEJwMHAwYNAgMdAwsRBAYDCC8DBwIDCRUDCwUEGQcJB?= =?us-ascii?q?RUEAgIaEwIWDQQDAwsGCAolRxUEVgIKAgoOAwYKCQMDAhoCAwQNGg4CaAkGH?= =?us-ascii?q?C0FDBMsAwMDBhQEAxcPBgofAwIQAw0EQgEQLAIPTAMPBxwCJBcCJwIDEgMZF?= =?us-ascii?q?QMDFQMDAhUDEgkDHiBAAwtiCz03L0yTMxmEYhMGlTieRpRjNAcrg3SBZAyKL?= =?us-ascii?q?pVTM4FOqR2mI2uVWoVOESSBWyOBTAkHNBkjUDFtCYFAEj0DGQ9XgmuKdoNph?= =?us-ascii?q?RO4HioyPAIHCwEBAwmReAeBSwEB?= IronPort-PHdr: A9a23:hDxVGhOxbRHhDALWV70l6nbTBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq4r1ASCBN2Kta8MotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSsioeReWoMgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL58I hi6txndu8cZjYd/Nqo8zhrEr3tVcOlK2G1kIk6ekBn76sqs5pBo7j5eu+gm985OUKX6e7o3Q LlFBzk4MG47+dPmuwDbQQWA/nUTXXwanwRHDQbY9B31UYv/vSX8tupmxSmVJtb2QqwuWTSj9 KhkVhnlgzoaOjEj8WHXjstwjL9HoB+kuhdyzZLYbJ2TOfFjeazdYNUaSndAXsZKSyNBBoS8b 5ARAOUcIO1Uq4bwq0cLoRa4GAKiBv7gyiVQi3D53aM03ecvHxza0wE9BN8BqmjYoc/vOasOT ey4zq/FxijDYfNM3jf97ZDFfBM/rP+MR7x7bNDfyVQ0GAPBj1WftY3lPy+V1+8QtGWb7vZvV ey3i2I9swFxvyOgxsMtiobVh4IV1lDF+D52wIYyIt24R0p7bsChEJRKtiGaM5F6Td8lQ2Fto Ss3zKANtpGnciYQ0psn2wLfZOKdc4iO+h/uVOifLDd2in97ZL6ymRe//Eqix+PzWMe51EtGo ytBn9XSqHwD1wDe5tSFR/Zh4kus2iqC2gDO5uxELk05mrTWJpg8ybA+kZoTtF7MHi7wmEjul 6+Wd0ok+vCs6+v9ZLXqvJicN5V7ig3mKKQhhNe/DvoiPQgUQ2eb+f682Kfk/U3jT7VGluY2k rHdsJ/APsQbprK2AwhT0oo57Ba/FTim3dIFlncENFJIYAyLg5TtNl3UI/31De2zj0mtnTpq3 fzKI77sDonLI3PeirnuZ6x95FRZyAcrzdBQ+ZZUCrYZLfL2QEDxtdjYAgY4Mwyw3urrEdt92 p4dVG6TGKOZP6TSsViH5uIrPeaAfpMauDH4K/Q95v7ui2E2mUMFcKW3wZcabGq0E/dmLkmDf Hbhg9YMHX0Xsgc9UODmkFiCXiRSZ3a2UaI8/DY7CIe+AIfCWo+tjqSB0D2jHp1LfW9GDlGMH mvpd4WYW/YBcy2SIshmkjwLUbiuVYoh2guvtA/+0bZoMu3U+igAuZL5yNd1//HTlQ019TFsE 8uSyWSNT2VtkmMMRj82x7x/rFdmylaD1Kh4m+ZXGcZS5/NPSAc6NITTw/Z0C9DoQg7BeMyGR 068Qtq6GTExUs4xw9gWbkpgA9migQ7M3y2pDbEPj7GECoE6/rrG33fvOcZzyGzI2bEkj1Y8Q 8tPMXSqhq979wTOHoLJnViVmqW2eagG0y7N82CDzWWKvE5GSgJ/TaLFXXUHakTLrtT550bCQ qe2B7ooPARP19KMJ7dMZNHxkFpGQe3sOM7CbG+pg2m+HA6GyLyUYIrxY2Ud0j3QBlIYng4O4 HiKLRM+Bj+vo23GDDxhC1bvY0T0/OdmsX21VkA6nEm2aBh80ba04RURgueRR7YJ07kFoCYsr SlvTgXu8cjRDo+hjCRZNJ1Ba9c861ZbxCqNtgdzJtq4Mqpmh1UfbxVfsETp2BF6D4xBlY4hq 3Z8n1k6Er6RzF4UL2DQ5pv3ILCCdjGaFHGHbqfX3guby9OK4uIV7/9+rVz/vQavH05k8nN90 tAT3WHPro7SAl80VpT8Gl0y6wA8v6vTNyg26ZuSzWBmNai/syPT890uA+QhxxOpftMZO6SBR 0fpC8NPP8G1M6QxnkSxKBcNPeRc7qkxasKteePAwLOhOOdrnS63pWtA549530eF9i46QenNj N4e2//N+AyBWn/niUu59MD6nYcRfTYJAm+20jTpHqZUb6x2OIcPUCKgep3vgNp5gJHpVjhT8 1vL60ou/sivdFLSalX82VcVzkELuTm9niD+yTVokjYvp67Z3SrUwu2kegBVcmhMDHJvi1vhO +3Wx5gTQVSoYg41lRCk+Veyxq5Vo756JnXSRkEAdjb/LmVrWK+9/rSYZMsH5JQtuCRRGOOyB DLSAr/2rQNcyz7pG2pVxSwqXz6tvZr9khlziWbbJ3F27TLYdcx22RbD9YnEX/cCu1hODCJ8i DTRGh29J4zzpYTSx8qF677gETvxDs42E2Gj146LuSql6Hc/BBS+m6r2gdj7CU0g1iS90dB2V CLOpRK6Y4/x1q38P/g0GysgTFL69cd+HZlz14Uqg5RFk3kRiI3T5WcNlWb4MMlK8a35a3UJS DsCwtqT6w/gkh4GTDrB18fiW3ORz9E0LdixbHtQwj8368FBCbuFxLNDmiRxr1+xrAaXav941 GR4q7Nm+DsRhOcHvxAoxyOWD+UJHEVWCifrkgyB89G0qKg/iH+HSbGrzwI+mNmgCOvHuQRAQ DPjfZxkGyZs78J5OVaK0Xvp64iidsOCJd4UsxSVlV/HgY03YNownfQSwzJ6M2b8tnw52sY0i hth2Zy/tYmDbW5q+eq1DwVZOTv8e84Ismu13OAOw4DPgd7pR8U5UjwQOfmgBeqlCjcTqejqO 06VHTswp23aUbvTEAmD6Vt3+nfGEpSlLXaSdxx7hZ1pQBiQIlAagRhBBm1r2M5kUFn0moq4I B8qg1JZrkT1oRZN1O9yYhz2U2OF4Rytdi9xUp+Uahxf8gBF4U7Rd82Y9ON6WS9CrfjD5ESAL HKWYwNQACQHQEuBUhriNbe2o8Hd+eyZDeuiPtPBZrKBreFbXvaMg5mo18E1mlTEftXKJXRkA /AhjwBCVn5hXdzEkTEOQC0LhgrCaMmUoBq58yxz6Mu49b64PWCnrZvKALxUP9J1/hmwiqrWL O+cihFyLjNA348Nz3vFm/APmUQfgCZ0e3yxAKwN4GTTGbnIlPYdXHt5I2tjcdFF5KUm0kxRN N7H35nrg6VggKd9Ck8ZBwO93JjzOIpSZTn6bQ2PBV7XZu3ZfnuSkp2xOeXkDuQO6Ycc/xyo5 WTBSx6lbmnFzmO5EUjoaL4EjTnHbkYH5sfgIlA0WDKlFJW/O1W6KIMl12Roh+dv1zWRbyhEd mEtFiEF5quZ6ScS6hlmM0pG6HctbeyNmiLDqvLdNo5Tq/xgRCJ9i+Nd5n0+jbpT9iBNAvJvy mPUqZZ1rleqn/PqqHIvWQdSqjtNmIOAvFlzcaTf+J5aXH/Y/RULpWyOAhUOrtFhB5XhoadVg tTIkavyLn9F/be2tYMEANPILcucLHc7GR/gGTqRDQ9cCDDyZTmZiEtan/WfsHaSq9lyq5Thn oYPVq4OVFExEaB/aAwtF9gDLZFrGzI8xOTD3YhYuDzn8keXHZUC7fWlHrqIDP7iKSiUl+xBb hoMm/bjKJgLc5f80ApkY0V7m4LDHwzRW8pMq2tvdFxRwg0F/X5gQ2k0w0+gZBmq5SpZFPW6h lgulwF6YO8s6CbE7FAwKV7HoSIxlA86ntCv0lXzOHbhaby9W41bEX++r08qLpbyWBp4dyW3l E1gcTbAHvdf1us4M29sjwDYtN1EHvsWHsgmKFcAgPqQYfsvy1FVrC6qkFRG6eXyApxnjAI2c JSoohqoOipmZd8xYK3Ufe9HlwgIwK2JuSCs26Y6xwpMfy7lH0udfykHvEENP7giYSGv+741g eRnszREf2cIWv8jo/Ys/UQ4abzo8g== IronPort-Data: A9a23:3Gm9za+UCjqslj0cNApsDrUD03WTJUtcMsCJ2f8bNWPcYEJGY0x3y 2RJXGjVOayINzD2c98gOd6z9htQvZLQx9NkTgM9rihEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjPzOG/ylTraZZ0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNtMpvlDs15K6v4GNA5wRkDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9FIs+liLvybnoRSbfUOwWU4lIOM0R1qkUqSoQai87XBdJEAatlo23hc+NZl L2hgaeNpTIBZcUgrgiyvy5wSEmSNYUekFPOzOPWXca7lyUqeFO0qxli4d1f0ST1NY+bDEkXn cH0JgzhYTibivCNw7yDV9Bzud0lfOTUBcBDvnR/mGSx4fYOGfgvQo3P7N5cmTY034VARKaGI cUebjVrYVLLZBgn1lU/Uspv2rf1wCChLXsB+Ar9SakfuwA/yCRw27b1dsLIcNiLTsRJj26Xo WXJ+2n8CxAecteYzFJp91r23bOXxHmiBth6+LuQy9plinHLz0IpMxBRZUDhi9Kds1KBYocKQ 6AT0nFz9PBtpRLDosPGdxaxpXrBuh8HR/JLAugi4UeMzLDV6kCXHAA5oiVpbdUnsIo3QWVv2 AbZx5XmAjtgtLDTQnWYnluJkd+sETAYP1QBaxcZdBQ6+t+zjb4KzU7LS8k2RcZZkebJMT33x jmLqg03iLMSkdMH2s2HEbbv023ESn/hHlFd2+nHYl9J+D+Vc2JMWmBFwV3S7PIFLYLAC1fY7 CBClM+Z4+QDS5qKkURhodnh/pn5uZ5p0xWF3jaD+qXNERzwpBZPmqgNv1lDyL9BaJpsRNMQS Ba7VfltzJFSJmC2SqR8fpi8Dc8npYC5Som5D62FM4QXPcYoHONiwM2ITR7Pt4wKuBhz+ZzTx b/HKa5A8F5DWf0+k2PsH4/xL5dwn3llmDm7qW/HI+SPiufHPCHEF9/pwXOBaec26K7MoQPet b5i2ziimn1ivBnFSnCPq+Y7dAhURVBiXMyeg5INKoarfFE9cEl/UKC56eN4JuRYc1F9zLagE oeVARcAkAKXaLyuAVniV02Pn5uzA8kk9CplZHZE0JTB8yFLXLtDJZw3L/MfFYTLPsQ4pRKtZ 6BdIJ3SMecFUTnd5TUWYL/0qYEoJlzhhhuDM2DhKHIzdoJpDV6BsNL1XBrdxA9XBAqOtOw6v +KB0CHfSsE9XAhMNpvdR8+u6FKThkIjvtxOcXHGGfRtXXn90ZNLLnXxh8AnIstXJhTkwCCb5 jmsAhwZhLfsptY1+ebWmam7sJeNLNpuOWZzAluBvKiEbzne2m+F34V7cf2peArFXzje45SSZ uRyztD9PsYYnV1MjZFOLrZzwY865Prtv7V/3C0+OFnqNnOFUqhBJFuC1ulx7px9/KdT41aKa xje6+tkNqWsE+K7NlwofS4OTPmJjNMQkRnstcUFGl3wvnJLzeDWQHdpHke+jQJGJ+FIK6Ij+ +AqvfAW5yGZihYHNtWnjDhex1+TL04vArkWiZUHPLDF0gYb6ElOQZj5OB/E5Juib9ZtME5zB hS2gKHEpapXx2ucUn4VOEXO49FghsU1iEgX9GMBGlWHocqap/kV2BYKzy87YD4IxTp60sVyG FNRCWtLGYu08QxFvvNzB1KXJ1kZBTmy2FDA9F8SpWiIE2iqTjPsKUM+C8as/WcY0WRWJGld9 p6m1FfaVS3Oeefv1BATQm9gkeToFvZqxz3BmeemPsWLJIY7ajzbmZ2TZXIEhh/kIMEpjmjFm LVO0NsoTJbkJAk8hrYeCbiK8ZgxEze6fHdjR9Nl94M3RVDsQim4g2WyGhrga/FzKOzv2m7mL t5lOeZkdQm0jQSKpRAlXZ88Gad+xqMV1YBTa4HQBDA0tpWEpWBUq7PWzC/1gVErT/hIkcoQL oDwdSqIIlePhEl7ynP8k81ZBlWWOdU0RhXw/OSQwtU7E5gutOJNc0Zr9pCWu36TEhVs/jPKn QflSpLV8ddfytVXr9OxKplAOgS6EsOsdeKq9Avojc9CQ+mSOujztiQUiGLdASJoAZUrVe5Ky Iu96OzM4BudvZIdcXzopJ2aJqwYueSwRLV2N+z0Hll7nAyDesnmuUoF8U+GNa12lMh54++5T TCZc+q1T8YeAP1G9U1Wag9fMhcTMLv2ZaHevhGAr+yAJxwe8A7fJvalyCPNQVwDUxQXKrrSL xTRuce+wvx596NyXAQlAdNiCL9GeG7TY7MsLYDNhGPJH1uWjUOnkZq8sAgr9hXgKGSOSeT+6 rL7HinOTgy44vz0/YsIor5Jn0MlCVhmirMNZWMbwdl9jg66AEMgLegwNZYnCIleohft1aPXN S38U28/NRrTBTh0Uw3wwNDGbDetAuYjPtTYJDtw22i2byywJp2LAZo/1yNGzkp1RADez7CcG YlDwkHzAxm//Mg4D6JbrPm2mvxuyf7m12oFsxK12dD7BxEFR64Gzjp9FQ5KTjbKCNzJiF6NH 2UuWGRYWwuufCYdyyq7l6J9Q3n1fQ8DzgnEqQ+Kydfb/oSflahOka2nfe701bIHYYIBI7tmq bYbgYeSyzj+55DRkfJBVxEVbWtcBvWMEcy3KabiQUsZmKTYBqEPIZYZhSRWJC090Fc3Lr4e/ wVAJ1AxA0OKLE1U0bySjw4O/vqdl57K4y7h1GbCmNMNrfD1IxU1tfRnIMIX5Kwcc5Tegng= IronPort-HdrOrdr: A9a23:XINXQ6tRhX9pcb4/uZFoErJv7skDt9V00zEX/kB9WHVpW+eTna mV7Y8mPH7P+U4ssRQb8+xoV5PwJE80maQFg7X5Xo3SPzUO2lHYS72KhLGKq1bd8kbFh4hgPM lbAtFDIey1Il5gk87g7QW0V/omysKW6b2liI7lo0tFfEVFb+VO4w9lFh2WCCRNNW17LKt8Op 7ZyMQvnVSdkLcsAfhTxENpYwEOnbz2fVvdASI7Ow== X-Talos-CUID: =?us-ascii?q?9a23=3AUFJV9Wg6Z/hVZicB2k8LwnMXwTJuanDP93TeG1K?= =?us-ascii?q?BFllwTu24dmbTpKdhjJ87?= X-Talos-MUID: 9a23:dI0QOATuurwBazYXRXTRoD5oGJ9hzZ6VBQc9is8skO29KRNJbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.17,258,1747692000"; d="scan'208,217";a="234012162" X-MGA-submission: =?us-ascii?q?MDGmn8GnkiXC4EaX4viOxQ46etfjQv9Z8+xV+B?= =?us-ascii?q?5ulYOa+zdNPUEjRTaony1l2tEhCspW7PYNNayyozbxndL23InpSS9oP4?= =?us-ascii?q?w71tAsPPG/3oQfMMz81TMgwi4Irexzvv1CyViJt/m3sT/1WmxU53iNJD?= =?us-ascii?q?nIXCVG0DcNDqIZ3Y+AfNSzEg=3D=3D?= Received: from mail-il1-f180.google.com ([209.85.166.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 03 Aug 2025 16:14:23 +0200 Received: by mail-il1-f180.google.com with SMTP id e9e14a558f8ab-3e3f152700fso13795165ab.0 for ; Sun, 03 Aug 2025 07:14:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20230601; t=1754230461; x=1754835261; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=BwkTmvyY9ionpyegjZ54ITAj67IVSrAB/I32JiQl9Ng=; b=S9ngJNQcfMP9om6GyuOLwYYCEg1UllyILylhv1sJqjlQS/aZr+HTu/Nz97REpnuE8x B5DhV+sDCSkxxhaqpoxQEMHnbGcCwLKh0q6vXrlrmIGFFSzW14mDVRl7fbTa4jq5Z9/a I7WH2Q2HMkmABxAxWKWu/58wcr3y4kXtaEUWkIumaUezCOLUKzI+yK/YFYm6g5LVqHgU ewA6imCCMpwOspW3FLmtj6ubdRHQaao/xoY7c11lgG/wajqtxptK8pbxLxPzRbFyMoBX +P+kDUdmMFP7OE0F8pqcII03ILz+SRuCyVUpzOYzJhu3z1ZCMIW4OKgvPdV9Gvb/cKNh iwiA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1754230461; x=1754835261; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=BwkTmvyY9ionpyegjZ54ITAj67IVSrAB/I32JiQl9Ng=; b=I5d5zI138qZksoBejn/kTzwGhws8dw/miOoP8DKehzFkgLgu3/YNgV4ws/3VZREwco N3BNuQdUdB2/RtThzWvlTbTgruJH62sfBdUM1ipVoQwAppTenu+s9aDw6sOGZWybbqIp KaIwMpUZ9xvUKdoTjVNFsBpjqzq0cLBDyPEviYdY7cz8RyBrMMKihDggB3zYUKzLGw6o H0MdRFxSdBjpdbZtyrN6HI0NaYc8GcNhj/0Noygp2McfrgSpuZjf+EvUxdTfaGu9HMi/ vbu574XTf4m7O7DYHhtzq5rhujMk5qt0hB6KXspRjy8HbRORUeaMo11XDhpaVonymixN 4QHg== X-Forwarded-Encrypted: i=1; AJvYcCVB68JcoXFOQeIIJO+O0NS9H+viQH3UlL39qi460LsXzWYBK1oasLkVNYGb4dGez0HlruGSnw1BIP8=@inria.fr X-Gm-Message-State: AOJu0Yyye5GQih5LEwaU0zlZp/GaEQIoEVgbITxBBokLJnJSGCCX6Sez bb51sMnBmPBxKCx2LkROErjjTbuPVs12uqH3GMo67ZmCJQ0sUGRLEg+Evg0kxgxYiTSJYkgPcc3 3KGQrlFwSkjIjU7tU6C+ExYdEpUiQZc0= X-Gm-Gg: ASbGncsjzRXFkc1thFx7f9glsMN26CBUYhLZveVEMeoBTiQ+JCFjx2s12J+nQSp92hk NUQj8G4tjadNDW6NzDBjzIgp3N5x1WPOOSzK2FR1h/CHjFiaoIG1gaQlISG49TLeqA8JdyZvvWX 5n13bZTOI5Zdk0ahTLMsoRpw9U9MMFxC8Letv1O07ECnozaErZhpM/3korG41fXqnf2i0n3JeKB Uj0NaPv X-Google-Smtp-Source: AGHT+IGlhWzQT/RkwxqxGq8n343hDERgCl+ddbwe3Lq/F7+kTqqTJQX81lPsvkPWWE0g4W4BhDYlJTVWxVFwIj/FchY= X-Received: by 2002:a05:6e02:8b:b0:3e3:e9d5:dea8 with SMTP id e9e14a558f8ab-3e41618db49mr100995385ab.14.1754230461153; Sun, 03 Aug 2025 07:14:21 -0700 (PDT) MIME-Version: 1.0 From: ICFP Publicity Date: Sun, 3 Aug 2025 10:14:10 -0400 X-Gm-Features: Ac12FXy0ig811oUA9g9GKilGe09Q4HXfxpNX6W_AV0y6Mv9pTdRclkJ6Ag3aGgw Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="0000000000007ddcc8063b769b1a" Subject: [Caml-list] ICFP 2025 (Co-Located with SPLASH!): Call for Participation Reply-To: ICFP Publicity X-Loop: caml-list@inria.fr X-Sequence: 19357 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: --0000000000007ddcc8063b769b1a Content-Type: text/plain; charset="UTF-8" ================================================== Call for Participation The 30th ACM SIGPLAN International Conference on Functional Programming (ICFP 2025) and affiliated events *** This year, co-located with SPLASH for a *** *** joint ICFP/SPLASH Conference *** https://icfp25.sigplan.org Singapore; Oct 12-18, 2025 *** Register by Aug 31, 2025 for a discount! *** ================================================== ICFP is a celebration of the art and science of functional programming, providing a forum for researchers and developers to engage on a variety of topics, from foundations to features, and from abstraction to application. This year, for the first time in history, ICFP will be co-located with SPLASH and its satellite events as a part of the joint ICFP/SPLASH 2025 conference. You are invited to participate in a full week of events dedicated to the art and science of programming, featuring both the ICFP and SPLASH main conferences as well as numerous related events. * ICFP Accepted Papers: https://icfp25.sigplan.org/track/icfp-2025-papers#event-overview * Registration: https://icfp25.sigplan.org/attending/registration *The early-bird deadline is August 31, 2025* (Additionally, there is a full week discount if you register for 7 days!) * Venue (Sunday Workshops only): NUS School of Computing https://icfp25.sigplan.org/venue/splash-2025-venue1 * Venue (Main Conference): Marina Bay Sands Convention Centre https://icfp25.sigplan.org/venue/splash-2025-venue Full list of events: October 12 Tutorials - https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-tutorials PLMW - https://conf.researchr.org/home/icfp-splash-2025/plmw-icfp-splash-2025 TyDE - https://conf.researchr.org/home/icfp-splash-2025/tyde-2025 FARM - https://2025.splashcon.org/track/splash-2025-farm HOPE - https://conf.researchr.org/home/icfp-splash-2025/hope-2025 Erlang - https://conf.researchr.org/home/icfp-splash-2025/erlang-2025 FUNARCH - https://conf.researchr.org/home/icfp-splash-2025/funarch-2025 October 13-15 ICFP (3 days) - https://icfp25.sigplan.org/ October 13-14 SAS (2 days) - https://2025.splashcon.org/home/sas-2025 October 13 SPLASH Doctoral Symposium - https://2025.splashcon.org/track/splash-2025-Doctoral-Symposium SCALA - https://conf.researchr.org/home/icfp-splash-2025/scala-2025 PROPL - https://conf.researchr.org/home/icfp-splash-2025/propl-2025 October 14-15 OlivierFest (2 days) - https://conf.researchr.org/home/icfp-splash-2025/olivierfest-2025 October 14 HATRA - https://conf.researchr.org/home/icfp-splash-2025/hatra-2025 MPLR - https://conf.researchr.org/home/icfp-splash-2025/mplr-2025 IWACO - https://conf.researchr.org/home/icfp-splash-2025/iwaco-2025 October 15 PAINT - https://conf.researchr.org/home/icfp-splash-2025/paint-2025 LMPL - https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025 VMIL - https://conf.researchr.org/home/icfp-splash-2025/vmil-2025 October 16-18 OOPSLA (3 days) - https://2025.splashcon.org/track/OOPSLA ONWARD! (3 days) - https://2025.splashcon.org/track/splash-2025-Onward-papers October 16-17 HASKELL (2 days) - https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025 October 16 ML Family - https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025 SCHEME - https://conf.researchr.org/home/icfp-splash-2025/scheme-2025 WASM - https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025 October 17 OCAML - https://conf.researchr.org/home/icfp-splash-2025/ocaml-2025 MINI KANREN - https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025 October 18 SPLASH-E - https://2025.splashcon.org/track/splash-2025-SPLASH-E REBASE - https://conf.researchr.org/home/icfp-splash-2025/rebase-2025 Industry Forum - https://conf.researchr.org/home/icfp-splash-2025/industry-forum-2025 ICFP 2025 will feature three keynotes: Ekaterina Komendantskaya: Proof-Carrying Neuro-Symbolic Code https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/2/Proof-Carrying-Neuro-Symbolic-Code Christos Dimoulas: The Rational Programmer, A Method for Investigating Programming Language Pragmatics https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/3/The-Rational-Programmer-A-Method-for-Investigating-Programming-Language-Pragmatics Satnam Singh: Functional Programming for Hardware Design https://icfp25.sigplan.org/details/icfp-2025-icfp-keynotes/1/Functional-Programming-for-Hardware-Design ICFP 2025 conference organizers: https://icfp25.sigplan.org/committee/icfp-2025-organizing-committee We hope to see you in Singapore in October. Don't forget to register by *August 31, 2025* for the early-bird discount! Additionally, there is a *full-week discount*: register for the whole 7 days and only pay for 6! https://icfp25.sigplan.org/attending/registration --0000000000007ddcc8063b769b1a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Call for Participation

= The 30th ACM SIGPLAN International Conference
on Functional= Programming (ICFP 2025) and
affiliated events
*** This y= ear, co-located with SPLASH for a ***
*** joint ICFP/SPLASH Conference = ***

Singapore; Oct 12-18,= 2025

**= * Register by Aug 31, 2025 for a discount! ***
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

ICFP is a c= elebration of the art and science of
functional programming, prov= iding a forum for
researchers and developers to engage on a varie= ty
of topics, from foundations to features, and from
ab= straction to application.

This year, for the first time in hi= story, ICFP will
be co-located with SPLASH and its satellite even= ts
as a part of the joint ICFP/SPLASH 2025 conference.

<= div>You are invited to participate in a full week of
events dedic= ated to the art and science of programming,
featuring both the IC= FP and SPLASH main conferences
as well as numerous related events= .

* ICFP Accepted= Papers:

* Registration:
https://icfp25.sigplan.org/attending/registration
The early-bird deadline is August 31, 2025
(Ad= ditionally, there is a full week discount
if you register for = 7 days!)

* Venue = (Sunday Workshops only): NUS School of Computing

* Venue (Main Conference): Marina Bay Sands Convention Centr= e


Full list of events:

October 12
Tutorials
PLMW
- https://conf.researchr.org/home/icfp-splash-2025/plmw-icfp-splash-202= 5
TyDE
FARM
HOPE
Erlang
October 13-15
= ICFP (3 days)

October 13-14
= SAS (2 days)

Octo= ber 13
SPLASH Doctoral Symposium
SC= ALA
PROPL

October 14-15
= OlivierFest (2 days)
October 15
PAINT
LMPL
- https://conf.researchr.org/home/icfp-splash-2025/lmpl-2025<= /div>
VMIL

October 16-18
OOPSLA (3 = days)
ONWARD! (3 days)=

October 16-17
HASKELL (2 days)

October 16
ML Family
- <= a href=3D"https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025= ">https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025
SCHEME
WASM

<= div> October 17
OCAML
MINI KANREN
- https://conf.researchr.org/home/icfp-splash-2025/minikanren-202= 5
October 18
SPLASH-E
REBA= SE
Industry Forum


<= div>ICFP 2025 will feature three keynotes:

Ekaterina Komend= antskaya:
Proof-Carrying Neuro-Symbolic Code

Christo= s Dimoulas:
The Rational Programmer, A Method for Investigating= Programming Language Pragmatics

Satnam Sin= gh:
Functional Programming for Hardware Design
=

ICFP 2025 conference organizers:


We hope to see you in Singapore in October. Don't forget
to register by August 31, 2025= for the early-bird
discount! Additionally, there is a full-week discount:
register for the whole 7 days and only pay for 6!


--0000000000007ddcc8063b769b1a--