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=ChciFl43; 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 DA96D40022 for ; Mon, 15 Dec 2025 14:46:30 +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=5hkvNoTVOf4WAqdJevXtdRjQp/kubRVBglCuO7uI68w=; b=ChciFl433nFbmaqjGI4+1xvOVTIFsyJ5vH8u/B+f8qib9cciOtgZmJP/ 8SSettA9noBYJ+m8tkjm1nwxwqZApVE4UabGyf9izmVbcjBSZbefmAUoZ 0R7jjvwDo8NyxKrulGE9aJm/SqH1I9iYtx8H/pcqrpfX2rC0OSLORQosB k=; X-CSE-ConnectionGUID: ayRPlqBWRjGtfdSlCfHD9w== X-CSE-MsgGUID: D1L+1dXvQwyKwIHNmSYVEA== 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 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@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.21,151,1763420400"; d="scan'208";a="254516103" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Dec 2025 15:46:29 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 83E6381A62; Mon, 15 Dec 2025 15:46:29 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (dsi-ha-lb1-dmz.inria.fr [128.93.162.100]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 8904B81A56 for ; Mon, 15 Dec 2025 15:46:21 +0100 (CET) X-CSE-ConnectionGUID: xHupCixGR3CdBa2rqBPoFg== X-CSE-MsgGUID: 4BomNqXhR3alFsYVmwLfuA== IronPort-SDR: 69401f3c_TMgMqGZd6N+KOeuNYpz8IBHU/Oqy3eI9cSK0/wrTJsLRIRz TC04O5Z83PWGlxJEsTQnxu/7VoWH0ji+isqZB4A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EyBABmHkBpeDCnVdFagQmEEIEGXjQEC0mEVY9TgiGLd?= =?us-ascii?q?5NmFicCDwEDAQ09FAQBAQMEhQCMagIeBwEENBMBAgQBAQEBAwIDAQEBAQEBA?= =?us-ascii?q?QEBDQEBBQEBAQIBAQIEBgECEAEjGQcOO4ZPDYJFgUJhAgUDOwEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCDQcYPzgLBh0BGwwFDQMNB?= =?us-ascii?q?RAPAiYCIwERAQUBIikMgmGCIgEGEAEDDSkDEaNsgiSBBUKLPoEVBQIWgQGCD?= =?us-ascii?q?QbaYgoZKA1xgWECAQYUgQkuhHYpXYI5HgGBboQAg356J4EYgRCBSoIFPYF2A?= =?us-ascii?q?TsBgR8CAhiBHT6DRoJpBIIigQ6IQgOFWosnJggBBhcDBwcJBQQcBgUFAj8JB?= =?us-ascii?q?gUKEgMEAwQEAQILEwkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMFAooIhIrC?= =?us-ascii?q?gECAVowAQgGAgIEBAIEDAIJAgIFBwIRAwQBAQgCAi0DAQMZCAkIAgsFERgMC?= =?us-ascii?q?wcxAxAJAx8XGAgDAwICAgEHAgIBAgEBAwMHBhABAgEPAgMDBAMEBgMFCQEHA?= =?us-ascii?q?QEBAQECEwMCAgURBwIBASABFQIHAQQDJxkCAgYCAgICAwICAwMDAQIBAQMFA?= =?us-ascii?q?QMCAwIBAgEGAgMDAwUDAQ4CAgMBAwEGBAQCBQECAgIOAQMCAgYCBwkIAgETE?= =?us-ascii?q?wICAgIBAgIBAgcBAQIDAgUFCAIBAQECAgMCCwICAQIBAgIDAgMCBgEJBAQEA?= =?us-ascii?q?QIBAQIEAwgBAyEDAwMEBQMCAgIHAgQDGAINBgEEAwUFAwoGAgIDDwMGBgcCB?= =?us-ascii?q?wQCBAICAg4CAgMHBAICAwEMBAcCAwICEgMBAQIPAgICDAEBBAICAgUCHgoOA?= =?us-ascii?q?g8CAQMBAQYCBAQDCgYCBgUCAgEEAwcCAQIBAggDAgcDAgMCAQ8YAwIDCgIGB?= =?us-ascii?q?QkCAgMDBAICAgkBAwYBAQEBAgICAwICBQYOBAQEEwogAQMFAgQHAgEDAgIBB?= =?us-ascii?q?AEBAwMCAQIBAgMBAgIEAgMDAwMDBAUDAQEDAgMFAgIDAgICAgQBAQMLAQIEA?= =?us-ascii?q?gEBBAEBBwUDAwUDBAQDAgQFAwoCAgQCAwMGAwMGAwIFAgcCAgEFBQIBAQEBD?= =?us-ascii?q?AkCAgIHAw4DAgICAwQBAgMEAwUCAwQBAQEBBAUCAwMCAgEDBQICAQECAgQEA?= =?us-ascii?q?gMDBgIEAg4CAQUdEQECBgYDAgEDBQMDAwMDAgQCAgICBgcLAgoEBAIBBQMFA?= =?us-ascii?q?wMFBgMBAwQDCAMKAgQYBgUCAgIBAgwSAwMKBAQDAgUCBgkDAgMDBAEDOR8WB?= =?us-ascii?q?AUCBQMDAwE6Aw4EAwgeAgEBAgYCAQMDCAIDAQMCBwMUBgEGCAIEBAoCAwMHB?= =?us-ascii?q?gUHAhEoBAICAgIEAwYDCggHBAMBCgMDDAICEAIDBwQCAxMGAwMEAwwGAwECE?= =?us-ascii?q?hgGAQMHAwgDAgcEAggHDQMCCQMFBQEVBAIEAwICAgIBMQMDAwMFBwIEAQQGA?= =?us-ascii?q?QMDAwcDAgwCAgISAwUCBQYCAQMMAwQDAwUFCy0QBAcTCgYEAwMHBQIDAgIUB?= =?us-ascii?q?gIGDBIDAwQBBAIBAgICOwQDAwgBDRoQAgQGAwUKAwUGAgYBGAUCAwIDBQEDA?= =?us-ascii?q?QcZAgcIAx0PAwsJCBM9AQsHMgQ2ARQUByshX5QjToF9Lm4GTU8BQQwXDgsEC?= =?us-ascii?q?QoEKwECG5MgJSaSBIE1UJ0JggAHAYQejB6VUzOEBI0TmG1nmQaOCJVkEwuFJ?= =?us-ascii?q?REkEoFJI4FcMxojgQGCNk8DGQ8xJo1WCwuDXoJkggskvxYlMjwCBwEKAQEDC?= =?us-ascii?q?ZFqNIFLAQE?= IronPort-PHdr: A9a23:9kqMUR0h7/MYOPuusmDO8Q0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeDo601xwSWBduTq6odzbaN6Oa4Ai1IyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/AdjUKgcXJ 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYjoZuMLo9xgfGrnZGeela2WJlLk+Xkxrg+8u85pFu/ipetv4768JNX6D2dLkkQ LJFCzgrL2866Mr3uBfZUACB/GEcUmIYkhpJBwjK8hT3VYrvvyX5q+RwxjCUMdX5Q74sVjuu9 rlmRhD1hisfODE37G/YisprjKJGux2hvABww5TVYI6OKvVzeL7WcM4ASmpAWsZRUDFBAp+5Y oASAecNIfpUoo/grFQJsBW+GBKsBPvxxTBUmn/406o60+E7HgHH2gwrAtYCvXvQodnwMqoZT OK7w7TSzTjbYPxWwjfz5obLfB48v/+DQb1+fNHNyUk2DQ7JkkmcpZDnMj6Ty+8Ds3Kb7+1lV e+3jGAosRtxoiSyzckql4nGnZkaxU7e9SVi3Y04Ity4SEB/YdK6DZdcrTmaN5ZtTcMmQmFnp Cc6yqEGuJOgcygKzY4oxx/ba/Cdb4eI5RfjWf+XLDxli31rZKixiAyu8Ui81OL8TM+03U5Fo ydHjtTCuWwA2gLc58aIRPVw/Vqs1SuB2Q7c5exIP045mKXZJpI/zbM+loQfvFrHEyPohUn6k bKbe0Y49+Ws7ensf7voppiZN4BuiwH+NLwjmtaiAegiNAgOW3CX9vqm2734/Uz2XLVKgec3k qnDqpzaIt4bpqGhDw9a04Yj9xa/Dyq939gCnHkHK1RIcw+EgYjxI1zCPuz0APOlj1mvkDpn3 e3KM7zjD5nXIXXOk7Hsdqtn5UFG0go819Vf6opUCr4fJPLzXVf8tNnCAR84Nwy42uLnCNtg2 o8HV2KCDayUPLndsV+P4eIvLO2Ma5EPtDnhLPgl4ubijX4/mVADYamkxYUbZGy8E/h8IEiUY WDgjsoAHGoIpAYzQ+/nhEWHUTFJZnayW6w85is8CIKjFYrDR46tgLif0CumBJFWfn1GBUuIE Xfpa4qEWusMaSKJL89ulzwLT7mhS4s72R6ysw/6zqJrLvDI9S0AqZLjyN916vXPmh4o8Dx0C 92R02WMT2FvgmMFXCQ23aB6oUxl0FiPy6l4g/pCFdxS/fxFSAk6NYTEw+x8EN/9QhjBccuRS Fa6XtWmBik8Qs8pz98BfUl9HNasgArb0iWkHrEZj6aLC4Iq8qzfxXb8P8N9xGzH1KklllUmR sVPOXC/iq5x+AXeBJTFk0qel6ateqQc2DDC+H2fwmqJuUFUSBN/UabEXXAafkbYtdv36U3cQ bGyFbkpNBNNxtOHKqRQcN3mkU1LSu/6NtrGbGy9g3ywBQ6Gxr6UdoTnZ3gT0jjFBEgfiwAT8 26JNQggCSelpGLTFCRgG0v3bU3joqFCryaQR0owiiWLdFEpg7G8/xpQgf2HV9sS2KgFsWEvs WMnMky62ofzAsCc7y58dq9Re8h1tFZJ0TiA8RRgNJihJKF+l3YRdg12uwXl0BAhWdYIqtQjs H5/lFk6Eqmfyl4UK2LwNfHYP7TWLjK35xWzc+vN3UmY1t+K+6AJ4fB+qlP5vQjvGFBxu25/3 Yxz1H2Rro7PEBJUSYj4B0c580Ij4anHaC087ILIxFVjNKC1tnnJ3Nd6TPA9xEOYdsxEeLiBC Be0FsQbA8a0L+l/mlatNEtCJP1Y8K8/Pt+3X/SD0a+veu1nmWHulnxJtaZ61E/E7C9gUqjI0 pIClumfxReCXizggU2Jt8n2ncVAa2hXEDbvjyfjA4FVa+t5eoNj5X6GBcqxy50+gpfsXyUd7 1u/HxYd39fvfxOOblv71AkW1EINoHXhlzHqhzpz2yokqKaSxkmsi6zraQYHN2hXRWJjkUakI I66iMofVVSpaA5hnQWs5ELzzaxW7KplKGybTUBNdinwZ2ZsN8n4/ruMZ5QWros1uyFWW+Wgc HiVT7f8p10R1CaiV2pSyTYndi27743jlk8f6irVJ3JyoXzFPMBokE2HtZqMGLgIgGVAGHkr7 FufTkKxNNSo49iOwpLKs+TlEnmkSoUWai7zi4WJqCq842RuRxy5hfG63NP9Qm1YmWf20cdnU SLQoVPyeI7ugu67P+Y9Jw9wGVX46sF7BpBWnY45hZVW0n8fzMbwnzJPgSLoPNNX1LirJnsDQ WRShcbI6gzk00x/P1qGwov4UjOWxc4rNLzYKisGnyk66c5NEqKd6rdJyDB0rlSPpgXUefFhn z0ZxJPC8VYiivoS8EooxySZWfUJGFVAeDfrj1KO5sy/q6NeYCCud6Kx3Qxwh4LpALaHqwBaE HH3H/VqVS5+6p8mdkrR2nny4YD4afHfaNsSsluflBKIg+VOKZ03n+YHnmI9YTO77SBjkrBky 0A+lZih2erPY31g5qe4HgJVOnXuasUf9yusxadSk8CK3py+S5BoGzEFRpztHrqjFDMfs+iiN h7bSmVt7CfGX+OBQknDuBQDzTqHCZ2gOnCJKWNMyNxjQELYP0lDmEUPWy18mJclFweszcinc UFj5zlX6ESrz3kEgu9uKRT7VX/S4QmybTJhApmRKEAPqBlf7UPUOs2C/8p8GihZ+tuqqwnHe Qn5L0xYSHoEXECJHQWpP7eqv4CG6/WSAuu1LuffSbqLoO1aEfyPwNj8t+kutybJPcKJMH54C vQ90UcWRnF1FfPSnDAXQjAWnSbAPIaL4Q2x8SptooWj4ezmDUjxsJCXBeIYYrANs1imxL2OP OmKiGNlJCZEg9kSkGTQxuFX3UZO2X4yMWD3TPJY83aKFfyYm7cLXURDOmUjaY0RtfJ6hk4UZ qu5wpvj37p8xJbZEn9jUlrs0oGsbM0OeCSmMU/fQV2MLPKALCHKxMf+ZeW9T6dRhaNarU/4v zHTCELlMjmZ8luhHxmyLeFBij2aNx1Cqcm8dBhqE23qUNPhbFWyLtZ2iTQ8xbB8iGnNMCYQN j11ckUFqbP1j2sQmvJkB2lI9WZoN8GBkiedqu3Wc9MY7astDSNzmOZXpn89zvod7S1JQuB0h DqHrtNqpALD8KHHwT5mXRxS7zdT0djT7AMyZOOAqMYGBSaXmXBFpX+dABkLudZ/X9jmuqQLj 8PKiLq2MzBatdTd4cobAcHQbsOBKnsodxTzS1u2REMISyCmMWbHiglTivaXozeUoJxg8970h ZAKS7RaSE0dGfYTC0AjF9sHasQSPHtsgfuAgcgE6GDr5gHWX9lft4vbW+i6BPzuLHOdg+ABa UdYh7z/KosXO8vw3EkoOTwY1MzaXkHXW95KuChoaAQ59V5M/HZJRWo2w0v5awmp7Rf7+ta7m xc3jk11ZuF/rV8EBn84I1PLoG07l0xjwb0NYBiUeT/1aaO+BMRYV3qyuE82PZf2BQ1yaF/q9 XE= IronPort-Data: A9a23:ebpKbKxFzXUzncBFu3V6t+cCwirEfRIJ4+MujC+fZmUNrF6WrkUHm 2EWX2vSaamKNjP8fo13b9vj90NS75eDyddkHAdurFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliOfVAOO6ULOZUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDhNg06/gEk35qmr4mpF5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x138FFtO/n7/nRVYBS7jUMBLmoiI+t3+K33CuDgRrukoKHKJ0hXV/011lrPgto Dl5jqFcfC9yVkH6dEvxZDEDe812FfUuFLYquhFTu+TLp6HNWyOEL/mDkCjalGDXkwp6KTgmy BAWFNwCRgCjmvqdwaKUcLJHiu4qdtPyFrsYlH41mFk1Dd5+KXzCa6DD5Nsd2Dlpw84STbDRY M0WbTcpZxPFC/FNEg1PWdRuwaHx2Ca5L20wRFG9/cLb50DSwggrif71LdDRe9eLWdR9kUORp 2aA9GP8av0fHIXEkmXYryP02IcjmwuncoUXMqSI9sQxiVm93V0tDQIyW0aS9KzRZkmWAI8Gc xNFpELCt5Ma/0WuSpz5XgakiGWVuwYVHdtWCewzrg+Xopc4+C6cD2kACzpPMZko6J9wSjst2 VuE2djuAFSDrYF5V1qN1qqMhjKiFhJOBmMobHUeVCE95Pfs9dRbYg30cjp1LEKiYjTI9dzYx jmLqG06iexWg5Jbkaq8+l/DjnSnoZ2hou8JCuf/Bzr/hu+aTNf6D2BN1bQ9xagYRGp+Zgfa1 EXoY+DEsIgz4WilzURhutnh441FF97ebWSE3g8xd3XQ3zuq/HGncMhR5jo4THpU3jI/UWaxO if74FsPjLcKZSfCRfEtP+qZVZ9xpZUM4Py/Dpg4mPIUO8ApLGdqPUhGOSat4owauBJ2y/9na cvHKJ7E4LRzIf0P8Qdajtw1idcDrh3SD0uJLXwi503/ieTMV23fUrofLlqFY8Yw6a7O8k2f8 M9SO4HOg19TWfH3KHufu4MCD0E4HV5iD7DPqutTarGiJChiEzofEPP/++4qVLFkuKV3rd322 E+BdHVW83fFvk2fGz62MihiTJjNQadAqWkKOH1wHFSwhFkmT4WdzIYeUJoVe7MY2vRp5qN2R aNdeuGrIPdGehLY8RszMLj/q41DckywpASsZiCKXhk2T6RCdSfopOD2X1LI3zZUKDi0ru48k q2E+ibEZ6RbXCVkLsLdSMz3/mOLpXJHxd5DBRrZEOdcaGDH0dZPOSfuqtQVPstVCxHI5gXC5 jasGR1C+NX8+d4kwuLo25KBgZyiSdZlP0xgGGLe07a6GA/a8kenwq5CSOy4Ri/cZkyl5JSdY fhp8N+kPM0lhFpqt69OI4Rvx4865PrtoOZ+5SZgF3PpcV+qK+1BJl+r4MpxjZBOl4Rp4VaOZ kGy+9dhKeqoPuHhGwUvPwYLVLmI+swVvTjw1s4LBnvGyhV5x5e5dHlDHgKtjXVdJYRlMYl+z uYGvtUX2jOFiRErE4ini3lU/luTMnYvYrUDiaBCJ6S2jABxm1dITqHBO3Wn/LCOdNR+HU04K RCEhKf5pup9x2iTV1ERBHTyze5mqpBWgy9zzXgGPEastuveo/0KgC1q7jU8SzpKwiV90+5cP nZhM2t3L/6s+whEqddiXWf2PS18Hzycp1LMzmUWmF3jT0WHUnLHKEs/M72v+GEb62dtQShJz oqHyWrKUSfYQ++p53EcAXVakv3EScB90ibgm8r9RsSMIMQcUArf26SrYTIFlgvjDcYPn3b4n OhN/ttrSKjFJCUV8rwaCY6b6Owqcyq6Bld+GNNvwKBYOlvnWmCW+SOPIEWPaM9yN6T00UunO fdPeONLdTqDjRirkB5KK5IIEbFOmNwR2OEjYZLufG4PjKuepGFmsbXW7SnPu1UoSNRPz+c4J p/gSDaZNmm2m3FvunTsqfNcMTGSeug0Zwzb3cG0/t4WFpkFjvpeTEEq3pawvFSXKAFC/S/Im C/yPIjt0P1Ey6l3upnFS5V4GAS/LO3sWNSy8Ayct8pEafXNO5zsszw5h0bGPQNEG6k4QPVyy KqwteDo0HP/vLoZV37Tn7+DHfJr4eSwRO9mDdLlHkJFnCetWN7e3DVbwjqWcad2qdJ64tWrY yCaa8HqLN4cZIp79U1vMiNbF04QNrTzYqLevhiClvWrCCUG8An5PdiipG7Ib2ZaS3cyAKfAK DTI4tSg2tMJi753Jk40N6kzSdswalruQrAveNDNpCGVRDvgyE+Lvrz50wEs83fXA32DC9z3+ o/BWgO4ThmppaXU15tMhuSeZPHM4KpV2oHcv37x+uKaTxi/BW8CaOATaNAIVsESnSv125X1I jrKaQPOzMk7sStsKX3BDBbLB29zxdDi/v/2IzUo+wWfbCLe6EaoHu567ik5i5tpUmKL8QxkQ O3yPlX/OxGwxtdiQuN7CjlXRwt47quy+0/kMnwRXyA/79jyzFnKOLFc8NJxaBH6 IronPort-HdrOrdr: A9a23:yP1NBKl8z1i86iZKYtBT0GfE8NrpDfLr3DAbv31ZSRFFG/Fw8P re4MjztCWE9Qr5PUtLpTnuAtjmfZqxz+8Q3WBzB8bBYOCFghrREGgK1+KLqF2QeBEW2dQtsJ uIGJIOc+EYY2IK9/rS0U2XF5IOzNGb7Luln47lvg5QZDAvRaUlwQkRMGmm+45NKDWux6BVKL OsouRAoTSkdTAsYsO3CmJAd/TfprTw5fTbiNI9aSLPITPusQ+V X-Talos-CUID: =?us-ascii?q?9a23=3ARi5Tw2snEG2iCGALHUaUl1RB6Is1UmDF53bADHX?= =?us-ascii?q?jImpDQeePUHWo/41rxp8=3D?= X-Talos-MUID: 9a23:YKRpWQVB0tNKI1Xq/GPGgzRELfdo2f+nDG4WoKsDpO2KKAUlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,151,1763420400"; d="scan'208";a="133755906" X-MGA-submission: =?us-ascii?q?MDEaBN3vpcQW52xb8o3jRmAAprKG5MBPqrVm/J?= =?us-ascii?q?utdF0a6EjP+BKLvka7ppBmqjWZB/NjlLfRFrzf4IbchIrB27Xg2aguAc?= =?us-ascii?q?Oty9kWlvvmPI4cgwt+Bzbtw5i4ENV3H2Afr0VJsT+V1smNbwMjhufTfx?= =?us-ascii?q?IbkE2lR2Oal9pcOk5m4Qt7EQ=3D=3D?= Received: from mail-lf1-f48.google.com ([209.85.167.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Dec 2025 15:46:21 +0100 Received: by mail-lf1-f48.google.com with SMTP id 2adb3069b0e04-5957d7e0bf3so3431873e87.0 for ; Mon, 15 Dec 2025 06:46:20 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1765809980; x=1766414780; 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=5hkvNoTVOf4WAqdJevXtdRjQp/kubRVBglCuO7uI68w=; b=GPVSiWfKopCs4jmmYUIsBOZWZwjwfC6u86FHKlN/Q2N+JHE7QBEP2ZkqAZ3tNPpnRM Taf/lKd97edLPYmG6daadm08pd3pGtdj5MfdPuosasp2SBaprIiS2GA0zjkj1yQQ86V9 OLCHK9jfKRCtBwo+RnxgESjgX6Q70W3cv9NLGF4jaYDrSBxVL8teSjlwUWtbcZTuoHIx Ex2wnlxvU5hm3XXXu2a1swX43ga71VabEjPKeC0WkfmB4w1rIvK+KukC4mjVspnGkbNh RH3X+TgOa23/sDjvVsRR0/Q4dSq7ZRMlfbkDQxTOnXocYQVw8tISVZriZ+I2Jmq1oOet 8K+g== X-Gm-Message-State: AOJu0Yy8ylE0vi5jj0QFBpkbGiX4mlQReAIjMeH3hJP8nJtEaV4KeVp1 09MCnUluSQ+Yt9Ym93SGAHzKt0PNMH8HkhyLg3xNmi3/e2+NOYWLM7avTezh00sJ5aKkag2dSDW EFKXUd71bHPid19a/HF5lG3seYpV/8IMkTw== X-Gm-Gg: AY/fxX5GZRg0TDW+GYm+Hlc44t+sCiFRjHLHp0e//+EdgBTEcbQSu3rYr+9Xi00xGx4 CaDiFaBRMGgy25rPUSImSujj70uCHDZkwN+w8EMev7xV5SZbaBo5KbpZNBVJ1b8AOb8d7grRgu7 VPihgQEwAJV9CH680Tq8QocubXXMLkFhA07mTiv16qNaSliC200P+OWqnY9xTPZVHDCBdjzzz+T Oo341DQchGi2oZphU1+f/8ylAbj6vnbwy9zDQH2UE7/R/ULSKNEFPQQJXe6SduNHBs6pCBB84zi E7cQgOB8siOPxbTtpy6Wsh2ruQ== X-Google-Smtp-Source: AGHT+IFNdE3Y6Mxxz6yDSMiaYbLF+X+vB+NuJBnNlBSalX2BX7IDcJ62qpGiQnVy3WWy+D1LnROnP0Agc4iFWwbQg6s= X-Received: by 2002:a05:6512:3b0a:b0:594:37bc:f40c with SMTP id 2adb3069b0e04-598fa6292a6mr3641517e87.10.1765809979551; Mon, 15 Dec 2025 06:46:19 -0800 (PST) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 15 Dec 2025 06:46:18 -0800 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 15 Dec 2025 09:46:17 -0500 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Mart Lubbers Date: Mon, 15 Dec 2025 06:46:18 -0800 X-Google-Sender-Auth: 0Lhx0yIs7HOFDly7l-GrUKzrJcI X-Gm-Features: AQt7F2qdZd1qIoSCmMC8CLZRvK_V9N6Oq089qV9S7W3By1HKIdfYXJvUXeNyAOk Message-ID: To: Caml-List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] TFPiE 2026, Call for Submissions Reply-To: Mart Lubbers X-Loop: caml-list@inria.fr X-Sequence: 19411 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: TFPIE 2026 Call for papers https://wiki.tfpie.science.ru.nl/TFPIE2026 (January 26th 2026, Odense, Denmark, co-located with TFP 2026 at University of Southern Denmark) TFPIE 2026 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: - FP and beginning CS students - FP and Computational Thinking - FP and Artificial Intelligence - FP in Robotics - FP and Music - Advanced FP for undergraduates - FP in graduate education - Engaging students in research using FP - FP in Programming Languages - FP in the high school curriculum - FP as a stepping stone to other CS topics - FP and Philosophy - The pedagogy of teaching FP - FP and e-learning: MOOCs, automated assessment etc. - Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. In addition, the speaker can provide commentary on effectiveness or student feedback. ## Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/my/conference?conf=3Dtfpie26 After the workshop, presenters are invited to submit (a revised version of) their article for the formal review. The PC will select the best articles for publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. ## Important Dates Submission deadline: December 26th 2025, Anywhere on Earth Notification: by December 30th 2025 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response) TFPIE Registration Deadline: TBA Workshop: January 26th 2026 Submission for formal review: April 22nd 2026, Anywhere on Earth Notification of full article: May 27th 2026 Camera ready: June 24th 2026 ## Program Committee Mart Lubbers, Radboud University, Nijmegen, Netherlands (PC Chair) Tim Steenvoorden, Open Universiteit, Heerlen, Netherlands Marco T. Moraz=C3=A1n, Seton Hall University, South Orange, NJ, USA Guannan Wei, Tufts University, Medford, MA, USA Marcos Viera, Universidad de la Rep=C3=BAblica, Montevideo, Uruguay Johannes =C3=85man Pohjola, Chalmers University of Technology, Gothenburg, = Sweden ## Registration information See https://wiki.tfpie.science.ru.nl/TFPIE2026 for updated information and see https://trendsfp.github.io/ for info on registration Registration and attendance are mandatory for at least one author of every paper that is presented at the workshop. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process.