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=MxBkpwco; 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 285B44009B for ; Fri, 28 Aug 2026 12:18:02 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=7acpUq4WfdGJhXSNTkfAGrJLlmpAP3x3FbleO4545bw=; b=MxBkpwcoysfjdshAWgaNj7gVgv1ToUV8wFN3vcRX/DKMsZddvibU9fMc GFYBS7QKvv63aM67e6pK6UevubCnHSzRZdYJamA1iHLfSSPlYMUpgvkSf TatA+gOm6a9TPLNZT93sBwIKbyXfm5ZACmubk9PUYVjdVg+GGO5OL+wvK E=; X-CSE-ConnectionGUID: xE5lVRdyTCq38C5ARObfgA== X-CSE-MsgGUID: DhBxiraETPiDj/nKwQemNw== 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,248,1779141600"; d="scan'208";a="292012557" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Aug 2026 14:18:02 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 2C8EE816F1; Fri, 28 Aug 2026 14:18: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 27C95802BD; Fri, 28 Aug 2026 14:16:24 +0200 (CEST) X-CSE-ConnectionGUID: LX+0tXGBTnGPOHL0Y66BbQ== X-CSE-MsgGUID: sDcPwgJeSYCe103ApEbtzQ== IronPort-SDR: 6a917c17_EdQ2/8PK9zmzLUI9EBTVZVmeQPGOyLz8H1bJhgB3A4yn5Dr 76ocD/XYYnyduRxieBbIffwNJD7uZtVtVz/Nj2A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GpBACvepFqd5EQroNaDoJNgj+BCl8zBAtJhFiDT4Uri?= =?us-ascii?q?HmBFoRni1CBBRyJW4MUPQIPAQMBCwEBPRICBAEBAQIEgUoBQJBnHwcBBDQTA?= =?us-ascii?q?QIEAwIDAQEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAFDSYZPDUkBE?= =?us-ascii?q?AGCAIEsXgUIOwEBAQEBAQEBAQEBAQEBAQEBAQEBAQETAg0HV0MGDwENAQElA?= =?us-ascii?q?QwGNAImAhJNEgmCeoIiB0sDBA3BGoEygQGCDAEBBtwzgWkJgR8uhXGCbQGFd?= =?us-ascii?q?wE7g0d6QoINgRUpgkoHgXSBXAQYgR0EhACCaoIRFXoSgkiFQ4MtiDWBShwDW?= =?us-ascii?q?SwBSwo1DDOBADMDIAovFBsUHRIPBBY8ZRIMDCcSLEw5AjgGBUNafSuCQ4FNI?= =?us-ascii?q?xk2eoEJXnA7KWEpgQmCBwKCWoEuVwIBSUMOBywbRXg9NwYPGQSQIh+CRFwBD?= =?us-ascii?q?y8jARM8IiAMFw4LBA4FIA8BARcFCjySWiWzO4QoBYFhijyWGoE4gjmNFIZHg?= =?us-ascii?q?TaQcGeZCCONZ5U0LgIThRcCCgcYgX8jgVwzGggnCYEDDkiBSQlHAxkPV41hi?= =?us-ascii?q?FokgS2IdLxnQjUCOwEBBwIHAQwBAwuBaINZJhOBUoocAiYHBYFMAQE?= IronPort-PHdr: A9a23:PqJYVBxMoEzWJt/XCzIGw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xKZvawm1QKRAtuTwskHotSVmpioYXYH75eFvSJKW713fDhBpOMo2icNO4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezYL5+N gm6oRjeusULgYZuNqQ8xxrUqXZUZupawn9lKl2Ukxvg/Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRfMVQWA6WIQX3sZnBRVGwTK4w30UZn3sivhq+pywzKaMtHsTbA1Qjut8 aFmQwL1hSgdNj459GbXitFsjK9evRmsqQBzz5LSbYqIMvd1Y6HTcs4ARWdZUMhfVzJPDJ6/Y YQAE+UOIOlWopLhp1YNtxayGRWgCP/txzJOm3T43bc60+MkEQze2wIvBcgOsGjJp9vzKacdS vu6w7fSzTXYcvhb3jL955LSchA9uvyDQalwfdDLyUkyDQ/FiFGQpJXjMjiI2esDr3KV4PB8V eKzlWEnsQdxryCuy8swi4TEhYAYx03K+yhlwIg4JMG0RFN0b9CrFJZdqyCXO5d2T84jTG9mt iY3xLIYtZOlfCUEyIgrygDBZ/GHdYWD/xztVOGUIThihXJlfqqyiAqy8Ue6zu38U9e70ExRr iZfidnDqGgB2AbP5ciCUPd9+V2h2TmX2w/N8O5EOkA1mrbbK5E7w74wjIAfsUPZHi/5nkj9k ayYdl089+S15enrf6/qqoKeOoJ7kA3yL6UjltaiDek3MgUCR2mW9fqm2LH9/UD1Xa9Gg/Iqn qXDrZzXJcUWq6ikCAFPyIkj8QywDzK+3dQYg3YHKFVFdQqcj4jsJ1HOOP71Ae2hg1Spijtr3 OzJPrz/DZXLMnfMjq3tfaxg60JGzgozychT55NSCr4fPPL+QlL9udLFAhMjLgC5wenqBM9g2 o4fQ26DH6CUPaPKvV+N/O0vIu2MZIEPuDb6Lvgo//vugmUjmV8BZqSmwYAXZGqiHvR7OUmZZ 37sjs8bEWgWpgo+UPDqiFqaXDFPYHayRrsw6S0/CIK7FojOXZutgbyE3CejBJJafGFGClaWE XfpbYqIQfkMaDiKLs97jjMETaShS5Mm1Ry2qAD10b9nLu7N9i0ctJLjz8R16vbIlRAy8Dx0F 96S33uMT2FyhGMIRiU50LpxoUxn0luD17N3jORCFdNP//NJThs6NZnEwuBkE9zyVRzOftCKR li8WtioGTc/Qsorw9AQfUZzGM+sgwjY3yqvH78Vj7KGCIYv8q3A3nj+OcB9xGrY26U7lVkmX 9FDNWuihqJn6gfTBI/Jk0CBmqiyeqoT0jDD+nufwGSIpE1XTQtwXr/fXX8DfkbYtc336FvNQ bO2ErQnKgVBxNaYJKZWd9PnkE1KROz7ONTQe22xm3m/BRKPxr6UdITkYn0T0iqOQHQDxhwC5 XudcAE4ACC8pWnTJDhvDk70JVjh+PI4tWu2SElywg2XKwVo2La80hoUnuCHDfgT17YBtT067 S55WB621tfSTt6BvBZJfaNGYNp77k0DnWnerkl2OoGqB6FknF8XNQpt+wvu3g50B4FEucgjt 3AnyA40LriXlBtKcz6R29X0O6bLAnL5/R2pYKOQwEyY1tLF1L0I7aEdok//9CW0HEAv6W4vh 9xcyWe07Y6MFhdUV5anARV/zARzu7yPOnp13IjTz3A5acFc0xfH0tMtXq4+zwq4Os1YO+WCH RPzFMsTA46vLvYrkh6ndEFMJ/hcoYgzOc7ubP6awOizJu81mTu8kUxM+8ZnzwSK83k0UfbGi q4M2OrQxQ6bT3H5hValvNrwnNVBbCsONmGkjzL5QohVNeVpZYheL2CoLoWsw8lmwZ7gX3kN7 Fm4G1YPw9OkYzKJakDlhktO0AIMqn2qnyC1iSZp1TctxkaG9ArJxemqNB8OO2oRAXJnkU+pO 4+/ydYTQEmvaQEt0hqj/0fzgaZB9ux5KCHITEFEcjKTTSkqW7astreEf89E6Y85+SRRXuOmZ FmGS7n76xIE2iLnFmFayXg1bTav8pn+mhV7jiqaIhMR5DLccNts7RzEosbBA/hVn3IHSCR+l TjLFw2kJdD6td6QlprFrqW/Tzf4DcQVKHa3i9re8nLnuD4PY1X3hf24l9z5HBJv1Cb604MvT iDUtFPmZYKt0a2mMOVhd00uBVnm6sM8FJst9+l4zJwWx3UegY2YuHQdlmKme9BSw77WZ2FLX yNNxdqfs0D1nVZuKH6E3dezU3yH3uNqfJ+gfyUQ3mhuiqICQLfR57tCkyxvp1O+pg+Eevlxk AAWzv424WIbieUE0OY05h2UGataXUxRPCi20g+N88j7tqJcImCmbbm30kN629GnFrCL5A9GC j71fZIrHCk46csaUhqE1XTp9qnvY5/KcJQVslWYngzBgO5cNJ8q3qNR3Gw+Zj675CNjkrJmx RV1lYm3po2GN3lg8OqiDxhUOye0AqFbsjDhgKBCn9qHioWmH5FvADIOD9PjSfOlFi5XtOyyb l3XVmRj9jHCR/yGQVLMjSUu52jCGJ2qKXyNcXwQzNE4AQKYOFQamgcfGjMzgp8+EAmugs3na kZwoD4LtTua4lNBzPxlMx7nXyLRvgCtP30xQYKDBBFNqBtfoUHRe5/W/qdoEidU84f05gmEM HCzbB8OF3xPXEjOVDWBdvG+oNLH9eafHO+3KfDDNK6PpeJpXPCN3Zuz04Fi8mXEJoCVM3JlF fF+xltbUCUzBZHCgztWAX9y9WqFf4uBqRy74CEyss2v7KGhRlf0/YXWQ7pKbYc2oEnw2Pjfc bXIwnokYTdAisFVniaOkedDmgVKzX43ElvlWbUY6XyUF/uWw/ALSUVDLXoib4NJ9/5uh1IUf 5eE1pWujvgi1q59Ck8ZBwW6w4fwOpBMej/7bQ+cYSTDfLWeeW+SmJixOPzgD+QOyrwI61Wxo WrJShS6eG3cy3+wCVb2bbwEjTnHbkUF4cfkLUorUDalFY+2D3/zeN5v0W9vmuRy3yyWczVEd 2IkKwtMtuHCtHgBxKwgRyoQqCs+Zeicx3TAtLCec8lK96I1RH0oyKpM6XA+gdO59QliQ/p40 GvXp99q+RS9l/WXjyBgW1xIoypKg4SCuQNjP7/Y/99OQySM+hVF9miWBxkQwrktQtTyp6Bdz MTOn6PvOX9D9dzT584VG8nTLoqOLnMgNRPjHDOcAhECSHanMmTWhkoVl//3lDXdtp8htp3lg 4YDUJdAUUAtTbUEDwJ+F90PJpx6GCk517ifzYYJ6Xe4sBjNVZBas5TABZfwSb3kLDeUi6UBZ gNdmOiha91MasuihQo7NgQp+eaCU1DdVt1MvCB7Owo9oUEXtWN7UnV2wUXuLAWk/H4UE/ew2 B8wkAp3J+o3p1KOqx86IETHoCwonQw/g9Lg1HqUeSTtBKyrG5tLTSzw/RtUUNuzU0NuYAu+k FYxfi/DXK5UhqB8eHpDkwrAocAJB/saVqZFbRkbyLeNerMu1R4Pz0fvjV8C7uzDB5x4kQIse pP5tHNM1TVoa9stLLDRLq5EprC1rqmV+DW1kOY1kld2z6kl+3jUYjNOvkhab9HOxgKz+/B0s kqcnn1Yc2kBUfEn5Oh3sEU5abzo8g== IronPort-Data: A9a23:nHl76KoUCzADMVMHayeD4j5/ZH9eBmIkYRIvgKrLsJaIsI4StFCzt garIBnVafbfMGP2LY8kaIvlpEkEu8CDz9AwG1M5+C42EH8U9JacVYWSI27OYx+ff5bJJK5Fx 5VHO4OYdKjYbVeF+0zzauC5xZVY/fvVLlYpILecYkidfSc9FmF5z04lw7dn6mJRqYDRKxuXv t/vqNHoNlag2jplWkoZ8KvrRClH5ZwegxtG+AZjDRx3lAWGzSdNXMhPffjZw0bQG+G4IMbqH 44v85nipgs1zz91Yvu5n7DydFE9Q7K6FWCmlnpMVqG+tQNJryo037xTHKJ0hZB/1l1lN/goo Dl8ncTYpTUBZ8Ugq8xEO/VsKBySCIUakFPxCSjm4JbLlyUqRFO3qxlmJBle0YT1YY+bC0kWn RATAGllghxuG4taaV90IwVhrp1LESXlAG8QklVQjmnFPdkMfZbse4LqwYdpgmkajPkbSJ4yZ +JBAdZuRA/FfwUUfEkSTok1nequjXS5aSAerlb9SagfujOKilUujP60bpyMJoHiqcZ9xi50o krD9n7lKhoBcsaCjzyBmp6prrWex3uiAd5MS9VU8NZxrFar2WMxBSYnflbi+aKQkmO0R8Bmf hl8Fi0G9/ForBb3JjXnZDWzp2fBtRoBUfJLAugi4UeMzLDV6kCXHAAsRTdEbJkitdQqbSc70 0eA2dLvHz1m9rOPIU9x7Z+PqC+qYm4OJm4PYyQJCxEYpd/nyG0usv7RZvJTU/apvvLfJTff+ xeqiHAP2es5h/degs1X4mv7bySQSo/haCpd2+k6dnmg8hsiIpWuZoGu4lWd9+sGKoLxori9U JosxZP2AAMmV8nleMmxrAMlRu3BCxGtama0vLKXN8N9nwlBAlb6FWyq3N2BGKuZGpxdI2ezP Cc/SCtL7ZNZO2amJbJxYpy8Ed8r0aXhCZzjV/LRY9VDZPBMSeNzxwk3PRT49zm0wCARfVQXY MbznTCEVCdCUfwPIfvfb7t17ILHMQhkmDyIGMGkk07PPHj3TCf9dIrp+WCmNogRhJ5oai2Pm zqGH5rbm0dsQ6flbzPJ8IUeC1kPIDJpTdr1ssFbPKrLaAZvBGhrWbebzKIDar5Vuf1ftt7J2 XWhBW5e6l703kPcJSuwN3tMVbLIXLREl0wdAxACB1iT9kIYUd6d15tHL5oTVps7xdNn1s9xH qUked3fI/FhSQbn2jU6bLvhnbxALC2EoxCqOQj8RD1iZL9hWA371dv2dST/9CQ1L3SWtpI+q LuZ2T/7f5syQjpzB9f0OdaE7UK9gmgZo812B3D3G9h0fF791opAJwjarO4FE+tVJTrtnjKlh hurWzEGruzzkqoJ2djuh5Hciby2EuF7T3FoL0OC4ZmYbSDlr3eem6leW+O1fBfYZmP+2IOmQ c53l/jcEvk2rGxmgrpGMYRA7PwBvoP0hrpg0A5bMm3BbA2rBpNeM3C255RzmZMX9IBJmzmde xypwcZbC4WrKcm+MV82JSgZVMqh+8wQuAHv6aUSHB2nyg5xpKGKQGdDDSmq0SZ9FoZ4AKkh4 OUmufMV1TCBtwoXAo6GoBx5p2WoBV4cYpojraAfUdPKiBJ061RsYq78Ky7R4bOdYeV2LWw7f 2Wev/fQtu5YwkDHVX4XE1qU+e8AnrUPpxF441sQLHuZmtf+p6EW3T8A1R8VXwhq3hF8/OYrA VdSNmpxPrer0wpzocpyQFCXBABKASOG9nzLy1cmkHPTS2+qXDfvKFIRFPms/kdD1U5hZRleo a+lzVj6XQbQfM3e2jU4XWhnoafBSf1z7gjzp9C1Lf+aHpUVYSvXvYH2XDAm8yDYOMIWgFHLg cJI/+wqMK3yCnM2kp0BUoKf0ewddQCAKGl8WspexaIuH1zHWTSMyDOLelGQeMRMGqTwynWGK fdSf+BBaxfv8xy1jGE/JbUNKLpKjvIW9II8Wrf0F1Un7ZqbjBRU6az1yAavqlMvcdtUleQFF rjwbBOHS2yZumtVkTTCre5CIWuJXuMHbwzdgsGwqeUCEagqgbpJbEo076a+umqUFCBF/Bukm hzJSIGL7u5lyKVqx5DNFIcaDSqKCNrDbsa62yHtjMZvN/bhadzvsSERoXnZZzVmB6MbAYlLp O7coezJ01Pgl5dodWLgwr2qNbRDvOe2V8ppavPHFmFQx3a+aZW98ik42j6KLLJSm4lg/eihf QyzbfWwefMzW9twwH50aTBUIy0CCpbYP7vRmiegk8uiUhQt8xTLDNeCx0/baWt2ciwpOZqnL iTWv/2oxM5TraUSJRsiKsxlPaRFIw7YafN7T+HyiDiWMDD5yBfK8L7vjgEp5jz3G2GJWpSyq 47MQh/lMg++oufUxdVeqJZ/pQATEG07u+QrY0YB4JRjvlhW1oLdwTg1av3qy624kxAeELnjY S3VNy08DGPmVjVJdx7xps7+GAGbbgDL1hEVORRxl354qQ/vbG9DPFel3ix7pW1rPD3npA1iA c9L4WX+Z3Bd3bkwLdv+JZWHbSNPzeic3G9O/0SVfwkexfoBKe1i6UGN1zahmcAK/w8hWakLy aUIqbh4fXyG IronPort-HdrOrdr: A9a23:QJmrOah9zu4CCm0mYCqDhSExI3BQX/523DAbv31ZSRFFG/FwyP rCoB1L73XJYWgqM03IwerwQJVoMkmsjqKdgLNhdYtKOTOLhILGFvAH0WKP+Vzd8mjFh5dgPM RbAuND4b/LfD9HZK/BiWHWferIguP3lpxA7t2urEuFODsaDp2ImD0JaDpzfHcXeCB2QbYpHp uV4cRK4wGnZWkWacqDAHwEVfjoptHAlp7qCCR2TSIP2U2rt3eF+bT6Gx+X0lM3VC5O+64r9S zoghH0/aKqttC801v523XI55pbtdP9wp8bbfb8xvQ9G3HJsEKFdY5hU7qNsHQcp/yu0k8jlJ 3hsgotJMN67lLWZyWQrQH20wft/T4y4zvJyEOeg1HkvcvlLQhKRvZptMZ8SF/0+kAgtNZz3O ZgxGSCradaChvGgWDU+8XIfwsCrDv7nVMS1cooy1BPW4oXb7Fc6aYF+llOLZsGFCXmrKg6De hVCt3G7vo+SyLaU5mZhBgu/DWfZAVwIv60eDlGhiVT6UkToJlN9Tpa+CXYpAZGyHtycegD2w 2OCNUTqFgHdL5qUUs6PpZPfSL/MB2wfTvcdGqWPFjhUKEbf2/ArJbx/dwOlZGXUY1Nw50olJ vbVlRE8WY0ZkL1EMWLmIZG6xbXXQyGLEPQI+xllu1EU4fHNc7WGDzGTEprn9qrov0ZDMGeU/ GvOIhOC/umKWf1A45G0wD3RpEXcBAlIYQok8d+X0jLrtPAK4XsuOCeePHPJKD1GTJhXm/kGH MMUDX6Oc0F5EG2XX3zhgTXRhrWCzrC1IM1FLKf8/kYyYALOIEJug8JiU6h7sXOMjFGurxeRj oNHFomqNLJmYCbxxe404wyAGsjMq982sSfb093 X-Talos-CUID: 9a23:jtcbG25idBrddw3l7dss0H5XQtwVXVfhyljoBG+cUVc3FpefcArF X-Talos-MUID: 9a23:k3+ohgt5J60HMAGals2nnx1pDNhnwamVOWsAyM1dktGpPzBiAmLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,248,1779141600"; d="scan'208";a="292011467" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDFv5/cC0unRcOLFxbpIWN/dLBdY2TooQYqUcw?= =?us-ascii?q?0gldA+u/n15b7j2H/Dk/myizGrWUkZOM8MCMzS6uYt5hlWB/9b//1BAS?= =?us-ascii?q?RyLNoFRG1gxf/oJwiK8xySU48fgNaOCL91efpEnp4Vdt2UgwyKRvhBzx?= =?us-ascii?q?+lqI7kPWdnCuKAL95o23XS0Q=3D=3D?= Received: from smtp3.science.ru.nl (HELO smtp3.vm.science.ru.nl) ([131.174.16.145]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 28 Aug 2026 14:16:23 +0200 ARC-Seal: i=1; a=rsa-sha256; d=science.ru.nl; s=cncz-dkim-0001; cv=none; t=1787919381; b=eqMYHtiTGkPmxDEGO9u1LcxyMrGx1larngvcDZiNVE2wkXLRHzHEm6cwbL6y1z+tN+syZ5 rZXQlRz1XAwy750z+yOg1aBgeb8IrXzQDjeHzteUsybqrsbPO5Je0iyE/XGwi+Vl7qR+l/ w5o5f2dbQ8y8PjIf7O6j1NjKUAcQ130xc6jehyj3ZCP/TJDnbMw3/Gczb3YlK+Tx77v9Jq dOY1lKe2svXx7od3SyIJlB2Qkv6oH+HaqT6pvkreZm79XOs0hHHE339angYdWlKQgEx9xA a8iNQPweTyMwuaoVQgGs6BxfpT4Bz0OwqcnDWUb2TiiwjrhgAaEueDF9sGCM0Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=science.ru.nl; s=cncz-dkim-0001; t=1787919381; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=7acpUq4WfdGJhXSNTkfAGrJLlmpAP3x3FbleO4545bw=; b=Nh3URbWYeazXt/eVO3zbM8U7JA+s6f68rZgVTXundMMCdHDhYRgeZPnkTPTHLmq0IQKW4N ndzDzD8auq3bFXKn3oe+XXAWB7EKIOrZWmBFD6XEgA7LEXzg4sS2alZre9yZlwrsDux8GH tQqW+fpD7vhaXlA0t2fNm+xQIWMRT5KmAkHS5aUdj1zuPeXo2vxyiTKKoyALsJ53r8Kqsj Sx7OLiEfEySab2SMa8yB/n4eFA8MbV/nkfvfsgWPAqC+UUEKBME3u8+qlM22vg8xjkGF9u eRHNJ956pMRZR/Yz+Rq3eqxRPThGlc8pNCQt/XNyp9hf22Iv1HUaYE2u0kT6CA== ARC-Authentication-Results: i=1; MSA; auth=pass smtp.auth=mlubbers smtp.mailfrom=mart@cs.ru.nl Received: from localhost (62-251-40-156.fixed.kpn.net [62.251.40.156]) (authenticated bits=0) by smtp3.vm.science.ru.nl (8.18.1/8.18.1/Debian-2) with ESMTPSA id 67SCGJLp857849 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NO); Fri, 28 Aug 2026 12:16:20 GMT Date: Fri, 28 Aug 2026 14:15:54 +0200 From: Mart Lubbers To: types-announce@lists.seas.upenn.edu, agda@lists.chalmers.se, caml-list@inria.fr, coq-club@inria.fr, haskell@haskell.org, clean-list@science.ru.nl Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit X-Validation-by: mart@cs.ru.nl Subject: [Caml-list] Second call for draft papers IFL 2026 Reply-To: Mart Lubbers X-Loop: caml-list@inria.fr X-Sequence: 19569 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: ======================================================================== IFL 2026 38th Symposium on Implementation and Application of Functional Languages venue: Aspenäs Herrgård, Gothenburg, Sweden October 28 - 30 2026 https://ifl26.cse.chalmers.se/ ======================================================================== ### 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=ifl26 Register here: https://ifl26.cse.chalmers.se/registration/ 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öh, 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äs Herrgård, just outside Gothenburg, Sweden. Aspenäs Herrgård is a residential conference center by Lake Aspen in Lerum, approximately 20 minutes from central Gothenburg. See the website for more information: https://ifl26.cse.chalmers.se/venue/ ### 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.