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=uSEP93lN; 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=eiSOX1FY; 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 9E842400A2 for ; Mon, 29 Sep 2025 07:46:58 +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=I807mTliSDszJODcCDQq/0P//bVUaFxhFxaLm1487I8=; b=uSEP93lNPNk4YowqH9zPCNoktDZoZbkGQ9KMaOvjwvzNISGTLdR1fPMi b0j2ga/PTCtglwMFh4woyLHUJVP/tkulqO5PC+ayMDtU4yMmjNeM0Kz1T t18DXlDtitrb7OEgZNcfi4wTlyskbZed8lTSVeUnvu9SliahkjaXeMJYp 4=; X-CSE-ConnectionGUID: ycnl155AQvm+GIDoXfKGtg== X-CSE-MsgGUID: JmV8qWfPSMevUN/JEwnisA== 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.18,301,1751234400"; d="scan'208";a="241469407" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Sep 2025 09:46:57 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 67F02E0CD8; Mon, 29 Sep 2025 09:46:57 +0200 (CEST) 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 78AF5E0172 for ; Mon, 29 Sep 2025 09:46:52 +0200 (CEST) X-CSE-ConnectionGUID: mF70c3jIRdeJX3onGpiUhg== X-CSE-MsgGUID: 8eYvmztYTUy5+a6I8Y/OmA== IronPort-SDR: 68da396b_S3GyU6hFONfyoXuBrDIqKeOil2PvbCRF24VegQScMZKOrIu iBzZoHZ3JChwCyI1Rb3APxXYzQjRjlGUidfTiDw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EQCwAwONpogbXQVdFagQmBUwKCPoECWTQEC0mEVY9Qg?= =?us-ascii?q?iGLd4F9kWkWJwIPAQMBDT0UBAEBAwSFAIxIAh4HAQQzBg4BAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBAQEBDQEBBQEBAQIBAQIEBgECEAEBIhkHDjuGTw1JAQEECwGCAIEsY?= =?us-ascii?q?QIFAzsBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAg0HG?= =?us-ascii?q?D84CwYdARsMBQ0DDQUQDwImAiMBEQEFASIbDgyCYYIiAQYQAQMNKAMRphOCJ?= =?us-ascii?q?IEFQos+gRUFAhaBAYINBtpgChkoDXGBYQIBBhSBBy6EdSlcgjkdAYFug36Df?= =?us-ascii?q?XongRiBEIFKggU9gXY8AYEfBBiBHT6DRoJpBIIigRaBVYZCgl2HaAOCAYldJ?= =?us-ascii?q?ggBBhcDBwcJBQQcBgUFAj8JBgUKEgMEAwQEAQILEwkDAwIOAggDAggGGQE/E?= =?us-ascii?q?gQTCg0LBwUfCgIMEQooIhIrCgECAVo0AQgGAgIEBAIEDAIJAgIFBwIRAwQBA?= =?us-ascii?q?QgCAi0DAQMZCAkIAgsFFBgMCwcyAxABBAkKAQECBAICGgIBAwgGAQ0CAwICA?= =?us-ascii?q?QICBAIEBgcECAEBAgECAQEBBAEHAQECAgMDBQMFAwgZARUJFQMEBQISAgIBB?= =?us-ascii?q?wECAQEDGQIBAwMEAQsCAQEEGwQVFiQCGQIBBQUFAQMECxAIAwIFBAICBgIED?= =?us-ascii?q?gIHAgIaBAICAQMEBgMBAggCAgcECAMBAgIHFwIVAQIBAwIJCgQFBAMEAwICA?= =?us-ascii?q?gEMAgECAwICAQIBAQMBBQYdAgEDDggEAgIHAgIgGQECAQEGBgMDAwoDAQoBA?= =?us-ascii?q?QYCAQISBQICAgQCAgYEJQECAQIBAQEFAgECAQIEAgcCAQIDCAEFAgYBAgIJA?= =?us-ascii?q?QIBAgICAQIBAQIGAgERBAECAgICAgMBAwYCAgICAgIJAgICAgUCBQMCAwUCB?= =?us-ascii?q?QIDAwIDBAMJAwMIAwYEAwEBAgECAgIBAgEFAgMJAQEDAgECAgIDBgIFBQEDD?= =?us-ascii?q?AwBAQIBAwUDAwQDBgENBAMCBAICAgIEAgEFAwMCBQEKAQQCAQMDAwQEAwECA?= =?us-ascii?q?goMAgQBAQEBAgECAgoDAgUDAwERAwQBBgUFBgIHCQMCAgMCAwIEAwUEBAIEA?= =?us-ascii?q?wMCAgIBAQoCAgECAQEDAwcGEAECAQ8CAwMEAwQGAwUJAQcBAQEBAQIUAwIEB?= =?us-ascii?q?REIAgEBIAEVAgcBBAMnHgICBgICAgIDAgIDAwMBAgEBAwUBAwIDAgECAQYCA?= =?us-ascii?q?wMDBQMBDgICAwEDAQYEBAIHAQICAg4BAwICCQIHCQgCARMTAgICAgECAgECB?= =?us-ascii?q?wEBAgMCBQUIAgEBAQICAwILAgIBAgECAgMCAwIGAQkEBAYBAgEBBQQDCQECA?= =?us-ascii?q?yQDAwQFAwICAgcCBAMZAg0GAQQDBQUDCAMGAgIDDwMHBgcCBwQCBAICAg4CA?= =?us-ascii?q?wMHBQICAwEMBAcCAwICEgMBAQIPAgICDAEBBAICAgUCHwoOAgcKAgEDAQEKA?= =?us-ascii?q?gQEAwoGAgYFAgIBBAMIAgECAQIIAwIHAwIDAgEPGQMCAwoCBgUECAICAwMEA?= =?us-ascii?q?gICCQEDBgEBAQECAgIDAgIFBg4EBAQTCiADAQMFAgQHAgEDAgIBBAEBAwMCA?= =?us-ascii?q?QIBAgMBAgIEAgMDAwMDBAUDAQEDAgMFAgIDAgICAgQBAQULAQIEAgEBBAEBB?= =?us-ascii?q?wUDAQMGAwQEAwIEBQMLAgIEAgMDBgMDBgMCBQIHAgIBBQUCAQEBAQwJAgICB?= =?us-ascii?q?wMOAwICAgMEAQIDBAMFAgMEAQEBAQQFAgQDAgIBAwUCAgEBAgIEBAIDAwYCB?= =?us-ascii?q?AIPAgEBBRwRAQIGBgMCAQEDBQMDAwMDAgQCAgICBgcLAgoEBAIBBQYHAwMFB?= =?us-ascii?q?gMBAQQEAwIJAwULAgQLEgYDAwUCAgIBAgwBAhQDAwYGAgQEAwQIAgYJAwIDA?= =?us-ascii?q?wQBAzANDxIaBAUDAgUDAwMBQAMOBAMVCAIHAgkDIw8DCwkIEz0BCwcyBDYBF?= =?us-ascii?q?BQHKyFfl0qDCC5uBk1PAUEMFw4LBAkKBCsBAhuTICUmkgSBNVCdCYIABwGEH?= =?us-ascii?q?owelVMzhASNE5htZ4gDkQOOCJVkEwuFJhEkEoFIJIFcMxojgQGCNk8DGQ8xJ?= =?us-ascii?q?o1WCwuDXoRvJMMxKDI8AgcBCgEBAwmHToEeiH40gUsBAQ?= IronPort-PHdr: A9a23:oAgFHBE2Wxv7rjFcOgVsc51Gfw5FhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21xmRAc6EtK4ew6qO6ua8AjdGuc3A+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKwEcI oFpeWQhwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyK wi9oRnMusUMjoZvJKg8xgHVrnZHdOhbx2FlKF2Nkx3h4su84INv/z5ftv8v+cNMS7n2cqo9Q bdFEDkoLmc56dHkuhXEUQaB/GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjqs9 6hkRAb2hSkIKjA16G7YhNB+g6JduxKhugdww5XIb4GPNfpxZb3ScNUHTmdcRMlRVihBAoShb 4sTCucKIOhVo5Xhq1YIsBCzAxSnCuHyxT9SnnL50rY63eQvHw/FwQIuAc4BvnvPodXpLacfS /y5wLXUwTjBaf5dxDfz6JLPchAkufyCWqh/cdDNyUIyEQ3Fk06fppf7MDOPzeQGrm+W7+tuV eKrlWIrtht9oiCyxsg3jonJh54aylHY9SR524s1Kti4R1R6Yd6gCpdfqyaaN45vT84kXmpnt zo0xKcctp6nYCgF1o4nxxjHZvGIcYWG7BztWfuPLTtlhHxpZLKyiRa9/0W9xODyWca63lZWo idZk9TBt38A2gLT58WDSPZw/0is1zmL2g3X9OxJJ10/m6TcK54k2LEwl5wTvFzZHi/rgkn2i quWel069eey8OTmYqnppp+GOI91kAHyKKMumtawAek+LwMAXHCb9Pyi2LH/+UD1WrZHg/0sn qXHrJzXJt4XqrO6DgNI1Iso9gyxAC280NsCmHkKNFJFdwyDj4juI1zOJer3Dfa7g1i1lDdrx e3KMqTvApnQLXXPja3tfbl6605bxwozyc5Q64hIBbEGJfL/Qk7xtNrGAR8lKwG43frrBdFn2 o4dWW+DGLGVPL/RvFOS++4iIPSAaJcQuDnnKvgl4/DujWU+mV8YZaSp3JUXaHSmEvh7OUmZe WfsjcwFEWcLogU+TfDqiV2ZXD5cYna9RaM85jUhBI26CofDQ5ihgKad0yejAp1WemdGB0iQH njycoWEX+4AaCaTIs96jjwJTqOhSo8k1RG2rgD20btnLuzO+i0Zr53vztZ15/fLmRE07jN7F 96d3H2VT2FogmMIQCc70L1nrUxy1FiD1qt2jeZAGNNd+v1FSh06OoDCz+J5Ed7/QgfBcc2IS FaiW9mmBTMxQs8oz98AfkpwGMiuggrM3yqtBL8VmLiLC4Iu/q3A2HjxIt5xxGvF1KkgilkrW tNBO2KoiaBh6wbeG4jHn12EmKavb6scxjLC+X+bw2SXpE9WXxZ8Ub7dXXARfkbYt8j06F7fQ bO2ErQnKgVBxtaCKqRUbt3pik1LSu/6NtrGbGzi01u3UD2Bw7fJSIvxZy1J1yzYDA0AkhsP1 XeALwk3QCm79THwFjtrQHfmeV+k1fR0on6hVQdgzg+ONRQnz6e//h8ehOCNY/wW17MA/iwmr mMnTx6Gw9vKBo/Y9EJad6JGbIZliL8m/WfQtggme4elM7gnnVkGNQJ+o0Lp0RxzTIRGi8kj6 n0wn0JpMazN9lRHenuD2IzofKXNIzzz8hT1MujOx1va0d2X5rYn5/ExqlGltwasRQI563sy6 9BOyDOH44nSSg8bUJb/SEEyohl0o+uDJDEg7YfV3nxwIIG7tzbD35QiA+52gg24cYJ5N6WJX BT3D9VcB8WqL7kynEO1axsfIO1I3Ks9Psfjc/nfnaDybL8mkzWhgmBKpot61ypg7gJaTejFl 9YAyvCchU6cUivkyUymqobxkJxFYjcbGiy+zzLlDchffP86e4FDEmqoL8Cto7c2z5fwR35V8 kKiDFIayYeofxSVdVn0wQxX0wwev3WmnSKyyzE8nSsuq+KT2ynHwuKqcxRiWCYDRWdm1w6qO ZW+i9ERXVS5RwcsnRqho039wukTpahyKXXSXVYdZzL/fAQAGuO7sruPZdIK6Yt9630GFrThJ wrCGvik80JJtkGrV3FTzz06aTyw75DwnhghzXmYMG42t33BP8d52RbY4tXYA/9XxDsPAidi2 ly1ThCxOcek+dKMmtLNqOe7AiigWJkJKG/z0ImEtSC6+XxCDhi2nvT1kdriW1tfs2ezx5xxW CPEoQypKIjl0/7jd/p6dE1pD17g+uJ1H4h/ls07g5Raih14zt2FuHEAl2n0K9BS36nzOWEMS TA8yNnQ+AH52UdnIxpl3qrBX26Giotkbti+OSYN3z4lqttNEOGS5aBFmi18phy5qxjQaL5zh GVVxfwr4X8cy+YH3WhlhiSTBupLW1FFNyjtnBWU/vixqaxWYCCkdr342EdlnN+nBa2PuUkGA Ce/KspkR3cgqJwvaRrFyxiRosn8dcPVbM4PuxHciBrGg+VPadowmvcMmSt7KDf4tHwhxfQ8i E8Lv9nyt4yGJmNxuaOhV0QAZ3ulOoVJomGr1PYHzaP0l8i1E55sGysGRs7tRPOsS3cJsOj/c h2JCHs6o2uaHrzWGUme7l1npjTBCcPOVTnfKX8HwNFlXBTYKlZYhVVeXTs+xMd/Dh2gwM3qc Vtozj8U71/87BBLz6g7Unu3GneavwquZjouHdKeIh4Mt0da+k3RMMef8vNbECRR/5nnpwuIY D/+BUwAHSQCXUqKAErmN7+l6Izb8uSWMeG5KuPHfbSEreENH+fN35+k1ZFquiqdLsjadGc3F OU1gwAQOBIxU9ScgTgETDYb0j7Af9LO7gnp4TV594i+6Ki5B16pvNHSTeMUaZI2pVi3mfvRb rHLwn8odXAAkMtLnCGtqvBX3UZO2Xs2Jn/9TPJZ736LFOWJxedWF0JJMXotcpYYqftthE8Vf peKwtLtiuwi16BzUQwUEwe73JnuPJ1vQSn1IlrDAAzj2K2uAzrNzom3ZKq9TeYVl+BIr1irv i7dFUb/PzOFnj2vVha1MOgKgjvJdBpZ8JqwdBpgEw2BBJrvdwG7PdlrjDY33ax8h3XEMnQZO CR9dEUFp6OZ7CdRiPFyU2Jb6X8tIe6Bkiefp+7WT/Re+eNsGThxnvlG7W4SzrJU6GRARqUwl nKC95hhpFapluTJwT1iEVJPpjtNmIOXrBBiNKHepfwiET7P+BMA63nVCgxf/YM0TI2y/foIm p6WxPugTVUKu8jZ9sYdGcXOfceOMX56dAHsBCaRFwwdCziiKWDYgUVZ1vCU7Hyc6JYg+f2O0 NIDTKFWUFstG7YUEENgSZYDLpMtB3U8jLSfjcUJ+WuWoxzYRcEctZfCHKH3Y72nOHOCgL9Ia gFdi6v/NpgWP5bn1lZKb1B7mMHOGROVU4kd+2tuaQg7pEgL+397BD5WuQqtekam53kdEuSxl xg9h15lYOgjwzzr5k8+OlvAoCZYeKYZltDsgDTXezn0fv7YtWB+DiP1sw01MMq+TV8lNEu9m ktrMDqCTLVU3eMInYVDhwrVuJ8JEvlZH/UsXQ== IronPort-Data: A9a23:45jkJaPhiP+cl27vrR0Mk8FynXyQoLVcMsEvi/4bfWQNrUorhDEGm GRKWm2AbP6ONmr2L9wjOdng9UMHv5OAnNcxSnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48D8hk/jOHuehYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWckWo4ow/jb8k437a6j4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gvx4xc3B9q5pa3we0sMT6S6FVDmZq1+BsBOKjAbzsAD+v5T2Mg0MS+7uB3V9zxF8 +ihgLTrIesf0gIgr8xGO/VQO3kW0aSrY9YrK1Dn2SCY5xWun3cBX5yCpaz5VGEV0r8fPI1Ay RAXADUjMUiI3OCX+r62aNk3gcIMNMjWPIxK7xmMzRmBZRonaZXKQqGP4d0BmTlp1pkIEvHZa M4ULzFoaXwsYTUVYgZRWM94xr/4wCCvKlW0q3rNzUYzy2ndyFYolqDwOt7Ucd2WVO1am0+Zo iTN+GGR7hQybYbBlmverS7w7gPJtXP2aZwXBqGJysN73R6amE1DOVoxUHLu9JFVjWblBosHd B1KksY0loA5/UmvC938RAGQu2+BphdaWtxKEuR85hvl90bPywOQB2xBSjwYLdJ/5JZwSjst2 VuE2djuAFSDrYF5V1qY2OjMpmiwGBIZIE0yPigCYhME3tns9dRbYg30cv5vF6u8j9vQED72w iyXoCVWu1n1pZ5Wv0lc1QCY6w9AtqT0ohgJChI7t19JAyt8bY+hIoiqsB3VtKYZaomeSVaFs T4PnM32AAEy4XOlzXTXKAnuNOj4jxpgDNE6qQM+d3XG32r0k0NPhagKvFlDyL5Ba67ogwPBb k7Joh9275ROJnasZqIfS9vuVpVynfS7SIW0Bq28gj9yjn5ZJFHvEMZGNR744owRuBN3+U3CE c7LKJ/zVCxCYUiZ5GHvH7ZGi9fHORzSNUuIGMmjkEX5uVZvTHGSTrgBPROPaOt/hJ5oUy2Em +uzw/Cikk0FOMWnOne/2ddKcTgicyJnbbio8Jc/XrDYfWJb9JQJUa65LUUJINQ9x/w9eyah1 i3VZ3K0P3Kk3CWceVTQNSkLhXGGdc8XkE/X9BcEZT6As0XPq672hEvGX8JvJed1x/8p1vNuU fgOduOJB/kFGHyN+C0QYdO55MZufQiiz1DGdSe0QikNT7g5TSzw+/jgYlTO8gsKBXGJrscQm eCr+T7aZpshfD5cKvjqRsih9H6PmEQMuflTWhLIK+ZDeU+3/4lNLTfwv8ANIMoNCEviw2Ka3 jmJHR03ovnpnL4l1/XkmJLe/pmbSft6Ok98AWPgzK2XMBPC9TGJ2r5wU+evfBHcWljr+a6kW /5n8vHkPNADn3dIq4BZAZ8x6Y4fvvzB/6R7yCZgF1X1N2WbMKtqeCS67JMep59zya98kirof EC2o/1xG6iDYeHhG34vfDsVVPyJj6woq2OD/MYOARvI4QFs9+C6SmRUBR6HjRJdIJZTMI8Ix eQAutYc2zegiygFY8q3sSRJy1uidnAwcb0rlpU/Mr/ZjgAGzlJjY5uFLgTU5JqJSctHM2h0A zuyqZfBuY9hxRv5QyJuLUTO4OtTvoRRmRZoyFRZGU+FtOCYjdAK3TpQ0w8NcCJr8jt93dleA FNbb39OGf3W/hNDptRyYGS3KgQQWDyb4hPQznUKpk34Tm6pdGrHE0MlM83Q/kpDq2N4VRpY9 YG+12zKf2vLfsbw/y1qQm9jiaXpYuJQ/z34uvKMPpq6DbhjRhH62Im8ZnEtqSr3Je8Um2v5/ fJL+sR0Yo3FbR8gmbUxUdSm5O5BWSK6K3xnatA/2bECAkX3Wiy4gBqKIGCPIvJ9HeTAqxKEO pY/N/B0dkqM0QiVpWomHo8KGbh/mcAp6Pcker/GIW0nsaOVngF2saD/pzTPu2s2f+pAycoNC JvdVzanIFyigXF5n2zsrs4dHkGaZdICRhP33cHr0eEvOq8AjtpRchAJ4uPph0mWDQppxALLn QXhY6SN8fdu574xlKTRE4JCJT6OF/XNaMqy/jqO7ut+NeH0DZ+Wtic+iEXWAABNDL5AB/V1j eustfD07mPkvZE3cWbTpLeZHYIU58/oBOtzGeD0JUl8giGtdpLN4RwC2mbgMr1PsopXyfeGT juCSvmbVIAqSfYE41ZKMQ5MEA04CZXnSovFugWD9++tDDoZ2iz5dOKXz2fjNzxnR3VZKq/AB R/RkNfww8JTs6BnJgIOXtNiCL9GeG7TY7MsLYDNhGPJH1uTow2wv5X5nkAd8hDNMH6PFfj67 b/jRhTTcBeTurnC/OpGsr5d7wEmM3JgvdYeJk4t2cZ6qzSfPl40Ke4wNZYnCJYNtgfQ0Jr+R i/GbUp8KCHbcAlHTy7B44XYbl/CPtANB9b3GGV4tQfcISK7H5iJD7Zd5z9tqSU+MCfqyOa8b 8oS4DvsNxy22YtkXvsX+uf9u+p82/fG3TgdzCgRSSAp78o2Wt3mFUCNHTahkQTCGsDJ0UHJf C07HDAdBk68TkH1HIBrfHs99NT1et/w521AUMtN6I+3V0anIClox/j2OuW12boGBCjPDKBbX mv5HgNh/EjPskH+esIVVxYBjqp9CPbNFc+/REMmqcv+gInoglka0wg+cebjgS3sFMOz078Qq 9V030UDOQ== IronPort-HdrOrdr: A9a23:9J116q3eBRG14aTxcLldEAqjBHUkLtp133Aq2lEZdPUzSL3lqy nOpoVn6faQslwssR4b6Le90cW7MBfhHP1OkOss1NWZLXHbUQKTRekIjfqA/9TOIVyaygc379 YaT0ERMqyLMXFKyej/pCa1G8s929WcmZrY/Nv2/jNCSUVFZchbgDuRyTz2LqS1fmR7LKt8Op yb6M9K4wCtfnkadYCSGmQFNtKzweEjWKiJXffOPX8a1DU= X-Talos-CUID: 9a23:qoIYqmA24+9iNTD6EyxJqxYfQcIESHHQ7keLJEmXEWdUSLLAHA== X-Talos-MUID: 9a23:MFLmCgiq9X8D6wUTZQ54p8MpZMpZ/aG8FHExrIRb+MDaFHxBfBCYpWHi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.18,301,1751234400"; d="scan'208";a="126793744" X-MGA-submission: =?us-ascii?q?MDHv7zC0jW7jAe7OtONiz3/jZyb737el1I5rMi?= =?us-ascii?q?A18IhldhHw8hdZKhZutxeFzFNKHTuEQuOk6ZwDx2yXTIpEBXpviEIHLf?= =?us-ascii?q?YPVH29b1M9PUrZG9sG3+QFuO554JNFnBdTdJfzHg3LideJ7Mm3WD3Xxe?= =?us-ascii?q?QfKtiWU3n1+Uj7G11qeGhEFA=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; 29 Sep 2025 09:46:52 +0200 Received: by mail-lj1-f181.google.com with SMTP id 38308e7fff4ca-36639c30bb7so43792721fa.3 for ; Mon, 29 Sep 2025 00:46:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1759132011; x=1759736811; 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=I807mTliSDszJODcCDQq/0P//bVUaFxhFxaLm1487I8=; b=eiSOX1FY+C3+lMAVXBhSayqed1wmClz2PiU7xMinYARd/PuPCRv7O9JA4Uo38Nl0a8 5/GPm3sXGZJ+BMcbuTXHumJuvCHF6MZeQktjvp90BakNcDaMjYUspDmEA5FkWF22fSRs D5JCWzN9hqAci13Z8L18AYC4uKNXojIlPId7TpKO+grctizZWnDzA1HK5R9xGgS7DW5R PIJ0p0IA2yljOTMW+cRirLpQ6iOlEbHn+/D5JyYM6KPRSmPS+ljDj/icnIN5WSkqgfKO SIrBhHPwxHjw/D3F/Q5QrIeXaZgu/3/edhBgqg+aB90jBXv8mQIMW+jBS9IUS1hTZNsn F/8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1759132011; x=1759736811; 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=I807mTliSDszJODcCDQq/0P//bVUaFxhFxaLm1487I8=; b=O/IpzHzIDHDWRHAAp/TDtKJxhM2gEhatq7qPqFWLzGL9NhVFv5PCtLMEvcKPOSvcfX ZQQWiUqhkAiFMz2gfw/y+KEX5lqYyV56m2IAs5wxsxpyROI5CyvYU82YbSFjSg3be18H xGyAbwi5+J3trShIWiziVHXOoxqGGJir/gJt8eqoRZPe/QmIV1N9Enoxl6SoFl7UDyWE 7SKwKbWlxNAb+CDr8UiPAP/4yJG99KYuMfwZqsbFrrZ1enx/j1HgWxuknEE2NsjOzFXv P0jKdIWnhbsNtGr6wx8LPltV2okZxiMSk7/E9uc+9wbEb17CN3Aen2xh/cPoeosARFeF iIdw== X-Gm-Message-State: AOJu0YwSZ183dKyiIfG/covv/4mYoJfNVmkMnRLiHLKL1ZBLkmAb5EUJ hQN13gRrNJ1R8AOt3x8yyyKjL0NybliAfhm02xf9aMgbGpN2jdWOf3CPsrGBgZnzOlA2m9Rl5za GMKh40gOspz/ZHrxePBjj8LyIQsJq5PCgBw== X-Gm-Gg: ASbGncsrMpH4rfyZbY93IXPR2y/DtQfyOKu+INBbrTv81yLuFbYSfMOqZVktZFBTfJe upGAIy9EoXXvh6EG1aCMiSXTnEFv9aJeUeBQrdyncS6XAShTwGzC87gPkHMFtL850qHHuNKho5z U1vGqy/Ra8tv2v/gWZiGh7vBfXr5xW4rfL9Tq0Plw6HVDWYVxAnSg/Rs2MQCcVTNBUH1WFKHrRH I3FLIxWMQ== X-Google-Smtp-Source: AGHT+IGvV1Co+waF3klVo1nt8MLZg0BKjWWcfJXR0wJxNBPg35XH4hwndRiVTALOerNrHueOlblw5OO2eUSaRvAoYSg= X-Received: by 2002:a05:651c:25c4:20b0:372:9bb6:ac7c with SMTP id 38308e7fff4ca-3729bb6caeemr5460971fa.32.1759132010377; Mon, 29 Sep 2025 00:46:50 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 29 Sep 2025 02:46:50 -0500 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 29 Sep 2025 03:46:49 -0400 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Mart Lubbers Date: Mon, 29 Sep 2025 02:46:50 -0500 X-Google-Sender-Auth: bUdec5BWrQeDSEV-CmL4xEZ6BhQ X-Gm-Features: AS18NWBtyDeJmmRRDDynOoWS5P6d4EI_MhHMjVhB4Hkq-PMh2-JDcenbl0RV2Vk Message-ID: To: Caml-List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] TFPIE 2026 - Call for Papers Reply-To: Mart Lubbers X-Loop: caml-list@inria.fr X-Sequence: 19380 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/conferences/?conf=3Dtfpie2026 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 2023, Anywhere on Earth Notification: by December 30th 2023 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response) TFPIE Registration Deadline: 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 202 ## 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.