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=Y5uPqbJ1; 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 67FB440022 for ; Mon, 10 Aug 2026 22:02:03 +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=NdktI9RaQgPbQZvdW3r1vtwmFsKq5E8PMHmsQusJWCw=; b=Y5uPqbJ1lhLQrmn6b2KerjTyrcuhPv9tD4Ll9Pj5ylzrqCHzgtKfh5GE s7EUkNPFF8M5faxR5PpIAtNuhZydPVau9vlofNTjfy6Kc7Ye73W5ZNBBv C5j27GILvdFXNGtFoZOgeiZNr1OwwIqCdru/e6wqd/7qk4TaW0vpq4B1E 0=; X-CSE-ConnectionGUID: s4SHG+m2RS6EQ8ROFCZFeA== X-CSE-MsgGUID: mK+o1NxNR/SbipYw9dCzQQ== 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.25,216,1779141600"; d="scan'208,217";a="289733182" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Aug 2026 00:02:03 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 1034C81907; Tue, 11 Aug 2026 00:02:03 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 92E4A80166 for ; Tue, 11 Aug 2026 00:01:52 +0200 (CEST) X-CSE-ConnectionGUID: AG8M2jIfTTm9qHiPvYzKVA== X-CSE-MsgGUID: mNi3lEYUSSm8eA1k9eGWJQ== IronPort-SDR: 6a7a4a50_dC/gb3XxHGXkOGu5Wwk2hcydgfAwLRJyCT7udX4WFlTBToQ YiR8BWJ/C5a3ZZ3FR/uxAJMdVZCskB3eSrAKHmw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0E7FgBqSXpqgSugVdFahBaBBGEpXjQEC0mEWIEjgixTi?= =?us-ascii?q?zCDWJ48JwIMAwEDAQ09FAQBAQECAQODR4E3jWoCHgcBBDQTAQIEAwIDAQEBA?= =?us-ascii?q?QEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHDjuGTwsCgkUaN3GBJ?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEXAgsCHyQyLAYdAScSAxIQNwIjEgEFASgBZ?= =?us-ascii?q?4IogiIBBhABAzcDEbY6gyKKKQKBRoEygQGCDQaBCT4F2R0KQQ1ygQ1cAgEGF?= =?us-ascii?q?i6BCYR4eYJsAYFfAQIOhAiFIw+BVUSBFTWDNIEFS4Mggy4WglQEgiJ6EoF9T?= =?us-ascii?q?pAGIwMmAwcHDitGDgEhAyYzLAFVExcLBwUtVwoDVQECAV8IHm4BAi8GF4EMF?= =?us-ascii?q?z4XNVgbBgVWHwImHiUbJiQ5Az8oDQclAwMCFQQDAgMDGQcGAxAEAgMDBgMDA?= =?us-ascii?q?wQFCSMCJQ4zBQUdAw0CBwMDAw4EAwMOAwMIAwMDDAUDAwUDAwMGAgMRDgMDA?= =?us-ascii?q?wMDBB0HBAMDAyADAwoDBwMGAQYCCQsDAhQXAwMJBQMDCAwDAwcCEwIDAwgDD?= =?us-ascii?q?wIFAwQIEyMQBwQOEgQbAgIQCgMDCAIBCCEqHAMcEhchAgIZAwsGJREBBwoDA?= =?us-ascii?q?gMGAwIDMwQLAwMKAwQYBgUDBAMDAwoDAwQDCAcFAwMPAwsDAwoCAx4CDQMDB?= =?us-ascii?q?gMHAwcDAwMKCwoFDgUDAwIDAwcGA0sFAwYDBQYFAwIaBwUDAwMDAwMIEAYPB?= =?us-ascii?q?gUEAwMHBwMFBAYDAwICCxQECQMeAwIoGQ0KAgMDBQtiCz03LUqOdCCEABN5E?= =?us-ascii?q?yMPlFSyWDQHK4N2gWYMii+VVDOBTqkepC+BeGuVWoVOESSBWyOBXDQZI4EBb?= =?us-ascii?q?QmBQFADGQ+OOINrgWCDM8ciKzI+AQcCBw8CgXOQNIFMAQE?= IronPort-PHdr: A9a23:R1D1HxFp7AlWzUIaPDYDE51Gf5hFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k20hmRBM6Cs6oY1qL/iOPJZy8p2d65qncMcZhBBVcuqP49uEgNJvDAImDAaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Ru3oAnLqsUanIRuJrstxhfVrXZFe/ldyH91K16Ugxvz6cC88YJ5/S9Nofwh7clAUav7f6Q8U 7NVCSktPn426sP2qxTNVBOD6HQEXGoZixZFHQfL4gziUpj+riX1uOx92DKHPcLtVrA7RS6i7 6ZwRxD2jioMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7actMHQ2pOQ8dRVzddDYO4a IsPFPQOMvtFpIX5qFYCsR6yCA+xD+3t1zBInGf70qI63eovEg/IwRAvEs8VvXvOsNn4Lr0fX fypwKTKyzjIcvNY2S366IjNah0vou+BU7Jqf8HM00cvChjKjlGRqYP5PjOVyuQMuHWc4uphS e2vhXYnpxtpojiy3cgsjojJiZ4UylDY9SR024k1Jdq/SE50Zd6rDp5QuDubN4tyWM8tX2Zou CMjx7AApJW0czQExo49yB7Dd/yIbZKI4hT7WeieIDp1h2xodK6hixiy7USs1+LxW8i33VtKs iZLnMTBuHAC2RHX68WKV+Zw8Em/1TuM1g3f9/9JLEMomafYJZMsxKM7mJQUsUTGBCD2mUP2g beNdkUl9eio8+Dnba/gppOGMI90kA7+Prwzlcy+GuQ3Lg8OX3KG9uim273j8kv0S6hJgP0ui qTVrozWKMABqqO6AwJZyJsv5hejAzu839kVk38KJ09fdh2dlYjmIVTOLej4Dfihh1Ssly9mx /XcMb3gBpXBN3/Dn638cbpk5U5RxwQ+wcpQ55JTDbEBL/bzVVHruNPECR85NhS4w+fhCNpjy oMTQXyDDrOdPa/IslKF5vgjL/SNaYMJojrwJPYo6+brjXAjmF8deaep3YEQaHC9BvlmIlmWY XT0gtsbCWcKoxExTOjriFKeUD5Te3azUrkz5jE8D4KmAoPDSZ6ogLOb3Se7GodaaXxBClCJC XvobZmLW+8QaCKOJc9siiALWqKkS48lzB2usA76y6F7LufP4S0ZtZfj1MBv6OHJlBEy8yZ0D 8WH3G2XQWF0hHsERzkt069nu0xy1k+D0bRkg/xfDdFf+utFUggkOp7bzOJ0Ecj/VQzccNuRU lapXMumDzIrQN8pxt8BeUd9G9G7ghDExSWmHqYZl7KECZE66K7c0H/xJ8Fyy3bCyqYtlUUpQ sxKNWG+m6F/9AnTB4vRnkuBmKile7oS0jLR+WmF1WaBoURYXxRqUarZRX0RflLYo8z26E/aV L+uEbonPxNbx8OeN6VEd8XljU5eRPftINveY3y+m2O3BRuQ3r2CdZLkdWpOlBnaXVUCnwEI9 nKBLgUyQz2sqGPGDTFoCUm9MBDC6+57/VKQYHd89xyAa0xq1qakskoUjvKEDesO1LYFsyY9u h17G1Gy29/TAtuE4QFmefMPMpsG/F5b2DeB5ERGNZu6IvU+3jb2EixytkLqjVBsD5lY1NItp zUsxRZzLqSR1BVAcSmZ1Nb+IO6fMXH8qTaobaOewVTCyJCO4K5a6f82sxP7oQutF0Ej72RP3 N5S3H+R45zLCEwZVpeiGl0v+U1CrqrBKjI4+5uS0HRtNaeutTqX2tknHK091xykftxeLLKsG wj1HMkXAsGvLKohnF36JgkcMrV086g5d9ija+PA2KOvO7N4mym6iG1c/I1n+keF9i45TeeRm phZmLeX2QyIUzq6h1Ck2izusaZDYzxaXm+2yCy+QZVUerU3Z4EAT2GnP8ywwNx6wZ/rQX9Rs lC5VRsA34eydByeYkaYv0UY3FkLoXGhhSqzziBl2zAvoK2F2SXSwuPkPBMZM29PTWNmgB/iO 4+xx9wdWUGpaUAumn7HrQ77zKZD4rxiJW3SSkZUbgD5KGZtVqa1v7uGJcVI7dJgsClaVvi9f UHPUqT08H54m2voG2pTwix+din/4M2o2UwnzjvDdDAv9ym8G4k43xrU6d3CSOQE2zMHQHM9k jzLHh2mONLv+9yIlpDFu+T4VmS7V5QVfzO4qOHI/Ca9+2BuBgWy2v6pndiyWwkx3ze9z8RgU STDrQrtSobs0Ku+POduf00uD1j5oZkfeMk2gs4riZcc1GJPzJSe82JBiXr5NdRQ2L7vRHUKQ jEPztvc4Qyj00pmZCHspcqxRjCWxc1vYMO/a2Ud13cm7sxEP6yT6aRNgSp/plfQQRv5WfFmh X9dzPIv7CRfmOQVoE83yS7bBLkOHE5eNCiqlhKS7tn4or8FLGqodLGx0gJ5k7XDRPmDqQ9EH m7kcJMjFi5s/+1wN1XD1HD244DgPtLXaJofuwaVnBHJk+VOYMhpx7xa2Gw+Zzq74SZtwvVe7 1QmxZyguYmbN2hhtLm0BBJVLHy9Zs8e/C3skbcLm8+X2461GZAyUj4PXZbuUbepCGdI7aWhZ 1vISWNk7CvASt+9VUeF5UxrrmzCCcWuPnCTfjwCyMl6AQOaLwpZiRwVWzMzmtg4EBqrzYrva hQchHhZ61jmpx9L0u8tOQP4VzKVpQymcnEsVZKbLRFX8hBq6EDSPsiT6+tyG2dT+Zjr/2nvY iSLIh9FC20EQBnOBlvtJv+2+NPE8uOZGvuWIPzJbrGDrOVfU7GDwpflge4Et36cc86IOHdlF fgy3EFOCGt4F8rukDIKUyULlijJYp3TtFKm9yZwtMz67OXzVVel+96UE7ULe4YKmVj+keKZO uWXnio8NTtIysZG2yrT0LZGlF8K13MxK3/0S+lG7WiVC/uO0q5PU0xBM3I1ZJYOtvhsmFEKY JG+6Ju916Ym3KRtUw4XCQy/wpP1NZJWcTP6aQ2PBV7VZu7afWGZnZGvOfHgGeMM3rcT6kPV2 37TEle9bG7dz2a7WUClabMQ3H/Hbk4Z5d/1cw4zWzKzFIq0MRPjYoMn02Fkk/pp2BaofSYdK WYuKUoV9u/JsX4A0KkvRTATvD04c6GFg3jLteKAJMQYu6YzUHgkyb4IsjNnlfND5SVADpSZg QP0qdhj6xGjm+iLkH98VQZW7yxMj8SNtFljPqPQ8t9BX2zF9VQD9zfYDRNCvNZjBtD13sIYg tHSiKL+LitD+NPI7IMdAcbTMseOLHsmN1LgBjfVCAIPSTPjO3vYggRRl/Sb93vdqZZfyNCkg J0VVrpST0A4DNsfA0VhWdsLedJ5Amhinrmcg8oFo3G5qViZRclXuIzGSuPHAfjrL2X87/EMb B8JzLXkaIULY9ejigoyNx8jwtyMRxGDOLIF6jdsZQI1vkhXpX13T2lpnlngdhvo+ngYU/i9g h8xjAJ6J+Ur7jblpVktdT+o7GM9llc8ndL9jHWfajn0ee2xVo9OTTLpvUwwOZLnUi56agq9m UFhPTbAAblWivEzEAIjwB+ZopZJFfNGGOdcZwQMwPiMe/gy+VFVqyHiwkYeoOWZUt1tkwwld ZPqpHVFkVEGDpZ9NenbI6xHyUJVj6SFs3qz1+w/9wQZIl4E7GKYfCNgUKkgOb4hKC6l++Vt7 UqJnD4RIADkttIvq/Nus0Q0YqGOk3mm3LlEJUS8ceeYKvHB04AvvcGPRVw020YBlk0D9r9zg 55LTg== IronPort-Data: A9a23:sO+4fqp0ra0Y04sXqr4P8KineAleBmKUYRIvgKrLsJaIsI4StFCzt garIBmCM/uLZWWkLd12b46/pEgE6JLTm95lHFZoqXgyQnlA9ZacVYWSI27OYx+ff5bJJK5Fx 5VHO4OYdKjYbVeF+0zzauC5xZVY/fvVLlYpILecYkidfSc9FmF5z04lw7dn6mJRqYDRKxuXv t/vqNHoNlag2jplWkoZ8KvrRClH5ZwegxtG+AZjDRx3lAWGzSdNXMtHff3Zw0bQG+G4IMbqH 44v85nipgs1zz91Yvu5n7DydFE9Q7K6FWCmlnpMVqG+tQNJryo037xTHKJ0hZB/1l1lN/goo Dl8ncTYpTUBZ8Ugq8xEO/VsKBySCIUakFPxCSjm4JbLlyUqRFO3qxlmJBle0YT1YY+bC0kWn RATAGllghxuG4taaV90IwVhrp1LESXlAG8QklhPnRSDD9cofazGErzq5OdG7SUTuOkbSJ4yZ +JBAdZuRBHJYhkKPV5OTZxix6GngX7wdzAeo1WQzUY1yzKLnUohjf60boKTJofiqcZ9xi50o krH9GrhRAkHPtiewjuZ41qjgejAmS7+UYMWUra/85aGhXXJlj1MU0ZPDQfTTf+Rj2i/ANZyG nEvwS9+oIFr9x2mYebfZkjtyJKDlkVBAoIPQrNSBBu24qHd5gLcAmkfUhZaedk+vYk3QyYr3 xmHhbvU6SdHtbSUTTea/+7Ro2/pfycSKmAGaGkPSg5tD8TfTJ8bpz2fa4xhMaCJstikABHx+ y67vgsAruBG5SIU7JlX62wrlN5Fm3QkZgs85wGSWWv8qw0lP8iqYIun7VWd5vFFRGp4crVjl Cle8yR9xLlRZX1oqMBraLhcdF1Oz6vUWAAweXY1Q/EcG82FohZPh7y8Hw2S1G8yb59cJm63C KMikQxW45BXMTOra6QxC7+M5zAR5fG4T7zND6iKBvIXO8QZXFHdoElGOxXLt0izyxdErE3KE c3KGSpaJS1CUfw/pNd3Ls9BuYIWKtcWnjKMH8mgkk/7jNJzphe9EN84DbdHVchhhIvsnekf2 4w32xKikk0BCr/NcWPM/JQNLFsHC3E+CNqk44ZUb+OPaE4uUm0oF/abk/trdp1HjpZlsL7C3 ki8fUtEl3v5p3nMcjuRZl5ZNbjAYJdYrFAABxIKA2qG4XYYTLiK0LY+bLoyJLkuy/xix6V7T t4DYMSxPc5MQTXmpRUYNJn0k5N+fk6GlSaxDnKAcWU5dcQxQQbmx8LVJFrz1SgRDxiYsdk1j K2g2zj6H7sCZVVGJ+THZM2/y2ieuSAmp9tzeE/TM/9veEnI26p7GRzb1/MYDZkFFkTe+2G8y Q2TPyY9mcDMhI0EqP/ymqGOqtaSIdtUR0Z1MTHS0uerCHP84GGm/I5nVdSIdxD7UEff2v2rR cdR/sHGHMw3pnR4mKsiLO8z1oM73cXlmJFCxAc9HHnrUUWiOok9Hla4h/twpo9/7Z4HnzCpW 3C/2MhQYpSIH8LHLGQ/BiQYasa76PVFvQWKsNoUJh3h6T5V7Yi3dxxYHyOxhRx3KJp3N4IYw tkdhvMG1jzntD0UNoepsyMF0UWNMX0KbIs/vL44HoLAq1Qm23NCU7PmGw7055CGVPNJOWJ3P TOrprHLuJJEymrGWkhpRGb/h/pZj6sgoBphkV0IfQyIvvHnhfYH+gJb3hpqbwZSzzRBi/lSP EoyPWJLBKy+xRVar+kdYHKNQiZqG0e/6E/q7lk4hF3iUEijU1LSIF0HOeqi+F4T90RedGN5+ I605XnEUzH4WtPYxQo3BFBYrsL8QexL9gHtnN6tG+KHFcIYZRvnmqqfWnoamSD4AM8ehFz1m scyxbxeMZbEDC83p7E3L6K41r5KERCNGzFkcMFbpagMGTnRRSG21T2wMHuOQ8JqJcHR0EqGG sdrd9NuVRO/6X60lQolJ5Uwep16oP14w+A5WOLPBXUHuL6hvDZWoMru1izhtlQKHfRqs+gAc 730SRzTM1a+p3Vun031kPJlIUu9ONkNWx391ru68cIPDJMyj9tvekATjJqxu3enNiJ69DKqv QnsY63f/9Y/8KtggYG2Hr5xOFy0IOzsSdXSoRySsstPX/zLI8zhpwMYkXi5HgdSEYEVcttKt YqMuvHz3kr1husXVTjCup+jTqNm2+S7bNB1AOnWckZIvHKlc9C2xQkA4EW6GIx5q8xc7cyZW AeIUsu8WtoLUdN7xncOSSxhPzsCKqbwfIHyjDicqqmSNx0jzgD3FtOr2nv3Z2V9dCVTGZnfC Bfxism+9OJjs4VAKx8VNc5IW6YiDgfYZpInUNntuR2zLGqi2AqCs4S/sysQ02jAD33cHfvq5 Z7AeAPFSy2zn6P11/BcjZ15u0wGLXR6gNRoRHknxfxNt2mYAlIFfMMnCrdXOqEMx2a2nNv9a SrWZWQvNTTlUH4WOV/g6dDkRUGECvZIJt79IScz8liJbzutQrmNG6Zl6jwq9kIeluEPFw17A Yp2FrzM0hmNLlVBQO8S4rm8iL4iyK+BgH0P/k/5nor5BBN27XDmEpB+NFIlaMAFO5ileIb3y awdSmdDT0W2TEfwFYBrfHs99NQxomb01ztxBcuQ6I+3hmhYpdGsDNXwPOb81rAGZcUOYrUJQ BsbgodLD3++ghQuhEfihz7lbWKYxx5G8ghW4ZIPnTEvopw= IronPort-HdrOrdr: A9a23:FU4EcKM8beXgusBcTvujsMiBIKoaSvp037BL7SxMoHluGfBw+P rAoB1273HJYVQqOE3I6OrgBEDoexq1n/NICO8qTNWftWLdyQiVxe9ZnOzf6gylNyri9vNMkY dMGpIObuEY1GIK6PoSNjPId+od/A== X-Talos-CUID: 9a23:3btwOmD8ZIYUS+36EwBIpGtOGOErTkHYnW7wInemOHRKdpTAHA== X-Talos-MUID: =?us-ascii?q?9a23=3Am/pTfg+rrzHbgoI3dSDreY+Qf8JO4v+qJXEwqq4?= =?us-ascii?q?D68StbC8hNhiirg3iFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,216,1779141600"; d="scan'208,217";a="289733104" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGucHvEq7MhhhDxPlgEyjGl3TuN0Y1BP81WxN?= =?us-ascii?q?3Gk9uG4zSJbnUBkNRyoa+K3tSC/LsFlD/6MsXMkl47DfmUxwgiK29srF?= =?us-ascii?q?1/OUbUsk2W1rn7YyGPguflp0ve9eXP7GYKLuqfVJtXJTEziDlPo6ztzY?= =?us-ascii?q?yAxibijE+ykXVT4ZkJ7N/ILw=3D=3D?= Received: from mail-oa1-f43.google.com ([209.85.160.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 11 Aug 2026 00:01:52 +0200 Received: by mail-oa1-f43.google.com with SMTP id 586e51a60fabf-448cf99c133so296067fac.1 for ; Mon, 10 Aug 2026 15:01:51 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1786399310; cv=none; d=google.com; s=arc-20260327; b=NJE7q09Wj518ZamxyQKRVxaAIlKkCmI2kf8sSXaASAZ0kYEYnciBKxS/lb3kC52i3C LXOQI8Tmm/3wiWTZy+VYUJxttdssglea9WFFYDrNJz/rV2f/GH8RxjAheviGdIcqbME4 1dki/WUmJ4p58yek1f34sjI2Cefetqhd6USznrp3k1o4poL67SlOaq0fs9Gjh4iU7epw 6MKeahpZPd1TF0Z1z/Xvzno3LetTosUi0hDMq0ehITAFy6vNzeNAzfp7Efd/jCOZU0uO hDLjqs60egQckR7yKa5jfp2XU/khPawDCm8nFFOvTZHtrQUEruSbVWlBj5dl2M8UQ1zE rYVA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=NdktI9RaQgPbQZvdW3r1vtwmFsKq5E8PMHmsQusJWCw=; fh=pPkO+/AmZyF8fb9nPlcTXFL2W+3UlfkL2ZHlYJRd1zY=; b=oXtqp+bm7wam9Z+G2s5ItaDFROBjo//ymfwYWwhKDWjE2gens6qsD4+WZzK7w3Zmor owtDOL0r0SHBJJV29Cwcr/4QUT9bKmyohjkbgE/gGQO2uxDe3X3NNGU+SuTpVT8xUTiS QcfOtpr9YOVcm9bI/xrjlotp60okR48NcC/HQ9OZLjJZtCuC1mCz8NwOU0HYYrzw8us0 qJhlLPkQDWTuDee2Ub4+BHalWgoRBwWf9RmwsFdxmAKEozN4IlMW4+2vPMXd8lH42mUI gVF2mYORJBSz4lhb6RkKnV0fsK2CZ3nB8ZRoznJsYXua0QDCG+xlmYhUdXZPTB7otrNp oFmA==; 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=1786399310; x=1787004110; h=content-type:to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=NdktI9RaQgPbQZvdW3r1vtwmFsKq5E8PMHmsQusJWCw=; b=XHT3hvIJT7Ud7Nw+uVXQpccI+A/rqmdB4LDelDz6gZg31M7+mMMFPWnYxV3cfTeuAO XcTN5zVon48cwoARswhQe+YvLuIK2KfADXdF7KXy8wak5eKR7FnRZv+HcVVwdilnwv2K XUhlt78H6DQULzR0NLDorh92PVhTfN63r/Pf59uBfNprv5R/wNO0hL2J78HUrR1gr4Ij JE/LfyixFh9CWZfGTfm1fcRxztos3vqgaf6zGKl1BOJzTOwVveaAmlB47HnR6n5T5Nqd nJHqyOZD1qED6pWq2j/aSX7OIHZ5SW0A8N+8qK+TZXibSbYfiqlbVBI2TqgTHvqkNurl ji2g== X-Forwarded-Encrypted: i=1; AHgh+Rr7G/u1Vugtrek63OCvNzrwNFxylYmAwjgpZZjeJQnCE1tIJz5YbsuwQ7cIxIL1sdWDaaXuP3e4Qi0=@inria.fr X-Gm-Message-State: AOJu0Ywz9vcax41tKDjgZ3iolPKU33PPiAE6+ZosztOK05TiWRgT4Be7 WwWePCf424XfVYZyk+wQK+UvENzQuAH+3qDpWPzuSMqUy9Fz4aJvZvu87Ai5uCUMBEwnBidjBFo OJqUf33cdDqBX/J7fzLsh1yYLXlYoYSo= X-Gm-Gg: AR+sD13D5wLG0nWRh9m1L9Rq399jPbguB48zP7PUZWbxIkECO8B9LUzbMgF4+UVbXf/ /7jNaNOyql+fL431cw/n1Ogemkq8nahdcrbLyVzbNd8AY7D+WFNpfXR+foSX3kr5UM2+6a1TABM BhrOWj3hdnbHbD9apwxnx1+lbYw9/yKhx+r7bauZzI7Mo0vA50KTclgiDyqXTmI/eU7nulG3RX3 MIhF0sQJ62CfNSmN4eVC1w+M/OfX2z40e2enaBskSW5R3RceGo5QJQK8xyEOdxnPgVOIh3DmiHU RndB4keLuZjwKKZoOcky0OC2cvFHXW+8Jg+WpcfK1SmMw1V0VBoSisLd X-Received: by 2002:a05:6808:2388:b0:495:ca1b:7865 with SMTP id 5614622812f47-4b1f001e464mr858306b6e.11.1786399310432; Mon, 10 Aug 2026 15:01:50 -0700 (PDT) MIME-Version: 1.0 From: ICFP Publicity Date: Mon, 10 Aug 2026 18:01:39 -0400 X-Gm-Features: AUfX_mzdXHf5Lxa7hV-kjvsXMvPrtANfrnBTCxwrS88GhTIbknpaRIJafbwNyEQ Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="000000000000534c6e0658b88098" Subject: [Caml-list] ICFP'26 upcoming on August 24-29: register today! Reply-To: ICFP Publicity X-Loop: caml-list@inria.fr X-Sequence: 19563 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: --000000000000534c6e0658b88098 Content-Type: text/plain; charset="UTF-8" ICFP'26: Call for Participation The 31st ACM SIGPLAN International Conference on Functional Programming (ICFP 2026) and affiliated events invite you to participate in a full week dedicated to functional programming! https://icfp26.sigplan.org Indianapolis, Indiana, USA; Aug 24-29, 2026 *Register here*: https://icfp26.sigplan.org/attending/registration ICFP Overview 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. The main conference will be August 25-27, with workshops, tutorials, and other co-located events on August 24, 28, and 29. The program this year includes 38 accepted papers, 4 student research presentations, 2 tutorials, 3 keynotes, and 12 co-located events. We are delighted to have three keynote speakers this year: Edward Lee (UC Berkeley), Lindsey Kuper (UC Santa Cruz), and Daan Leijen (Microsoft Research). Come join the official ICFP'26 Discord channel: https://discord.gg/icfp26 - Accepted Papers: https://icfp26.sigplan.org/track/icfp-2026-icfp-papers - Registration: https://icfp26.sigplan.org/attending/registration - Venue: Indiana University Indianapolis https://icfp26.sigplan.org/venue/icfp-2026-venue1 - Hotel Blocks: https://icfp26.sigplan.org/attending/hotel-blocks - Tutorials: https://icfp26.sigplan.org/track/icfp-2026-icfp-tutorials Keynotes Keynote speakers this year: - Edward Lee (UC Berkeley): "Deterministic Concurrency" - Lindsey Kuper (UC Santa Cruz): "Interpreters everywhere!" - Daan Leijen (Microsoft Research): "Efficient strong functional programming with effects and compiler guided reference counting" More info: https://icfp26.sigplan.org/track/icfp-2026-icfp-keynotes Co-Located Events There are several events co-located with ICFP: *Monday, August 24* - PLMW: https://icfp26.sigplan.org/home/PLMW-ICFP-2026 - HOPE: https://icfp26.sigplan.org/home/hope-2026 - miniKanren: https://icfp26.sigplan.org/home/minikanren-2026 - FARM: https://icfp26.sigplan.org/home/farm-2026 - OCaml watch party: https://icfp26.sigplan.org/home/ocaml-2026 *Tuesday-Thursday, August 25-27* - ICFP - Main conference *Friday, August 28* - Haskell (Aug 28-29): https://icfp26.sigplan.org/home/haskellsymp-2026 - Erlang: https://icfp26.sigplan.org/home/erlang-2026 - ML Family: https://icfp26.sigplan.org/home/mlfamilyworkshop-2026 - LOPSTR+PPDP (Aug 27-29): https://icfp26.sigplan.org/home/lopstr-ppdp-2026 *Saturday, August 29* - Haskell (Aug 28-29): https://icfp26.sigplan.org/home/haskellsymp-2026 - Scheme: https://icfp26.sigplan.org/home/scheme-2026 - FUNARCH: https://icfp26.sigplan.org/home/funarch-2026 - LOPSTR+PPDP (Aug 27-29): https://icfp26.sigplan.org/home/lopstr-ppdp-2026 --000000000000534c6e0658b88098 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

