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=vPgvjv3U; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=B+hkGXAN; 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 83479400A8 for ; Mon, 27 Oct 2025 08:32:50 +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=AxubwPQJsWI+DItNm45GeMLLg2TihsJzGviifOjA/3A=; b=vPgvjv3U6cLi2vFMKLLqzWBZVCNHin7h0gmZPu/kVvDXafFRXXLP+AtR glU8Rj26K2Ao5oDGHXbw6FtQJ3PJbFrWOsv2LLsMYHuMABTyr/4W6wI/4 nrcdOGidS7k4AD6eZvLQbKoNLPBUgmq1odDEfms0nOBulUeI/u01cYdXm 4=; X-CSE-ConnectionGUID: AYn1RWmfTQ6Xw1ggFEOkdQ== X-CSE-MsgGUID: F04BLyzbSaGL6XiyzDkD8w== 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=@gmail.com X-IronPort-AV: E=Sophos;i="6.19,258,1754949600"; d="scan'208";a="246249016" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Oct 2025 09:32:50 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 40462E0C55; Mon, 27 Oct 2025 09:32:50 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4E822E0171 for ; Mon, 27 Oct 2025 09:32:46 +0100 (CET) X-CSE-ConnectionGUID: AB8VXmdNQaaldFh7fNXdTw== X-CSE-MsgGUID: JNlVvKJ1Q3iVHB/65m+bOQ== IronPort-SDR: 68ff2e2d_jC0aLm76zGvRMpXeJ+HflVJ1uEl8t3T+KBaNjS/k8VsyJIX ziSEliF6caaRTqbigVuHW8ZvAa2ZnC8sdc6BCmQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EKBACrLf9ofLXQVdFagQmBUAKCPoECXTQEC0mEVY9Sg?= =?us-ascii?q?iGLd5ImgUAWJwIPAQMBDT0UBAEBAwSFAIxQAh4HAQQyBw4BAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBAQEBDQEBBQEBAQIBAQIEBgECEAEBIhkHDhIphk8NSQEQAYIAgSxhA?= =?us-ascii?q?gUDOwEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCDQcYP?= =?us-ascii?q?zgLBh0BGwwFDQMNBRAPAiYCIwERAQUBIhsODIJhgiIBBhABAw0pAxGheIIkg?= =?us-ascii?q?QVCiz6BFQUCFoEBgg0G2mAKGSgNcYFhAgEGFIEILoR2KVyCOR0BgW6DfoN+e?= =?us-ascii?q?ieBGIEQgUqCBT2BdgE7AYEfBBiBHT6DRoJpBIIigQ6IUAOBf4QTiQsmCAEGF?= =?us-ascii?q?wMHBwkFBBwGBQUCPwkGBQoSAwQDBAQBAgsTCQMDAg4CCAMCCAYZAT8SBBMKD?= =?us-ascii?q?QsHBR8KAgwRCigiEisKAQIBWjABCAYCAgQEAgQMAgkCAgUHAhEDBAEBCAICL?= =?us-ascii?q?QMBAxkICQgCCwUUGAwLBzIDEAkEIQYSGAgDAwICAgEHAgIBAgEBAwMHBhABA?= =?us-ascii?q?gEPAgMDBAMEBgMFCQEHAQEBAQECEwMCAgURBwIBASABFQIHAQQDJxkCAgYCA?= =?us-ascii?q?gICAwICAwMDAQIBAQMFAQMCAwIBAgEGAgMDAwUDAQ4CAgMBAwEGBAQCBQECA?= =?us-ascii?q?gIOAQMCAgYCBwkIAgETEwICAgIBAgIBAgcBAQIDAgUFCAIBAQECAgMCCwICA?= =?us-ascii?q?QIBAgIDAgMCBgEJBAQEAQIBAQUEAwgBAyQDAwQFAwICAgcCBAMYAg0GAQQDB?= =?us-ascii?q?QUDCAMGAgIDDwMGBgcCBwQCBAICAg4CAgMHBAICAwEMBAcCAwICEgMBAQIPA?= =?us-ascii?q?gICDAEBBAICAgUCHgoOAgcKAgEDAQEGAgQEAwoGAgYFAgIBBAMHAgECAQIIA?= =?us-ascii?q?wIHAwIDAgEPGAMCAwoCBgUEBwICAwMEAgICCQEDBgEBAQECAgIDAgIFBg4EB?= =?us-ascii?q?AQTCiADAQMFAgQHAgEDAgIBBAEBAwMCAQIBAgMBAgIEAgMDAwMDBAUDAQEDA?= =?us-ascii?q?gMFAgIDAgICAgQBAQULAQIEAgEBBAEBBwUDAQMGAwQEAwIEBQMLAgIEAgMDB?= =?us-ascii?q?gMDBgMCBQIHAgIBBQUCAQEBAQwJAgICBwMOAwICAgMEAQIDBAMFAgMEAQEBA?= =?us-ascii?q?QQFAgMDAgIBAwUCAgEBAgIEBAIDAwYCBAIPAgEBBR8RAQIGBgMCAQMFAwMDA?= =?us-ascii?q?wMCBAICAgIGBwsCCgQEAgEFAwcDAwUGAwEDBAMIAwoCBBgGBQICAgECDBIDA?= =?us-ascii?q?woEBAMCBQIGCQMCAwMEAQMuDQ8SFgQFAwIFAwMDAT0DDgQDDwgCGAIBAQIGA?= =?us-ascii?q?gEDAwgCAwEDAgcDFAoBBggCBAQMAgMDAwcFBAUDBwICBw8oAgQCAgIBAgIJA?= =?us-ascii?q?wMDAwIDBgMDAwYDCgICAgEFAgUHBgEDAQIKAwMCAwwCAhACAwUDAwMJBAIDA?= =?us-ascii?q?RQDAwYDAwMDAwwCAggDAQIBAgQCAgIBBBABFwgIAQMFAwMFAwgFBAcEAgMLA?= =?us-ascii?q?wUOBAIKAwQCBAILAwUDAwkBAwMDFQEEAgQCAgICAgIBNQUDAwMDAwMDBAMDB?= =?us-ascii?q?gIEAgICAgQGAQIDAwMDAwMJAwMEAgECAQwBAgIGAgUIAyMPAwsJCBM9AQsHM?= =?us-ascii?q?gQ2ARQUByshX5MWgkUubgZNTwFBDBcOCwQJCgQrAQIbkyAlJpIEgTVQnQmCA?= =?us-ascii?q?AcBhB6MHpVTM4QEjROYbWeZBo4IlWQTC4UmESQSgTgBM4FcMxojgQGCNk8DG?= =?us-ascii?q?Q8xJo1WCwuDXoRvJMIQKDI8AgcBCgEBAwmIbIh+NIFLAQE?= IronPort-PHdr: A9a23:iLn7Fh9PXKeq0f9uWdK1ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Z wqHub400QCVDc2bs6sC17GN9fi7GCQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnWCsCvRAEBW Pp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uM Rm6twrcu8cYjId4Nqo8xRTFrmZIdulUym5lJk+YkxLg6sut5pJu/Cpdtvw7+8JcX6j2erkzQ KBFAjghL20668rnuAXZQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Q78sVzut9 qtmVhDmhjofOzE27G/YhMpwjLlGoB26vBxw35TUYICOO/VgeK7WYM4XSnBAXsZVUCxBH5+8Y o4SBOcPIepUs4/wrEYIoBCjBwejGfnvxydHiX/t3aM03ecvHxzY0gM8ENwDq2jUrMzvOasOT ey50KvFwDPeZP1Wwzf9743Ifwgmr/6WR7Jwbdfax08yFwzelVqft5blPyiI3ekKsmib4e5gW fyyh2I9swFxvyOgxsMtiobVh4IV1lDF+D52wIYwP9K4SUp7bcS4H5tXsiGXLo17Sd4tTG90o ig10KEGuYKlcygQzpQq3xHSZv6JfYaG/x/vSvudLzdkiH9leLyxiAu//EavxOPzVse4zEpHo ytEn9TDqH0A1xje58qGR/Zy8Ums3TKC2h7V5+pZL040kq/bJIQgwr42jpcTq1nDEjXwmEXyl KOZaF8r+vOo6uv7YrXpvJ6cN5VuhgH5KKQulcqyCvk7PAgWR2WX5/iw2bn58UD6QLhGlOM6n rXavZzAOMgWpbO1DglI2Yg58Rm/FS2p0NEAkHkHMl1FfBWHgpDsO17UIfD4Ce6zg1CukDt23 vzGMKDtD5bQInTZn7fherF960FYyAUt19xQ+5VUCrQZLPLyXE/+qsDYAwcnPwCox+vrEtZw2 4MEVW6RHqOUM7nevUKL6+4yO+WMYZUauDf5K/gr/f7uino5lEccfamn2Zsbdm20Eu5+I0WEe nXshtYBHnsLvgoiTO3nk1KCUTtJaHazW6Iw/C00CIWjDYvbXICinKSB3DunHp1Rfm1JFkqDE XLsd4mdX/cMaTmSItN6nzwfVbmhTpch2gu0uA/7zbpnNOvU9TcCuZLtzth5/+vTmgoq+jxuE 8udy32NT31znm4QWjM6xK9/rlJ6ylmAy6Z1m/JXG8FL6/NTTAg6K53SwfZiBtD3QA3Bf9OJR E+iQtWkHD09V9wxz8INbkpgAdmigRfD3y2lA78RibOHHoA78qXZ33TpOsl9yHfG1Kw5glc+T cVAO3OoiLJj+gbVH4LGjkCZmLywdasAxCPD7H6Nw3KBsk1ASw5wSavFUGgFaEbKsNr3+1vOT 6S2CbQpKgRBydCNKq9NatDxlVtIXe/tNtuNK162zky5ABLN4rKXcMK+cGwY2GDZCVMYuwEV5 3ePcwYkUHSPuWXbWRlnD06nR17m++RkszvvT0EwlVjMd1Br07u++wIErfOZQvIXmLkDvXFy+ H1PAF+h0oeOWJK7rA17cfAECTtcyFJO1GaC8hd4IoTlNKd6wFgXbwVwuUrqkRRxEIRJ18Yw/ zsx1AQnD6We3Rtaci+Am4jqM+jWJG2opVa3dqTS21rfzMe+9aIG6fB+oFLm70myDkR3y3x8y JFO1meEoJDDDQ4cS5X0B0c580Ij4anHaC087ILIxFVjNKC1tnnJ3Nd6TPA9xEOGeNFSeLiBC Be0E8AeAJ22L/c2nlGych8eFOVb9apxO8H/MvXfiPftM+Fnkzary29A5eiRy2qq8CxxAq7N1 pcBmLSD2xefEiz7lBGnu9z2noZNYXcTGHC+wG7qHtwZYKo6ZosNBWq0Rq//jtxjm57gXWJZ/ 1+/FhsH3sGuYx+bc13620VZy00WpXWtnSbwwSZzlnklqa+W3SqGxOqHFlJPO2BPHjAklUrmJ Ym/jswLdEetZgkt0hCi4AeyxqRWorh+M3iGWV1BLE2UZylpVqq9sKbHYtYasst593UKFr7kM RbDGueuxnlSmznuFGZf2j0hIjSju5Gi2gd/lHrYN3Fr6nzQZcB3wx7bot3aX/9YmDQcF0waw XHaAEaxO96x8JCajZDG56q/WWb7D9tLbCPvzIiBqDqT6mhjABn5lPe20I6Cc0BywWrg2t9mW D+d5hfyZtOykbynO+ZmdUh0FXfz7sN7Hsd1lY561/RykTAKw56S+3QAi2L6N95WjLn/YHQ6T jkO29fJ4QLh1SWPN1qxzpniHjWYy8plPJyhZ38Onzk694ZMAbuV67pNmW10pEC5pETfe6o1k jAYwPoooHkU5oNB8Asjyn/ERKgPF01ZNi3whjyH6tm/qONcY2PnfbWr1UV4lMysF/nY+lAaC Cu/IM9yW3Ygt412KzeumDXr55vhecXMYN5brRCSnxrazqBUJJ83ivsWlH9iMGP5s2cizr1e7 1Qm1pW7sY6bbmR1qfjhU1gIa3uvP5NVo2G03sM81o6M0ouiH4tsAGAOVZrsFrezFS4K8O/gL 0CIGSE9rXGSHfzeGxWe4QFotSGqcdjjOneJKX0e1dgnSgOaIRkVgQ4QBmx8hoMzEgGhxdDwW Eh87zEVoFX/r1Efr4Agfwm6SWrZqAqyP301RpzFdVxO8wtG5kzULd224ed6HiUe9Zqk5l/oS CTTd0FDCmcHXVaBDlboM+y15NXOxOOfA/K3M/rEZbjd4fwbTfqDwoijl5d35zvZfNvaJWFsV rdovygLFWA8AcnSnC8DDjAahz6YJdDOvw+yo2V2tpztr6itAViyo9PJU/wLb51u40zk2PjYc bfB2GAhb24fj81ppzeAyaBDjgRK2mc+Kn/0S+RG7WmUE+rRgvMFVUdFLX4jcpIZteRkmVAcc c/D1oGvj+A+1KVkTQwfEwSmw5DMB4RCInnhZgqYXgDRbevAfmeNm4atOOu9UeEC1boO8Uft4 nDGTQm7eW7a3zjxC0L2brsK1nzAekUH4sflNUw1bAqrBMTvbhnxWDNupRsxx7B8xnbDNGpHd CN5b1sItbqIqyVRnvR4HWVFqHtjN+iN3SiDvaHeLd4NvP1nDz4R9aoS6Wkmy7ZT8CBPReBk0 CrUoNl0pli6k+6JgjN5WRtKozxPicqFp0Jncane85BBXz7D8ndvpS2IDA8WotJ+FtD1k6VZy 9yKkKCqbTkbo4uS8swbCMzZbsmANTtpMBbkHiLVEBpQTTOvMjK65QQVm/WT+3uJ65ki/8K0y dxeF/kBDAxzT6NDWSEHVJQYLZx6Xy0pi+uehc8Mvj+lqQXJAd5dptbBX+6TBvPmLHCYi6NFb l0G2+CdT8xbO4vl1khlclQ/kp7NHh+aXN5J+HQndhI+pERG8WRvZmI20kPhLAiq5TVAcJz81 g5zkQZ4bek3oX305EwrI1PRuCYquEw4mNGghTLINTCofP72UoZRBC758UM2N9moJmQ9JR33l ktiOjDeQrtXhLY1bmFnhjjXvp5XEOJdR6lJCPfx7fSeZvFt1VYF7yv+lRYB6uzCBp9v0gAtd Mz0x5ql8w1mZd8xY6fXIfgRprC/rq2Lty6skOs2xV1HT3s= IronPort-Data: A9a23:wM9TC62wFfqvI2r/Q/bD5ex1kn2cJEfYwER7XKvMYLTBsI5bpzADz WFMWz2CM/6DZjCmL9h+PNu1oU4PvpaByNE3GgQ53Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAhk/zOH/ykVbOs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyazN8B56r8ks14a2q4mxA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxlz8xCsmom6rMaUYDRLjfJ2Cm0hK6jID/6vTqjnVaPpcTbJLwW28P49m6t4wZJ OF2iHCFYVxB0psgNwgqe0Iw/ylWZcWq8VJcSJS1mZT7I0buKxMAzxjyZa2f0EJxFutfWAlzG fIkxD8lRzrTudKzzJSCQ+Boiuojc8fNDI8jpSQ1pd3ZJa5OrZHrRqzL4Zpc3m51iJkeRLDRY M0WbTcpZxPFC/FNEg1PWdRuwaHy3im5Km0BwL6WjfJfD2z7zQJ1iuGrKMffft2BRNlEtkmdr 2PCuW/+B3n2MfTGk2vcoi/827encSXTeqQWKqOb1KdT21yt5kZUVkATFlGcmKzs4qK5c4kCc hRLq3RGQbIJ3EeiS924WxyjvFafrxsEUpxRFfc74UeD0MLpDx2xA2EFSntFaoVjupZmHHol0 ViGm96vDjtq2FGIdZ6D3p6+/Q2CPCQzFGYLYSMqTVQLxenvnJ5m23ojUe1f/LiJYsoZ8AwcL hiPpSk6wrER1IsFjvXiu1/AhD2oq97CSQtdCuTrsoCNt1shDGJGT9bwgbQ+0RqmBNjBJrVml CZe8/VyFMhUUfmweNWlGY3h5o1FGMppwBWH3Ac3QMh/n9hc03Gkeo9U7Xl/IkwvWvs5lcvSS BaL42t5vccNVFPzNPMfS9zrV6wCk/O7ffy7DaC8Uza7SsItHONx1HszPRbIt40s+WBw+ZwC1 WCzKJfzVChFVPg9nVJbhY41iNcW+8z3/kuLLbiT8vht+eP2iKe9EO9dbgm9faoi4bmaoQ7Y1 d9aOoHYg19cSeDyKG2fu4IaMVlAfzBxCIHUuv5nULeJAjNnP2U9VN7X47cqILJ+k4pvy+znw 3CaW21j8mTZu0HpEwuxR0pYWOvdZqon9XMfFg4wDGmswEkmMNqO7r9AVp4ZfosH1e1EzNxyR cYrY8+rX/ZFEGzG3x8/bpDNipNoWzr2pACJPgujOCMeebw5TSP329bURCnd3whQMTiW7OwVv OeGxADAZJgyVyBOKdnwVqq07lWTuXM9prpDb3HQKIMORHS2oZlYFSPhq9QWfeQeIgrn7RmH3 V+0BRw4m7H8k7Ut+oOUuZHe/pabKMogLE90BGKB0K2XMxPd9W+dwYNtduaEUDTedWHs8pWZe uRn4KDgAcIDgWp1ndJwI5RzwYI6wunflbtQ4wBnPXfMNnCAKLdrJFuY1shu6IxJ4JJkujWNZ 0HewekCZI21O/7kHmUBeysjTOCIjs8PlhfosP8aHUTd5Q1MxoShb3l8BRe3pRJ4EKpUK6Igm Ocoh94X4Vewiz0sKde3sRpX/GWtcF0FCqUuiY4GCqDsmi4U+0FlTbHBOHWn/qPVe9FoN280K AS1n4vHvaxXnWDZQkowFF/M/OtTvosPsxZ0120/J0yFt97Gp/0v1jhD2G4TYiUM6TsfyMN1G GxgF3MtFJW05z0y2fRyBTG9KT9OFDiy2xLXyWJQsEb7UkPxdGjGDFNlCNa35EpDrl5tJGlKz oq5llTgfy3hJvzq/y0IXkVglfzvYPpx+iDGm+GlB861JIY7UxW0np6RYXc0lDW/DfMTnEHno cxYzNR0Y4D/Ng8SpPQfIKue3rIyVhuFBTJjRddMwaA3JlzfKQqCgWW2F0OMe812N6Pr9228A JdQPc5hbUm1+xuPiTE5PpQyBYFIssQn3udfRYOzF1U66+OeihFLrKPv8jPPgT53Ytd2zuc4B IDjVxODNW2yg3FrtXfHh5RGMDDgYP0vRg717Maq+sonSrMBt+BNdxkp872W5n+6Dipuzyi2j ijiOZDE7rVF4ps2uZnvCYBBNhWQBfbsctrQ6yG1kdBFTe2XAPf0rwlP92XWZVVHD4UeS/Fct OqootXo+GjnobxvcWTSu6fZJplz/c/oAdZmaJPmHkJ7wxmHdtTnuSYY2maCLpdMrtNRy++nS ya8a+qybdQlYMhc9lIEdxlhFwshNIqvYpfCvS+dq9G+OioZ2yHDL/Kl8ibNRkNffSkqJZb/K 1HVv9CD29Nml7lPVSQ0X6xeP5xFIVHdAPpsM5W7sDSDFWCnj2+Toraox1Jq9TjPDWLCC8rgp 47MQh/lbhmppaXU15djvpdvugEMRmNI6QXqkpnxJ/Yt49x7MIIHEQjZGZAPC5URli6rkZ+hN GiLY2wlBiHwGz9DdH0QJTglshi3XoQz1hXRf1TFPH94rw+5AYqBBP1q8SIID7JeZG741O/+Q T0B0iSYA/Vyq62Fgc4c4/W6haFswfayKrfkP6ziu5SaPivyyonmGJCs8MShmMAH/wzweJ33G FUI IronPort-HdrOrdr: A9a23:tJu//6Fnb9ZV9xpSpLqEL8eALOsnbusQ8zAXPidKOGBom62j5r 2TdZEgvyMc5wxhP03I9erwXJVoIkmsl6Kdg7NhRYtKNTOO0ADJXeJfBKTZsljd8kbFh5VgPM lbAtJDIey1I1w/osrz/RWiH8xI+qj/zImYwcnbi1liJDsEV0ii1WtE48Sgf3FedU1pA5w2EZ bZ3MZBqja6PVwKc8XTPAhiYwEOnbP2fVvdACI7Ow== X-Talos-CUID: 9a23:AnoyR2BhqecbKFv6EwBNpHAkH8wDS3TUyHv+IxC2L1ZldKLAHA== X-Talos-MUID: 9a23:20K2owXfjz3sKmfq/B3KgA98F+Ux2v+vNmAn1stbvoqOEhUlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.19,258,1754949600"; d="scan'208";a="129185850" X-MGA-submission: =?us-ascii?q?MDG0X3zy18ekxNG3V9MwPJtaMZJT+Tub6iyJGk?= =?us-ascii?q?k/oMLhbk/a53avM2GXNXafDuhS6alU50LPJ3YpnrlrUzgdQznpmPi8Vb?= =?us-ascii?q?ZeVFqWEU3al1g9ooDdrSppIsq/EE5aCibeMR/VFXgJY/JzntZbMCuWWM?= =?us-ascii?q?59uKtzEczcwYiFuUOIZ7sHvQ=3D=3D?= Received: from mail-lj1-f181.google.com ([209.85.208.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 Oct 2025 09:32:46 +0100 Received: by mail-lj1-f181.google.com with SMTP id 38308e7fff4ca-375eff817a3so46079131fa.1 for ; Mon, 27 Oct 2025 01:32:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1761553964; x=1762158764; darn=inria.fr; h=content-transfer-encoding:to:subject:message-id:date:from:sender :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=AxubwPQJsWI+DItNm45GeMLLg2TihsJzGviifOjA/3A=; b=B+hkGXAN322VsClf1hyzU6g04BQRV22N8KztC6XSvO8NFojzW7FJP6kKXKkOmoxTCY kuEqFbD22dmWuhQiqPtZgdaT4xDmhDz3pJrKk0D49xWZioxzRp4O7HJ1WhvE4YRX3LwW ZCWiP78Iv/5j3oP3wkQE4NDjn1P75AKcehqNZfmjDsUIV2JWMzWHJq6e58CxPaxWylkt qTwznYSrTmkLqNkMoP2zpPYEHqHeTYJJ4ooxJJ1b/xXvvl7tnHw/SUp2xXw7piiXnkkf qnfstzNP/A+7QaaJe9ynfxPPs7ezfMbwPjN1A6YoNlQ9x1WQjCirukvSFNyrYu+J04Hn I2/Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1761553964; x=1762158764; h=content-transfer-encoding:to:subject:message-id:date:from:sender :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=AxubwPQJsWI+DItNm45GeMLLg2TihsJzGviifOjA/3A=; b=eAqTOjKQj9qBiaTiM1NUqnHdtUoR0z+iiCJHEGwEy2bu2t1vcK6wEH3kAmJG4tucp0 9/nD89cs6S2O0GTChe1nuAna1MIBlhZf80dsabJZ9NAd/wizZzsdvwE9uqV7dfKLMBAh kDMVJ27FNMFoVT34P7uVXQIbe5gIf9TQpWlfuymrZvfbFToqyjQxVFDDAXpCptinR9f6 pZ0i3htXJbUA8eH4/at8MF+Rjo8EmfJUcv7JLxrjnVKbtVq1iAReQGlR22pijdXAR0Vd IE7bZEquEGZ6fqb7ZrW2nQylb6LwVTtQt8Jda9kd5TkZ+3zMxIl0I8Mo3O+6zElC7a9b GApQ== X-Gm-Message-State: AOJu0YxfajAsYdngAjoCCY/UFKAS9CKiy0ga0kM7PRtGjGWDJttmQJsl u70MmRhvHiS8rgaAV49vC7DPM6YNX/cC7ExXIzOpSapevhmfMA+yOm3a/iP9idYKoFjTXnhGh4/ p1wjy5yxVFDlns4mfGh+yi0aiOxH6W9iiWQ== X-Gm-Gg: ASbGncubN/+rrNyvg6zdw9LcnmqK/qnG4qXuoM1es60jYndedlnqWQkEvgHQ/Qsyj44 RbAYA92g/tsFL9FHKUZXOgOH+36mlx8yIquePjtwGQMQjQEONVywzAf1dARoyICrpWplX03yjFU KIeirFQAzSV9QrhNqzSCPYCU36OdzYpy9iovMy1eJVroT4xfdoMYiaD1WkXBhH4LXHsAkd3szn7 uxghBYZ2Bhzpbv3l8+dHAzywU3yhUm8pUO+MAAw4bFcG1JGu4pDGBTYpTJzbbM1QO46egRNTg== X-Google-Smtp-Source: AGHT+IEcuxizXv8fPmSuzbNsUqkAfmxdXYasFT7M9p/CEQ/m+M0sxGnUfWZUVddhKIsQjWSvlbWl2rgArnk7k55zYFU= X-Received: by 2002:a05:651c:4387:10b0:378:e54b:5ecb with SMTP id 38308e7fff4ca-378e54b5ffemr24297551fa.16.1761553964329; Mon, 27 Oct 2025 01:32:44 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 27 Oct 2025 03:32:43 -0500 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 27 Oct 2025 01:32:43 -0700 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Mart Lubbers Date: Mon, 27 Oct 2025 03:32:43 -0500 X-Google-Sender-Auth: jQrpvFsnu2LIFs6kVsA1snBKWqU X-Gm-Features: AWmQ_bmVSPBso0NakTb_5oOF9_aj_lfUjXvTFgTciu4Lg7WqvfrEn1tHIwYFX9I Message-ID: To: Caml-List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] TFPiE 2026, second call for submissions Reply-To: Mart Lubbers X-Loop: caml-list@inria.fr X-Sequence: 19392 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 Universitei, 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, G=C3=B6tenbu= rg, Sweden ## Registration information See https://wiki.tfpie.science.ru.nl/TFPIE2026 for updated information. 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.