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=ClooQc0W; 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 A17E7400A7 for ; Tue, 17 Feb 2026 20:24:08 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:content-transfer-encoding:reply-to:mime-version: date:to:message-id:subject:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=Dl9nRG6dIe9VBF/ql5gnjCx4rjTzkAyZQR/vSBAwIrw=; b=ClooQc0WNDhOTzijfzaxOTFIxI18qlRAWjRgineYNRtdlSvKuCuuZ6bE LtZ79Dx81X4MrQiDYdeCD5GqNtJqbJoVY2eLU9hQgrMxCgJgVIRT83acG fYPkEiXuSDRtvHS6/NAXDjN9bC41654Dxmbf6wWEwrs+KNkFVgCA6Wb5f A=; X-CSE-ConnectionGUID: oViSmBx4RrCR+JaewkETzg== X-CSE-MsgGUID: RkR2XiirSke1t7fc/+kQRQ== 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,296,1763420400"; d="scan'208";a="263934413" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Feb 2026 21:24:08 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 1245F82E15; Tue, 17 Feb 2026 21:24:08 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 1404882DCA for ; Tue, 17 Feb 2026 21:09:23 +0100 (CET) X-CSE-ConnectionGUID: LStV8ZiBQ/GQB8NT0S4JLw== X-CSE-MsgGUID: qlLPmW2vSCmR30jmcIzVkA== IronPort-SDR: 6994caf2_frui2lGxGVf4IEN8EtsQO/2frLFuDb/jrI/9NZzIJnoLRDd QEZimV7SHvajTVRuIwzIDc60GXmDRZwJVjxnJFQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FoAwDFyZRpfEPaVdFRCR4BAQsSDECEEYEHXzMEVIRYg?= =?us-ascii?q?0+MBIIhgweBN4hKhEWMZIEsFicCDwEDAQsBAT0SAgQBAQMBA4UAjSICHgcBB?= =?us-ascii?q?DQTAQIEAQEBAQMCAwEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABASIZBw4SK?= =?us-ascii?q?YZPDYJFUSVMYQIFAzoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QoCDQcYPzgLBh0BGwkDEgMSEAEOAhEHDgIfBREBBQEiExQOgmABgiIBBhABA?= =?us-ascii?q?zYDEZ5mgiSBBUKLPoEVBQIWgQGCDQZTNoFI2BQKGSgNbgOBZAIBBgkBDIEJL?= =?us-ascii?q?oR3KU8OglcBhXSEAIEhG4FJRIE8CxCBeIEugQWBXAICgRcSAQgDBAMBNiqDH?= =?us-ascii?q?DqCLwSCInoUikyBAYFRhj4HAQYBHxIIARwGBAYCPQsLChIDBAMEBAECCxMJA?= =?us-ascii?q?wMCDgIIAwIIBhkBPxIEEwoDCgsHBR8KAgwUCigiEisKAzUSDxsVAQgGAgIEB?= =?us-ascii?q?AIEDAIJAgIFBwIRAwQBAQgCAi0DAQMZCAkIAgsFDAUYDAsHMQMQCQMfFxkIA?= =?us-ascii?q?RE0CAYWARoHBQYLOBUHAgUDBAQDAgQFAwoCAgQCAwMGAwMGAwIFAgcCAgEFB?= =?us-ascii?q?QIBAQEMCQICAgcDDgMCAgIDBAECAwQDBQIDBAEBAQEEBQIDAwICAQMFAgIBA?= =?us-ascii?q?QICBAQCAwMGAgQCDgIBBRoRAQIGBQMCAQMFAwMDAwMCBAICAgIGBwsMBAQEA?= =?us-ascii?q?wUDAwUGAwEDBAMIAwoCBBgGBQICAgECDA8DAwoEBAMCBQIMAwIDAwQBAzkcE?= =?us-ascii?q?wQFAgUDAwE6Aw4EAwgeAgEBAgYCAQMDCAIDAQMCBwMUBgEGCAIEBAoCAwMHB?= =?us-ascii?q?gUHAhEoBAICAgIEAwMDCgcHBAMBBwMDDAICEAIEBAIDEwMDBAMJBwMBAhIYB?= =?us-ascii?q?gEDBwgDAgcEFgMCCRkEAgQDAgICAgEuAwUHAgQBAgYBAwMHAwIMAgICEgUEB?= =?us-ascii?q?gIBAwwDBAMFBQstEQcTCgYEBwUCAgIUBgIEDBIDAwQEAgECAgI6BAgMGg4CB?= =?us-ascii?q?AYFCgMDBAYBGAUCAwIDBQEDAQcZAgoIAw4eAQMCBgIJAQEKDwICBgICAQMIG?= =?us-ascii?q?AMEHwQDAwkCAgwIAwQRAgUFCAcKEhsDDgMNFwcEAwwKFxMGCQMLCQgHDAE8D?= =?us-ascii?q?AcKKAQ2AQgMFAcEJRkHQh0BBwcDjjNBgSsVBiBoBAgDQxwZGBMNAi0BQAgFE?= =?us-ascii?q?wQXAhIFLwEBHEaSRiUUsXpgXmiDES2MHpVUBC+EBI0ThjuRc4EmmQaOCZEnh?= =?us-ascii?q?A0wE1kBhDwCBAEBAQMHBxEkEi0BgRsjbHBNIy8hKgEGgjY/EAMZD1eNSheDa?= =?us-ascii?q?YJkgi+7I0I1AgE5AgcBCgEBAwmFRYwlNIFLAQE?= IronPort-PHdr: A9a23:nwCy7xw0SXXjrE7XCzIDw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xCZva0m1gWRA9uTwskHotSVmpioYXYH75eFvSJKW713fDhBpOMo2icNO4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezbr5+N gm6oRneusUIn4duNqc8xxrUqXZUZupawn9lKl2Ukxvg/Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRfMVQWA6WIQX3sZnBRVGwTK4w30UZn3sivhq+pywzKaMtHsTbA1Qjut8 aFmQwL1hSgdNj459GbXitFsjK9evRmsqQBzz5LSbYqIM/VwY77dfcgCRWVfQslRSyJPAoS5b 4QVDuoBO/tTo43yqlYKqBezAxSnCuHyxT9SnnL43bE13es7EQ7J0gIuAswAvnfTotjuKKcSS OW1wLXIzTnfbf5b3yr25ojSchAmpPGBRb1/ccvWyUkrCQzFkkibp4n/MDiI1eoGrnKV7/dmV emyjGMntQBxoj+rxsgylonJnp8Vylbf+CV2xYY6P9y4SEphbdG4F5tQsjiXOo1rScwtX29mo jw1yqEauZGlZigKzowqywPBZvGGcoWF/hLuWemTLDl2mX5oZbOyihis/UWkzuDxVMm63VdXo ydKnNTBuGwA2h3O58WJTvZw4EOs1SuS2w3V9+pKL0c0la/BJJ4gxL49joccsUXYHiDqn0X2k LGZeVk+9uiv8eTnba3qppCdN49oigH+L78hlta+AeQ/KgQOX2+b+fig27355U31WqlFjvozk qTfrZvUJtwbq7anDwNJ1osv8RWyAje83NgGgHUKL0hJdROFgoTxJl3DIPP1Ae2xjlmuijtn2 ezKMqf8DpjPIHXOlqrqc6xn5E5G0gUzyMhS55JKBbEFJ/L+Qkrxu8bZDh89KgC73eTnBMhk2 oMQWG+CALWVMKzVsV+P6eIvJ/eDaJUJtzb6Lvgp///ujXknll8BZaSlw4cbZXSiEvllI0iVe 2TgjsoCHGsQvwczTvTmiFiYXj5SY3ayUbg85jY+CI++E4fDR4etgLif0yenBp1We2ZGB0uDE XftbYqEWvMMZDiOLc9mlzwITaKhRJM51RGyqA/6zKJqIfbO9S0dsZLvzdx15+zIlREu7jF0F MSc02SVT25uhG8IRjk23Lp+oUNn0FuD37J4j+ReFdNI//xJSBs1NYbAz+xmDND/Qh/Ncs+GS Fm4RdWoAis/Q8o/zNETe0p9Acutjg7A0SSwG7IVkqaEBJ0w8q7FwXfxJdtxx2/I1KQgjVQqW MRPNWqhhq5w8wjcGZTFnFmel6avbagTwS3N9GaGzWeWpE9WXwB/X7vZU30DYEXatcn25kbYQ L+0FbsqKhNPx9eaJKVFctHplk1GRPn7NdrEf2+/hnq+CQ6TxrOUYorlY2Ud0zvZCEgDiw0d5 W+IOxAxCHTpn2WLMj1pEV/zK2Dlucg2kG69BhsKzgaOYlEn9LPz21gtmPq0S+0XmLQD7nQbp i1wDWq6iuzXDN6Nu0JCde19Kesg5h8T62PeswFheL+paYEkvkMYWwRpuwXo0EMkJJ9HlJ0Ur XQuwRY6CqvQ8Rt5ajXQiY7xPbnaNnHv+jigbqfX3hfV19PAqfRH0+gxt1i25FLhLUEl6Xgyj 4g9Oxq045zLCFFXSpftSgMs8AA8objGYy477oeS1Ht2MKDyvCWRk8kxCr4DzRCtN8xaLLvCD BX7RtMbAMyjNPQ3nXCmaxsFOKZZ86tnd9i+ea6+0bWwdP1lgCrgiG1G5I5n1UfZ6St7TuPUx 4sD6/6d1wqDETz7iQTpqdj5zKZDYzxaBW+j0W7kCYpWM7V1ZpoOAHyyLtefw9x/g9vgWScd+ gD8QVwB38CtdFyZaFmVMRR480MRrDTnnCK5y2cxiDQ1tu+E2zSIxe3+dR0BM2oNRW94jF6qL 5Lmx9YdFFOlaQQkjn7HrQ7z2rRbqaJjLmLSXVYAfi74KHtnW7exsbzKatBG6ZchuyFaGOqmZ lXSRrn4qhocmyTtegkWjC46cDWnpo3kmTR1jWucKDB4q3+YMcB8yBHD5cDNEOZL12lOTy15h D/LQ1mkaoPxrJPEytGZ67D4CT3yM/8bOTPmxo6BqiahsGhjABnk2uu2hsWiCg8ilynyy9htU yzM6hf6eIjikaqgYocFNgFlAkHx781iF8RwiIw10dsO2H8ei4mN4HwvnmL6MNEd0qX7JiloJ 3ZD05vO7Q7p1Vc2ZGyIwIb0Sm2AxONuYtC7ZiUd3Sd3vIhaTayT6rJDhy58pFG1+BnQbfZKl TAY0fIy6XQejonloSIVxz6GSvAXFEhcZmn3kgiQqsu5tONRbXqudr650Ax/m8qgBfeMuFMUV HH8c5YkVSh+i6c3eEzN13n+9pn5fvHfaNsSsluflBKIg+VOKZ03n+YHnmI9YTO77SBjkbdry 0IxlZih9JCKMWBs4L60Dns6fnXuasUf9yusxadSk8CK3py+S5BoGzEFRpztHrqjFDMfs+iiN h7bSmVt7CfGX+CGTUnBtxQDzTqHCZ2gOnCJKWNMyNxjQELYP0lDmEUPWy18mJclFweszcinc UFj5zlX6ESrz3kEgu9uKRT7VX/S4QmybTJhAoaeKx5b8hlf4W/aNMWf6qR4GCQSrfjD5ESdb 3eWYQhFFzRDRE2DA13/JqSozdbF+umcQOG5KrGdBNfG4fwbXPCOy5W114Jg9DvZLcSDME5pC Pgj01ZCV3R0SIzJ3i8CQCsNm2fRftaW8V2irzZvoJn1o5GJEEr/oJGCALxIPZBz9gCq1O2dY vWIin8xKC4EhMxQgyaSlf5HmgZV0n8mdiHxQ+5Y5GidEeSJwP8RV1lCNEYRfINJ9/xuhFEVY JyH2o2thOIg1qZnWRAeCxTggp/7P5BSfzPjZAufVhrTbOzUd3qQnaSVKeu9UeMC1rsM6E++6 TzDQRO7ZmzRxX6yCViuKb8e1nHDZE4FttnvLk41UTqxC4m4D3/zeN5v029syOVs1CqWaDZOb WAkKxEf6ebOpSJA3KclEDRPvHRvcLHWx37Bt7uKbc1I+e1iBiA+/w5DyFI9zbYdrCRNRfgu3 TDXssYruFa+1O+G1jtgVhNK7DdNnoOC+0t4a+3f8dFbVHDI8Qhojy3YAgkWp9ZjFtzkurxBg tnJmqXpLT5e8tXStcICDsnQIciDPTIvKx3sUDLTCQIES3asOwS9zwRFl+qO83SOspUggp3lm Z5LR70CEVJrSbUVDUNqGNFEK5ByH3slnbOdkM8U9C++oR3WF6A49tjMUvOfB+mqKS7M1+EVI UtVh+mhfcJNad6euQQqcFRxkYXUFlCFWNlMpnYkdQoouABW92A4SGQv2kXjYwfr4XkJFPfyk ARl72k2Kekr6jro5E86Y1TQoy5l2lcwntHonSiMdhb+Ka6xWcddDC++5C1TetvrBh14awG/h xkuLDDfW7dYlKdtb0hugQ7Y/JZNQLtSE/ICbxgXyvWaIf4v1B4Pz0fvjV8C7uzDB5x4kQIse pP5tHNM1TVoa9stLLDRLq5EprCxrqeHvyvt2+JohQFAeAAC92SdfCNOs0sNZOFOz8+A8ell6 AjEkDxGKjBkvxUCrfdj90d7MOOFnXuI7g== IronPort-Data: A9a23:3+CyJakINxOgdU3oxn7WEGbo5gxNLURdPkR7XQ2eYbSJt1+Wr1Gzt xIWDTrVaauJN2LyKYxwb4+/oEsH7ZTcyYM2SQZkqCEwQltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRG/yhTreCYn0sLeNdYH9JoQp5nOIkiZJfj9G8Agec0 fv/uMS31GWNglaYCUpKrfjawP9TlK6q4m1A5AVhPakjUGL2zhH5MrpPfcldEFOjGuG4LsbiL 87fwbew+H/u/htFIruNjrbhf0QWdaXZNA6Ih2A+c/DKbs9q+0Teeo5iXBYtQR8/Zwehx7id+ /0R3XCEcjrFC4WX8Agrv7a0JAklVUFO0OevzXFSKqV/xWWeG5fn660G4E3boeT0Uwu4aI1D3 aVwFdwDUvyMr8aN3IzreOhGv4MMFeO7Gr9HgS1C6S6MWJ7KQbibK0nLzdpR3TN1i8IXWPiAO IwWbj1gaBmGaBpKUrsVIMhmzaH42z+lKm0e9g39SakfuwA/yCRv0b/pPcbNZ9qiSsBcn0Ler WXDl4j8KkhBZYTPl2DYrRpAgMfWmQfDXb1ICoaT88Qx2F+WzU0BNh4/AA7TTf6R0RPnA40Od ST44BEGpqE38AmvT8LhdwappWaN+B8aQdtZVeMggDxh0YLR6gedQ2UGF3tPNoNgu8gxSjgnk FSOmrsFGACDrpWxcm6jpoWVhwr1FhE/fUk+PRRYby8atoyLTJ4Isv7Zcjp0/EeIYjDdHDjxx 3WHrnF7ietMy8EM0Kq/8BbMhDfESnn1ouwdt1y/soGNt1IRiGuZi2qAtAezARFocdbxc7V5l CJY8/VyFchXZX13qMByfAn9NOr0vq7aYWO0ba9HEJ4m+DCgs3+ldsY43QyS0HxBa55eERewO BG7kVoIuPd7YiH2BYcpONnZI5pxncDd+SHNDKy8gixmOMUpLFfvEeAHTRL44l0BZ2B3y/FlY cbBKZnE4LRzIf0P8Qdajtw1idcDrh3SD0uKLXwi5039gOLMV23fUrofLlqFY8Yw6a7O8k2f8 M9SO4HOg19TWfH3KHufu4MCD0E4HV5iD7DPqutTarGiJChiEzofEPP/++4qVLFkuKV3rd322 E+BdHVW8meiuk2fGz62MihiTJjNQadAqWkKOH1wHFSwhFkmT4WdzIYeUJoVe7MY2vRp5qN2R aNdeuGrIPdGehLY8RszMLj/q41DckywpASsZiCKXhk2T6RCdSfopOD2X1LI3zZUKDi0ru48k q2E+ibEZ6RbXCVkLsLdSMz3/mOLpXJHxd5DBRrZEOdcaGDH0dZPOSfuqtQVPstVCxHI5gXC5 jasGR1C+NX8+d4kwuLo25KBgZyiSdZlP0xgGGLe07a6GA/a8kenwq5CSOy4Ri/cZkyl5JSdY fhp8N+kPM0lhFpqt69OI4Rvx4865PrtoOZ+5SZgF3PpcV+qK+1BJl+r4MpxjZBOl4Rp4VaOZ kGy+9dhKeqoPuHhGwUvPwYLVLmI+swVvTjw1s4LBnvGyhV5x5e9anULHTexpTxvEpYlMacO4 /sQh8oN2gnu1jsoKomniw5XxUStL1sBcaIrs44HCoq7iy4A6FJLUbrDAADYvbCNbNRtNBExA zm23aDtuZVV9nDgQVESS0ff/LN6q8wVmRZoyFQiGQy4quDdjKVq4CwLoCUFcAtF6z5mjcRxA zFPHG9oL/ys+zxIupByb1q0EVscOCzDq13D8HpXpmj3VELya3fsKlc6MuOz/Ew01WJQUzxY3 bOAwlbeTjfYU5Dt7xQ2RHJahaTvff5p+i3GvfKXLcCPMp05QDji24uFR24DrTn5CsIQ2mzDg 8RX/9hLVK6qDh5I/pUHCLSb248AFzGCBmhJGs968I0zQGrzRTCV2Bq1EX6XRP9jHfLx3HGdN 91PPeNKDhS36zaPpGsUBIkKOL5Fo8Qq79sjJJLufG4PjKSDnAVuoLbvx3LYlTItSY8/l8wSF 57gLWOeM22PhEl7n33Gg9lEN1GZP/gFRlzY98Kk/NoZE6kstLlXTngz9b+vrVC5ARBC/S/Ij DjcZqTT8fNu+b5sk6ToDK9HIQe+cvH3a8il7yGxtI5oQe7UEMKTqT4QlEbrDz5WMZQVRd5zs 7aH6/zz/UHduYcJQ3LroIaAG4ZJ9PeNcrJuaOyvF0ZjnAyGRMPIyDkA8TrhKZV2zfVs1vP+T A68MMaNZdoZXulG/0Jsag9cLg08DprmZaKxtAK/qPWxUiIm6zLlF+/+13HVbjB8TBQqarneE Q7/vsi86u9I9LpsAAA2PNA4IptaDmK6Z44YWYzQjxe6AFOsoGu+gZr5tB956Tj0GniOS8n7x pTeRynBThe5uYCW7dRVr71NugYzCVBji9IRZWMYwcZ90BqhPV4FLMMcEJQIMY5VmSrMz6PFZ CnBQW8hKCflVxFGTEnYzOW4eTyAF8oMF8zcNBVwz3iLaiyzOpyMMIFh+ghk/X1yXDnpl8OjF v0z5VzyOQqX0LhyZONO+MG+v/hr9snayl0M50r5tc74WDQaILcS0U1eDBh/bjPGH+7NhXf0C zAMH04ce36CSGn1DcpEUFxWEktAvDrQkhMZXR3Wy9Pb44im3OlMzcPkAN7K05oBUd8rIYAfT namVkqP5GGrgkYog5ULgO5wo6FICqOsJPOYfZ/THVhY2+n672k8JMoNkBYeVMxoqkYVD1rZk SLq+HQkQliMLEdKwrCN1AEV4NRLX2kRCy3SxhvKzdMcfcfVE/CCE/Rr8O76FX00g63qvkEdT TVLKUjP/BuZszzroTQ4vfMezrBC7Qf9ClGcOh3EjLur+vtvdIOZPL9k2kA+kdlW9RWoA61KI b2J3YxVFJ2PB0uyMsONoDvdSrdiprYFXA8EjtcFOf6t+sSYjOvGTjpyFlp2osv+T/27tZTtH /A/s2DiND8= IronPort-HdrOrdr: A9a23:6blIBK/EKXFIJ0pMCX1uk+ARI+orL9Y04lQ7vn2ZLiYlFvBw9v re+cjzsCWftN9/YgBYpTntAtjjfZqjz+8O3WBhB8bFYOCOggLBR/AA0WKF+UyGJ8SXzI5gPM xbAtBD4bPLfCNHpPe/zw+iDd46zdWLtIyuj/zP1mpgQGhRB51I3kNWDkK0HCRNKjWuxqBXKH Nf3Kd6TkKbCAkqhw2AZ0U4Yw== X-Talos-CUID: 9a23:c9ISf2OICabrJO5DfBJ7yh4mG+ocNVLk5if2HxeDVURNV+jA X-Talos-MUID: =?us-ascii?q?9a23=3ACtFErA8CWq4lBC8d6y+lC7GQf95sx5yrNxoTqr4?= =?us-ascii?q?DgZLcNyl7GiWjjx3iFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,296,1763420400"; d="scan'208";a="139086257" X-MGA-submission: =?us-ascii?q?MDH8+H7J1f1cDod/OYhpF2ZxSTAs+zmrKDpzdt?= =?us-ascii?q?n5PkJaR4tEOaGjkxpnr9a5IJOR5mX96d7mVPEVS4CbZG0UUh02l3nsWB?= =?us-ascii?q?8yfbkERJm4zufCdXDFavK8jv/7OjEPE3qipJtw+Rl/SavUJICEB/+RiQ?= =?us-ascii?q?iNmq+dlMTlrB2mDSM21ajFYQ=3D=3D?= Received: from mail-ej1-f67.google.com ([209.85.218.67]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 17 Feb 2026 21:09:23 +0100 Received: by mail-ej1-f67.google.com with SMTP id a640c23a62f3a-b884ad1026cso616895066b.2 for ; Tue, 17 Feb 2026 12:09:22 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1771358961; x=1771963761; h=message-id:to:subject:date:mime-version:reply-to :content-transfer-encoding:from:x-gm-gg:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=Dl9nRG6dIe9VBF/ql5gnjCx4rjTzkAyZQR/vSBAwIrw=; b=D1Q3Vc/gub4qeMD01D7RxdWuVgRm6YbBF4Zoxc5GY3qDvHZhgDj2t7+5sCpcBl2Ran LVnoqhenIn/MU9cItov2Kt+QnaIk9ktFG3hbIJpJ+qNvRjawHBsXCsGoDUhB17GmnfqC 1gDoi0WdWEx+qQLn7eDSiDIuVr/D6NRU7UQc5NIO5Ew+iJ2mbGzSb2OlnGkFReDcBCM0 hDKhKsqDBBr21qdLhDGqalF3j6HQ8fIKNMitqcJ75OxsjnXG6SeKyE8KJQ4HEW8Xzry3 y08RrXMS+Md4SgrVmCsZVfyyZQc8B9fEfdjJU056tRI5OHRjItmZPfCNAGowInk9/wVL 1UcA== X-Forwarded-Encrypted: i=1; AJvYcCVULMdbkYgTaveLtDQ6vJAnzbozRdMn1vNDgT/vK2xgdHRSEuDkA93QtJ4clLclUC1ZOnflzs1zkkk=@inria.fr X-Gm-Message-State: AOJu0YwFbXSuZ5Sk6T0c6Sxwe11kXuS7gPO8O5RQwvkrDrhscbB/oOX5 +RQc1yxQWdrz+0QUAGPqIwptZVdkMs5ifzPprkZ4QuW6XUA0h4zqr3LPed3YONPByTk= X-Gm-Gg: AZuq6aKUZK5EwSPSJKnZyTJCj7ONtAzD55GzRMWEygaAm56KE2pHdnvjeiIUZsH0Xbz Q4Z4gYKO6umv8xyKQKC1lOq/t4xbZD3KeMQe7XefzNEUhkem4XJtD3kXG9rlbwWgUEfL5oiqWla Ob3o1rQpwEcNDcKg4mPceIjxTIzo91RzUYrnYyUxWHFXevu08NeEGJfDShtktkCYWvpRbHP5U3V 7r3a4Ra3bpcw1Kyk/uDDGAF3fa11NkUCibc0uJCAQUC6lItwvoqVUNryQ6ibQufnaGZSiueWtJf aaQbICwChM3wW+sYVq0HR2r6qs2iccR+SaN7b48pHq37v5u4guPJs1xQ3lTzsgxi6fIwjRylwAs kYRiyT55q9hxr2TThuw9xcatYwwfuFwAadbWtBZV76QrklPWRdTRJLA6w/PQd7fcU7c3Jrk7fMQ GZo7hgNppYdhKUWk0QtMK/XspcV56S9vEFj71V3SvAB6t9l+TON3CLxVu0gpRfYw== X-Received: by 2002:a17:907:728c:b0:b87:d3af:de68 with SMTP id a640c23a62f3a-b8fb4179852mr701607866b.7.1771358961025; Tue, 17 Feb 2026 12:09:21 -0800 (PST) Received: from smtpclient.apple ([158.37.20.173]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-b8fc967098esm367784166b.52.2026.02.17.12.09.19 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 17 Feb 2026 12:09:20 -0800 (PST) From: Violet Ka I Pun Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Reply-To: Violet Ka I Pun Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.700.81\)) Date: Tue, 17 Feb 2026 21:09:07 +0100 To: Violet Ka I Pun Message-Id: <7B128C08-68C8-4574-BCE7-0B32B3CD0B78@gmail.com> X-Mailer: Apple Mail (2.3826.700.81) X-Validation-by: violetpun@gmail.com Subject: [Caml-list] ICE 2026: First Call for Papers X-Loop: caml-list@inria.fr X-Sequence: 19452 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: ICE 2026 =20 19th Interaction and Concurrency Experience =20 June 12, 2026, Urbino, Italy =20 Satellite workshop of DisCoTec 2026 =20 https://www.discotec.org/2026/satellite/ice =20 https://ice-workshop.github.io/ =20 Submission link: =20 https://ice26.hotcrp.com/ =20 The Interaction and Concurrency Experience (ICE) series of international scientific meetings are a forum for computer science researchers with research interests in models, verification, tools, and programming primitives for complex interactions. =3D=3D=3D HIGHLIGHTS =3D=3D=3D * Distinctive selection procedure * ICE welcomes full papers to be included in the proceedings * ICE also welcomes oral communications of already published or preliminary work * Invited speaker: TBD * Publication in EPTCS (to be confirmed) * Special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier) (to be confirmed) =3D=3D=3D IMPORTANT DATES =3D=3D=3D - April 2nd, 2026 : Paper submission deadline - April 3rd - April 28th : Forum interaction, reviews, and PC = discussion - April 30th : Notification to authors - June 12th : Workshop in Urbino, Italy - July 12th (tentative) : Camera-ready for post-proceedings All dates are in the anywhere on Earth time zone. =3D=3D=3D SCOPE =3D=3D=3D The general scope of the workshop is interaction and concurrency, broadly construed. The workshop welcomes contributions spanning the spectrum from theoretical models to practical implementations and empirical studies. Topics of interest include (but are not limited to): * Formal semantics * Process algebras and calculi * Models and languages * Protocols * Logics and types * Expressiveness * Model transformations * Tools, implementations, and experiments * Specification and verification * Coinductive techniques * Tools and techniques for automation * Synthesis techniques Prospective authors are welcome to contact the chairs for advice on whether their proposed submission is in scope. =3D=3D=3D SELECTION PROCEDURE =3D=3D=3D Since its first edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive, friendly, and constructive discussion amongst authors and PC members in an online forum. During the review phase, each submission is published in a dedicated discussion forum. The discussion forum can be accessed by the authors of the submission and by all PC members not in conflict with the submission (the forum preserves anonymity). The forum is used by reviewers to ask questions, clarifications, and modifications from the authors, allowing them better to explain and to improve all aspects of their submission. The evaluation of the submission will take into account not only the reviews, but also the outcome of the discussion. As witnessed by the past editions of ICE, this procedure considerably improves the accuracy of the reviews, the fairness of the selection, the quality of camera-ready papers, and the discussion during the workshop. ICE adopts a light double-anonymous reviewing process, detailed below. =3D=3D=3D SUBMISSION GUIDELINES =3D=3D=3D Submissions must be made electronically in PDF format via hotcrp: https://ice26.hotcrp.com/ We invite two types of submissions: * Research papers: original contributions that will be published in the workshop post-proceedings. Research papers must not be simultaneously submitted to other conferences or workshops with refereed proceedings. Research papers should be 4-17 pages in length, excluding references. Short research papers are welcome; for example, a concise 5-page contribution is=20 appropriate within this category. The submitted PDF may use=20 any LaTeX style. However, accepted papers must be prepared in the=20 EPTCS style for inclusion in the post-proceedings. * Oral communications: will be presented at the workshop, but will not appear in the post-proceedings. This type of contribution includes e.g., previously published contributions, preliminary work, and position papers. Submissions for oral communications should have a maximum length of 2 pages, excluding references. For example, a one-page summary of previously published work is welcome in this category. Authors of research papers must omit their names and institutions from the title page, they should refer to their other work in the third person and omit acknowledgements that could reveal their identity or affiliation. The purpose is to avoid any bias based on authors=E2=80=99 identity characteristics, such as gender, seniority, or nationality, in the review process. Our goal is to facilitate an unbiased approach to reviewing by supporting reviewers=E2=80=99 access to works that do = not carry obvious references to the authors=E2=80=99 identities. As = mentioned above, this is a lightweight double-anonymous process. Anonymization should not be a heavy burden for authors, and should not make papers weaker or more difficult to review. Advertising the paper on alternate forums (e.g., on a personal web-page, pre-print archive, email, talks, discussions with colleagues) is permitted. Papers in the =E2=80=9COral communications=E2=80=9D category need not be anonymized. For any questions concerning the double anonymous process, feel free to consult the ICEcreamers. We are keen to enhance the balanced, inclusive and diverse nature of the ICE community, and would particularly encourage female colleagues and members of other underrepresented groups to submit their work. Submission by PC members (apart from the ICEcreamers) is allowed and = encouraged. =3D=3D=3D PUBLICATIONS =3D=3D=3D Accepted research papers and communications must be presented at the workshop by one of the authors. Accepted research papers will be published after the workshop in Electronic Proceedings in Theoretical Computer Science (to be = confirmed). We plan to invite authors of selected papers and brief announcements to submit their work in a special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier). Such contributions will be peer-reviewed according to the standard journal policy, but they will be handled in a shorter time than regular submissions. A list of published and in preparation special issues of previous ICE editions is reported on the ICE website. =3D=3D=3D ICECREAMERS (PC co-chairs) =3D=3D=3D * Luc Edixhoven (Leiden University, NL) - luc@edixhoven.eu * Simon Fowler (University of Glasgow, UK) - simon.fowler@glasgow.ac.uk * Rumyana Neykova (Brunel University London, UK) - = rumyana.neykova@brunel.ac.uk * Violet Ka I Pun (Western Norway University of Applied Sciences, NO) - = Violet.Ka.I.Pun@hvl.no Use ice@framalistes.org to reach all the ICEcreamers at once. =3D=3D=3D PROGRAMME COMMITTEE =3D=3D=3D * Franco Barbanera (Dept. of Mathematics and Computer Science - = University of Catania, IT) * Manel Barkallah (University of Namur, BE) * Matteo Cimini (University of Massachusetts Lowell, US) * Lorenzo Gheri (University of Liverpool, UK) * Jonas Kastberg Hinrichsen (Aalborg University, DK) * Ping Hou (University of Oxford, UK) * Maurizio Murgia (Gran Sasso Science Institute, IT) * Jonah Pears (University of Kent, UK) * Marco Peressotti (University of Southern Denmark, DK) * Neea Rusch (Upssala University, SE) * Chuta Sano (School of Computer Science, McGill University, US) * Felix Stutz (University of Luxembourg, LU)=20 ... (to be completed) =3D=3D=3D STEERING COMMITTEE =3D=3D=3D * Massimo Bartoletti (University of Cagliari, IT) * Ludovic Henrio (ENS Lyon, FR) * Sophia Knight (University of Minnesota Duluth, US) * Ivan Lanese (University of Bologna, IT) * Larisa Safina (INRIA Lille, FR) * Alceste Scalas (Technical University of Denmark, DK) =3D=3D=3D PREVIOUS EDITIONS =3D=3D=3D Please refer to https://ice-workshop.github.io/#previous-editions =3D=3D=3D MORE INFORMATION =3D=3D=3D For additional information, please contact the ICEcreamers at ice@framalistes.org or visit our series website https://ice-workshop.github.io/ or the 2026 ICE website https://www.discotec.org/2026/satellite/ice