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=swjJBzu7; 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 319544009A for ; Fri, 24 Apr 2026 12:06:00 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:date:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=UjJcg7c/BDrZvyv64TLrRB3Al2v/HtMJRVJAwKe3Zqc=; b=swjJBzu7cKgjkRRkWnffBXC+Yp19sDKlI4nAc7hGxeuOqwV1WbEUEEFZ fTxDRbTS0EgAWzi6X9PlvkKPcJ9x/7X0RI/1zcHO9WHucdFHPbgKqrp4s GisR/6gewwN3CPcOUTki5AuvBS3sqRxJu3pJvrvDb52pjq73dGVVyga+Q Q=; X-CSE-ConnectionGUID: ubzhPqoMQMyf4+9j8PHcxw== X-CSE-MsgGUID: WvlJ8EcvSWaf/C10iJaFcA== 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 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,196,1770591600"; d="scan'208,217";a="273987060" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Apr 2026 14:06:00 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 81D7781AE8; Fri, 24 Apr 2026 14:06:00 +0200 (CEST) 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 0BFE5818DB; Fri, 24 Apr 2026 14:05:50 +0200 (CEST) X-CSE-ConnectionGUID: Y8/qvItSQjGLyCD3nP9uow== X-CSE-MsgGUID: bY3uSK+5RCmVgnkZsKhM2w== IronPort-SDR: 69eb5c9d_VqZCx7bmS18HhEjd2wj4RN/i02ftx1m2AtKJqA4rK4zbESg 1+3psXWwxux/RcZB4v8MjGyC2rIQzZQ+g7Kezgw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FgBgCXW+tpgYbDZTRaDoQIMSopQQFDAmAvAwcISYgkA?= =?us-ascii?q?4UsiHmfQgMuKQYJAQMBCwI3GgQBAQEBAQEDhH8CjS8gBgEENBMBAgQBAQEBA?= =?us-ascii?q?wIDAQEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHDjuGTw2CY?= =?us-ascii?q?jRxgSUBAQEBAQEBAQEBAQEBAQEBARkCDQctKgEhFi4BARIeBwERAX8nBAEND?= =?us-ascii?q?RqCCFmCHQcEC0AEAg6oXwGBPQICiyCBNIEBggwBAQYEBIEA2mAtgX0DBoFNg?= =?us-ascii?q?xGBdINTASqBNQGBA4MThwZDgRVCgyaBBYFcAoE7JyuDaIIvgiZ6FIF3jTKBR?= =?us-ascii?q?CIDJjMrAQEKSxMXCwcFJYEOMwMgCi8tAhQdEg8EFjIdcAwnEiwXM1gbBwWBS?= =?us-ascii?q?4UJVoELgyqBNng2AwsbITE9NwYOGwMEgTWJaAdWIA+CIzlcLBOBBRwODw40Z?= =?us-ascii?q?KQ9oXoDBAOEHIwelXAXqWOBCIdzkRMijWeKDotWE4UWAgQCBAUCEAEBBoF/I?= =?us-ascii?q?zyBIIEBgyZQAxkPV5Qvgi+CZoc7CQG4ZEQ0PQEBBwIHDQMLgWiQNIFLAQE?= IronPort-PHdr: A9a23:QixRoxNuB+MMOlHdW9Ul6naPARdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvqgr1AeCA9SKtLoE07OQ7/u8HzRYoN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rHSRJ/N +l5EGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEtfre9FYHdldm42P6v8JPPfQpImCC9YbRvJ xmqsAndrMYbjIViJ6or1hfFvnREduVSyG5sJ1+YghLw6tut8JJ5/Cldtf0s+9RcXanmeqgzU KBVAikhP20p68LnsgXOQxGS7XUGSGUWlRRIAwnB7B7kW5r6rzX3uOlg1iSEJMP6Vb86Vyyt4 KtyVhLmhzoJOyY2/2/LhMNwirlboA+6qBxk34HUeoCVO+Fgca7bYNgXWHBOXsdVVyxGH4O8c 44CBPcPMOpEs4XwoUYFoACgDgewGuzg1j5Ihmf33aIk1eQhDRrG1xEkE94XrXjYsMn5OKIUX O+y0afI0C7Db+tI1jjh9IjGfBchofSWUrJxd8ra1E0jGgzBg1mVr4HuIjGb2fkXs2WD7+RuS /yihXM7qw9/oTag2sgjh5LTiY4J1lzJ7zl1zJooKdC+VUV1YcSkEJxVtyyCOYd4RcIiQ2Vvu CYk0LIGv4K0czYUyJQm2xHQbuSLeJWG7BL5TumRLi13hHR/d76xmh2/9lWvyvfmWcm7yllKq DBKnsPJtnAM0xzT7daHReF7/ki9xzmPyQHT5f1fLEA1kKrbM4AuwqQxlpUJtUTPBDX5l1nsg K+LdUUp4+6l4Pnobbv6vJGTLZN0ih3gPaQ0nMyyGec1PwkBUmWU+Omy1KDv8033TbhIjvA6j qnXvIzHKckHuqK0AAxY34Qs5Ru8ETqqzMoVk3cIIl9YeR+KkpTkNVHILfvlA/m/hFGsny1qx /DAJrDhDZTNLmTDkLf8Zrlx8U9cyA0rwdBR45JUDa0OLOzyV0Prs9zYFBA5PgqpyOjkENVwz oMTVXyVDqOELK/erEWE6v8rLuSMfoMZpTjwJvc96/LwjHI1hVEQcKy00ZcLcn+1H/FrLkSFb Xbwh9oMHnwFsws7QeHvlVGOTThebGuoUa0m/DE0EoemAJ/DRo+zhLyB2z+2E4NWaW9HEF6AD 3bleoWaVvgCdC6ePsxsniYDVbi8V48uzhautBL8y7V6NObU4jcYtZX/1Ndr++LTiRAy9TtyD 8iH1GGNUn10nmcPRz8x36Bzu1ByylCG0aRggvxYE8Jc5+9RXwo6K5LQ1fF2B8zvVg7bY9uET FarTs+7DTw/Qd8929oObFx8G9WmgBDDxS2qA7oNmrOWHpw76K3c0GL3J8ln0XrG0aghj10hQ stRL2KmgLJw+BbNB47Ij0qUjKeqdaEE3CHT7meDzHCBvEVCXAFqTarJR20fZkjOodTj+kzCV 6OuCaggMgZZ1cGNMK5KatnwgVVCRffjI8jebnmqm2awABaI3qmDYJDre2UbxiXdCVILnxod/ XacLQQ+HDuuo3rCDDxyElLie1/j8e5nqH+iUkA0yxyKYFZ62rqu+h8VgOScROkJ0rIFvichs TR0E0yn09LYEdqMvwxhc75EbtMn/FhHzX7ZtxB6PpG4MaxunlEefBpwv03tzRt6EoROnNUyo HMw0gVyN6GW3klZejOdx5/wO7nXJnDv/BCsZa/ZxEre0MqM9aYO7/Q4rUjvsBy1GkY873lrz tdY3nSG6pXNEQoSTYn+UkEq9xh8ur7WeDE955nT1X1wL6a7riPC29MuBOsj0BqgeMpfML+AF A/1FM0aBNKiJ/Atm1isdh4LIeNS9K8xP86+b/WI16CkMvh8kj+6i2pL+J1y0keW+CpmVuHFx 44LzeiA0AWITzv8l0+hss7vlI5eeTwcA3exxTD/BI5JaK19ZYYLBnmqI82w3thwnYLgVWNF+ g3rO1RTksavfx2PaVfw9QxW20MNpHW7mCCjijFpiTYxo+yYxiOEi7DrchwAJ2hASUFji1nrO 429k9ERRw2lchIujBbj4lz1kewT7q92Km2WRUZTYwD3KXtjW+2+rPDKN8VG7ZdttSRMTMy9Z 0qbQ/jzuU1em2noGy5f3zkxejWut9DkhBFgk0qZLW1vtzzScMQ2zByZ+d+WDapa2n8HXyByh D3TCx2hJNSz5v2Qlozfqaa1XmfnX5YVbCq9icvKvyyioGZuHBeXnvapm9ShHxJwmXvw0MAvX iHVpj79ZJPq3uK0K7QjNgNmARr17cx9B4d1n449go0L8XwbnYmOu3wOim61PtJFk+qqYn9IT DgNxMPT6wXg1Ut/NVqNxpnlTTOby9BoIda9fDVSkmgw8c1MFLy84rlJgDFyulf+qhjeK7Apk ykQz+c1wHAfjvwTvxIgiCKHDeZWVQNjBwHUsy+g7dGlp6BeZWLpeLP2yUk01YS6Fryaphp0W nficZIrHCs25845LVGalDW59pD8dcKVZNQVsQCSmBroi+lONIl3jfcDnmx6IW/7uzsox/Nxx UhyzIm3p82OLWNq4aSyDzZcNybpfIUI9zj2y7tGk8CQmY2jA8MyNC8MWc6iaPOsFywbs//qK QeFVHUQsH6UELzWV0fL5F1voHvJGtauNnWQOnAfxth8RRK1JUlHjRoVVTF8l5V/CwP8l5+pS 1tw+j1Evg2wkRBL0O89ckSmOo++jAKhazNuDYOaMAIT9AZJoUHcLc2Z6Ot3WSBe5Jyo6gKXe SSAfwodK2YPVwSfAkz7eKG07IzM6eGXD+y3af7PZbKQoOpVWumJzrqu15Nr5TeFMoOGNT9/D K5zwVJNCEhwAN+RgDATU2oSniPJYdScoUKw4CR4p8a2tvHqXAXx7I2EBqVTOv1u/gi7m6aKM 6iZj2BkKmUQzYsCkEfB06NXx1sOk2duej2qRKwHrjLIRbnMl7V/JCErU3ktaeB1t/psmA5QJ cTcl9X5kKZiieI4AEtEUlqnndy1YcsNICe2M1av6F+jErOAKHWLxsj2Zfn5UrhMlKBOsBb2v z+HEkjlNzDFlj/zVhnpP/sexCecdAdTvo2waHMPQSDqUc7mZxunMdR2kSx+wLs6gWnPPHIdN j40el1Er7mZ5ydVyvtlHGkJ4n1gJOiC0yGXiouQYpoMuPRiBC0ykuNe52ozzbBY8iBPbP1wg CbIr9dq5Vit1PSMi3JmXBdItjdXldeTp0wxXMeRvpJEWHvC4FcM9TDNUVJT/4IjU4yy/fkLl ouq9uq7MjpJ/tPK8NFJAsHVLJjCK389KV/zHzWSCgIZTDmtPGWZhkpHkfjU+GfGy/py4pXqh pcKTadWEVIvEfZPQEh/FdMLJp4xWzIglqCSisUF+3u1hBjUXMhAv5nDEPuZR+jsYmX87/EMd 14TzLX0IJ5GfIHh0kNrbFA8mYXOHFTZW9tAvCxqRg4xuEhX8XF6CGQ4nV/mIFDIgjdbBbu/m Rg4jRF7aOIm+WL34ls5EVHNoTM5jEg7ndiNbSm5SDfqN+/wWIhXD3CxrE0tKtbhRA0zawSun EtiPTOCRrRLjrIme3o5wAPbvJJOH7ZbQ8gmKFcc3/iYbvMhl1FdriK5zElM6PXEArNjkRMna 5+lqzRJ0ER+b5Y5KLfRK6xA0lVLzv/U+Hbwj6ZokVJYfh1RlQHaMCcT8FQFLLwnOzal8qR35 AqOliECMGkAWvw2o+57o0Y0OuCO1SXlgNshYgi6M+2SKb/cunCVyJTOGwtpkBpZyg8cpuQlt KVrO1CZXE0u0raLQhEANM6YbBpQc9IX7n/YOyCHreTKx5txeYS7DOHhC+GU58N2ygqpGhgkG 4MU44EPBJ6phQvUN87oJbgMjxAs4AP1LVOOAepIczqKlS8KucC2yNl+1s9AJXtOZAc1eTXy/ bvRqgIw1bCPRt45a3ETGI4FMnUoUcuxljBYtFxBCSG6yOMQzE6L5HnhpW6DaVu0J8omb/CSa xR2Ddiw8jhq6Km6h2nc9ZDGLn37P9Bv6ZffrPkXrJGdB7ZIXKFw5g3CzpJASSXgAAutWZalY oL9YI42YZnoB2amBxah3iktQZ65Pc7xfPTQx1CyA94S6M7CgXgiLZPvSmlYQk8v4blFvOUlO 2hhK9I6eUK66l54bvTnZl/eipL3Hi6sMWcEEqMZlL3gIeQRl211MKe70CdyE8t8lrHstxZLH NZT0XS8jb6if9UMCHCvXCACPV2J/W1gyCBgLrhgmO5nmUGR6ABOPWzTLL47LzAU2rN0TVKKf ycsAzJhFQbF1NjNvlb3jeJVo3oVns4Kg7dM6CGs58aGMjzwAPf5+c2N63hyKoV/xs85eY37f JncvcuHzGWGFcve7lXeAiXiT6IIyJ8NeWpZWKcaw2h9YJ5f4NMT5xZpDZUwf+QXWvtr++riL DNgCWR6ITYxb4qbx3RCh+693+GfjRKMaNE4NxdCtpxeg9wbWiowYyUEpablWZ+E32ODT2EKJ k8U42EurEoYkZRse+n+/IfSZLRz+wYM/a9fb3OTRt9v6kfxTXyQjR7gUvK9nue13AVUivXxz t0cXx05Ak9YooQe3kclM7B4LaAMs5WC72XOLBuj+ju8la3/fwUZwNacb1DiCYvZqWfwGjYR/ 3EZX84HyX3SE4gTjxssaKsvowYpQsjucUL/6jo4goVxSuTiE5nznhB8/CtAHnz2QL8jQ6l8v VnaWSNoecWuoZThYdBJR3NIvYeaoBFfmVlsNCiwzdxdLdtM63gCRmsqw33Vsd2sRclEwcIzA YULJ4I1t230F6pCMd6UonkxpLXpwXLH+jsUsVKiyS+yEqv+Rukf4m5USWBLbyyO71IiCech6 DKY6lfWrlV95PtWHJCksnVJ+mggNa0WXmYP0m25JVNuSnUAq/9dNKneb81bRb81eAOrPBs9U /Uh2gbamCM81We8aCt0uAxA/inbVARhTigZjIDmnjgGo92mMzsXGNpYKC8sZCDfJ0eHiDha6 VxBPlpyVclTUbMns/kLmJFZ9c3YRQOwJDEZCVZ8Yxkg36MXlFYf4hnAP3GHS1LuLbGW71V2Z ZvD8Jbvdaymul8B0sS+7oVav+0CXyH0xFfrGIiG6de67prT6wOPbPuqbrf6OCebCmCK1Vfp2 /8lF8WYonKVaVIAbcE8kT19Pv2DQSbKJUgUfvpHYRYEE/g8MZIf/ahbf5E2Iq9RoP00X0vVS E+3QN7966UWSzSbDTXGcXfb+7Tm89uKtO7TFbC7NJ7LmyePQropbM1zsWCpQu6zg4ECohGki q81rhEoDgWfVkLJ5NX5eFFR7ZH7JBK7588nQWuNUpwoyCK/lAYdLoIWW3P4qp1AkcEAsS+iR 74giRr96LUKpesjtNN/prltzY3czUb6AstqiRU5XzOpXl06sJIwHGJ4WmZdJPcLL+vcdrgYi saorP3rE6sQ61ue/OkLMLMvwmnAn9GyEDCVTVpNl0EcqmxCRuNz//+Ag6JuSM+h4+HynF8us QHWEw== IronPort-Data: A9a23:lzQfXqsSlPa9H6mOao7LF88IjufnVJVVMUV32f8akzHdYApBsoF/q tZmKTuFOfmOMWbyLo0kO96/oEoCucDUm9FjGgZr+X1nHy9E9ZOVVN+UB3mtAy7DdceroGBPv 5xPMIGYRCwXZiaB/Un1auCJQV1Uj/zgqm/UUbacUsxJbVY6Dn9n1VQ7wrBRbrdA2bCRGxmKt c75v/rRMVqk3y8cGm8P4spvkjs21BjJkG1e5AdWicxj5geEySFJVs5HfMldElOhKmVqNr7iL wr85Orhlo/p109FIs+olL/9bnoLTtb6VSCSimBbUrSVmRNLoCo/yM4TbJLwvm8K49kht4kZJ ORl7fRcey9wVkH/sL11vy1jLs1LFfAuFInvcSHu65TLp6HxWyCEL/1GVCnaNGCDkwp9KTkmG fcwcVjhYv0f7g4fLX3SpuRE36wewMfX0Iw3iyEn1C/4Ec0fQ7/nUo7mvtlgjSo3mZUbdRreT 5JxhTtHRyvwW0cRZ3wqUMpu2uC1mnP4bjtU7kqPorY66HTSywo316XxNN3SeZqBQsA9ckSw+ ziApjygREhLaZrGkmbtHnGE3ocjmQv3QosdHbuxsPtrhFqNz2oYBQMXXnO6pOG0kE+3X5RWI AoJ+ULCqIBoqxf6HoesAUTQTHistC9HRuFzULAAwwSzxazX0R26Bk1eUWsUADAhnJRtH2B1v rOTpPviDDlr9bmUUm617aaRtTr0OC4PLGZEazVsZQAC+pzopJw5pgneS85qVq+zlNz8Xz/qq w1mtwA7jrQXyNMIyKig4VnVhDT1/8CTFlduukPQQ36v6R5/aMi9fYu05FPH7PFGaoGEUl2Gu 3tCkM+bhAwTMX2TvB3dB/wTPa2S3vSqFCz3rQVpJ8g88Cv4rhZPYrtsDCdCyFBBHexsRNMES ErauAcU+ZxMMWC2ZL1wZdvoU55ylPO8U9P4SvrTc9xCJIBrcxOK9z1vYkjW2H3xlE8rkuc0P pLznSeQ4ZQyVvkPINmeHrh1PVoXKsYWmTy7qXfTk0nP7FZmTCTJIYrpyXPXBgzD0E97nOkl2 40EbZfVo/mueOj/aTPQ6okdMRgBKmIjba3LRzhsXrfbeGJOQTl/Y9eImO9JU9I/w8x9yLyTl lnjARAw9bYKrSeWQel8Qis7MOu3NXu+xFpnVRER0aGAhyF4ONzyvfhPLfPav9APrYRe8BK9d NFdE+3oPxiFYm2vF+01NMCl8t5RZ16wiBiQPiGoRjE6ctQyD0bK49LoNE+nviUHEiP954N0r qyCxzHrZ8MJZz1jK8LKN9Op7Ve65kYGlMxIAkDnH9h0eWfXyrZMFRDftPENHpwzGU3x/QfCj weyKjUElNbJuL4woYXoh7jbjoKHENleP0t9HkvY5rOYMxjlo2qHxNZYWsnZJwHiCWHGyJe6V L1/1/vMGvkMmVJKuaEhE4d6kPs39vr0hrpg1g8/Nm76X1eqLbJBI3e9wshEsJNW9IJZoQebX kGu+MFQHLe0ZPPeD18aITQ6YtS51f07nifY6dI3Kh7Y4BBb0aWmU0IIGTWxkw1YcaVINb06z dcbuMI57xK1jjwoOI2kigFW72G9EWwSYZ44t501AJ7ZtSRz8wtsOafjMy7R5I2DT/5uMUNwe z+du/fktoRmn0HHdyI+KGjJ0e9jnq8xgRFtzmIZBlG3i9HA1+4W3hpQzGwNdT5r7C57isB9B ms6EHdOB/Sq3yxpj819TWyTC1l/JBmGyHfQlXoNtkPkFneNaEKcDVcAKd6s/V8Y+V1yZjJ03 q+V40e7XCfIfPPe5DoTW0lkkqXvfOFd11fkpeaZOuisQ70/MGPprY2waVVVqD/hK9I733fDl LJQ5OwqNbDxbhBIqYJqFYCLiLYaEkiFAEdgQvhR2rwDMk+BWTO12BmIc1uQfOEULdP00EaIM e5cDeMRaAabywC1sSE9OaEXBb1/wc4S+9sJf430KV48s7ewqiRjtLTS/HPcgFAHbspPk8EvD JH4bBOHT3KtgEVLl1/3rMVrPnSyZf8Gblbe2MG36OA4KIIRgtpzcE0d0qqGgFvNCVFJpymrh QLkY7Pa68dAyo42xovlLfhlNjWOcNj2ULyFzRC3v9FwdujwCMbptT4Oi1zZLg9TbKowWdN2q Oy3i+TJ/nj55ZQ4b2OIvKO6Nfhtxd6zV+9pIM7IPCFkvS+davTNvToH2U6FcKJsrv0Mx/OJZ QWCbOmISeU0QPZYnX1cVDhfGU0SCoPxdabRmhm+pPWtVDkY6x32E9+n/3rEcGtkcjQCYK/+A ArSv/qr4tJhg4BQDzA6FvhZLYRcJXHhfa0YbfzwqjiqIW26iXySurbZtEQB6mjTAFbVSvfFv JD3dirmRQWtt5vo7tFr6aJvjyY1XVJWo/g8QVIZwPFy0wuFNW8hKf8MF6kGBrV/sD3A5Luha B7jNGIdWDjABxJaehDC0fHfdwa4BN1WHOzmJzYsrnimWw3vCKyuWLJepzpduVFocT7ezcaiG 9EU2lv0GjOTmphJZ+Ii1saXsNdd5MHx5yw3oBjmssnIHRwhL60A1yVhECpzRCX3KZzxu3uRF 1clZ1JvYR+dclHwI/ZCanQOORA+vRHT9RsKQxqL4u7iv9S88LUd5tz5Yu396+hWJoBCbrsDX mj+SGax8nibkC5b87cgv9Uyx7R4E7SXF8y9N7XuXhAWg7r20Gk8IscehmAaeanOIuKE/4/1z VFAIkTSBXhp7Gh6542uk1tU0K8pCiJKCCzVhgniozOAiQY+09XSZxmtykT8NI30rK/g+U5fR V/+qW6P9kaOumKMSSZW75wmSp6vWKn91kUolggpS4v/iBalTClUH/Z80CnWEvpPpWZcyNw8m Lm5ir0AFUHOYs9L9wHhhNoDY7Fj6b4KXBkA41MsENSHCfPovL7Gnx2FxnpWg+rcbdyambjM7 yELV2HiNA== IronPort-HdrOrdr: A9a23:ZcNl46uSxeMKu/Pi0x8rtLGg7skC44Mji2hC6mlwRA09TyXGra 2TdaUgvyMc1gx7ZJh5o6H4BEGBKUmslqKdkrNhRYtKPTOW8VdASbsP0WKM+UyGJ8STzI9gPM RbAuBD4b/LfD5HZK/BiWHWferIq+P3kpxA8N2uq0uFOjsaDp2IgT0YNi+rVmlNACVWD5swE5 SRouBdoSC7RHgRZsOnQlEYQunqvbTw5djbSC9DIyRixBiFjDuu5rK/OQOfxA0iXzRGxqpn2X TZkjb++r6ov5iAu1LhPi7onthrcenau5V+7f+3+4kow/LX+0aVjbFaKvK/VfYO0aKSARgR4Z vxSlwbTr9OAjvqDxuISF3WqkLdOX8VmgPfIVP0uwqfneXpAD09EMZPnoRfb1/Q7Fchpsh11O ZR03uerIc/N2K1oM3R3am7a/hRrDvAnVMy1eoIy3BPW4oXb7Fc6YQZ4UNOCZ8FWCb38pouHu ViBNzVoK8+SyLtU1nJ+m10hNC8VHU6GRmLBkAEp8yOyjBT2HR01VERysATlmoJsJg9V55H7e LZNbkArsA4cuYGKaZmQOsRS8q+DWLABRrKLWKJOFziULoKPnrcwqSHk4ndJNvaCKDg4KFC6a gpCmkoylLaU3ied/Gz4A== X-Talos-CUID: 9a23:mm2lB2AawdgGzyn6Exg3s1cKO9weS3/y6Gb7DxS+MTd0T6LAHA== X-Talos-MUID: =?us-ascii?q?9a23=3A4esbXg0NfD6dCWOZi/gLujCa8jUj6ZX1FXsu0sg?= =?us-ascii?q?8kMy6OipzCSy+jBHtXdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,196,1770591600"; d="scan'208,217";a="273986961" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGtnb//2vPmX/wvdubHSjp9pXJVeu4M5oU/uK?= =?us-ascii?q?kkWkHrmEYGXouK+j9XiRAmojssweO9Qg07WLQj1C9kYktyepYSTliGMO?= =?us-ascii?q?P11p8LVNO5sDqssYkAoS5eNECgyHDxaexP0Tm8etbm+Cm3K9WWzSKNzT?= =?us-ascii?q?xC9Uuvu40GfKCCID8tBEa46A=3D=3D?= Received: from mail-ukwestazon11020134.outbound.protection.outlook.com (HELO CWXP265CU008.outbound.protection.outlook.com) ([52.101.195.134]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Apr 2026 14:05:49 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=IUpm/+c903QgUTjeFGBIP3wMA40rW/kslrgBbOgC50IATsPu8AhiJFwFyQBXqX7FSk+sjbLxut1qgVC+1UHyt6IwrO85ssM8m92nVrdI/uFzuqG5mPQSu2wVH8zrvrtB7y7Q4v/ciI3DaivZ57nVJitLZ1w/fsbGSY2C6yoCs6EQ1AsdSZtjR8X5azf6ZwDR157ohNTmdvE/U+mR5UXg4nYb9FrukArbmTUcGrqjVEyBWw0A8/lKxVhLui0U/qoW1vo7y3jYzYBAUmfUno2m5Ic6RrcuSGE2CYcGryufexlnCX6A+FD1tVMqzIOq4Q2NZZ9u5XX7KFqerAWiOsUekw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=UjJcg7c/BDrZvyv64TLrRB3Al2v/HtMJRVJAwKe3Zqc=; b=Gy1H2AvdlR99A5GjgKMYi8bAl9T200Na2tA1LeLRqHkvbTawtiMVSWpm97++Ho10TAYXp4fIb/bJaT/Ckp8eUKAZJwMfwhmp/nBhHbAU1J1mdNSPzVnv6iS0nkIwE8USPVWWKAVFRuXVoQfchEBF6TKSGEHBlo5lfmpK3At28HTe9UY2NWNaHxJhetd1uvYktNkBEt6RQNq2dpgMhCszvyQiccq2a81zUo5VBz26fZOtYZ6nVDTiLyYAO5ukBCp1WP0EE/u7QgA+z3cuLTXUMY8CEcQMlbt2YeTJ4YhPI+RgAhJ4VQkas+hPDBHZS+tJ8J2fFSerS6qyNOCafkzEyA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=imperial.ac.uk; dmarc=pass action=none header.from=imperial.ac.uk; dkim=pass header.d=imperial.ac.uk; arc=none Received: from LOCP265MB8611.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:4b6::10) by CWXP265MB2184.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:79::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9818.25; Fri, 24 Apr 2026 12:05:42 +0000 Received: from LOCP265MB8611.GBRP265.PROD.OUTLOOK.COM ([fe80::ae3a:6fec:a66:8618]) by LOCP265MB8611.GBRP265.PROD.OUTLOOK.COM ([fe80::ae3a:6fec:a66:8618%5]) with mapi id 15.20.9846.021; Fri, 24 Apr 2026 12:05:42 +0000 From: "Milovancevic, Dragana" To: "announce@informatics-europe.org" , "caml-list@inria.fr" , "cl-isabelle-users@lists.cam.ac.uk" , "coq-club@inria.fr" , "fm-announcements@lists.nasa.gov" , "events@fmeurope.org" , "SREPLS@jiscmail.ac.uk" , "types-announce@lists.seas.upenn.edu" CC: Mattias Ulbrich Thread-Topic: Deadline Extension: PERR2026 @ CAV/FLOC Thread-Index: AQHc09sKCCrReuAoukqUJ8x8wcmgdQ== Date: Fri, 24 Apr 2026 12:05:42 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LOCP265MB8611:EE_|CWXP265MB2184:EE_ x-ms-office365-filtering-correlation-id: 3a4d0512-e38a-4771-b923-08dea1f9cefb x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230040|366016|786006|1800799024|376014|8096899003|13003099007|38070700021|18002099003|56012099003; x-microsoft-antispam-message-info: o/4jrm5olQPBH9hHnzveisCOzmuR2C9WaHtB08qLCrekTeFhLfiCIfzZ2ci3bUODrjT41t8xDNl7zuo5GugjLhfahdAHFdSyGx2csIIJpF2VbMzAR2fD6DGLBTcA7DmoZcwR1ubsnVMs33bZdudyCgcK6U4l2NdTo1eX+kHu93SfF5UMza/6q9UedvaKAufiRAGBzaF52ZWRH+aLnSlbTqCJxlwy6rvH9PTbctQflgRg8L1eSox5f+vcq3uDv4OZJXbtXLRKgJlqfrSnt86lwoaAGWQClqzpBKNpVgpdgdG5r6vQaJa5KJOBcpSUCdGHYslrKDtjkisvThUXevB0gxBgZrX7dAY1MP+tyLprYCCe/zOtvXIMIbkFeCflz6gYuYy6SPjVt4UMtY9H+nbufdNmWXdyvrLAqFFmG82j6U30H7CjmwVJi9Zmd2vY9SdosT1CGgUo/EMlT5JKHEA4NMtzgrHMAT+TaSTBqdJfb6IiRsWYqWOzPCTGNtjK7dMPbt/ux6qU0ymFd+tD8ah2NNWMfaTCIN7CI3ghl7Z3EB9jGF9Vy6lKIUUkWP5/TlimyqV7ZLLoHz+Zzz3rtASsnjzi6IejZHRQCZEmoJRtuoAGTw5mWOHr4XNXRbJ2w/+eYFWJVfwJIRv8cCOGev+2gz8jYvB95VVSTeKkcIRQ3L2KPPSbdeEEJoqYWQ6fsW+ir6uIFWotOtzHlB5QtIxGFU8KQUZ+W4I8UItDdk+sZFQdMywTeJRufkFiHZqKy+I+ x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LOCP265MB8611.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230040)(366016)(786006)(1800799024)(376014)(8096899003)(13003099007)(38070700021)(18002099003)(56012099003);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?bQaBCqcyrLcouGKcLVqeSYxlx+vGIzWN8Khg6LhDW7h7i9HuMVH8WNeVGV?= =?iso-8859-1?Q?bj0CriUdmMcwHdqLe1msJhAXQC1ggvXGTRfzeincYEsIS2Ik8vZSrJ0n5B?= =?iso-8859-1?Q?tOE+FGf96aTSaZ/dVyo1hC5DbnCatInKeBMhMQAPsokZzFszYFH4H3wgXf?= =?iso-8859-1?Q?CWOWVzC6uawHD9sZD7juzvOq4xvxGkt8VHVj+PSQXxdhw6dgNhgCOrmy8R?= =?iso-8859-1?Q?rZNNfy4UV6e809jjfu+ymp4caPRwg8I00WRfimrnLz0q/PIXEagHIwZrxO?= =?iso-8859-1?Q?SJJ1lzghWIYa4bNOpxLTwsYp0Epd0NcQ8iIltUq1PKmGyFNg4oQRwuZnW/?= =?iso-8859-1?Q?jWXNJVzWFWfkQTdSyuymGirhvYYACFXCMX1jUFu00yq/095psfulTt3dQp?= =?iso-8859-1?Q?EEOoog/plBkp6rf8UwHyLN2YLWlKS1Fc13ExIbYf+dRqjaymher+QviC8k?= =?iso-8859-1?Q?pSRW4VDMx39g8NUi2DTfkFquVkeL3KgJvaWDI2pM9e6UVxqwCWTHqw+Mhq?= =?iso-8859-1?Q?MnyBLp8Zd11dFOPQcx9uEzUAvc/U+TdUWtLZfCU4YQXvaftBKT9m+MqywP?= =?iso-8859-1?Q?u5xBk/ihvKQZUr5QMJ7QzcCSptIPWRQuOiFQ20t4ys9bmr8Z33ptvnmxXZ?= =?iso-8859-1?Q?SD9vp58UUvz1//SUIc9nfcLKRdOTvwXF0rSpIG/Xcgwe5KDvtPhgXYCRdK?= =?iso-8859-1?Q?vAlgEXLBHvoNHMfN6Ny70VEvjZN5/2r+nUTFH/aBfgJAyucKDpcrGKZ7fX?= =?iso-8859-1?Q?/Bqn6hWY8z897NxflQH3r3CNb3d1RHv3lLcfbWhHMBxqZOK0cEUTxYBdtm?= =?iso-8859-1?Q?/EmXdthNw6K6/G8tiaOaTas/VUV5G63hdmDIb9ZNLuOPCMJa67TKcIUDHk?= =?iso-8859-1?Q?giiFVm9T800li3cdcst2I2K6JmSrCOmhydGGdC6cYQX6Uy8RiuJEpt3+7D?= =?iso-8859-1?Q?+f/2V3ALbCIVzLeGT1b9avUAwa/AVeoNQqZDDhqp1+NZF9KGyfOkXAiZrW?= =?iso-8859-1?Q?mGhZ/r56t4VkJ8F/j7rz+5+v/nM1gXkfkuBXntqSTSOQCwwslYHhGbRzTE?= =?iso-8859-1?Q?d+9f1ayDIaRmczDgX5NdrvKAUgrRek9ugMR8twkBrVE3yJNhyKhfxqGkuM?= =?iso-8859-1?Q?+CURU2gTD+Pq1G19Dt17XEZe+pNpE/Imfa3AceOPCq14PgisPkr/2UecWN?= =?iso-8859-1?Q?C125Wble8A82x2SDSNOWex0mkDnkFApkpleT3XZBMDP3dwsHO4GxAdglW1?= =?iso-8859-1?Q?DR1RK0sv+5yPAfKCSKAKufbuelpjLHkEo9Fq8DlAVMEWUWXFE1DfUMcJTS?= =?iso-8859-1?Q?6r05RFH1zHj3km/V4RbLKndAomefrprc0kp6rIBIwP2KhHWW6L5AOjEuQJ?= =?iso-8859-1?Q?uF9CleQ+wv9gk75OGlHGz9OoTERfDzC5mq0hZQZUEGG5m2oM0rN1kREbiK?= =?iso-8859-1?Q?5sRIH5b0BH4K4xRu9LaI4lPJWumLTfir5fBvQ/b5cwMB6qwOKr8PD2dvwC?= =?iso-8859-1?Q?hYLhW8aaazCEw+9FHdhX6tv9uJoe89ns2Fc0UW3hLtQN3TdP6jkpXZSTJD?= =?iso-8859-1?Q?OxV25KXQjzhtuxHvhCxxA42YxShtFq26arl+83Y12ZHNiW9IUuHrTbuzwr?= =?iso-8859-1?Q?l0j8xAb7Oyp0HciMbZezGPfAOrcx/VdHMISO3KzssSJ+ZEVpTakNjm5dHD?= =?iso-8859-1?Q?n3Iq5jWVB1uwO2vcMDx0x8VcFMXsxtAxwQdxcK+pXdf5DfxR/S2u+j3ppW?= =?iso-8859-1?Q?FjtUqXOkj1G0XhX3gjIUMNfGR/caGVe1F5w3sNCVXNm9iU?= Content-Type: multipart/alternative; boundary="_000_LOCP265MB86115559958D7982390F324BB52B2LOCP265MB8611GBRP_" MIME-Version: 1.0 X-OriginatorOrg: imperial.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LOCP265MB8611.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 3a4d0512-e38a-4771-b923-08dea1f9cefb X-MS-Exchange-CrossTenant-originalarrivaltime: 24 Apr 2026 12:05:42.4125 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 2b897507-ee8c-4575-830b-4f8267c3d307 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: mI2eEAeYmq1pLP4ZoFulFO/bQtzf6tq9BwgRUdB9+3stJlkm4dSl/dG0PFoMm16xe3U5WYGGonVtbkxUEeFSgA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWXP265MB2184 Subject: [Caml-list] Deadline Extension: PERR2026 @ CAV/FLOC Reply-To: "Milovancevic, Dragana" X-Loop: caml-list@inria.fr X-Sequence: 19497 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: --_000_LOCP265MB86115559958D7982390F324BB52B2LOCP265MB8611GBRP_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable [with apologies for cross-postings] =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 6th Workshop on Program Equivalence and Relational Reasoning (PERR) 24 July 2026 at ISCTE campus, Lisbon, Portugal associated with CAV 2026 at FLOC 2026 https://perr-workshop.github.io/2026 =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submission Deadline: Tuesday, 5 May, 2026 (AoE) (extended) Submit at: https://submissions.floc26.org/perr PERR is an annual international workshop dedicated to the formal verificati= on of program equivalence and related relational problems. It is the 6th in= a series of meetings that bring together researchers from different areas = interested in equivalence and related questions. PERR 2026 will be a worksh= op at FLOC 2026, and a satellite event to CAV 2026. This is an informal workshop that welcomes work in progress, overviews of m= ore extensive work, programmatic or position papers and tool presentations. SUBMISSION GUIDELINES We invite two types of submissions: - Regular papers. Regular papers should be at most 15 pages (excludin= g references). They should present original research results, tools, or cas= e studies. - Extended Abstracts. Extended abstracts should be at most 3 pages (e= xcluding references). They should introduce work that has recently been pub= lished or is under review, or work in progress. Submissions should be made using the PERR 2026 submission site: https://submissions.floc26.org/perr Submissions must be a single PDF file, in LNCS format. The workshop will have informal proceedings, posted on the webpage, and spe= akers will be asked to consider submitting papers towards a post-proceeding= s volume. IMPORTANT DATES Submission Deadline: Tuesday, 5 May, 2026 (AoE) (extended) Notification: Thursday, 28 May, 2026 Early-bird Registration: Monday, 1 June, 2026 Workshop: Friday, 24 July, 2026 ORGANIZERS Mattias Ulbrich, Karlsruhe Institute of Technology, Germany Dragana Milovancevic, Imperial College London, UK PROGRAM COMMITTEE Andrzej Murawski, University of Oxford, UK Carsten Fuhs, Birkbeck University of London, UK Denys Shabalin, Google, Switzerland Nikos Tzevelekos, Queen Mary University of London, UK Ofer Strichman, Technion, Israel Soumyadip Bandyopadhyay, ABB Corporate Research, India Vasileios Koutavas, Trinity College Dublin, Ireland --_000_LOCP265MB86115559958D7982390F324BB52B2LOCP265MB8611GBRP_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
[with apologies for cross-postings]