ICFP'26: Call for Participation

The = 31st ACM SIGPLAN International Conference on Functional Programming (ICFP 2= 026) and affiliated events invite you to participate in a full week dedicat= ed to functional programming!

https://icfp26.sigplan.org

I= ndianapolis, Indiana, USA; Aug 24-29, 2026

Register here:=C2=A0https://icfp26.sigp= lan.org/attending/registration

ICFP = Overview

ICFP is a cele= bration of the art and science of functional programming, providing a forum= for researchers and developers to engage on a variety of topics, from foun= dations to features, and from abstraction to application.

The main co= nference will be August 25-27, with workshops, tutorials, and other co-loca= ted events on August 24, 28, and 29. The program this year includes 38=C2=A0accepted papers, 4 student re= search presentations, 2 tutorials, 3 keynotes, and 12 co-located events.

We are delighted to= have three keynote=C2=A0speakers this year: Edward Lee (UC Berkeley), Lind= sey Kuper (UC Santa Cruz), and Daan Leijen (Microsoft Research).

=

Come join the official ICFP= '26=C2=A0Discord channel:=C2=A0https://discord.gg/icfp26=C2=A0

Keynotes

Keynote speakers this year:

    Edward Lee (UC Berkeley): "Deterministic Co= ncurrency"

  • Lindsey Kuper (UC Sa= nta Cruz): "Interpreters everywhere!"

  • Daan Leijen (Microsoft Research): "Efficient strong functio= nal programming with effects and compiler guided reference counting"

More info:=C2=A0https://icfp26.sigplan.org/track/icfp-2026-= icfp-keynotes

Co-Located Events<= /h2>

There are several event= s co-located with ICFP:

Monday, August 24

Tuesday-Thursday, Augus= t 25-27

  • ICFP - Main conference

Friday, Augu= st 28

=

Saturday, August 29

--000000000000534c6e0658b88098--