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=M+ADnll2; 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=gnsAmuyU; 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 91FBB400A0 for ; Fri, 5 Sep 2025 12:53:05 +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=cinn9fMPM/UwSAq2E5qBFk/28EJtkKXHjNWP3Fv6WVI=; b=M+ADnll2fGi9kG0pqCnURgPl/F1t8IC8xnC8qZcPJfyTfMsUkY0T5TQi 4JMJB2gdlpEu3Ajp8AJ3TtN4Zf0ML4pQYPGB3uQlv9aKT11wrPqla+jYt rJYPPTFM3zAMW4dQpmNoJ1hzfFKkJRbvzwQ4psRHWonVZgcuPvjPjWcy+ c=; X-CSE-ConnectionGUID: h87cQpx6QGuXYaB7BgpdjA== X-CSE-MsgGUID: TxR81tifSD+5h+3JAXr7Cw== 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,241,1751234400"; d="scan'208";a="237709460" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Sep 2025 14:53:05 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7A9B3E0172; Fri, 5 Sep 2025 14:53:05 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5F178E0171 for ; Fri, 5 Sep 2025 14:53:02 +0200 (CEST) X-CSE-ConnectionGUID: Bq+eNpL6SyKACNLJryO8lw== X-CSE-MsgGUID: Gww7xUMdSueODRB50cVNNg== IronPort-SDR: 68badd2d_XyfBPUTlqZVFzR78fL3l2anMrkm+mT4AZ+/FjEAdabBiho9 lYQ6/tiyVKw4P0fPWT+8E+M/FCYNGUl8KKoCgaA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FqBQCt3LpofLHQVdFaHgE8DAILFYQTgQFZNAQLSYRVj?= =?us-ascii?q?1CCIYt3gX2RaT0CDwEDAQ09FAQBAQMEhDpGjCsCHgcBBDQTAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABASIZBw4SKYZPDYJbgSxhAgUDO?= =?us-ascii?q?wEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCFBg/OAsGH?= =?us-ascii?q?QEbHgMNBRAPAiYCIwERAQUBIjWCYYIiAQYQAQMNKAMRBqJygiSBBUKLPoEVB?= =?us-ascii?q?QIWgQGCDQbaXwoZKA1xgWECAQYUgQcuhHUpXII5HQGBboN+g32BIYEYgRCBF?= =?us-ascii?q?TWEOIFcAQKBdINGWYIQBIIigQIUhW2KIxEDBglcgx+HFSYIAQYXAwcHCQUEH?= =?us-ascii?q?AYFBQI/CQYFChIDBAMEBAECCxMJAwMCDgIIAwIIBhkBPxIEEwoNCwcFHwoCD?= =?us-ascii?q?BEKKCISKwoBAgFaNAEIBgICBAQCBAwCCQICBQcCEQMEAQEIAgItAwEDGQgJC?= =?us-ascii?q?AILBRQYDAsHMgMQAQQJDAEBAgQCAhoCAQMIBgENAgMCAgECAgQCBAYHBAgBA?= =?us-ascii?q?QIBAgEBAQQBBwEBAgIDAwUDBQMIGQEVCRUDBAUCEgICAQcBAgEBAxkCAQMDB?= =?us-ascii?q?AELAgEBBBsEFRYkAhkCAQUFBQEDBAsQCAMCBQQCAgYCBA4CBwICGgQCAgEDB?= =?us-ascii?q?AYDAQIIAgIHBAgDAQICBxcCFQECAQMCCQoEBQQDBAMCAgIBDAIBAgMCAgECA?= =?us-ascii?q?QEDAQUGHQIBAw4IBAICBwICIA8LAQIBAQYGAwMDCgMBCgEBBgIBAhIFAgICB?= =?us-ascii?q?AICBgQlAQIBAgEBAQUCAQIBAgQCBwIBAgMIAQUCBgECAgkBAgECAgIBAgEBA?= =?us-ascii?q?gYCAREEAQICAgICAwEDBgICAgICAgkCAgICBQIFAwIDBQIFAgMDAgMEAwkDA?= =?us-ascii?q?wgDBgQDAQECAQICAgECAQUCAwkBAQMCAQICAgMGAgUFAQMKDAEBAgEDBQMDB?= =?us-ascii?q?AMGAQ0EAwIEAgICAgQCAQUDAwIFAQoBBAIBAwMDBAQDAQICCgwCBAEBAQECA?= =?us-ascii?q?QICCgMCBQEDAwERAwQBBgUFBgIHCQMCAgMCAwIEAwUEBAIEAwMCAgIBAQoCA?= =?us-ascii?q?gECAQEDAwcGEAECAQ8CAwMEAwQGAwUJAQcBAQEBAQIUAwIEBREIAgEBHwEVA?= =?us-ascii?q?gcBBAMnHgICBgICAgIDAgIDAwMBAgEBAwUBAwIDAgECAQYCAwMDBQMBDgICA?= =?us-ascii?q?wEDAQYEBAIHAQICAg4BAwICCQIHCQgCARMTAgICAgECAgECBwEBAgMCBQUIA?= =?us-ascii?q?gEBAQICAwILAgIBAgECAgMCAwIGAQkEBAYBAgEBBQQDCQECAyQDAwQFAwICA?= =?us-ascii?q?gcCBAMZAg0GAQQDBQUDCAMGAgIDDwMHBgcCBwQCBAICAg4CAwMHBQICAwEMB?= =?us-ascii?q?AcCAwICEgMBAQIPAgICDAEBBAICAgUCHwoOAgcKAgEDAQEKAgQEAwoGAgYFA?= =?us-ascii?q?gIBBAMIAgECAgECCAMCBwMCAwIBDxkDAgMKAgYFBAgCAgMDBAICAgkBAwYBA?= =?us-ascii?q?QEBAgICAwICBQYOBAQEEwogAwEDBQIEBwIBAwICAQQBAQMDAgECAQIDAQICB?= =?us-ascii?q?AIDAwMDAwQFAwEBAwIDBQICAwICAgIEAQEFCwECBAIBAQQBAQcFAwEDCQUEB?= =?us-ascii?q?AMCBAUDDAICBAIDAwYDAwYDAgUCBwICAQUFAgEBAQEMCwICAgcDDgMCAgIDB?= =?us-ascii?q?AECAwQDBQIDBAEBAQEEBQIEAwICAQMFAgIBAQICBAUCAwMGAgQCDwIBAQUQA?= =?us-ascii?q?gkDIw8DCwkIEz0BCwcyBDYBFBQHKyFflQeBAYIiBW4UPQJ5AhVBF4EPpSmhD?= =?us-ascii?q?gcBhB6OdpJ7M4QEg0aiOmeZBqM8LoVGESQSgUkjgVwzGiNQMYI2TwMZDzEmj?= =?us-ascii?q?WGDaYgBsVwmMjwCBwEKAQEDCZIegUsBAQ?= IronPort-PHdr: A9a23:Te8IcB8E2ZoPHv9uWXi1ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Z wqHub493QSBHd2Cra4f0KyO6OGocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBJGvFadXHVGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfuMQam5duJ6k+xhbKpnZFdfldyWd0KV6OhRrx6cm98ZB5/yhMtf8t8tNLXLnncag/U bFXAzMqPnwv6sb2rxfDVwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1iaCM8L5VLw5Rzus4 bpzRBDnlCkIOTg58HrKisNrl6JUvAihpx1kzIHKZoyeKedzcbncfdMeQmpBQ9pRWilcCY6yc 4cDE+wMNvteooLgpVUBsAG+CBGjC+P0yjFGiHz407Ak3es9Hg/LxxAgH8sUvXjIsNn5KKUfX Oaox6fI1zXDaPZW1C/65ofSaBAhveyHU7RtccXK0kYgCRnFjk6NooHiPjOV2OANv3aG4+Z6T eKvlnUoqwVwojezx8cslonIi5kaylDB7yp5wYI1KcekR058ZN6pCZ1dvDyVOIVqWM0tWX1ou Dokxb0cv562ZCkHxIkpyRPRd/GJfYeF7w7sWeuNLjp0mHxodby9ihuv/0Ws1OPxW8273ltIs iZIndrBu24R2xLd5MaKROdw81un1D2S2Q7T7eRELlo1lardM5MhzL8wlpwcsUjZACD5hVj2g LWLdkQk/OWj9ufpYq3+q5OCK4N5jhvyP6cul8ClH+g0LgsDU3KG9em+1rDu+1DyTq9Qgf0si KbZtYjXJcQFqa69BA9YyoMj5Ay+DzeiydgYmXsHIE9cdBKJkoTkOVPDLOr3Dfe4hFSsnzNry O7cMrL9BZXNK2DPkLbnfblj905R0BQ/wcxb6p5OCbwMIOj/VlHtuNHbFBM1Lg65zuT/BNV4z IweWGaPAqGDMKPVtF+F/uMvI+eIZIMLpTrxMeAl5+P1gn89mF8SYaip3YcXaX2jEfRmJl+WY XvogtsbDWgKuQ8+QPTwiFKeST5Te2qyX6Uk6z4nEo2mCIPDSpmpgLyAxye7AoZbZntGC1CJC XfnbZ+IW/YKaCKII89uiCYIVba7S4M50xGhrxf1y6B7IerM5i0YqZXj2cBo6+HLmhE96zt0A ceH3WyVQW56g3sERyUo06BhokJz0E+O0a1ijPxZEdxf/vdJUgUnOZLFwex2FtL/VwDbcteGT 1amRdqmATUvQd4r39AOZEN9F82/gRDA3iqqBqcYmaSECpM67KzSw2T8KcBlx3nb0akulUMmT ddXOGO+n6Bx7wfdC5bSk0WBmaanbb4S0TLQ+mme1WaOp1lYUABoXqXFQ38fYkzWoMzh6E3bV 7GgBudvDgwU4seHLu5ua8b1xQFNTfLnfdDfeH6ZmmGqBB/OyKnaP6TwfGBI+SzHFAAgjgoZ8 GydfVw/CCP7+iTGETZqFFnuf1LE/ux3qXf9RUgxmVLZJ3Z93qa4r0ZGzceXTOkei+psUEYJr jx1GAz4xNfKE5+aoAEneqxAYNQ76VMB1GTDtgU7MIbzZ7t6iAs4dAJ691jryw0xEp9JxMkkq ClzihJvI6aZ21JdZhuX2JnxPvvcLWyhtAu3Zfvu00rFmM2T5r9J7f05r1v5uwT8F0QmqSwhy 8Rf13qX54nbJAUXWJP1FE0w8ksyvKnUNw864Y6cznhwKe+0vzvFjsouH/cgww28cs13NaqFE Er2EZRfCZHxd6olnF+mah9CN+dXnEItF+WhcfbOmKuiPeI62SmjkXwC+od2lESF6yt7TOfMm ZcD2fCRmAWdBX/6ix+6v8b7lJohB3laF3ejySXiGI9aZ7FjNYcNB2C0JsSrx9J4z5fzUn9c/ VSnChsIwsisMRaValX820VX2yF16TSmly/ilnpsjjstr6GewD3mzOHrdR5BMWlOBSFjgVrqP YmonoUCRkH7Cmph3BCh5Ev82+1avPEldziVERoOJXCmaTg9DfjV1PLKecNE5ZI2vD8CVe29Z QrfUbvhu14A1CilGWJCxTc9fjXsu5PjnhU8hnjOSRQ75HffZ8x0wg/SodLGQvsElDsIQHMhz yHKDFy9NNi17P2bkp7Ctqa1UGfrBfgxOWH7iJiNsie2/zggABO7xan1gsDtFQkx0DPq/9ZvX CTM6h37Z8O4ssbyefIidU5uCljm7sN8EYwriYo8iqYb3n0Cj4mU934K+YvqGe1Swrm2LH8ER DpRhsXQ/BCgwkpoaHSA24P+UHyZhMpnfdizJG0MiGox6MVDCaHc67Ih/2M9o1S891uXeeV3m jYWyOc/wHEfiuAN/gEqy22RD6sTEk9RISH3307Qvpbu8eMNPDbpKOfvnENl+LLpRKmPuARdR Gr0dt85ECl8498+eFPA3Xvv6531LdzZbNYdrBqRwHKix6BeLJM8kOZPhDIyYzqs+y14jbRj3 Vo3gs7p2erPY39g96+4HBNCYzj8ZsdJvyrokb4bhMGdmYamApRmHDwPGpruV/OhVjwI5pGFf 06DFiMxrnCDFP/RBwiavQ1noXaVStazKnuTJXIY0cRKSxyUJUgZiwcRFmZf/NZxBkWxycrtf V0srDEf4gSh7ANRwOZpPBjjQ0/QoQ6pbnE/T53Vf380pklSokzSN8KZ9Od6GSpVq4agoAK6I Wuefw1UDGsNVx/MFxX5M7Kp/9WF7/mAC7/0Ma7VebvX4787Nb/A1de134Bh5TrJKsifIiwoE aggwkQaFXFhR5aGx3NWEXFRz2SVKJfF7Bakpn8u8Zv5qaW3HlqpvczWVd4weZ1u40zk2//Sc b7Nwn8jeXAAkcpTjX7QlOpFhQBU1nEoLmj3V+xH7H+FTbqMyPUOUVhBMHI1b5EOt+Vlj2wvc YbNg9fxnNaUl9YTDFFIHRzkk8CtP4kRJn2lcUnADwCNPaiHIjvCx4f2Z7m9QPtelrccsRr4o judH0L5W1bL3zD0SxCiN/1NhyCHLVRfvo+6aBNkFWnkSprvdBS6NNZ9iTB+z6czgzvGMmsVM D40dE0ozPXY9SRDnvB2AHBM9FJgJOiA3iKbtqzWc8lJ9/RsBStwmqRR53F7g7pZ4SdYReBkz Svfqtk9xjPu2uKLyzdhTF9PsmMR3NPN7RgkY/2JsMAfBiWhnlpF92ibBhUUqsEwD9Tuv/oV0 d3TjOfpLzwE9dvI/MwaDsySKcSdMXNnPwC6fVycRAYDUzOvMnnSwkJHl/THvHybqsJj7IDxk p4PQb5HRXQ6E/obDgJuG9lIc/IVFns01KWWisIF/y/0tB7KWMBTpYzKTNqXCPTrbTKb1PxKP kRXh7z/KosXO8vw3EkoOTwY1MzaXkHXW95KuChoaAQ59V5M/HZJRWo2w0v5awmp7Rf7+ta7m xc3jk11ZuF/rV8EBn84I1PLoG07l0xjwb0NYBiUeT/1aaOyBMRYUnWr8Uc2NZz/TkB+agjgx SRZ IronPort-Data: A9a23:ZjYy7KqLZCM8JGu4+m/CY2Y/HYdeBmKxYRIvgKrLsJaIsI4StFCzt garIBnUPvmOa2GgLd12bNmy/UxVsJTcydNmSQZtrHhmEi0W8ePIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVaiZfHk3HVI5IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7ko/1BjOkGlA5AFmNKgW5AW2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk L2hhrTsIesdBZAgrcxGO/Vu/46SCoUdkFPPCSDXXcV+VCQqeVO0qxllJBle0YH1Zo+bqIyBn BAVAGllU/yNuw656JiiCeRKnuB9F9jIFag5nlN63BaJCelzFPgvQ42SjTNZ9DI5h8QLGfSHI sRANmUpYxPHbBlCfFwQDfrSns/y3ii5I2Ae8grF4/NovAA/zyQpuFTpGNvbfobTA91IlEKZr WPa7kz2BxgbMJqUzj/tHneE3LSQwnuqBNhCfFG+3tF1nwKD+0kfMwAbcneBi6ThgXCYfd0Kf iT4/QJ18PFqqx31JjXnZDWzqXuA+xodQMZ4CPw/8AjLy6zO4g/fCHJsc9JaQNkvtctzQT5zk 1HQwIyvCjtov7mYD3ma8994sA9eJwA/NCwPQzcgEzAUwPDIhqURlAPoHtJ8RfvdYsLOJRn8x DWDrS4bjroVjNIW26jTwbwhq2LzznQuZl5qjjg7Tl6YAhVFiJlJjrFEBHDe5PdEaYKbFxyP5 Sdb3ceZ6+8KANeGkynlrAQx8FOBtqrt3N702A4H83wdG9KFpSfLkWd4vmkWGauRGpxYEQIFm WeK0e+r2LddPWGxcYh8aJ+rBsIhwMDITIu4CaiNNoUSPcIpJWdrGR2Cg2bAjwgBd2B8wckC1 WuzK53E4YsyUPQ+lWXvHb91PUEDmH5hlT+LLXwE8/hX+eHDPSbKGOlt3KqmYec+46eJ6ATT+ JA3Cid540Q3bQEKWQGOqdR7BQlScxATXMmqw+QJLLLrClQ9QwkJVaSBqY7NjqQ/w8y5YM+So ynlAie1CTPX2RX6FOl9Qis8MumzB8wu/CNT0O5FFQ/A5kXPqL2HtM83H6bbt5F+nAC65acsF 6dXSNbKGflVVDXM9hIUaJS3/sQodw2miUjKd2CpaSQ2NcwoDQHY2M7WTi22/gk3Dw2zqZQfp Z+k3VjlWpYtfVlpI/vXT/ON9GmPm0Yhtth8ZXaVHekLSn7QqNBrDwfTks4IJ9o9LESf5zmCi CeTLxQqhcjMhI4X9tP2q7iOhNqrGbEmH25xPWrS3ZCpPwb0o0uhxo5hVr6TXDb/DWnbxoSrV d93/drdbsIVvQ9tmJVuNppW1oQ87IbLi54A6zo8B1TNTVCgKo04E0m8xcMV65F8nO5IizW5S mek24d/K76WHOjHDVRIBg4uTtrb5MEugjOIsMgEehTr1hRWooiCf15ZZSSXqSpnK7BwDoMp7 MEhtOMS6C29khAaCcmHvA8F61WzKmE8bIt/uqE4GIPLji8Z+mNGa7HYCQ7058irQPdIOU8IP DSVpfTjg5Jx+0n8SEcwREP9hbdluZczuR5x3AAjIXaNkYH7nfMZ5kBa3gk2aQV39S959dxPF FJlDGBPHpXWzQxU3JBCe0uOBzB+AAao/x2t6lkRy0zcYUqadk3MC2wfP+yy0lgT2D9edGID/ ZWz6mXsYRD1du7fgwowXk9EraT4bNpTrwftpuGuL/6nLbIbPwX3o/aJTnUajjfaGuUzjxDji cgw2dgocoz9Fyobg5NjOrmgzb5KFSy1fj1Tc89u7IYiPD/5ajqt/ROsNkroWMdGB8KSwH+CE 8Y0e/5+DUWv5h2v8AIeK7UHeYJvvfgT49EHRLPnCEgGv5abrRtrqJjgzTf/tkB6X+RRldsBF a2JewKgCmCwgV5mq13JpuRAOUu6ZoAgTy/41+aX7u4INswitMdBTEIM6Ya37k6laFZfwxGpv Q34d/D3yc5mwt9ShIfCKPhIKDi1DtLRb9621j6Pne5AVv7xFPvflhg0rwDnNjtGPLFKVNVQk 6+MgeHN30jEnegXVjnZkqaeC6Nm4tWWY9tHFND8MUsAzDWwAt/oxx4l5WqDCIdolelF7ZKNX DqIa8qXdP8UVexCxXZTVTNsLhYFB4nzbYbivSmYvd3WLjQ8iCvpdMiG813tZkFlLh44AYX0U FLIiqz/9+Jmo5RpLz5aIfNfWrtTAkLpAIkifP3P7QioNHGi2A6+i+GzhCgbyG/5D1efG5zH+ rPDfB/1cSqytIzuzN10t49TvAUdPE1igNsfL14sxNprtw+UVGI2D/wREZEjOKFmlibf0JLZZ jaUSEAADS77fypPcDSiwdDFczqcONczOYbCFmR0x3+XVia4OtrRSv8pvCJt+Gx/dTbf3fmqY 4NWsGH5Oh+qhIplX6AP7/i8mv1q3e7e2mlOw03mjsjuGFwLNN3mDpC68NZlDkQr0v0hlXkn4 UAwTGFABUW5EAv/SJk/PXFSHx4dsXXkyDBAgeJjBjrAk93z8QGC4KSX1yLPPnkrY8EDJbpIT nTyL4dIy37DwWQd4MPFpPpw6ZKZypu38gySI6rqRAlUlKa1goji0wXuggJXJPwfFMVj/58xW 9ViD7XSxKhIFayJ5ICr9A== IronPort-HdrOrdr: A9a23:JMG9KqsOiihjZJMM75m+vYxI7skDsdV00zEX/kB9WHVpm6uj5r yTdZUgpGLJYVMqMk3I9urwX5VoLUmskaKdgrNhX4tKPjOWwFdARbsKheCDsl7d8gLFh4tgPM xbAtND4bPLfCJHpPe/zg39PNop3cWd/LrAv5am815dCS9vL49vhj0XNu9ZKCFLrct9aKYRJd 6z4MxIojblQ3gRY8ihQlEYQumrnaysqHsrW3A77tcciTWzsQ== X-Talos-CUID: 9a23:KO+fNWDXtO3S2YT6EwN+t0MyAuR7SWz+5Vz2B22iGEE5TKLAHA== X-Talos-MUID: 9a23:kv4dXws9Tuuq/EiK6c2nqy59a9dVxqiVFU0qva8s5pGPCwpWNGLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.18,241,1751234400"; d="scan'208";a="237709428" X-MGA-submission: =?us-ascii?q?MDGW/vaynRVVp7bWPp2//eIwLJiVfM2xjSD5Ep?= =?us-ascii?q?Ut6ZA3SJVRCD3v/PWZHJ+KF+afDKM4DT1ObFvQbzrhTV4AmQduUx6L22?= =?us-ascii?q?O4yN30w4LcxA9dC1kCldF4d45JqSIyLgB5pgNX5QxsxFjTP2w4CVxdca?= =?us-ascii?q?wnkgJ8Yv/AXOsnj8IzN5lftQ=3D=3D?= Received: from mail-lj1-f177.google.com ([209.85.208.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 05 Sep 2025 14:53:01 +0200 Received: by mail-lj1-f177.google.com with SMTP id 38308e7fff4ca-336d3e4df3eso18592101fa.0 for ; Fri, 05 Sep 2025 05:53:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1757076781; x=1757681581; 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=cinn9fMPM/UwSAq2E5qBFk/28EJtkKXHjNWP3Fv6WVI=; b=gnsAmuyUdpr9UOSWQkFCzMiEvbX3ARixOaNe82jQM9FKnNZrGbe5N/fQoX4HfMkh4z D7vayut1zQiRhfNgErAKtchQeaoVQRnPVxwbMfdEe2qbTlxWtoVMagRzFZTEIYmjQFnd SNcirMKTIp4wWa1i9EyR3JM2g2WbedonRZrvTmuB65z1EGFB3v0SW1ygQ0OUD1cDcCyE GPirQ8rQC20HkD6JdnEFmivR2LPa6NYkICUcfD8jlEu7gc/n/Z8riYGf39toSp78F4HU GSwAeSgCz3HJdn1eregSojvBrfMsQ0TLaIsLdFQ89JYFwm/1xFrsbUJx/ncU7zT0SwIC 5gUg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1757076781; x=1757681581; 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=cinn9fMPM/UwSAq2E5qBFk/28EJtkKXHjNWP3Fv6WVI=; b=jm1PVUnauwx/aTCAxY9H/i7rkI30vLuceZLrQ7S/hgXr0CnojRV4iGPJnm4JrSK6Hf vZ/ZcoLZa3UK38HrSTn3wZVb9i7NI6As2VwSixIwGtQLo642/cBp6F0FGGQs8p6dNgAL GVIG5yF3hmzYpX9mwSLVyYV5vbl4Eu2Eq9Yzeg9GmdkUoiHQfSyNvhkvIJu5eNIUw9Vh bGV3TDtakuEeRLowtqnrf7yec5OUcKIj9+1SCgUVcnUoFu+ltW7WbQyya7LYEyPyflSm TfmGszrZrxg3jA1GXsev29nsTsFB94zqpFnT3AWBAcRZcg9GD6GUv+BF9e1q3msB+Oat 4afQ== X-Gm-Message-State: AOJu0Yx8ix6gxEQ1XqV2qurtc0AWbRh/v+NOlY9l0EWtEgZjBfDgAnw1 3nvLBIiA1/cfZHIJFV3N117gfmdArHkfF6BqKSOyPTEdlua5qA26/Ym/l0r+dPUdVv5dGmxDbrz BIMHrq9gLcjdU3uRew8nocY3BbWjABJIxTw== X-Gm-Gg: ASbGncv6R/b4kmPEZQN2Euv3vr37LdM7wDT3O6aOYoYvETScjCZELxEuRt/djtq3GZO KiG8GNOTAzzrrJOErkN6cLWqwLnPZOOOgcH215patfVFBYO9J2qND2B7vmJe1XfTLkyLT5bF3Mm /b5RMfJwCUyBQP2DiTvfenY9lCUWU5p7Ccl50bKJ/ruFc7koFNo8FWuVOQysGMMronXVm/n5MX9 qjbu3RPzcDgqNTbNLvObX9pJZdlQkxwOwut65g9g4KInkGw X-Google-Smtp-Source: AGHT+IGohgu+hNg1XhloQZHy2eUlax7EOCO7ZoO61uSJJNCHDV43zXVosqH4j/DgfjsGtOhm+lrg9UXJfmgHSTyd8Jc= X-Received: by 2002:a2e:be0b:0:b0:336:d506:63d8 with SMTP id 38308e7fff4ca-336d5066843mr53839571fa.31.1757076780494; Fri, 05 Sep 2025 05:53:00 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Fri, 5 Sep 2025 05:53:00 -0700 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Fri, 5 Sep 2025 07:52:59 -0500 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Mart Lubbers Date: Fri, 5 Sep 2025 05:53:00 -0700 X-Google-Sender-Auth: byQLunYFC1ICVR5QHQ8pZH1wB5s X-Gm-Features: Ac12FXw6IH5ZRf-aYqcaBe8hJSxrMwb23SXJjTmvKrCqQkRlUcPzv8Hudmq_hSU Message-ID: To: Caml-List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] IFL2025 Call for Participation Reply-To: Mart Lubbers X-Loop: caml-list@inria.fr X-Sequence: 19374 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 Call for Participation IFL 2025 37th Symposium on Implementation and Application of Functional Languages Montevideo, Uruguay October 1-3, 2025 (Tutorials September 29-30) https://www.fing.edu.uy/inco/congresos/ifl2025 =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 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 2025 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. ### Registration The registration fee covers use of facilities, participation in the tutorials and symposium, lunches, coffee breaks, social outing, symposium dinner and access to draft proceedings. Early Bird Registration Deadline is Sep 5, 2025. https://www.fing.edu.uy/inco/congresos/ifl2025/register.html If you choose online payment at registration, you will receive payment instructions during the week. ### Keynote speakers Roberto Ierusalimschy Departamento de Inform=C3=A1tica, PUC-Rio, R=C3=ADo de Janeiro, Brazil Functions in Lua Iv=C3=A1n P=C3=A9rez NASA Ames Research Center, California, USA Making Haskell Fly https://www.fing.edu.uy/inco/congresos/ifl2025/keynotes.html ### Tutorials On September 29 and 30, the two days prior to the symposium, four tutorials will be held: Gradual typing =C3=89ric Tanter, University of Chile, Chile Type Based Static Analysis Jurriaan Hage, Heriot-Watt University, UK Development of dApps in the UTxO model TxPipe, Argentina Programming-Based Automata Theory Marco T. Moraz=C3=A1n, Seton Hall University, USA https://www.fing.edu.uy/inco/congresos/ifl2025/tutorials.html ### Accepted Papers Regular Papers: Compilation of the Stochastic Language ALEA, Baltasar Tranc=C3=B3n Y Widemann and Markus Lepper. Design and Implementation of DSLs for Unit Testing, Marco T. Moraz=C3=A1n and Andres Garced. Recipe-Based Errors: Methodology, Implementation, and Evaluation, Marco T. Moraz=C3=A1n, Shamil Dzhatdoyev, Josephine Des Rosiers, Rose Bohrer, Andres Garced and David Anthony Fields. Refinement-Types Driven Development: A study, Facundo Dom=C3=ADnguez and Arnaud Spiwack. Draft Papers: AI-Assisted Program Design Using Structural Recursion, Marco T. Moraz=C3= =A1n. A Quantum-Control Lambda-Calculus with Multiple Measurement Bases, Nicolas A. Monzon and Alejandro D=C3=ADaz-Caro. Automatic Testing for Finite-State Machines, Marco T. Moraz=C3=A1n, Sophia G. Turano, Andres Garced and David Anthony Fields. Closures in a Higher-Order Polymorphic DSL for GPU programming, Andre Rauber Du Bois, Henrique Gabriel Rodrigues and Rodrigo Geraldo Ribeiro. Energy-aware Data-Parallel Functional Array Processing for Heterogeneous Platforms, Clemens Grelck. Formalizating System I with type Top in Agda, Agust=C3=ADn S=C3=A9ttimo, Cristian Sottile and Cecilia Manzino. Foundations of Gradual Abstract Interpretation, Gaspar Ricci, Sebastian Erdweg, =C3=89ric Tanter and Mat=C3=ADas Toro. Heuristics-based Type Error Diagnosis for Haskell: the case of type families, Niels Kwadijk and Jurriaan Hage. Higher-ranked region inference for polymorphic, lazy languages, Ivo Gabe de Wolff and Jurriaan Hage. Improving a Group Membership Protocol Implementation using Liquid Haskell and QuickCheck, Jianhao Li and Viktoria Zsok. List Fold Operators in Dafny, Juan Michelini, Nora Szasz and Alvaro Tasist= ro. Reducibility candidates modulo isomorphisms, Cristian Sottile and Alejandro D=C3=ADaz-Caro. Type Checking Dependently Sorted Nominal Signatures, Maribel Fernandez, Miguel Pagano, Nora Szasz and Alvaro Tasistro. Unrestricted Grammar Design and Visualization: A Design Recipe and Dynamic Visualization Tool, Marco T. Moraz=C3=A1n, Andres Garced and Tijana Mini=C4=87.