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=IbYAM0S8; 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 9EB304009E for ; Sun, 8 Nov 2026 15:13:18 +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: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=6Y+fHQBYaGPTlZ9ESQ0gd9/Vliz2PtVvKTLi4yflLRY=; b=IbYAM0S8hUoE4tMOzLD76xnmPb9C4tziQeUbEG8isZN0Pu8wwHREsGBj QB3XczDPSRy9tRdCkLKhSFbsTLoyuseMckEh7T1GNmNbFl6zPNBCOBPZO L5dEtxBsQdFWPUL6Xj9MV7EU3QnuTr/XPNZz/XGoD5NBPgphcA9KCflbu Q=; X-CSE-ConnectionGUID: 1xNpXqDwQxy4JZGQGKL0ZA== X-CSE-MsgGUID: UJNpHoCBSdyC1XmUEgwhyA== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 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:128.93.162.27 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.27,202,1787004000"; d="scan'208";a="304411001" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Nov 2026 16:13:18 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id A6511815B4; Sun, 8 Nov 2026 16:13:18 +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 15913814EA for ; Sun, 8 Nov 2026 16:13:07 +0100 (CET) X-CSE-ConnectionGUID: F+zIJtP8QyihCg+quKYcvg== X-CSE-MsgGUID: bU0JfwKfS0OJvgRuIl9Y1w== IronPort-SDR: 6af09182_lFKR2idT2bZqemWd4+PB7x9IwJR8oe+u2fE5NXuAa5eUiD8 LjpkDM2J5m1yn3eX9mSZN3LQM5HfzEaLbcyEBJg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HiYABAkPBqgTXdVdFaGQEBAQEBATwBAQEBAQEBAQEBA?= =?us-ascii?q?QECAQEBAQEBAQEBAQGBZ4FWAgEBAQEBAQ4qKYELYTMEVIRYkXSBFpA5jGmBE?= =?us-ascii?q?ANVAg8BAwELAQEUAhEWEgIEAQEBAgSBSgFAgm8CAo4gAh4HAQQ0EwECBAMCA?= =?us-ascii?q?wEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw47hk8Nh0UVh?= =?us-ascii?q?ECBJYEmAQEBAQEBAQEBAQEBAQEBARkCDQd5IQYdAQEmEQE0AgUhAhEBIwEFA?= =?us-ascii?q?SITG4IPWYIiAQZLAwEQsR2LcoEygQGCDAEBBoJq2hKBJAMGCQEMGHEsAgEBA?= =?us-ascii?q?QEBAQEBiFoBhXmEA4EhgiiBFTWCPoNXAoErARIBg32CaoIRgSGCXQmFMQOIK?= =?us-ascii?q?4Z7gUocA1ksAVUTFwsHBYFoA4EGbjIdgSM+Fy9YGwYFgR1CXIESgQddgSsoX?= =?us-ascii?q?QEhgQiBdgKCUYIAAgFJQQ4HRVMJJUMSRyQiCAkJCQETGiwKgRo1PAkmPxUMZ?= =?us-ascii?q?AsaBWEIAg0MdDkQMB4kLwUcJj4bCjZtPTcVGZN5gkVGag8wGHEKCkAMCQQLf?= =?us-ascii?q?RGSRrN2BxOEEIwklgeEBI0UhjuTHpkIjgqVYwIEhSYCCgcHESSBWyNscE1zg?= =?us-ascii?q?mdQAxkPWJQwgnzFLkQ1PQEBBwIHAQwBAwuBaE+DCiYTCwGMFm9dAQE?= IronPort-PHdr: A9a23:uYzTnBI+G8TQu22g0NmcuPtvWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEurM11RSQBNiHo7Ic0qyK6P6mATZBqb+681k8M7V0HycfjssXmwFySOWkMmbcaNPMUWkRM f8GamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj4lvJrwtxhfUrXdEZvlayGNnKFmOmxrw+tq88IRs/ileuv8t7dJMXbv/c68lU bFWETMqPnw668HsqRTNVxaE6GEGUmURnBpIAgzF4w//U5zsrCb0tfdz1TeDM8HuQr46QTut4 751RRHnlSkLLzE2/n3Zhcx2l6JbvQmupwdjzI7OYYGaL+Rxc6XAdt4HX2VBX8JRVytcAoOga oYEEuQMMfpEo4T7ulADtgW1CxWyC+zzyz9Inn720rM80+Q9CgHNwQgsE8sTvHjIsNn5MaEfX ueowqnV1jXDd+1Z1ivh6IbGdRAhpOuDXbN2ccHMzUUiGAfIglCWpIf4PT2ay/4NvnCb4eR+S ++hlmAopQ9yrDeg2sgihZLEhp4Myl3e6Sl13Jw4KN++RUVmYdCkCpxQtySCOoVxRMYhRXtou Cc9yrYbo5C0YjIKx4omxx7FcfOMbo+F4hfhVOaJOzt4nGxqeKihiBaz60iv0PbxVseo31ZWt CZFj9/MtnQX2xzL9siKU/1w9Vqu1jiTzQ7c8P1EIVwqmqrBLZ4s2ro9m5sOvEnNHiL4l0H7g qCKe0k49eal6+vqbqvnq5KTKYN5iwHwP7ovl8GjBek1LAsDUWiU9+qz27Du+UP3TbdMg/Yrn KfZt5XaKt4apq6/GwJV3Ycj6wq/Dze7y9sUh3gHLFVDdRmajIbpI0nDLO7kAfq7mVihkzdmy +rYMrH/H5nBNHjOnbn5cbpj90JQ1Bc/wNVc6p5JCbwMJe78V07xudHaCxI2KRK7z/r7BNh4y 4wTVn+AAqGcPazMv1KF6PwjLuyDaYIauzvyNf0o5/DggHMkh1AQe7Si04ENZ3CiBPtmJl2UY XryjdcFFmcHpg8+Q/briF2GSDJSaWyyU78l6jE1CI+rA53PRo+qgLyG0ye7GoNZanpaBVCLF Hfkb4SEW/ESZyKOOsJtjCAIWLy7R4Ii1RyirhH2x6R6IubO+iAVu4rv1N1v6O3SkREy+yZ0D 8OY02yVSmF0nHsISyUu3K9hu0xy1FaD0bJijPFDG9xc++9JXh0nNZ7ay+x2EcjyWh7ZcteTV FmmWsmmAS02Tt8p39ABeUN9G9G7ghDH3iqqGKMVmqeQBJ0096Lcx2L+K9x8y3bAzqkhjkMpT tFBNW28nqJ/8RPcCJbTk0qFj6aqabgc3CnV+Wue1WaOs19XUAlzX6vfRX0QaFbYoczj5kzcU b+gCq4pPxNEycGYK6tKbsTljFtcRPv+IdjebWK8lmmqCRaHwbOMa4Xqe2ED0ynHFEcElAUT8 W6bOgg9ByehpnrTAiRhG13hfU3i7fVzpnWjQkApygGFdVdh2Kat9xANnPKSU/wd0qofuCc5p TV5BEyz0s7LBdSdvwZhZ71cYd0l71dHy23Zswt9M4S4Ia57nlAQfFc/g0S73BxyDsBEkNM25 CchxQ92bKaZy09pdjWC3Jm2NKeBeUfo+xX6TgUfwFDZmO6b4KoO8v1w/1DhpEexG1Av8m9u+ 9dezz2B4JGMFBZEAsG5aVo+6xUv/+KSWSI6/Y6BkCA1WUHVmjrL2tZzQfAg1g7lZdBUdqWNC A71FcQeQcmoMu0j3VazPVofJO4H0qkyMou9cueenraxNbNlnirglWld7YFn22qC/DY6V+jMm Y4ZkLmDxgXSbz7nlx+6t9zv34VNZDUcBG26nC3mHMhJa7d/fJwCIWmlP4uqwNE4n4K+E2VA+ guFAFULkNSsZQLUb1H52lhI0l8LpHW8hSai5zl9kjVssbDGmSKTmKLtcx0IPmMNT25n5bv1C a6zid1SHE2hbgxz0QCg+V6/3a9Q4qJ2M2jUR05MOSnwNWBrFKWq5PKEZIZU5ZUkvD8yMqz0a E2GSrP7vxoR0j/yV2pYyjchcji2u5L/1xVkgWOZJXx3oTLXY8Z1jRvY4dXdQ7ZW0F9kDGF9i yGRHlWmMtiz9P2anIuFr+a6EXq9F9VSfSTt0YKcpX6j/2Q5ZH/31/u3m9DhDU07yXqhj4gsB XiO9kylJNSwhMHYeap9c0JlBUHx8Z9/E4B6yM4rgY0InGIdjdOT9GYGlmH6NZNa37j/ZTwDX 21uoZad7Q771UlkNn/MyZj+UyDXx8l5IcG3eG4XwCsV4ctWTrqS6PpcgWEmxzjw5RKUevV7k joHnLEr6mZcm+wTtQs3xw2TCaxUAE9cezTw3UftjZj2vOBcY2ChdqK13Ux1kIW6Db2MlQpbX W7wZpYoGSIYAtxXCFvXyzWz74jlfIOVdtcPrliOlByGieFJKZU3n/5MhCx9OGu7s2d3g+I8i BVv29m9su3lYy1o/rr/GhNCOzzvbusd8S2rkKBa2N6Kl4yiBZRuHDwXUYCgF6r5VmJP8669b kDTS3U1sT+DFKDaHBOD5UsDzTqHCJ2tO3yNZTEYwdhkWBiBNRlaiQEQUi89m81xHQSrycr9N UZhs2pJtxio910WkLsuakKsNwWX7B2lYTo1VpWFeR9f7wUYolzQLdTb9OV4WSdR4pymqgWJb G2dfQVBS28TCSnmTxjuOKej4d7Y/q2WHO27erHLY63IseFEWvaSzLqh2Zcg4jCIcN2TdCoHb bVzyg9YUHZ1Ft6M0TANU2oPmjjAbtSSjBm35mtqqMT56OihC2eNrcOfTrBVN9to4RW/h6yOY vWRiChOIjFdzpoQxHXMxetXzBsIhippbTXoDaUYuHuHUvfLgqEORU1+CWs7JI5S4qk7xAUIJ cPLloa/yOtjlvBsQ1ZdCQ6+xofwP5FMeyflcwqZTEeTaObcfWyNk5yxOPnsD+UX1box1VX4u C7FQRW7Zm3Ry2m3D0LzYb8Q3nPcYUIWuZnjIEwxUTSxEoK+Mk/nYIEr329xnONR5DuCNHZCY 2IiKxwfoO2atXEE0qsjST4GsyQtLPHayXzJt7GKcZhO46c7XHgmxaUHvhFYg/NU9H8WHvUtw HmL8oM28Q32zLXdmH06DlJPsmgZ3onTsxdsM/iBpMUQByqWrlVQsy2GAhAO7bOJE/XJvKZdg pjKnaP3cnJZ9s7MuNEbDI7SId6GN3woNVzoHiTVBU0LV2zjM2aXnEFbnPyIkx/d5pEntpjhn oYPQb5HRRQ0EP0dEEFsAN0FJt9+QDollbeRiMNA62C5qVHdQ8BTv5aPUfz3Y72nMDGCkbxNf AcF25v9JIUXc5LhgglsNwI8k4PNFE7dG9tKp2wpbwM5pllM7GkrTmA33BGACEvl63sSGPio2 x8u31EmMKJ9qXG2uQ5xewGZwUl42FM8ktjknz2LJTv4LaPqGJpTFzKxrU86dJXyXwdyawS22 01iLjbNAbxL3N4CPShmjhHRvZxXFLtSV6pBNVUVx+nRf/gy3FVGow2pzlMB+O3BT4N+3lhPE 9bkvzdb1gRvYcRgb7TXP7ZMx0NMi7imuyap0qUu2lZbKRtWtmyVfyEMtQoDMbxsdE/KtqR8r AeFnTVEYm0FUfEn9+lr+k0KMOOF1yv80rRHJyhZ1sSaJqKd/nfazIuGHwh22UQPmE1Iu7Nx1 JV7G6Jxf04k0P2MERBPLdaQcWm9gOJc/2SVYCCK9/3Rk8sdAg== IronPort-Data: A9a23:Y11ccKwAC5VKjiOW1+96t+fcwirEfRIJ4+MujC+fZmUNrF6WrkVUm jcaCGiPaa2NMDGkKoh1bN608B8D68PRmIVlQAY6+C00HyNBpOP7WeiUfxz6V8+wBp2aHRg/t 63ySfGZcZtqFieEzvuJGuK8xZWp/fjQHtIQMMadZGYpA1MiE3974f5as7ZRqpZyhtSkCB+6t 9r3osnOUHeowDcc3lg8sspvkzsx+q6t0N8klgZmP64S5QeOzyB94K83fMldEVOoGuG4IcbhH 44v/JnhlkvF8hEkDM+Sk7qTWiUiXr7IMAGSvWFdUq6kjwIqjnRaPnETaZLwwW8O49m4t4gZJ Odl7PRcei9wVkH4o9nxZjEEe81IFf0fqeWfeRBThuTIp6HOWyOEL/yDlyjaN6VAkgp8KTgmG fD1tFnhx/1M7g676OvTdwViuigsBOeoLqI9pkkw9CDYDd0pAoneYJTB+9ANiV/chugWdRrfT 88QaD4qcw6ZJhMSYREYD5UxmOrujX76G9FagAjN9Oxnvi6JllU3jeOF3Nn9IrRmQe1QnF7ev m/c8mXjCzkUP8DZ1DyBtGqw7gPKtXijBN5LTOzhp5aGhnWZ+zQxBgI1W2DjhtunhXSjetYOG hULr39GQa8arxHyFoasAXVUukWstRcZX59UEvYmwBqcz7LdpQefHGkNCDBbAOHKr+czTD0uk 0CTxpbnWGcpv7qSRnaQsLyTqFteJBT5M0csJj0lbxc9s+DyoYEYgVHWU/VSG7C624id9S7L/ 9yckMQpa1wuYSMj0qy6+RXYmWvpqMWSCAEy4QrTUySu6QYRiG+Zi26AuAizARVoddbxory9U J4sxZD2AAcmU8vlqcB1aL9RdIxFHt7cWNEmvbKQI3XR32/woib8LN44DMBWK0BuPcIJMT7va wm7hD69EKR7ZSPwBYcuO9zZI51zkcDIS465PtiKNYEmSsYqK2e6ENRGPx/4M5bFyxB0yflX1 FbyWZrEMEv2/ow+nGfuG7xAjedxrs38rEuKLa3GI92c+eL2TBaopX0taTNit8hgtP7c8jbGu c1SLdWLwBh5WejzKHufu40KIFxAaTBxCZnqooYFPqSOMyh3KlEHUvXx+LIGf5A6vqJ3kuyTw GqxdHUFw3XChFrGCz6wVFZdVJ3VU61Sl0kLZR4XAQ7w2lwIQ5qe06MERp5mIZgl7LNCyNB3f dkkeuKBIOhGTB3a8BsjfKvCqJ1TST6utFm3IiaaPSMbebQ4Zg3W++3Lehnk2zkOAxGW6+o8+ /qs5jneZaYMADleXeDuVde9926crXMYnPxCBmHMKdxtYE7p3c9SEA6gqtQVMs0zORH46T/C7 DmvADAcvvjrn4851PLrlJK0hd6lPMUmF3ULAlSBy6i9MBfr21aKwKhCYb6uRi/cXmalw5eST 7xZ4N+kOcJWgWsQlZR3Fotq6qcM59HPgbt+5SY8FVXpa2WbMJ9REkOk7+Ju6JIUnqR4vDGoU H2h4tNZYLWFGP30GW4reTYKUL6x6uE2qBLzs9IOP0TI1A1m9uGmUGJTHSW2pg5zEb9XCL4hk MAd4JM4ygrnkRc7EMe0vgYN/US2E3EweaEGtJYbPYzVtjQW2mxyOZzyNgKm4bWkScl9DU0xE zrF2IvAn+t9w2TBQVoSFF/M//ZsupAVnCBG3Xo5flGvpv/YtKVmwi8L4TATSyJLxC5myMN2A HBgbGduFJWN/hBppclNZH+tEAd/Hy+k+lT95l8KtW/BRWy6fzbpAExkHsjV52Ef0WZXXgYDz YGi0Gy/DArbJpDg7BU9SWtOiqLFT+Uo0ibghcr+PcCOP6diUArfmqX0OFY58Ur2M/gQ2n/Ci /JhpttrSKvBMiUVna03Jq+a2ZkUSzGGPGZyeu5gzoxYAVDjfCyO5hbWJ3CTYs9tI9n4wX28A eFqJeNNUE2a/wSKpTY5G6UNAuFVmNgE2dk8QY7odFU26+ankjlUsZzr5nffgk0vSI5QisoTE N7aWA+DNW2yvkFqvVHxgvNKAFflXulcVjbAhLi01M4rC6M8tPpddBBu87ms4FSQHghV3zOVm wLhe6bQ5vFp5rp9rbToA5R+LQCFcuruWNvV6yS1mYxvbMzOA+jKpQg6ulnqBCUIHLozCvBct 6WBj87z52zB5I0JamH+n4KQMZVJ6eGZfvtlAuiuIFZ0xSK9CdLRuT0d8GWGGLl1udJ65Pj/Y TCnacG1JOUna/0EyFJ7MyFhQgsgUYLpZaLdpAS4nfSGKj4Z9SfldNqH13vYXVt3Rx8yGa/VK 1HL4q61x9Viso5zKgcOBKhmD79GMVbTY/YaWOOrhwaILFuDow2kgaTjpyoC+DuQK3ijEeTG2 7znaCX6ViyPvPDv8IkEna105xEZNSMoy614NEcQ4MV/hD2GHXYLZ7ZVe4kPDpZP1Df+ztfkb TXKd3EvEjj5QS8CSxjn/dD/RU2KM4Ti4DsiyuABpCt4qhtaBb9sxJNk/yZkpmhsI37tkbrhJ tYZ9Xn9eBO2x/mFgArVCuOT2Y9aKjHynxrkOnwRV+T8CApYHLMOkmR9dOaIfTKSCNnDzS0nO kBsLV2pgyiHpYrZH818PWNTHFcBoFsDCtnugTinmL7ihmlQ8AGMJDAT9Q0+Pn3vofnm/IIze E4= IronPort-HdrOrdr: A9a23:8UURkagK5HuciK9Zg4je9sgoUXBQXvQji2hC6mlwRA09TyVXrb HKoB19726PtN9xYgBapTnkAsO9qBznhPhICOUqTNSftWrdyROVxeNZnPLfKlTbckWUltK1vZ 0AT0EUMqyVMbEVt7eZ3OD1KadG/PC3tI6twcnRpk0DceioUc1dBsVCZzpz23cZeDV7 X-Talos-CUID: 9a23:UCUMLWPNYK4fvu5Ddmp11WwIIpAcY3zd53iTOlKbOG13R+jA X-Talos-MUID: 9a23:SBh/aQos05L80MXcpRUezztfbOVm/IegMxgqs4sJgdSlMX1BYijI2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,202,1787004000"; d="scan'208";a="304410919" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDEkx8BFErR8PH/XLTcA9VaU3ZHqMCbQK4txB8?= =?us-ascii?q?kx6BVIb44eVH+9eQuQykkrT43kpqV9npQIQqxZ/dms6reAjwB6R0U2te?= =?us-ascii?q?cLO7YMV6Px6pQWR8YbjH4VxVM+5G1XKnN4lxDz8Z9VbNQu1gTP4eiJCo?= =?us-ascii?q?s/8+blVOe2Su+dEsfpXSWwmQ=3D=3D?= Received: from mail-wr1-f53.google.com ([209.85.221.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Nov 2026 16:13:06 +0100 Received: by mail-wr1-f53.google.com with SMTP id ffacd0b85a97d-4918c2d727fso49003f8f.3 for ; Sun, 08 Nov 2026 07:13:06 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1794150786; x=1794755586; h=content-transfer-encoding:content-type:mime-version:message-id:date :user-agent:subject:cc:to:from:x-gm-gg:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to:content-type; bh=6Y+fHQBYaGPTlZ9ESQ0gd9/Vliz2PtVvKTLi4yflLRY=; b=JcA1S+S5RKW2V7c/Swv8IWqj4+s/6dJapkGKs3omIp8jRY4k8SN7NQCZHj2m36Sktz D0CoDlkhH9RoUXV1NMlFEC8wKu2bd1X4W31EcbFcfp1Ti0/I6qeLr9XRaFw4PfK5GT3v FldPY8YXj3jflBSnqENFmciVSFLrHFGURE6bq1q3vnBmDEQaRoVs/LGAevd+BK+7kz5P 3wv4YY8oscHKleyOJp7k/CfsjLlfJjHs6AxMs7P2y3ulELKLXCTtCg9HLLwdRyN/CXhR Idia+zISjXO/i8rCs9rJc/OHdtcyeLx/84ROUuenGkMRiuyPTuoS0pA4FG7alXn3dbxw wacQ== X-Gm-Message-State: APuU4Z85SOayVkW0hCX9nUt6kIfkPHara4Cwxq2S5svswO1DUjQ/FzBW uO6x14Lmgl8A+tzd5DU9QWGRbGh31yEV9CiWnUvXQck/Vuq7DGh8QZmH0anb/uNjxw== X-Gm-Gg: AYBFou1EKnSxdC/OR/1raaHgo1CV0E/NoDu1ePr7HW8VoFcPxLPK5mNoHUAiNhiHPFV yKIKuDgHkwIH09K8nqLlacOKPHA9Qqw10RX4Y8M02p/lIFkTsaqDF1D1rOmob1CfwhcK7CF5Mnb bvB67axa/qWIYKOt1s46R7NZW+7N7cyGF8/bX29O0aJTz1ivJTN5A6QXBxITU7mWyeUtRs23dzv ZSRBhiuO4rq5kCIQ/61G0LShw8mjw0CE29S3n/PhM8mKCjspY82wyaRfcRfIW3R3R41Ayhw1+zP L3lHCeyskMrTH+l/K399jwOCkFfi/D4+wV5bIIojsHBLqfHm7vtOa7eXQn7YcRXBqZeGAy+LBfd glZRl/bhipHKCSnqSjVvZWGdYAReGHiNCRyoHOq/rq7Cp5ANCVXD/FdCPl6+m81Dx/hjP6XUchQ Y+bj04AppPRwvcP1mzyOcbYjh6guS5du0xHgY/IpZfX6/ETT5VkAhBntFiLgmHkOShYVXiVuftG kFG4eNXJ+THoFLWzMVBD1+VF6NcGx9SrzXP2tcNepobMGXo5xml2KoIeP5jmDVpyunXzubq2TiA 6tSaV1aP2+DVA7W4665IXRPavl2oFw== X-Received: by 2002:a05:6000:1889:b0:48e:5eac:7e48 with SMTP id ffacd0b85a97d-495889ff2b5mr3115442f8f.22.1794150785768; Sun, 08 Nov 2026 07:13:05 -0800 (PST) Received: from mario ([2001:818:c657:ae00:d4df:e332:448e:f31e]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-49592f398a4sm4195311f8f.6.2026.11.08.07.13.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 08 Nov 2026 07:13:05 -0800 (PST) From: =?utf-8?Q?M=C3=A1rio_Pereira?= To: caml-list Cc: Neea Rusch User-Agent: mu4e 1.14.3; emacs 31.1 Date: Sun, 08 Nov 2026 15:13:03 +0000 Message-ID: <87y0b35pc0.fsf@fct.unl.pt> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] [VerifyThis 2027] Announcement and Call for Problems Reply-To: =?utf-8?Q?M=C3=A1rio_Pereira?= X-Loop: caml-list@inria.fr X-Sequence: 19604 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: [Please distribute. Apologies for multiple postings] ***************************************************************************= **** VerifyThis Verification Competition 2027 ANNOUNCEMENT AND CALL FOR PROBLEMS Competition to be held at ETAPS 2027 https://verifythis.github.io/ ***************************************************************************= ***** Get involved, even if you cannot participate in the competition: provide a challenge! IMPORTANT DATES Problems submission deadline: Friday, 18 December 2026, AoE Competition: 10 and 11 April 2027 ABOUT THE COMPETITION VerifyThis 2027 will take place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2027) on 10 and 11 April 2027. It is= the 15th event in the VerifyThis competition series. Information on previous ev= ents and participants can be found at https://verifythis.github.io. The aims of the competition are: - to bring together those interested in formal verification, and to provide= an engaging, hands-on, and fun opportunity for discussion. - to evaluate the usability of program verification techniques and tools. The competition will offer a number of challenges presented in natural language. Participants have to formalize the requirements, implement a solu= tion, and formally verify the implementation for adherence to the specification. = There are no restrictions on the programming language and verification technology used. Solutions will be judged for correctness, completeness and elegance. CALL FOR PROBLEMS To be able to offer a broad and diverse set of verification challenges, we = are collecting submissions of ideas for verification challenges and problems. We welcome problems of both academic interest and challenges based on themes t= hat are relevant in industry. The competition proceeds in three rounds. In each round, participants are g= iven 60 - 120 minutes to implement and prove specified properties of a given algorithm and/or data structure. They are free to use any verification tools they choose. Challenges are typically concerned with proving functional properties of the code in question (at least some part of a challenge invol= ves expressing and proving properties specific to the algorithm/data structure = in question). It is common for problems to have multiple parts, e.g. to prove = some basic properties first, perhaps for a simplified case, and to progress to more-advanced goals. We are looking for problem submissions. If you have recently encountered an interesting challenge in your work where formal techniques could be applied, please don't hesitate to submit it. Typical challenges have clear input-out= put specifications and often incorporate one or more of the following: heap allocation, concurrency, arithmetic reasoning. A challenge usually describe= s a problem using natural language together with some pseudocode, and then prov= ides a list of properties or "verification tasks" of varied levels of difficulty. Contributors are encouraged to look at the Archive of previous problems . To avoid spoiling the competition for others, we ask that you keep the subj= ect of your submission private. However, note that problem authors *are* allowe= d to participate in the competition! Submissions should be sent by email, with subject line "[VerifyThis 2027 Problem]" to mjp.pereira@fct.unl.pt and neea.rusch@it.uu.se. The submission deadline is December 18, 2026, AoE. We look forward to receiving your ideas! Submission Criteria: - A brief yet precise problem description, specifically identifying verific= ation sub-tasks. - A solution to the challenge is strongly encouraged, otherwise please prov= ide a sketch of correctness. - The description document can use any reasonable format, including plain t= ext or PDF. ORGANIZERS * M=C3=A1rio Pereira, NOVA University Lisbon, Portugal * Neea Rusch, Uppsala University, Sweden STEERING COMMITTEE * Marieke Huisman, University of Twente, the Netherlands * Rosemary Monahan, Maynooth University Maynooth, Ireland * Peter M=C3=BCller, ETH Zurich, Switzerland * Mattias Ulbrich, Karlsruhe Institute of Technology, Germany