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=R+Mof9O8; 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 A68A0400A7 for ; Tue, 24 Mar 2026 19:05:36 +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=LX8lJvqPVyxCPuy4p4fEqwX9yxK1sGMBJvQjJuMDX3Q=; b=R+Mof9O8m1X+h2CfS3hz4sk3s90nBeYLOMcANSq8FJH3ebdVguOSrSJi h7koqNp0f5w7JUtJ4/vVLqmXpXEeA6k5N4wBCVfKftpkJqR1JYIqfPehd FHtZiycObt3yjQ53TCpXNjxwVP6mnIxEkGSYczrsp7QXsWFdi4jX+nWeM w=; X-CSE-ConnectionGUID: mFvCtRLNRK6tfAkf4kfF6Q== X-CSE-MsgGUID: K/NpXKZKSHeBBPmsRq7RYg== 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.23,138,1770591600"; d="scan'208";a="269319321" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Mar 2026 20:05:36 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 7770A82DBC; Tue, 24 Mar 2026 20:05:36 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 9477582D86 for ; Tue, 24 Mar 2026 20:04:31 +0100 (CET) X-CSE-ConnectionGUID: bKqK3il4RxqFPn5AZ4UAMQ== X-CSE-MsgGUID: lqAtaniDTm6ptfCpYHEKww== IronPort-SDR: 69c2e03f_WWYymQ2xghxPEYOpSI05bNVLorwQ5mjIPK5m3vrhgydlba0 FtcR/7nbvTgUiObbxM5L7/WIBRZSF/VrPMfoGdA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HSEADx3sJpdDHaVdFRCYUagQdfMwRUhFiDT4UshliCI?= =?us-ascii?q?YMHgTeISoRFjGSBLBYnAg8BAwELAQE9EgIEAQEDAQOFAI0mAh4HAQQ0EwECB?= =?us-ascii?q?AEBAQEDAgMBAQEBAQEBAQENAQEFAQEBAgEBAgQGAQIQASMgDhIphk8NgkVRc?= =?us-ascii?q?WECBQM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCD?= =?us-ascii?q?QcYPzgLBh0BGwkDEgMSEAEOAhEHDgIfBREBBQEiExQOgmABgiIBBhABAzYDB?= =?us-ascii?q?A2iH4IkgQJCiz2BFQUCFoEBgg0GUzaBSNgUChkoDW4DgWQCAQYJAQyBCS6Ed?= =?us-ascii?q?ylPDoJYAYV1hACBIRuBSUSBFScLEIF4gS6BBYFcAgKBFxIBCAMEAwE2KoMcO?= =?us-ascii?q?oIvBIIiehSHZIEBgjSHDgcBBgEfEggBHAYEBgI9CwsKEgMEAwQEAQILEwkDA?= =?us-ascii?q?wIOAggDAggGGQE/EgQTCgMKCwcFHwoCDBQKKCISKwoDNRIPGxUBCAYCAgQEA?= =?us-ascii?q?gQMAgkCAgUHAhEDBAEBCAICLQMBAxkICQgCCwUMBRgMCwcxAxAJAx8XGggBE?= =?us-ascii?q?TQIBhYBGgcFBgs4FQUMEQEBAiATBAUCBQMDAToDDgQDCB4CAQECBgIBAwMIA?= =?us-ascii?q?gMBAwIHAxQFAQYIAgQECgIDAwcGBQcCESgEAgICAgQDAwMKBwcEAwEHAwMMA?= =?us-ascii?q?gIQAgQEAgMTAwMEAwkHAwECEhgGAQMHCAMCBwQWAwIJGQQCBAMCAgICAS4DB?= =?us-ascii?q?QcCBAEHAQMDBwMCDAICEQUEBgIBAwwDBAMFBQstEQcTCgYEBwUCAgIUBgIGD?= =?us-ascii?q?BIDAwQEAgECAgI6BAgMGg4ECAcDBwEYBQIDAgUBAwEHGQIKCAMOHgICBAIJA?= =?us-ascii?q?QEKDgICBgICAQMIGAMEHwQDAwcCAgwJAwQNAhIKEhsDDgMNDwIEAwwKMBAEA?= =?us-ascii?q?gkIDAILCwYFCgUZAgICBgIDAwMFCQECAQEBAQEBAQIHAwMDAgMDBgMRCgMFB?= =?us-ascii?q?wYDBAYBBAQDAwYDAwUFAQMDBQYFBwIDBgMGBwcDAQgDBwsBAQECAQ4GCQMLC?= =?us-ascii?q?QgHDAE8DAcKKAQ2AQgMFAcEJRkHQh0BBwcDjHc2gSwVBiBoBAgDQxwZGBMNA?= =?us-ascii?q?i0BQAgFEwQXAhIFLwEBHEaSRiUUsXpgXmiDES2MHpVUBC+EBI0ThjuRc4Emm?= =?us-ascii?q?QaOCZEnhA0wE1kBhDwCBAEBAQMHBxEkEi0BgRsjbHBNIy8hKgEGgjY/EAMZD?= =?us-ascii?q?1eNYYNpgmSCL8NPQjUCATsBBwIHDgKBc4NbjCU0gUsBAQ?= IronPort-PHdr: A9a23:IsqvARSSOs3gGAkgtuSOzpc7hdpsomGWAWYlg6HPa5pwe6iut67vI FbYra00ygOSAcODs7kf0bCN7ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAveu8UMnYduNqk9xxXXrndWdelbxX5jKE6OkRr7+sq/85lv/jhKtfk87cBAS6L6f6o5T bxcEjsrNn0+6dPouxfeUwaB/2MQXGoOnBVHGgTI8h70UIrpviT1quRy1i+aPdbrTb8vQjSt8 71rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4dSmRcQ8ZRTDRBDZ2gY IsTAeQBOuNYoJP8p1sIsBCyAQahCefqxjJOm3T437A10/45HA/GwAMuEMgOv3vaotvoKqkcU ue7wbLUzTXaavNaxTf95JTKfx0nvPqCXahwcc3UyUQ3GAzFj1KQqYj7MDOJy+8DtnKU5PdjW +mykWAntgdxqSWoy8cyi4nJgYYVxU7Y9SVh3YY1I8a1SEF+YdG+EZtQszuWOJdxQsMnWmxlv jsxxbIat5ChZicK1IgnyADFa/yBa4WE/wzuWeeQLDpkhH9od7CyiRiv/UW9y+DxWNe43VJOo ydHktfBt20A2hPd58WJVvZw/1qs1DiL2g3N7uxIPF04mKzGIJAvxb4wk4AcsUXFHiLuhUr2j bSWeVkj+ui09evofq/qppiGN497kg3+PaUumtC/AeQlKQcCRWmb+eOk2L3j+k35XKlFjucuk qXDrJ/aIsEbq6ikCAFWyoYu8wizAyui3dgCnnQKLEhJdAyag4XqIV3DL/T1Ae+8jliwijtn2 vPLM7/7DpnQMHTOkq3tcLdy5kNa1QE918pQ54hOBbEEOP/zWlH+tNjfDhIhNgy72efnCNFk2 owAW2KDH7aVMK3dvFKM/O4vLO6MZIgauDb5Nfcp/eLhjXg8mVMFfKmp24UYaGygE/h4P0mUZ WDgj9QBHGsQoAYyUe/nhEeNXDNXf3qyWrgz5jA/CIKoF4fDQYWtjaSf3Ce6GZ1WYn5JCkyUE Xf1cYWJQPgMaCeILc9gljwIT6SuS4gk1R22rg/116JnLvbI+i0frZ/syMJ65+jXlR0r8Tx0D t+d032WQmFvnmIIQic207plrUx8zFeDy6l4jOZCGdxd/fNFSgE6OoXEwOxgF9/yQh7BfsuOS Fu+X9mqGT4xQcw2w9ENeUhwA9utgA3b0yqwHbAVib+FCoYs/6LZxXfxJsJ9x2/Y26kjklUqW 8VPOGKii6Jl+AjTAInJk0qdl6m0b6gTwCnN9GKbwWWTv0FYUQtwXL3dU34QaETYs8j361/EQ bO2FLsnNxFOydSeJaZSctPnlE1ISvj7NNTFe2KxlX+9CwyUy72RcYTmY34d3D3TCEcckwAc4 3KGNQ8mCym5umzQFDNgRhrTZBbS8O56pW/zbUZ87kmyckspg4S0/RoYmbq/QrUymIoZvg8ht TEyGlHrjOjbE96Rmw00QqRbZd4hqHROnUORjxF7dsieLqdmi0JYUA0xngXWyhNfCptE184t+ iAE1g13fJyZ11dMa3u71NjRcoXKLCGm4hGob6PKwkzY+NmT86YLrv8/rgOw70mSCkM+/iA/g JFu2HyG68CWXWL6MLr0W0czrV1hoq3CJzM67MXS3GFtNq+9tnnD3cgoDa0r0EXoZM9RZYWDE gK6CMgGH462MuV/hVmuah8YJP1U3KExNsKiMfCB3f3jJ/5uyQqvln8P+4VhygSJ/it4RPTP2 sMbwvac0xefSjHUg1Kos8SxkodBNnkJBmTq7y/iCcZKY7FqO4YGDWD7O8qs2tB3nILgQVZd/ V+nQl4EgYqnJUvUYFv60gldk08QpBRLgAOeyDp523Esp6ubhmnVxvj6MQAAMShNTXVjilHlJ c61icobVQ6mdVphkhzt/kv8y6VBwcY3Z2DOXUdFeTT3JGB+Q+OxsLSFectG9JIvt21eTu29Z VmQTrO1rQEd1mvvGG5XxTZzcD/P2N2xgR19jG+BNGt1hHXccMB0gxzY4Z2URPJc2CYHWDgtk SPeVRC3O9ik+8nRlo+W6LjvETL8EMcKIW+3nNDl1mPz/2BhDByhkurmn9TmFVJ/yirnz5xwU i6Oqh/gY47t3qD8MOR9f0AuCkWvjqgyUox4jIY0g4kdnHYAgZDAt2QGlmP+Lc1G34rxaXMMQ XgAxNufs22HkAVza2mEwY70TCDX3MpmY9Smen4Q8i045sFOTqyT6fYX1TswqV2+owXLZPF7l TpI0voi5kkRhOQRsRYsxCGQalwLNXFRJjek1xGB7tTk6b5SeH7qa7+7kkx3gdGmCriG5ABaQ nfwPJk4T2d86cB2MVSE13OWiMmsZtjXad8PrgCSuxjFhulRbpk2k7IGiDFmNmT0oXA+g7Rj3 Fo+gNfg5djBdzQl9bnxGhNCMzzpe84fn1Olxb1TmMqbxcHnH5lsHCkKQIq9SPupFDwIsvG0f w2KETA6tjKaAe+FRV7ZuBog9SufVcz6ZBT1bDEDwN5vRQeQPhlaiQEQBnAhm4IhUxqtz4rne Vt44TYY4hj5rAFNw6RmLUqaMC+XqQG2ZzMzUJXaIgBR61QI+UbSNcGC9v91Ny5d95yl6geKL ybIAmYARXFMQUGCC135a/Ow5N7E/vSAG+yWIP7HYLHIoutbHaTtp9rnws5t+DCCMd+KN39pA qgg20ZNant+HtzQhzQFTyFE3zKIdcOQow2wvzFmts3quuq+QxrhvMHcbtkaecUq4R29hr2Pc vKdlDosYygNzYsCnDfJ0ORNgwJU0nszMWHrSfNZ62bMVP6CwPcGSU5GLXopZI0QqPtju2sFc c/D1IGvjuYh3KJlVQ8XCQy/xpP7IpFUa2ClagGdWB7XZurWfWWZn5GpPfHuDuAO6Ycc/xyo5 2TBTRe8bDrTnWG7C0DxbbMey3zFdB1G5tPnIk41WzPtFIC6MkXjYo0w1mNTo/V8h2uUZzQVa WAuKh8Q9u/MtXsA0Kc4QDIJ72I7f7OPwyjL4eOFcsRK6aMzUHYzzLwS9n0+z/E9ADhsYvtzl WOSq9dvpwvjieyT0n99VxEIrD9XhYWNtEEkOKPD95AGV2yWtBQKpX6dDRgHvb4HQpXmprxQx 97TlanyNCYK8tTa+tEZDtTVL8TPOWQoMB7gEjrZRAUfSjvjOWbajk1b2Packx/d5oA9sYTpk YESR6VzUVU0ErYXCB0gEoBTZphwWTwgnPiQi8tJrXuyoR/NRdlL65DKUvXBZJenYD2djLRCe 14J2eaiddVVZtC9gRUyLAUrz+GoUwLKUNtAozNsdFoxqURJqj1lS3ErnljiYUWr6WMSEvi9m lg3jBF/aKIj7mSJgR9/K1zUqS83iER0l8/ihGXbbj/2KKqsRZxQIyXxvkk1dJj8RkwmCG/61 VwhLzrCS79L2vF4cnt3jQbHpZZVMftVTKkBbR1JgP/LNrMn1lNTrijhzkhCr7iga9MqhE4hd piiqGhF0gRoYYsuJKDeE6FOy0BZmqOEuiLAPgUZzwoXJkJL+2SXKnZgUK0gM7AnI2+l/LUp5 1DT3TREf2cIWrwhpfc4rivV1MyPyivh1/hILUXjboSi IronPort-Data: A9a23:JOXq468nO086v3cK6KrMDrUDTHWTJUtcMsCJ2f8bNWPcYEJGY0x3z WBJCzzUaKmKZWP9f9F1bIrk9x8Cu8fczdZmHFE9rS1EQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjPzOG/ylTraZZ0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCROsMpvlDs15K6s4GhC4gRiDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9FIs+liLvybnoRSbfUOwWU4lIOM0R1qkUqSoQai87XBdJEAatlo23hc+NZl L2hgaeNpTIBZcUgrgiyvy5wSEmSNYUekFPOzOPWXca7lyUqeFO0qxli4d1f0ST1NY+bDEkXn cH0JgzhYTiJpPuVm7O/FtN8n+obKpTCDt8ik1RZmGSx4fYOGfgvQo3P7N5cmToy34VAQaeYa M0eZj5iKh/HZnWjOH9NUMN4zLru3CCvNWEJwL6WjfJfD2z70g121LXxKMfTUtOPTMRR2E2fo woq+kyjXEBBbY3Gk2rtHnSEgvbmgSr9Wa4uEeOg6vBBmGyz608MF0hDPbe8iaLk0xbhCow3x 1Yv0iEnqKx38E2wUvHmThigqTiFuAQdUpxeCYUHBBqlz6PV50OUBDFBQGIQLtMhs8AySHoh0 Vrhc87V6SJHup6Maimc8uuuvSqcAS5IBF1eWAYhdF5QizX8m73fmC4jWTqKLUJYptj8GDW1z jLT6SZi1vMciskE06j99lfC695NmnQrZl9ljuk0djj/hu+cWGJDT9L0gbQ8xagcRLt1tnHb4 BA5dzG2tYji961haxBhsM1WQejxuKfbWNEtqVFoGJYl+nys/XXlFb1tDMVFDB4xaK4sIGe5C GeK4F85zMEJYBOCM/QsC6rvUJRC8EQVPY27PhwiRoMROsApHOJGlQkyDXOtM5fFzhVwwfhuY czHGStuZF5DYZlaIPONb791+dcWKuoWnAs/nLiilUX/g4mNLmWYU6kEO1aoZ+U0pvHM6gbM/ toVc4PAxxxDWaesKmPa4KwCH2AsdHIbPJHRr9AIV+ihJgE9JnotJcWMypwceqtkvZ9vqMH2w l+HVHR18mHP3U/8FV3Sa1RISq/eYpJknHdqYQ0uJQmJ3lYgU6aO7YAeVZ09Qpc//sc+z/QuF /ghUOeDC8RpVT7o1Wk8b578jYo6bzWtp1uEEBSEaQgFXaxLZlL26P69WSDwrg8cDTGSt/ouh 5GFySXlGYEiQSZmB+boMMOf9Uu75yUhqbgjTnn2Lcl2U2Sy1ZphNAjarOI9euMIIjX9ngqq7 R6cW0oklLOcsr0O0Yf7gI6fpN2UCMp4JE1RGlfb4ZuQNSX3+mmCw5dKYN2XfALyBX/Fx6G/W dp7l/3MEuULvFJvgbpOF7xGyaEf5dy2g5R4yg9iPmvAbnX1K7dGD0SF4/Jytfx29ucEgTe1Z 0OBwckFGLOrPMi+LkUdCjB4Zcu+1NYVuALo09ILHGvA6hRawp+7QGRJHhzViCViPLp/a4wk5 uE6uf8p0Q+0izt0E9Pfjilr6Hi+EXsQd5oW7rYhXYnh0FstwH5/fK2GWzPX4Y6OWfpIIEIFM j+Zv4ucprV+l27pUWs/KmjJ5sVZ3a8xgRFtyEQQAni4gf/Hu6MH5wJQ+jEJUQhl9BVL/OZtM GxNNUcuB6Gx0xp3pcpEBUaAJhpgAUCHx0nP1Fc5rm3VYE22XGjrLmdmG+Ks/lgcwl1MbApg4 7CU52b0YwnEJPir8HMJZndkjPj/Qfha1A7IwpmnFvvYOagKW2Puh6v2aFcYrxfiP9gKu3TGg utX58d1V7zwMH8Bgq88CrTC748qdjK/GDVgT81irYQzJkONXBGp2DOLFVK9RdMVGdzO7n2DK pJPIuBhak2A8Rig/x4nAZwCGbtWpMISxcEjf+rrLFEWsrHEoTtOtonRxxfEh2QqYotPlMohG 7zVbBaHNHKavlpPumr3tMIfEHGJUdoFQwzd3e6O7+QCEawYgtxsaU0f1riVvW2fFQlaoza4j VjkXLDH6e5P0qF+ttLcKbpCDACKNt/DbuSE3wStudBob9mUE8Pxmy4Ki1vgLSJEFKAwXolpq LGzr9LH5kPJk7IoWWT/mZPaNa1o5923bdVHIPDMM3hWsiuTavDCuyJZ1TiDFqVIt9dB6u2MZ QiyMpKwfOFIfeZt/iRebiwGHisND6jyULzbmhq8iPaxETkY7x3MKYK21H3ubFwDTBQyBb/FN lbWtcqtt/dil6YdID8fBvpjPY10H0+7Z4siaO/KlGe5CkuGvwq8n4XMxDsaxxPFN3q6KfrU5 a/5VznlVRHruKj33NBT6INzmRsMDUdCu+o7f2ND2tt20TqRUXMMPMUGEJA8EpoPuDfD5JL5Q zDsbWUZFiT2WwpfQyj8+NjOWgS+BPQEH9XEegwS4EKfbhmpCLO6ALdO8jlq51F0cGDByN6LB M4/+HqqGDSM2bBsGPgu48Kkjdddxv/1wmwC/Wb/mZfQBzccGbA762xzLjFSVCDoE9D/q2uTH DIbHVt7eUCcTVL9Ne1CeHQPQREQg27J/gUSNCyKxI7ShpWfwOh+08bAAuDU0IAYTcE0NbULF GLWRWyM3jis4UYtm5AV4vAnvawlLsiwPJmKHPe2D0la1aS98X8uMM4+jDICBpNqshJWF1TG0 CKg+T4iDUCCM1pcw6CS1R5PwZ9qT3YQFHvcuWYTf9MdfcARlLA1uiRGzT4X7bn1oqnn+khaG XIcMBfXrFqRuz/p4zJ5s5z3Y7BB7d45TRH5vuIAF/seUStAjEdSEblg1wcx0Nc5HLhs2NBPb KjIuzki0NvPY85MtjwIWP8WZ7Fmq/EKHQFrZ3oFOv50PoPY6b4XuOpV5lp3osj+TP22tZk8P hXvVmHi IronPort-HdrOrdr: A9a23:bp4mGq7KCpovXGHcKAPXwAHXdLJyesId70hD6qkXc20wTiX4rb HKoB1/73XJYVkqKQgdcLy7Scu9qA3nhORICPgqTNGftWDd0QPCXeJfBO3Zslrd8kXFltK1vp 0QC5SWZueAdmRSvILU5hKnG80szNTC3KejnvfG0nthJDsHV4hQqyl8TiiUe3cZeOCEP/UE/V ini/av3wDQBEj/p/7bOkU4 X-Talos-CUID: =?us-ascii?q?9a23=3AZtdVzmjcxx60fkgd/wemaU+f9zJueF7E7yzRJxO?= =?us-ascii?q?CGX9HcLvIYG3MxYpBqp87?= X-Talos-MUID: 9a23:KOVNvAiE5nhWWUH7GQL/LMMpMN5B/62oCWwxlMsep8evLR1QFhSCk2Hi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,138,1770591600"; d="scan'208";a="269319128" X-MGA-submission: =?us-ascii?q?MDHgnmKtmi8NpVK6KTlF90T/hnVSUXgMGZbZnN?= =?us-ascii?q?IrcDfX31OkXhwR1FjaOA7+O4a2uMwf0L/+U22kWLM/QotLx0UzS9YRkp?= =?us-ascii?q?0TJTzd3vhcZrVXS5NTDpdZSOZRsl38efoF+7XTM0ny9PQMkttdmhKA5t?= =?us-ascii?q?Yxri3BBBGMbKF9xoum4lKRYQ=3D=3D?= Received: from mail-ej1-f49.google.com ([209.85.218.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Mar 2026 20:04:31 +0100 Received: by mail-ej1-f49.google.com with SMTP id a640c23a62f3a-b97c44417ffso476607966b.2 for ; Tue, 24 Mar 2026 12:04:31 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1774379070; x=1774983870; 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=LX8lJvqPVyxCPuy4p4fEqwX9yxK1sGMBJvQjJuMDX3Q=; b=gNHP72Yl6xTTh/cLQupRQHzv3Ve+UPea58H46aiyuNNzJBKPgcpbVfVcZs32tXmVI+ VFdumXbiTa0rl5OUXHB6OsQShOlQjsLaTvfGB/LndLv+rSfAzrs4zJ8YqiNnK9igItcO FoAVvD36ZLYxJi1f4k22lBVl4P+Yva+809mQi/N0LoLfP8bGagDfQbzbB2PQUq594a9h ZPB/hUGkxjL1Zz1N8tSOFlThUD6ibssAxCyI/3+nP4cujIhIiqz0xgv/Gf2j2w9/1Lab UoRVYSbP6FUhcrOAnHLI3K52RZCZtCANqCSVGtmwx3e/gZc5a/6+cp9Iizc10Q2GZhU7 s5xw== X-Forwarded-Encrypted: i=1; AJvYcCWWU2aH7BB70CdFutiUGKqjBOvHy/w2cVRuoz3dr4VWOl6n2oMtuv7xl/GvBSOgcSQnMbMupwwrnoY=@inria.fr X-Gm-Message-State: AOJu0YzCWnr81jzBTLrokgo8E83ISFVQVepu6XnCe0a5bVlo5fpK60z6 PbtyUjv78ybj24rNbdJVCN+Bv+2a6F9V9fNBJ/T4mNwgNHajjTQgzRGH X-Gm-Gg: ATEYQzzy1mxS2YaInVac4bfUJMncAq6VBx2HA582pqMq3vF2bL+eUpI5xYvByIY940O viPXoRq05x+aiDGQLs7dRb+Gi2ZwmmNR64IPMuNUUL+uxYXfJzgrrr94AWYsajqS1dsPO9MMFA+ UyzcVhqqcuecQW/PW/LqnNzsy8wcsI7Z1Ls0ySetULXaUVv7/LChr8Lp7oNm/sxeQpzem52xwkA PjLCetbGrtPSlzB0dcva5LS8I7h1cpRYGjfXeMkQnqcvi2xkUYv7Nhrw7w7YL4Xt7xQCHU0oRgS Lsm6zV5h+mx/s/mjUMDHIfHD2mXjbFub2ux0NTgTJyv1TEwvvjey2V6UFYGpJOOq32aWLsx9bGX kHdMgMVcTrxRSI/fRkvE0bcmgghXV24cdyqlTanMlc+MgxmEEC587D3Yy+3Dj5QLh3vAnL/EHtI my20IUWpkm7WyTrSrYlBF40Ewe4AWE1ZCwcOZeXFlnc3JEipIIDeYmNsk1ZZgKZ8BZA8CZtYqu0 mQ= X-Received: by 2002:a17:907:d303:b0:b97:7616:3362 with SMTP id a640c23a62f3a-b9a542719b8mr36484066b.44.1774379070205; Tue, 24 Mar 2026 12:04:30 -0700 (PDT) Received: from smtpclient.apple (tmo-127-64.customers.d1-online.com. [80.187.127.64]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-b983365dbe4sm670495966b.47.2026.03.24.12.04.28 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 24 Mar 2026 12:04:29 -0700 (PDT) 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, 24 Mar 2026 20:04:17 +0100 To: Violet Ka I Pun Message-Id: X-Mailer: Apple Mail (2.3826.700.81) X-Validation-by: violetpun@gmail.com Subject: [Caml-list] ICE 2026: Second Call for Papers X-Loop: caml-list@inria.fr X-Sequence: 19475 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 =20 https://www.discotec.org/2026/satellite/ice =20 https://ice-workshop.github.io/ =20 =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 * 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. 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. =20 =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) * Nicolas Chappe (CNRS, Verimag, FR) * Matteo Cimini (University of Massachusetts Lowell, US) * Christopher Esterhuyse (University of Amsterdam, NL) * Lorenzo Gheri (University of Liverpool, UK) * Jonas Kastberg Hinrichsen (Aalborg University, DK) * Ping Hou (University of Oxford, UK) * Elaine Li (New York University, US) * Danielle Marshall (University of Glasgow, 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, CA) * Felix Stutz (University of Luxembourg, LU)=20 =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