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=WNjrsmRY; 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 27F3D40093 for ; Wed, 20 May 2026 11:37:03 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:sender:from:date:message-id:to: content-transfer-encoding:subject:reply-to:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=thz1hvKImR0nKUR5K68lzGeokGqyEkwJbIKho0iHeGs=; b=WNjrsmRYLDB0so1ec5a2fCjUa1UEdg88N1rGO4kyxe4y5pXqQYIHMxH5 77FeyrwPn0T7f6eLVSs4dAC5HZYn8cmSDWNz7lMkvI443VhTBkgCT0OeU PrP0+Lw5FiABueNsqbB+Fqiq1RmTzmQAJWs5hXND8RSWUyBOPMyDE5yVL Q=; X-CSE-ConnectionGUID: /9UBMoCISUy8n22AuvwdYA== X-CSE-MsgGUID: VsHWQhxgSN2MbgJ90tEJog== 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.23,244,1770591600"; d="scan'208";a="277459369" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 May 2026 13:37:02 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 636E581C22; Wed, 20 May 2026 13:37:02 +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 F2FA881891 for ; Wed, 20 May 2026 13:36:54 +0200 (CEST) X-CSE-ConnectionGUID: /an6hJ9KTdiGArOIRj6XQw== X-CSE-MsgGUID: 4RiiEBu/QLOqAo7mNBbq2w== IronPort-SDR: 6a0d9cd6_XQ+zrepLx07T/KoVcGk+b5QIM2hPFrVWvusDhYvf0LhDF6j zI7ByRk2B28NoW7GBpH4M7pEqRTCipO4Sp15XvQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GzLgCxmw1qgbbQVdFaHQEBPAEFBQECAQkBgWcBgj6BC?= =?us-ascii?q?F4UIAQLSYRYj1OBfyKBFophgX2DWY4SFicCDwEDAQ0UAQEnFAQBAQECBIILg?= =?us-ascii?q?nSNNQIeBwEENBMBAgQDAgMBAQEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBA?= =?us-ascii?q?QIQAQEiGQcOO4ZPDUkBAQEBAgEGBIIBgSxeAwIFAzsBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAg0HGD84CwYdARsLAQwGAw0FEA8CJ?= =?us-ascii?q?gIjAREBBQEiEwgBGYJhgiIBBhABAw0pAxGjSoIkgQJCiz2BFQUCFoEBgg0G2?= =?us-ascii?q?mcKGSgNcoFkAgcWgQkuAYR3Kl6COh8BgXCEBoQBeieBGIEQgRU1gj2Be4FcB?= =?us-ascii?q?BiBHQQ6g0aCaQSCDRV6EoJri2omCAEGFwMHBwkFBBwGBQUCPwkGBQoSAwQDB?= =?us-ascii?q?AQBAgsTCQMDAg4CCAMCCAYZAT8SBBMKDQsHBR8KAgwUCigiEisKAQIBVTABC?= =?us-ascii?q?AYCAgQEAgQMAgkCAgUHAhEDBAEBCAICLQMBAxkICQgCCwURGAwLBzEDEAkDH?= =?us-ascii?q?xcaCBE0CAYWARoHBQYLOBUFDBEBAQJHAiUEHhYECAcDBwEWBQIDAgUBAwEHG?= =?us-ascii?q?QIPCAMOGwICBAIJAQEGDgICBgICAQMHGAMEHQQDAwcCAgkJBAwCEAoSFQMOA?= =?us-ascii?q?wcPAgQMBz4DAgcQAgkIDRcCAgIGAgMDAwQJAQIBAQEBAQEBAgcDAwMCAwYDF?= =?us-ascii?q?wcGAwQGAQQEAwMCAwUBAwMDBQMCAwIGBwMGCQEBAQEDAgIIAwgDDAkFBQMbA?= =?us-ascii?q?x4GAQICAwIBAgEHAwMGAwcBAwcJAQMEBAMPAwUEAwIDAwMDAgcDAwMDBAECA?= =?us-ascii?q?gEBAQIDAQMDBAMBBgIBAwcCAgMDAwsBAgECAgUDAgMFAwMEAQcDBQIEAgMFA?= =?us-ascii?q?gMFAwUCAgoCBgMDAwMDAgEFAhwDAwIMAwMHAwoPARQDAwIDAwYBAwcDAwMDA?= =?us-ascii?q?wcCBAMIAgYEAwMGAgMEBgMDAgMNCAMgDwMLCQgTPQELBzIENgEUFAcpIV+KX?= =?us-ascii?q?BwPgwgBDy8jARM8QgwXDgsECQUFIA8BARcFCjySWpJRoQ4HAYQejB6VVDOEB?= =?us-ascii?q?I0TmGxnmQWOCZU0LgIThTARJBKBSSOBXDMaI4EBgjYJRwMZDzEmjWGDa4UTg?= =?us-ascii?q?S3BYScyAjsBAQcCBwELAQMLgWiFZEKEN4UjAiYHBYFLAQE?= IronPort-PHdr: A9a23:tI+/SB0S8FiFyJuXsmDODQ0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeCo601xwaVAdiCo7Ic0qyK6PymATRBqb+681k8M7V0HycfjssXmwFySOWkMmbcaNPMUWkRM f8GamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj4tvJrwtxhfVrXdEZutbyGxoKF6Ogh3w4tu88IN5/ylftf8s+NRMXbnmc6g9U LdVECkoP2cp6cLkshXOURGB7WYGXGUMlRpIDQnF7BXkUZr0ryD3qOlz1jSEMMPvVbw6Viys4 KhyRBL2hykJKiY1/27LhMN+iqJbuw+hqAdkw4HIeoGVNeFxcb3bcNgHWGdORMdRVyhGAoOhc 4sCCvcKMOhEo4XhoVYFsB2zDhSuCuzy0D9FnnD53bY63eovEg/IwRIuEM4BvnnPsNX1Lb0fX fypwKXUzzjOae5d1zfn6IjPdxAsufaCUqhqccrN1EIhER7FgU6LpoP7JTOVzfkGvm+a7+puU eKjlXMrpxtpojiy3cgsjojJiZ4UylDY9SR024k1JdiiR056Zd6oCodftyafN4ZvRM4pXm5nt jogxLIcpZ67YDYFyI4hxxPHdfCLbYiG7wzjWuiePDp1hHxrda+jixuw80Wtxe3xW9Wp3FtIr ydIndvBu24Q2xHR98SKSOdw80W91DuS0w3e5edJKl06m6rcLp4u2L8wlpwLvEvfHi/5gkH2j KqIeUU+4eik8f/nbav+qpCGK4B0jxvyMqM0msywGeg3LBIBX3Ob+Oug1L3s50z5QK9Qgv0xi KnZv5bXLtkYqK6hGwJZzJov5hKlAzql0NkUh2cLIE5GdR6dkoTkOE/CLfblBvmlmVusii1kx /XeM73hHJrNKn/Dna/kfbln6k5czBM/zdRd555JE70BLu//V0zvuNDCAR85NAu0w+njCNpjz I8RRWWPAqqBPKPTt1+H+P4vLvGSaIMJvDvxMfso6v70gXMnhVMQfrOl0YYUZXymBvhmJl+WY XvogtcPC2cKuQ8+QfTriF2MVT5feWu+U7gk5jEmE42mCYbDSZysgLyd3Ca2BZJWZmVcBVCNF XfkbZmLW/AJaC6KOM9ujiQEVaS9S48mzRyhqBX1y79jLubN/i0YtInj1MRu6u3IlRAy8CR0A N6H32GMSWF0hGIISCUs0KBxu0xx0lGD3rNgjPxCCdNT/+9JUhs9NZPE0uB2E9/yVRzGftmKU lirWtupDywpQtIr3dAOfUVzFc+6gxDGxSWqArsVm6WPBJw2767QxnbxK9t+xnrYzqUhgF4mQ sxANW2imKFz7RTcB4nMk0mBiqmqdqUc3CvV+WmbwmSBsl9WXhJsXKvDRXwQe07Wos7j5kzeV 7KgEa0pPBNOx8KaMatKctPpgE1cSvr/JdrQfnq9m3yoBRaG3ryMbJTle2Ea3CjFEEYKihgd8 3nVfTQ5UwyopmabKD11CRq7aErp9ax6qWinZk4y1QCDKUN7gemb4BkQ0NmVUe9b+q8Osio7s H0gHVi5hYuQE8eKowtqfblNSdw46VZDk2nesloubdSbM6l+iwtGIExMtET02kAvYm0huc0jr XdwiRF3NbrdylRKMTWRwZH3PLTTbGj05hGmLaDMiRnFyNjD3KAJ5bwjrkn7+hmzHx8j/XE9i p9NznGY557LEBs6Xpf4U0Jx/B9/9PnBeido34rPzjV3NLWs9DrL2tYnHuwgnxeue40GdruZH gvzGMwGFuChLeUrnx6iaRdXdPtK+vsSOMWrP+CDxLbtPOtkm2e+in9b5Ylmzk+W3y91S+qN2 5Rchv/BjlHBWDD7g1Os9MvwnOiofBk0GWyygWjhDY9VPOhpeJoTTH2pKIuxz8l/gJjkXzhZ8 kSiDhUIwp3hfx3adFH70QBKsCZf6XW6hSu1ySB1mDA1v+Ke2iLJ2eHraBsAPCZCWmBjiV7mJ YX8gcodWQCkaA0glR3t4kifpeATpap7dTCVWVpCeyn9Ln1zeqS1v7uGJcVI7dJgsClaVvi9f UHPUqT08H54m2voG2pTwix+din/4M2o2UwnzjjFfDAq/CCKHKM4jQ3S79HdW/NLiz8PRS0iz CLSGkD5Jd6iu9Odi5bEtOm6EWOnTJxaNyfxnubi/GO243NnBRqnkrW9gNriREI73yuhjp9yS C/MrR39fpjD2KGzMOYhdU5tTgyZiYIyCsRln408iYtFk3kUgs/Mu2Iam2PyOtRHyIrxaXMMQ XgAxNufs22HkAVza3mOwYz+THCUxMBsMsK7bm0h0SU498lWCa2Q4dSohANNq0Gj5ULUaPl5x HIGzOc2rWQdiKcPsRYsySOUBvYTG1NZNGrijUbA49e7paRRLGGhFNr4nEtwmYr4SqmfqAVdU 3fla78tGCZx6oN0N1eE3HDo647iccXddppJ7kzSw0qG1bAFbsthzLIDnk8FcSrlsGcgyvIng BAmxpy8sIWdai1s8K+/Hh9EJ2jwbsIX9CvqiPU7/I7e1ISuE5N9XzQTCcGwHLT4TXRI7aShb lbUQ1he4j+BFLHSHBGS8hJjpnPLSdWwMm2PYWMexpNkTQWcI0pWhEYVWi87l9g3DFPPpoSpf UFn6zQW/lO9pAFLz7ciNhf7CD6ZvBqibjY/SYSOBBVT5wBGoUzSNIbNi4A7VzEd5ZCnoAGXf yaaaQASVCcRR0aABlviIqiG6tzJ8uzeDe27ZairA/3GualVUPGGwoiq241t8mOXN8mBCXJlC uUyxktJWX0qU9ScgTgETDYb0j7cd8PO7gnp4TV594rslZajEBKq/4aEDKFedMli6wzjy7nWL Pae3W54MWoKic9KnCWVjuBZhBlL1Wlvb2X/S+xR836QCvuKyukPSEdEDkE7fMpQsfBmhlEUa 5KL1Iuniu4m0qxnTAobHV35xJPzOZRWcT/tbAuVWBbVaObUYmCVpqO/KaKkF+8K0r0L5RPgs 27JTx+9YmbR0GS3HxG3b7MW3HnDbkdQ4NPhIkgxWzqkEYyDCFXzMccp32c/meVm3y+XbTxAY WYgIREK8+PY7DsG0K90Q2IT4HA4dbvYy3jFvbufd8hep/JvBm4ce/tyxnM8xvMV6ShFQKYwg y7Otpt0pFrglOCTyz1hWR4IqzBRhYvNs18wcaPevoJNX3rJ5ndvpS2ZFggKqt15C9bup7EYy 97Bk7j2IStD9NSc9NUVBszdIsaKeHQ7Nh+hFDnRBQoDBTmlUAOXz1Rai+2X/2aJo4ISr5Htn N8KSOYeWgVlTLUVDUNqGNFEK5ByH3slnbOdkM8U9C++oR3WF6A49tjMUvOfB+mqKS7M1+EVI UtVh+mgfcJKZteovi4qIkN3l4nLBUfKCNVEoyk7KxQxvF0I6n91CGs6x0PibAqppn4VD/+92 BAs2W4cKawg8inh51AvKx/Eviw1xQMwl9G/2HaJbTT1LayxQZB+BC/9tkx3OZT+CVUQD0X6j Ql/OTHISqgExaNnbnxugRTAtIFnHPddSehAYkZVy6jHPbMn1lNTrijhzkhCr7iga9MqhE4hd piiqGhF0gRoYYsuJKDeE6FOy0BZmqOEuiLAPg8ZzwoXJkJL+2SXKndgUKkgObwvJi7u9etpu 1Tqc9prfWENU78uoKsv+BptYaKPyCXv17MFIUe0ZbT3Eg== IronPort-Data: A9a23:o2xNpai+HC8OBwqffXX07t7nX1614RQKZh0ujC45NGQN5FlHY01je htvWmuHOPmKNDT2e4p2bIvgoBgDuZbWyNc3HFA/+yw3E3wW8JqUDtmwEBvMMnLJJKUvbmo3t pREMoGowOMcFyKH+E/1atANiVEmiMlkk5KlULas1hhZHFEiEGF9z0o6xYbVu6Yw6fChGQSBp NjulMPWPV6hylZcP3kdg065gEoHUM/a5nVC5TTSWdgR5AWAzyRPVMpGTU2MByKQrrd8TrbSq 9nrl+nRElPxp38FFt6jm7DnRUwGKpa6FRSOkHdfR5+5iRFEoCEouo5jXBbLQRo/Z52hxrid+ f0V3XCCYV5B0p7kwYzxZyJl/xRWYcWqzpeXeCnl6ZT7I3ruKBMAy902ZK0/0BZxFuxfWQmi/ tRBQNwBg4zqa0tbD9tXR8E17vnPIvUHM6tYs3c+zROILsoqQL/qWYLr390G7A4v05Um8fb2P 6L1aBJqZRXEJhlNYxIZUcJk2uivgXb7fntTr1f9SagfuTCCilwsluK1YJyMKobiqcZ9xi50o krH8WCjW1cCKdabyDGE7mOEierGnCe9U4UXfFG93qQ13wHOlzZMV3X6U3Pnm/i4p2SjHOt7D FU9/XUri4I47Ra0G4yVsxqQ+yPd5kFNBbK8CdYS4wiIzu/Q4h2FLnMVSyZILt0grs4/AzIwv mJlhPvsDD1r9bmXEDeTr+fO6zy1PicRICkJYipsoRY5D8fL54g10BLtH/VfHK+ap8fSOAvyn QCzs31r71kMtvLnwZlX6rwuvt5Bjp3ATwpw4geOG2z8vlk/a4miaIilr1Pc6J6szbp1rHHQ4 hDoeODHs4ji6K1hcgTTGY3h+5n3vp643MX02wIHInXY323FF4SfkX9sDMFWfxowaplVJ1cFk WfcvgRe4JIbPX2hK8dKXm5FMOxzlfKIPY29CJj8N4MSCrAvLlPv1H81Pia4gTuy+HXAZIlla P93h+73VS5CUcyKDVOeG48g7FPc7nlilDuMFM+nl03PPHj3TCf9dIrp+WCmNogRhJ5oai2Mm zqGH5LSlUsNY/60eSTN748YIHYDKHVxV9i8qNVaeqTHakBqEX0oQa2Zi74wWZ1Xr4IMnMfx/ 1a5RhB5znj7jib5MgmkUC1oR47uepddlkgFGxIQE2ym4UV+Xrb33pwjL8M2WZIF6N1cyeVFS qhZWseYXdVKZDf12xUcSpjftL5nawWOvl+RMxWHezEAWYZsZwjgyIW9fgLQ6zQ/VHurlMoho o+P0hHQbooDSj9DUufXSqOL5HGgsUcNnNldWxPzHeBSX0H34a5WJDfUnNZuB+09cjL42Sq81 SiaJTw6tNv9idY53/eRjJ/VsrrzNfV1G3RrOlXy7JG0EHL/1XWiy4oRa9S4V2nRe02s8Zrze NgP6e/3NcAGu1N4s4BcNbJP5oBm7vvNo45q9ChVLE/pXX+KVIw5emKn2PNRvJJj3rVa4Au6e nye8+lgZImmBpnXL04zFiEEMMK4yvAmqhvD568UIWL7xhNN0pipbEFwBySI2QthdOZbEYV92 uowmt8k2yrmgDoQD9u2pCR19WONE38+b5sapqwqWI/Gtw565WxBMLr9CzD36q6hc99jEFcnC R7Kibvgh4Zz/FvjcX0yHEf/xs9fqIkFmC5LxnAGJV25oIf8qfMr7SJV6hAyaBpf9TRc8udJI mMwHVZEFaaP2DZKovlzfTiNNhEYNRi7/kf37loHr3LYRE+WTV7wLHUxFOKO3UIB+UdeQ2R/0 JSH7l36CxD4f9rU3BoiaXV6qvfmc8N9xjfClO+jAc6BOZswOhjhvYODeksKrAnBE+oqpUiau 9Rvwvl8WZf7OQEUvac/LYuQjpYUaRKcIV19UeNTx7wIEU7caQON92C3cW7pQfx0JtvO7UOcI O5tLJgWVx2BiQC/ngpCDqsIe7JJjPol4eQZQYzSJEkEjqC+qwR4u5eB5wn8g24WG+9Vq/gfE b+IVTy+ET23v0B2ykvtt8hPP1SqbeYUPDPc2P+Hy8RXNpYhntw1T2QM/OqVhUiFCCpm4BOeg y3bbYD00eFJ6NphjqnsIIp5FiS2LtL5a8qQ+ivqqN1MQM/9M+qSkgJIrFO9bgJcEoYMao4mi ZWMr9/F80fXt5kmU23iusegFosYwe6QTeZoIsbMA30CphS7Wejo+Akm11GjDJ50zONm+cisQ jWnZPuKddI6X8lXwFtXYXN8FykxJrvWbKC6gw+AtNWJVwYg1DLYIOOd9XPGaX9RcgkKMcbcD i72o/Of2cBKnr9TBRMrB+BUPLEgGQXNAZAZTtzWsSWUKkKKgVnY47vrqkcG2AHxU3KBFJ733 ILBSh3Aby+NgaDvzuxCkolMrxYSXWdcg+4xQxonwORIqQuGVUwIEedMFq89KMBkonSnntWwL jTAd3ArBijBTCxJO0e0qsjqWgCEQPcCIJHlLzgu5FmZcDqyGJjGOrZ66yN8+D1jT1MPFg18x Q02oRUc/yRdw62Fgc4W7/2/xONln7bUnyJSv0/6lMP2DlAVBrBiOLmN2uZSfXSvLi0PvByjy asJqaRsT0SySEq3GsFlE5KQMA9Mpyvhll3Ecg/WqOsyeOynIClox/j2OuW12boGBCjPyHjiW luvL1awD6uqNrD/dEfnVx/FQUO5NB5TIvWHEQ== IronPort-HdrOrdr: A9a23:OTaUAKBL3VU8BwPlHemd55DYdb4zR+YMi2TDj3oBLSC9Afbo8P xG/c5rrSMc5wxwZJhNo7290ey7MBbhHP1OkPIs1NWZLWrbUQKTRekIh7cKgQeQeREWndQz6U 4USclD4arLY2SS4/yX3ODyKadH/DDOytHQudvj X-Talos-CUID: 9a23:Q+aglm1UG5Kx3HoxNAOBI7xfXckjLH3/nVTsL06XIHxOaYeXF2+p5/Yx X-Talos-MUID: 9a23:TY42PQoQtO2r/HBIYdUez21YNcZFybnpMWQqiLwB5MyiHyZpYSjI2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,244,1770591600"; d="scan'208";a="277459277" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHHQq34Ckm+JMcmuo6L078yfl+kXs5DfoG9X6?= =?us-ascii?q?TVruNW6UxjHU2EZqxxhjBiAGEcsiM2MsYNw4GRwIa8K8PTmSYHuP98sW?= =?us-ascii?q?o7cZglxlkGzACKA8uSYnRh0cCjJbGo5VZVGNhgTcMPIjeu+KhY462JtG?= =?us-ascii?q?MgNGEl/1VjeL/DInn8LOt3MA=3D=3D?= Received: from mail-lj1-f182.google.com ([209.85.208.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 20 May 2026 13:36:54 +0200 Received: by mail-lj1-f182.google.com with SMTP id 38308e7fff4ca-393c93a0166so48543751fa.2 for ; Wed, 20 May 2026 04:36:54 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1779277013; cv=none; d=google.com; s=arc-20240605; b=UH9EVxuYM2uYurH2rxqwJmd5ANbRUT1bCDpbS5+t24T50u+GThEAhTlO61cESqYo2h xfSTriX2mWxr47Q0MLLBWxvh+pGbyY+ikgXtFvmrJdsAPwNb5GV2uhk3udq8Bb2iXrgb LsmycywNUl+1f3cuf57IWNT7dwRgBsuXxRQLpiyCCrZRPPDFDkifXFSz38B+84BZ/G6s cOModXq0ykb07vLBeAg1p1W6N57NzXyCvbNBJx9y3mJL1Etq87S+XvmOv7MW5NZqkB7N GsWqalfox/y3YvtYU7aCjReuEKexDLvqv1h+TdZkUS7zeP40QTxeRvrEciuaEFDR2XCk MEHQ== 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:sender :mime-version:dkim-signature; bh=thz1hvKImR0nKUR5K68lzGeokGqyEkwJbIKho0iHeGs=; fh=xuS66ThTlI7LXPAiJjfCSdtwnCvDLFW2zKdY+/flAgc=; b=TYXVZXFy9k09x5+HWZV1SD+IqBieCddQDbI2epXDY88lxS3r63QSZ2GsBPjGnC68BA Gybkz4orwgdh+HxFmiLs2H7XMbVle2e+fujjIEITmdN9xp7NBUbI1oiarC2/Y4T9iO6A TAq/7qqWwOpN3uW/e/nL9rjl509SPSbCki+js8nhhTqXzbqTQSOMocFp/M2wmGIgXMtU ij46nUU2wUdz3vMoqEfVh9bQiNxKm+5lfo0f/YNJX8sWpRCskJ+j2K1m5Spn+KUVDAF0 WW5n75sPMAwSZu/UypgKmSTOF+c3xlaN7dtriWZ5mGSUb8JGGm7/45giZyVl/3G8GpKf J+cA==; 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=1779277013; x=1779881813; h=content-transfer-encoding:to:subject:message-id:date:from:sender :mime-version:x-gm-gg:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=thz1hvKImR0nKUR5K68lzGeokGqyEkwJbIKho0iHeGs=; b=OfQ6c5Z/8j5GRnPFEsVMZ4TuBjAvV6DvsfFzaYQKiWRGKaE4MaC1hgdYuBV6gaC97C ExUN1+RyGfxaHaJ0R1EIrWaoPP2zyAs+flaMyMX21YBfxWb/exHU+DcLSRhyZ20be0nf k9ejmgBYk8JomcFQFQznd0IDCFC5qBVfbYmqNERpSOD8YLgX5b/u/rBW7luhu9oJoP4L o5XZ9/V9UwF4gP7Mf51WsU3P7mZBJio/f4z7rnqb3MxBsiBh5etw+PIKYIuS++1J30vU DYZ9WOK0OgE2ZdhLsBLZWJ4V/B9R9zGLUKAGuoj5im1An3/jqZHUdz4Web+RTamPtSqk lBzw== X-Gm-Message-State: AOJu0YwNsrnD8gdF8wd4Q6ObYj8q18SAZMGFOQDz4D2G+nLQhFOloPxd 8NJ3H4HRuGALe7thjrqUA2M0cGMT+KNvSNHupaNq/npCkarlo7KP3YmPENP9RUXX2iZv4fc9JHA OHxDcMkKwA/IkL54zg+SFDwXdd+0o0zA1uw== X-Gm-Gg: Acq92OF9gy9HqNedYg6JQE+wD4s6Pe359jPiQ/m8G83hRJuNdXXImMS5x+jrY+N8lz3 vR9OdY59eqeYnHhXY2sEMb6FMqf7R9YZxpvbIHvw1rMl9ysho6n1dCDM8gWYJToJvC8XBL6cRyL niGHyZZJIO3Z+Eg4xdA/D5p6NaM3dd+581Mg8oIKSWIFkY1kCRtdgIU58eCf+ry6hIkYEEsuXEN OdHnPGRFY2ljFwSh4a15Gg0ikGvQC8IzZgUo56inFD6E8HlwCbIGqghE6fxNSvPq7QLoLWOaOmk b76RUDIo41S8SZrsU/s= X-Received: by 2002:a2e:3507:0:b0:38e:ae31:f0a5 with SMTP id 38308e7fff4ca-39561c3db53mr58369091fa.9.1779277013319; Wed, 20 May 2026 04:36:53 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Wed, 20 May 2026 04:36:52 -0700 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Wed, 20 May 2026 07:36:52 -0400 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Mart Lubbers Date: Wed, 20 May 2026 04:36:52 -0700 X-Google-Sender-Auth: B9UjbFkj4vIGg-z7phVGDNigs7w X-Gm-Features: AVHnY4JvsTezb3-wUtd6TFsb2QgGuKB_SF5SG4hDDNo0jpq9zbkdqkB9Cej6Efg Message-ID: To: Caml-List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] IFL 2026 First call for papers Reply-To: Mart Lubbers X-Loop: caml-list@inria.fr X-Sequence: 19510 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: =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= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D IFL 2026 38th Symposium on Implementation and Application of Functional Languages venue: Aspen=C3=A4s Herrg=C3=A5rd, Gothenburg, Sweden October 28 - 30 2026 https://ifl26.cse.chalmers.se/ =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= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2026 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. ### Topics of interest Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques ### Peer-review process Following IFL tradition, IFL 2026 will use a post-symposium review process for the formal proceedings. Authors are invited to submit draft papers before the symposium. The program chairs will screen submissions for relevance to IFL, and accepted drafts will be shared with all participants. Each accepted paper must be presented at the symposium by at least one author. If submissions exceed capacity, selection will be based on quality, maturity, and relevance. Authors of accepted presentations will have the opportunity to revise their work in response to symposium feedback and submit a full paper to the post-proceedings. These submissions will be reviewed by the program committee for correctness, novelty, originality, relevance, significance, and clarity. The post-symposium review process is single-blind, with at least three reviews per paper. Camera-ready versions may include minor revisions without further review. ### Important dates Submission of draft papers September 4, 2026 Draft papers notification September 11, 2026 Deadline for early registration September 18, 2026 Deadline for late registration September 25, 2026 IFL symposium October 28-30, 2026 Submission of papers for proceedings November 25, 2026 Notification of acceptance February 12, 2027 Camera-ready version March 12, 2027 Deadlines are end of day Anywhere on Earth (UTC-12). ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=3Difl26 Important note to authors about the new ACM open access publishing model: ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance Further information: ICPS publishing model FAQ: https://www.acm.org/publications/icps/faq ACM Open program details: https://www.acm.org/publications/openaccess Questions: icps-info@acm.org ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: - Alex Gerdes, Chalmers and University of Gothenburg, Sweden - Koen Claessen, Chalmers and University of Gothenburg, Sweden Publicity Chair: - Mart Lubbers, Radboud University, The Netherlands Local Chairs: - Alex Gerdes, Chalmers and University of Gothenburg, Sweden - Koen Claessen, Chalmers and University of Gothenburg, Sweden Please direct any questions you may have towards alexg@chalmers.se. ### Program committee - Abhiroop Sarkar, ETH Zurich - Andres L=C3=B6h, Well-Typed LLP - Daan Leijen, Microsoft - Dominic Orchard, University of Kent - Fritz Henglein, DIKU - Graham Hutton, University of Nottingham - Guillaume Allais, University of Strathclyde - Jesper Cockx, Delft University of Technology - Mart Lubbers, Radboud University - Nachiappan Valliappan, University of Edinburgh - Nicolas Wu, Imperial College London - Niki Vazou, IMDEA Software Institute The program committee is still being finalized and may be updated. ### Venue IFL 2026 will be held at Aspen=C3=A4s Herrg=C3=A5rd, just outside Gothenbur= g, Sweden. Aspen=C3=A4s Herrg=C3=A5rd will host the symposium venue and provid= e a scenic setting for the conference. We will add more information about the venue, accommodation, and travel options soon. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.