=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

       6th Workshop on Program Equivalence and Relation= al Reasoning (PERR)
                24 July 2026 at ISC= TE campus, Lisbon, Portugal
                  associated w= ith CAV 2026 at FLOC 2026
                   https://perr-workshop.github.io/2026

=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Submission Deadline: Tuesday, 5 May, 2026 (AoE) (extended)

Submit at: https://submissions.floc26.org/perr

PERR is an annual international workshop dedicated to the formal verificati= on of program equivalence and related relational problems. It is the 6th in= a series of meetings that bring together researchers from different areas = interested in equivalence and related questions. PERR 2026 will be a workshop at FLOC 2026, and a satellite even= t to CAV 2026.

This is an informal workshop that welcomes work in progress, overviews of m= ore extensive work, programmatic or position papers and tool presentations.=

SUBMISSION GUIDELINES

We invite two types of submissions:

      - Regular papers. Regular papers should be at most 15 = pages (excluding references). They should present original research results= , tools, or case studies.

      - Extended Abstracts. Extended abstracts should be at = most 3 pages (excluding references). They should introduce work that has re= cently been published or is under review, or work in progress.

Submissions should be made using the PERR 2026 submission site:

https://submissions.floc26.org/perr

Submissions must be a single PDF file, in LNCS format. 

The workshop will have informal proceedings, posted on the webpage, and spe= akers will be asked to consider submitting papers towards a post-proceeding= s volume.

IMPORTANT DATES

    Submission Deadline: Tuesday, 5 May, 2026 (AoE) (extended)
    Notification: Thursday, 28 May, 2026
    Early-bird Registration: Monday, 1 June, 2026
    Workshop: Friday, 24 July, 2026

ORGANIZERS

    Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
    Dragana Milovancevic, Imperial College London, UK

PROGRAM COMMITTEE

    Andrzej Murawski, University of Oxford, UK
    Carsten Fuhs, Birkbeck University of London, UK
    Denys Shabalin, Google, Switzerland
    Nikos Tzevelekos, Queen Mary University of London, UK
    Ofer Strichman, Technion, Israel
    Soumyadip Bandyopadhyay, ABB Corporate Research, India
    Vasileios Koutavas, Trinity College Dublin, Ireland
--_000_LOCP265MB86115559958D7982390F324BB52B2LOCP265MB8611GBRP_--