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=KvO/pbXz; 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 CA3AD4009A for ; Mon, 15 Jun 2026 01:50:17 +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=fbAf4f+A6/TrhPeD4jCYPgdUMtFV7iVDoJYRkLTovWs=; b=KvO/pbXzApABEhriIEIlNJ238LNannWSgQIeDNHMdTrdHpqWQSX5+85+ RCLlHQAAgc4juhBdhsz8Sj1iTS7wvOwkJtLioE1B4XXtz/Iha5TxjL+Po TQrNxqE67IbkbCfr2rFXIIC5sUttSxGYaDZCOgCzZ7Cu2uQGZRCy+u/b2 w=; X-CSE-ConnectionGUID: 0TdIYjElSeS0bwN/wrBhoA== X-CSE-MsgGUID: 4+oxxLbNRRa+JfQYccBauA== 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.24,205,1774306800"; d="scan'208,217";a="281474274" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jun 2026 03:50:16 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id A3F3F81660; Mon, 15 Jun 2026 03:50:16 +0200 (CEST) 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 4F4EB80F37; Mon, 15 Jun 2026 03:47:16 +0200 (CEST) X-CSE-ConnectionGUID: xjrGAaxmRlqj24Wfmc9R+Q== X-CSE-MsgGUID: +xrao7vgT+qVANP7jEC3lw== IronPort-SDR: 6a2f59a3_ekdJFIl5keSJAfTg5giQLRw10Jdxqm4FO0EJccZt+tC0MET 1eakknYgmO1gHtQSKOEIZ87sgbyaZJ0iruuPWUw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0H8AgAhWS9qgSd+ZTRaDhABKwsGDIMvMVNCAUUCYC8DB?= =?us-ascii?q?whJiCeFLIh5njKBEAMYFikGCQEDAQwBRA0EAQEBAgEDgguCdAKNRSAGAQQ0E?= =?us-ascii?q?wECBAMCAwEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABATsHDjuGT?= =?us-ascii?q?w2CYjRxYwg6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQETAggFBy0qASEWCyMBA?= =?us-ascii?q?SYRAREBQD8nBAEJBA0agmGCHQcEC0AEAg6oCwF8ARIuAgKLIIE0gQGCDAEBB?= =?us-ascii?q?gQEgQDbEQmBdgMGgU2DEYVKASqBNQGEFoR8gk+BFUKCOG+BBYFFFwICGIEJF?= =?us-ascii?q?Csrg2iCMIImehIbgnJ4jQCBREszLAFVExcLBwWBMzMDAh4KLy0CFB0SDwQWM?= =?us-ascii?q?h1wDCcSLBc0WBsHBYFKY1hWLlYRhHwjHwM5f4FvAQmBHWcvNxUwGB0gYQERH?= =?us-ascii?q?woIFAMLbT03Bg4bB4E1i29dFw+DTSsTPEkFFw4iepMYj0SJP5o4B4QgjCGVc?= =?us-ascii?q?BeqbJkII4sEgmODbIE2kEIThRYCBAIEBQISBoF/I4FcTYNaUAMZD5BagUmCZ?= =?us-ascii?q?IF0O4E8iGUJAbhFRTQCOwEBBwIHDgMLgWiQADSBSwEB?= IronPort-PHdr: A9a23:iRqzfByI5EdalGnXCzKQxlBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xGZva0m1gaWDdSTq6odzbaN7+a4AS1IyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/AdjUKgcXJ 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYgYZuMLo9xgfGrndWZuhbx2BlKFaOlBr4+su84YRv/itetv8u7cJMTbn2c6ElR rFEEToqNHw468LsuRTfVwWE+2ESUn8RkhpGAgjF6A/1U5LsuSbkteRzxTeXM9TuQb47QTqt4 L5nRQHnhikaLzI2/33ZhcJ2jKJAvRKuvAd/zJLOYIGUL/VxYKXQds4HSGVbX8ZRUytBAp6gb 4YKEuEMM/pUo5X7qlATtha1GxWiC/3zxT9Jnn/23LM10+I9EQHdwQcsG8sCvGnIoNnpMasfV +e6wrTVzTXYd/NZxyvy6JTGfBAmpPGDR7NwcczMwkUrGA7IilCcpIr4ND2Xy+sNqXCW4ep+W ++xlmAntw9/rDuzycgjkYTGnJ4Zxkze+Cll3Io4Jdu1Q1N7b96+F5tQsjmXOZVsTcMkXmpnu iE6yrsJuZWmeSYKyY4oxxvCYPGAc4mI5RTjVOmSITd5nn1lfaizhwqo/kim0eD8UNW00EtQo iVbj9bMq2oB1wfc6sWeTPZ240iu1yqV2Q/J9uFEPV47lbDdK5M53rI9l4YfvEDdEyPqhkn6k K+be0s69uWn5OnqbKnrq4GAO4JphAzwMrgjl8K8DOk8LwQAX2yW9+uy2bH/+UD0QLNHheA4n KnetZDVP8UbpqihDg9b14Ys9wywACq83NQfh3kHI0pJdwydgIjyO1DBPPD4Au2+g1S2ijtrw OrGPrL5DprTNHfDi7fgcqp960FGyQoz18pT64hTCrEbL/L/QlTxtMTCDh84NQy0zPjoCM9n2 owCXmKPB7eVML/PsV+H/OIgOeiNaJUPtDnnN/gp//vujX0+mV8bZ6apxoEbaHamEfR6O0mWf GDjgtEAEWgUugoxVu/qh0efUT5dYna9RaQ85jchBI68F4jDWpihgLOA3CenHp1We3tJBkqNE XfvcYiPRvQCaDqKL8JhjDAIT6WtR5M82R20qQP21btqIvDa9yAcrZ7vytl46/HdmBw36DB4E 8CQ3mCIQmx7gm8FRzo70a9xrEF4z1qO1a51iOFCG9NJ/fNGSAI6OIbcz+NkD9DyXRrMcMmLR 1i8WNuoHS09Q9wvztAAf0pxB8iuggrE3yq3H78ajLuLBIEy8q3BxXTxP9x9y3Ha1KY/k1YmX spPNWqghqJl8AjTGpLJk0Gel6atdqQQxjLC9GCGzWaWvUFYVhB/UbndUH0feEfat8n16l/fQ 7O0FLgrLApMxdSMJ6ZOctHpiE9JRPbnONTQeWKxnGKwCA6Ix7OLaorqdGYd3CTHB0gBiQwT4 WyJNQ4lCyenv2LeESZiGkzybEPx6+V+s3y7Qlcuzw6Wd01hy6a1+hkNiPOAUfwT27YEtD4lq zV1B1a9w8nbC8GApgpkZKVTe8kx4FZB1WLDtgxyJIasL654hlIGaQR4o1vu1wlrCoVHicUls HQqzBNrJa2E1FNBaiiX0IvrOrzXL2ny5AqgZ7TX2lHYytaW+70A5O42q1X5pA2pEFEt/G190 9ZJy3uc+onKDA0KXJ7vSko3+AZ1p7bZbCcn/47a0WdiPbGusjDcxdInB/Erxw6lf9hFMaOEE Bb+E88ACMi2MuMqnUamYQgfPOBO7qE1PsSmd/2b1KK2IOpsgSyqgXhJ7Y15yE6M8Dd8SvLT0 JYC3vGY2BaIWy3kjFe7tcD3hZ5Lai0OHmq+zijkApRdZqpvfYYXDWeuJMq3xtZki5HxXH5Y8 UavCE4F2M+ofBqfd0Tz0wJe2koJvXKqhS22wyRpnDEstKWfxjDBzvz6ehQeImBFS3FujUz0I Yi6l90URlSlYRU0mhe9/kb636Zbq7x/L2bNRUdIeDD7IXt+X6Wtq7TRK/JIvdkjuCBTFeC9e kyyS7jnohJc3TmpVz9VzTU/MjWroYnRnhpgiWvbImwl6DKTcsZpgBzb+db0RPhL3zNASjMyw W3cAUH5NN209/2VkY3Cu6awTTTlHtdafiXi5YeBrzego2ZqCBm6kuqo3MbqW0Bu2CD33vFuV D7Ut1D3YoDv0qmgKqR8cx8sTBX84tF5F4V614A5ipw42XEBhZiR+TwAi2i5eYFb0Ln9YX4JA DUCzdP94AH+20BnKjSO3Y2vEj3Xyc8kZsKzaG4S3i948ttHEry86L1fgTAzqVO96wvaJ+V+1 H9Jwv9r6WUTiewNvAdo0z6QGKs6GUhDITeqnB2Nqdm16rhUMiLnO7O30kFjh8qsCrqTigVdQ 2rid408EDU28thydlTImjWn4Ybic8TKd98VvQy8lxbbk/NYMow8jLwWmCchP2ar7lM/zOtus RVolaC9uofPCGRk+ertExleOT70bsZV5jjrpaBCg4Cb053pBZo3SWZDZ4fhUf/9SGFajv/gL QvbVWBlwp/6Mb/WHAvErVxjs2qKCJezcXeeOHgey9xmAhibPk1Wxg4OD30hhpBsMAesyYT6d VthoCgL7wvprR1DyeNhMl/jW2H3ohu1LDo4Vd6EI0ke9RlMsn/cKtfW9edvB2dd95ylohaKL zmKYAJHDmAAXwqYDlbLOKWzo9TM7q6DCbn2NOPANI2HsvcWTPKU3dSv349hqi6LLdmKN2J+A ucT5nt7ZUohQO/kw21WDSsKiyjKcsiX4g+m/TF6pdy+9/KtXx/z4YyICP1ZNtAHFwmep6CFO qbQgS94LW0dzZYQ3TrTz6BZ2lcOiiZofj3rELIatCeLQriC0qlQRwUWbS9+Lq4qp+o1wxVNN MjHi9j0yq8wj/g7DE1AXEDgncfhbNIDImW0PlfKTEiRM7HOKTrOysDxKaSyLN8YxPRTsRKzu D+eVVPqOByFiySvWhyyd/pDzWmaMBFYpIChY0N1E2GwKbCuIha/MdJxkXg32ehp3DWTbTdaa GIiNRgc/djypWtCj/5yGnJM9C9gJOiAwGOC6vXAb40Rqb1tCzh1kORT5DI7zaFU5WdKXq8Q+ mOao9hwrlWhiuTKxCBgVU8EuzFNi4GKtEAkJazf3p9cRDDJ8A9L9mraWHFo75N1T8bivaxd0 I2FhaX1JzRD+teS4cIaL87INYSKPGdnKhWjS1u2REMVCDWsM2/YnUlUlvqfo2aUopYNoZ/pg JMSS7VfWTTZD9siA19+VJwHKZZzBXY/lKKDydUP/Ty4pQXQQ8NTutbGUOiTCLPhMmTRgb5Bb hoOibT2SOZbfpz83UNha1B/2pjDHWLWQc0LryF8KBQ76ElA63lxSGQv1lmtN1nruSdKU6fuw Fht20N3eqw1+S3p4ksrK1avxmN4i0Q3ldj/wHiQfDP3MKasTNRTAivwuVI2N8CzSAJ0YAuu2 E18YWqeAesJ1v05Lz4t016P3PkHUeRRRqBFfhIKkPSeZvFzlE9Ztj3i3khfo+3MFZplkgIuN 5+qtXNJnQx5P7tXbeTdIrREyl9Ii+eApCitg6ogxwkRJEcE9SWOcSggvlAVcLQqOmyz8aY/j G7K0ysGY2UKW/cw97h78UUyOOWJymT82rhrLFysceGTMuWCtCKT8KzACkN13UQOmU5f+LFw2 sp2aEuYWXcky76JHggIP87PeklFKtBf/3/JcWOSoP3AlNhrap6lGLmiHors/O4Ex1ipFwEzE 8EQ49QdS9OyhVrAI56vLaZZm0l1olWxYg3DVLMQJVqKiGtV/5n5lccom9EbfnZEXwAfeW22/ uqF+1Vs2aLbGo9wOjBDA8MFLi5kBZf8wnYD+SwGVH7ujKoY0FTQsmW6/3yLSmG6N506O5L2L VttEI3koG1jtfTpzwaRqtKHeCn7LYow4NaXsLFD/s/VBa8MFesv9BuM/usQD32yDTyVGIbsd cGpMtsiMYSvWCT9Dg33iiprHZ34ZI//d/HR0w+0Hd0G4NHDhGJxcpLkc1NWUxZo+bNZ7folN 1RaOsg1PUaz5Q9mb/TtckDFi52vWzj/czIOFqsGlLzoaeAPlHgiNrfimilnE8tyiuCz9QRlq IgithjF3r7jYoBfVXO2AXlBY0DUojJ/kWF9N+E0y+N5wRXSsFBaPSrZPOBubWVFuZk7Czbwa T1uDXEkQlaHkYfZyjKd54gop3B2oo4MiKtCrWT0uYLZbHS0Qqu3pJ7Jsi0mK987v6l2No+lK cyD0fGW1jDSV5jftASZXTXySqAcw4AJZnsCHr8TyCksIoQetJBE6FYtW8t2PLFJBKQ25/irZ TdiES8O3HoZWoeHj1lgyq+337rXkAvVcYx3bUZC6c0bxIJHDWgtM3B7xufrTYjdmm6aR3JeJ Q4S6V8J/wccjsprefij5oPUTZhKwjoQovRuUyKNGIM7kjmzAmyQn1X8T+2s1uKz2gcHhuPr1 NYYWRd6T1RUwc5QilZuJb1qbbIf9N2v0HfAZQbhsWThxfHzbkFW0tHRfkbkAZDtiVvEahdEo lYpHdcWjnbCCZ4Vjgx1Lr4xo0lBK5ynfUC44CE4w4NuHP+zUsXhlDNH5T4WAiytFdRGEeRvt lnaDSZkb56co5LgI5xOQ2VU9c7VuxJDnU5qKSL81YtEJpQH/GsXRDYW62b43pP6WIhZ1MRxF ZNJPtpvpyK3BvZfIJbI63wu5u6zkjmIoXZk9g/9nWj7GrfkHb4BuTRGRUNxYTzZ8xdKbaNk8 3+OoA2X9Aksp6EDQODI1Bg5oS4hTM0UQG8Rjzb9aQw0FScOsv0GevmPNZUEGL9qI0foYkNbd 7Zu3lTVrxgswTGlPGoq8FMdon+VXhFqB3Mc2u6/wGRH+M/7YWdIGdUUPVBDJ2/EM1zJwykP5 UQGMhg4VcxBWYQXvO1KlYpMoJiYQB71e3hcBU5salpjg6oHzRYR4gLFIEW/RUKpbaid6BQvJ JXI9Zf7Iqihp1VM0tu/4rJ/qvxLRmX4y1ekGYmM9tal5NPW7hDcev+ga7/uJiKbBH3FiRT67 V/FJ6X7xxDpaFFwFsEikDwjfITrDnPNMVJePaUHKkFHVKd8L9JbvuRdYMwic6EMq/YF7v2vQ A/yXoGjsb9dIQSKLdw7ByOd76qyrZ+V9rOPEYDd IronPort-Data: A9a23:l9AwWqPTGbctJ/TvrR2rnMFynXyQoLVcMsEvi/4bfWQNrUokhGQBy DRKWjyHaP/bMDagKdxwPI+28RlTvpbUyYVnGwZtpSBmQlt09fbIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVqicfHw3HVY6IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kkz1BjOkGlA5AJmO6kX5AW2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk b2hhrTpIesdBZAgrcxBO/VuO3EnbPceoNcrFlDk2SCb5xWun3IBWJyCBmluVWET0r8f7W2ja ZX0gd3CB/yOr7ve/V61dgVjrtQhNubCNZMagHV5z2uFMvgjSsH5AJyfsLe03B9o7ixPNcrvX /IjMWFEUUyYOltIJ0sdD484kKGwnH7jfjZEqVWT460q/2zUyw8327/oWDbXUoHQA5wNxwDB/ DyApDWR7hIybLRzzRKU9XSjhe7GmGXnUYQ6EqGlsPNmnRuIyQT/DTVPCQrn+aTo0BfWt9R3a FwO8y1xs6cOt1WVZ//FAB+ViyWAoUtJMzZXO7Zhsl3SokbO2C6SD20ACzpAc8AOr94zXTVs1 1mTntqvCyYHmLaSUDeW8qqehSijPDAca24Efy4NCwUfi+QPu6k2hxPLC9RqCKezg9TuBTjix DbT9XBn3e1I3IgMyrmx+k3Bj3S0vJ/VQwUp5wLRGGW48gd+Y43jbIutgbTG0RpeBJabVHaot WgBocyH7rpSMp+In323A9xYSdlF+M253CvgbUlHPaFJythA03uqfIQV4jhmLUFkO90YcC3uZ haK4VoLvMQCeny3caVwfoS9TdwwyrTtHsjkUfaSacdSZp92d0mM+yQGia+sM4LFzhhEfUIXY MnznSOQ4ZAyUvgPIN2eG7917FPT7npirV4/vLiip/hd7VZhWJJlYexeagfRBgzIxKaFqx/S6 NFRK4OBzA9HONDDjt3s2ddLdzgidCBlbbiv8pA/XrDZfmJORjp7Y9ePmuxJRmCQt/4E/gs+1 irlAhcAoLc+7FWbQTi3hodLM++xAMgk8iJgZUTB/z+AghAeXGpm149HH7NfQFXt3LULISdcF qFbIZezEb5URy7Z+j8QS5D4ocYwPF6onA+CdW7tKjQ2Y5cqFUSD987Gbznf0nAELhO2ks8i/ Jym9AfQGqQYSypYUc35VfOIznGKh0Y7pt5cZUXzD+d2RFTN66lvciz4se82KZoDKDLF3Tqr6 DyVChY5+8jJmb0I3vPyoIyig7mVOvRbJRdEE1nh7LztCzTo1Te8yooRCNS3W2jUazLp3KDzP Ol63+/2auYarQwbr6t9DLdZ4qYs7PT/p7Jh71pFHVeaS3+JG79fMn298s0XjZJ0x5hdohmTd n+U39tnZZGlCZjCLgYKBQwHau+j66klqgPK565oHHSgtT5FwrWXdG5zYTyegzN5B5loOtoHx ewBhpYn2zangEB3Dufc3zFmzEXSHHkuSK59i4o7BrXsgQ8Vyl1vR5zQJyv1wZOXYeV3LUgYD W6ItZXGmohj6BLOQ1grGVjJ+Nhtt5AElRRJ7V0FfnCiuN7OgN0p1xxwrxUzaClozSt87uEiA VgzanVJJpiP8Qx42+lFfWSnQD9aCDOjp0fe9loulU/idXeOaFDjFmMHBLuyzBgryF4EJjl/1 5OE+VnhSgfvLZ3Q3DNteEtLqM7DbN1W9y+fkpr6Gc3fG5kwWme9s5DzTGAOkULDBP0yiHaat 9t73f1RbJfjPnU6uJwLCIi91JURRiubJWdEf+pTwaMREUzYexCwwTKrKX3tSvhSJvfPz1C0O /ZuKu1LSR668iSE9RIfOoIhPJ52m6QPyOcZW7a2O1MDjaSTngBpvL3U6CL6om0hGPdqsMQlL 7LuZyCwKXORiVRUil3ygpF9YETgWuY9ZSr4wOyR28cKHchasOhTLGcD4oHttHCRaAZa7xaYu T3YXJDvzstg9J9NmrX9GaASFiS2LtLODN6zyj6RiOgXT93zMpbpjTg3+33HJAVdOIUDV+tnz YqttMHF52KbnbIUfV2Apby/Ofho3+uQUtBTEPrLF1hBvC7bWMbT8xoJoG+5DppSkeJi3MqsR irmSc20a9QQV81U+1NJTy5kExweIbn7Tpr9lxyH9tCKLB480BPGHvyj53TGfWFWTQ5WGpnEC gX1kcSkvI1ejalQHC47X/BoOIB5K1ndQpkbd8X9mD2bL2uwiHaAh+fSrgUh4jT1FXW0Ksb2z pbbTBzYdh7pmqX34PxGko515Ds7MW1chLQuQ0cj5NJGsTC2I2oYJ+A7M59dKJV1kDT35a7od gP2c2ouJiXsbwtqKSymzozYYT6eIegSNvPSBD8jpRqUYhjrIrKwOuJq8yM47kpmfjfm8vqcF ugf3X/NJTm0/IBiQLcCx/68gNo//Mjg+FAzxRnfnfDxUjEkOpdb5Ew5SUAJHWbCHtrWnUrGG XktSCoWCAunQEr2CoB7d2QTBBgduyj1wi41aTuUhuzSoJif0PYK3ciX1zsfCVHfRJ9iyH8yq XLLq6+l31Gu4kZL4oAU44pwx6hpFfiMA862arf5QhEflL2x7WJhON4emS0IT4cp/ws3/5b1i Gy3+3ZnbKiaABk55VFU4VxhF1FNvrYkCS3UygPzuHndnnTVCvDHLgOywluTxY7Y8sDeUoYxf NvWRECNvhubuCaivjYWWjH3YLCYKZl5KEQomRzEgn8/ftlAhYOd+H1cP5kG6u9s IronPort-HdrOrdr: A9a23:+3cDUK4QyhGoZ4JzqAPXwUmBI+orL9Y04lQ7vn2ZFiY5TiXIra qTdaogviMc0AxhIU3Jmbi7Scq9qADnhOZICOgqTP+ftWzd1FdAQ7sSircKrweAJ8SczJ8X6U 4DSdkZNDSYNzET4qjHCWKDYrQdKay8gcSVbJDlvhJQpG9RC51I3kNcMEK2A0d2TA5JCd4SD5 yH/PdKoDKmZDA+ctm7LmNtZZmPm/T70LbdJTIWDR8u7weDyRmy7qThLhSe1hACFxtS3LYZ93 TfmQCR3NTujxj78G6S64bg1eUWpDLT8KoCOCVKsLlXFtzYsHfnWG2mYczBgNl6mpDr1L9gqq i2n/5pBbUI15qWRBD+nfKl4Xid7N4jhkWStGOwkD/tp9f0Syk9DNcEjYVFcgHB405lp91k1r lXtljpwKa/ICmw6RgV3eK4Iy1Chw6xuz4vgOQTh3tQXc8Xb6JQt5UW+AdQHI0bFCz35Yg7GK 02Zfusrcp+YBefdTTUr2NvyNujUjA6GQqHWFELvoiQ3yJNlH50wkMEzIgUn2sG9pg6V55Yjt 60RJhAhfVLVIsbfKh9DOAOTY++DXHMWwvFNCaILVHuBMg8SgDwQl7MkcYIDc2RCe01JcEJ6e v8uXtjxBAPUlOrD5fQgPRwg2DwfFk= X-Talos-CUID: =?us-ascii?q?9a23=3AjXsmx2hb9xPbEQC0rhTkqsjyCTJuYn/H417ZM0q?= =?us-ascii?q?CDX9rEuGqR1qbqZknqp87?= X-Talos-MUID: 9a23:GCt8IAY24YLUNOBT9C/2jTY9KshUoL2QIWY1zpcrkJKAKnkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,205,1774306800"; d="scan'208,217";a="149405921" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGxeCzkPtqnLP8yKa+/8mALxcXKJWoqR84ewL?= =?us-ascii?q?vqb82AMUrKiccpq9m3F7o1EgM83OUrD3+mBbndxFvZQ3FSuQKaLL3xJZ?= =?us-ascii?q?XZBmBCUa6fIYlhbj8PG0ojY2EbpWPcgAUdp5fqb1aKJ0efXGFEtIQowz?= =?us-ascii?q?2JrWk9ojVY3CPQKTiZgzvWew=3D=3D?= Received: from mail-japaneastazon11012039.outbound.protection.outlook.com (HELO TYPPR03CU001.outbound.protection.outlook.com) ([52.101.126.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Jun 2026 03:47:14 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=WEKd77W2G6gwmit6eGd1bjlxCD7XXrbhNy2tecC1HHpYqJe1YJyMgMES2o6gKudlY4AL1U0BTKi70OwFFu7By5ybUibJOOJhJ2aHV0U/7y5zbdxY9gRe/PhLJWs843k4Dpf/lZ1pCouVcla71CNO34QA+BFpDUWd4Yu5sI4k3Cm3IgQuF3OIIzaNn/2FKO3pUiSXu23zHfZMALsrihhKs+IZOhBJHZxd5ECvmNJid8MrZJq4YqaI8EZYIKXJl7c5VL3IBcmDagF/lf9+J2ahPgFEKUiig5gy1UfYSlMD3VI9MDr27Ypm9jAne+UCphH4V4CjJn1rA1fzaTRdBmjjHA== 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=fbAf4f+A6/TrhPeD4jCYPgdUMtFV7iVDoJYRkLTovWs=; b=RwMgMd0IsEqN/CJmPJ/5YblFFyKcQTQyZzDyC8XycYXRQ17MyTF7JSQYp66kOaUXdSDc5eHNS/vY2/isKbj9JxERdVtFZR3KsUjuksUox8RehONV1kZGW0yY1HbbgZNr7/m1xEPS7WILD1o5hC0ZlQMpSpNP7xc0XPqSp9bR3qeGwXZGR1wyEj3t7NZ105NlkcWXShR43+rs1cup50XrdjnZ8+Q24GRoHxTHsfqqgmHl0P/2fUS6D+LxzXfIZVZZcIaHtVOOLJQlhYA849pX9CFGLPU0K2bD/iiyz+bKg/+11pHLwB1C4ZSI3zO4xEBMCut7SeLWk9NOepG3Ps/KPQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ntu.edu.sg; dmarc=pass action=none header.from=ntu.edu.sg; dkim=pass header.d=ntu.edu.sg; arc=none Received: from TYZPR01MB5926.apcprd01.prod.exchangelabs.com (2603:1096:405:43::9) by OSNPR01MB7435.apcprd01.prod.exchangelabs.com (2603:1096:604:31b::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.113.18; Mon, 15 Jun 2026 01:47:07 +0000 Received: from TYZPR01MB5926.apcprd01.prod.exchangelabs.com ([fe80::cf01:f4ba:2503:96df]) by TYZPR01MB5926.apcprd01.prod.exchangelabs.com ([fe80::cf01:f4ba:2503:96df%5]) with mapi id 15.21.0113.015; Mon, 15 Jun 2026 01:47:07 +0000 From: Tan Yong Kiam To: "caml-list@inria.fr" , "coq-club@inria.fr" , "agda@lists.chalmers.se" , "haskell-cafe@haskell.org" , "cl-isabelle-users@lists.cam.ac.uk" , "concurrency@listserver.tue.nl" CC: Aina Niemetz Thread-Topic: VSTTE 2026: Second Call for Papers and WIP Presentations Thread-Index: AQHc/GinDmNNOkrWnkqqVt7RP7r9nQ== Date: Mon, 15 Jun 2026 01:47:07 +0000 Message-ID: Accept-Language: en-SG, en-US Content-Language: en-SG X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: TYZPR01MB5926:EE_|OSNPR01MB7435:EE_ x-ms-office365-filtering-correlation-id: 195f54d2-2c7b-4dd9-7948-08deca80022b x-o365: NTU-OFF365 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230040|376014|786006|23010399003|366016|1800799024|56012099006|11063799006|6133799003|18002099003|8096899003|38070700021|13003099007; x-microsoft-antispam-message-info: iVka/AbqAZBPZlA8W1ZmYbuY39Vaq3WZ2Nkkjo/anROEfLxHuW2tRoPheVhAir3/FX5glKjXO0iGeoikHmCY0HnMsPnQquOWoC1mDhdaRFH9/naRJeTH+AbueLS2pOmjN2Bg/PNkSXtxjNzagNWKVMCJhm8OCiuLvY0nwI0DcBmz1T/ft3j1VfU2GtdXmmCQKlYlf8dR8d7cz/DLq3iHN6kt6y+MSH4ndLjq05K/3WeLE1o8DqdbAObG6Rt/bCSZ5VVewKESrK96fMzxRE/6qLT8bVB0yfKKPdInflBsCiy7Sz2Us7PbX5FJmH4fGyk69JHh4wkR1adA4TXlbxWLfX8vTxybFvkyCj5JwwrGXITev33XycbZ+f5nXg+gl5vlPesGDgx3HSzhjVZtYCh3Yn2qX0SijEjCK1okhZsfguo2w5lH7aSDhpbMA6JQ77HBj51zjV3FGF5j98x6IK4TcsJzXUIuGUJOEx9XNOdr+RdsML0kTFdFsv4oAS11xfdqqaFPJuE2xmey1bOzmImEFpvwuwvR8fGo/VI+BqWsMFWmrs6UXOgxx12aeAAw2empmnMyOnOiwBQhOsY4x63oMvSDyeqdNS/T1RPF9C/guks9glqNkzdntiCoQuIA9UW+xRJn+46YOpl/JC7iTJWuT2Vj/u/vHPQ9RWXd44RDGf7RuL06vuC2aM/8wILXTwYq x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:TYZPR01MB5926.apcprd01.prod.exchangelabs.com;PTR:;CAT:NONE;SFS:(13230040)(376014)(786006)(23010399003)(366016)(1800799024)(56012099006)(11063799006)(6133799003)(18002099003)(8096899003)(38070700021)(13003099007);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?Windows-1252?Q?ngE3CghR7qiX/zJkOtGZl0Xl6+Wo5OOgR6lCgcdNX7KzsHtNwgB44RGJ?= =?Windows-1252?Q?8acLnw0Wrfac4ew5Hkv/zwxmtwkOxMeR4Pa6u8W0ZhRTkSbqkfbnZzX+?= =?Windows-1252?Q?jBMPa6pOeBIwjcj9aX6/mE6xKil3tdx/lUiuawMdi2E2TFo5KO79vH1y?= =?Windows-1252?Q?ff03gbfDu+lt5p/musiRf27OFznSkyos0z1hQzgPHGSegsM4loP0aEVL?= =?Windows-1252?Q?ovVCx8DIdyhrXLB8J4MZQwOtXQcZWQ8S4k1wJgj30zWSQQ/97wlzYbM0?= =?Windows-1252?Q?afewT1xHwebw/xxiLFKD69tnzClKD3e00Z/WGsizGVlevlV97T5YZR13?= =?Windows-1252?Q?n1/sC2zJDeiLkBHxHaG7iV52CJ+P4sMX5DEJ+78B+amKQF6nRbJ/ZhTF?= =?Windows-1252?Q?EuZGVNivSnVfqWYodZzofkFLFoD8jEKsQAtGBHc/4CiVxlEJRDJuxeFA?= =?Windows-1252?Q?K4yfjaM8MzsZxkS6aXUu6FGBi+YVnCzHG835+6JBBpzctN5a8wssX8rV?= =?Windows-1252?Q?VcjzBgWc9yrXbT3JZan+deZnitFfj64Wuyb1faLUZf62aExvZ+D99PKY?= =?Windows-1252?Q?rpvBu/fcHHbhjh2wfw0AyBqZ0BFYF50GyVaAin5Jf+mt76a4NOpmJIHa?= =?Windows-1252?Q?tNi8U7BzT9DHtdwiRAyy5AbATrLX2fwOvY06LEslkLxtpTK/yIeFSEO/?= =?Windows-1252?Q?MwyEnb2ZXHymJqqz50MSKsIndSABfCWNrba4poj5klW7uR84AmszXX8d?= =?Windows-1252?Q?Hpo488WXg4Ftb8w9Pjdv8HWuvzyKFLrW4AqiSPL5Ji0KBzQiPUeaQauO?= =?Windows-1252?Q?lu+YRUkxdlso4lHKLty8Tn3iydJHv0wrnOfyKfeptt5huj+y/Gj5T66g?= =?Windows-1252?Q?WtT0qLSDcUFDA/T/GWeQ4JZ0YRau6P8r7rG36eSmbp4UejGix7PAM/8C?= =?Windows-1252?Q?sUWO1h40OgiEzVNyozv7+74c148vRCE6R9Um7yXeY5fHDbNbhNhN5RoR?= =?Windows-1252?Q?qCI9di9tbuWgarlSMUv5/zvEvatJffDVxsNY/GsNAgcSjXChwDbGv827?= =?Windows-1252?Q?v34tPM+DcqQdN3r3YyHNzaEXVsrM6PYiMdnxjMJLFMX5WN/IhsX+OrMd?= =?Windows-1252?Q?kieqlEHX+cNNtLKsIcZVI36KkpeEBbEkHwPKpZc5jQkQaqaH6JL91Ncl?= =?Windows-1252?Q?Ahi5FLmVV1f3R2lB07iX0nHlpc6q0cNIdodJ/+dKivDqy6zlc7MxRfy5?= =?Windows-1252?Q?gMnuyXynV8hkgtiSGAbPorpbTtWwV3JtVRTwiR3nN5sEhKLEDKbWAoTl?= =?Windows-1252?Q?21bq3d3vpMy+LvkgBELa8YY6ebymVQhIu+XMQrQqTonza2izwLMoj5pM?= =?Windows-1252?Q?IDtMLl0fMZBJYNxBsJFBfsxvum9cS13dK61JfOQ5WnMtL3ZNJDTot0Yk?= =?Windows-1252?Q?uM7Y9LAqn3dd2tZWYA2Oi68kZo4ln/DabGY0iQ9NxjDhkiN7qci5VWpD?= =?Windows-1252?Q?Q9aM6PBgQ1zPDagTPdtRJfNqg8p81zS2RnfCIKjz4laosAn3Q/f4sSjo?= =?Windows-1252?Q?s539y19RlSP+ufxydj/QyEX0HLpeIwhKhetj0TPtTq1f+CqDf7BEjBQ5?= =?Windows-1252?Q?yfcSHrQ7+/cBD4Ittlj1FrDQ7u8wBEdaI1YqNfdCvrF7yp0/97x/0VD4?= =?Windows-1252?Q?9hL/auxw47E8qY7+eyW9oTF3Ncxgecc2zudJ0QI5qnRIy4NYozOErHea?= =?Windows-1252?Q?fFW6bSoM6CQiUmC8l1Mux9o06NhmZBaB7+5nscGx9/RwaoHLzveWj2bC?= =?Windows-1252?Q?CjLoEgFcinND9mX0a2M342zvbbnbMMxnFuGvrWHRut6SiK+TcCGYuJeB?= =?Windows-1252?Q?KIAms/3y2mUcXx1TorwLAcYQznWyz+Dh9Ik=3D?= Content-Type: multipart/alternative; boundary="_000_TYZPR01MB5926136A09621C3A05509056B1E62TYZPR01MB5926apcp_" MIME-Version: 1.0 X-OriginatorOrg: ntu.edu.sg X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: TYZPR01MB5926.apcprd01.prod.exchangelabs.com X-MS-Exchange-CrossTenant-Network-Message-Id: 195f54d2-2c7b-4dd9-7948-08deca80022b X-MS-Exchange-CrossTenant-originalarrivaltime: 15 Jun 2026 01:47:07.4174 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 15ce9348-be2a-462b-8fc0-e1765a9b204a X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 9bWlBvM/WFMJ/Sg7geHZjxjBViTTo7Jj1hjFH8EzwnlOwjTADDu3T0mmlY85H7Y8njw/s46HcHVtjf6qaVP+D5zHZCF8uz5wLFoHyBE98eU06zbwxAUJpe2fTQmBNy4S X-MS-Exchange-Transport-CrossTenantHeadersStamped: OSNPR01MB7435 X-Validation-by: yongkiam.tan@ntu.edu.sg Subject: [Caml-list] VSTTE 2026: Second Call for Papers and WIP Presentations Reply-To: Tan Yong Kiam X-Loop: caml-list@inria.fr X-Sequence: 19531 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_TYZPR01MB5926136A09621C3A05509056B1E62TYZPR01MB5926apcp_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable VSTTE 2026: Second Call for Papers and WIP Presentations 18th International Conference on Verified Software: Theories, Tools, and Ex= periments 14 September, 2026, Graz, Austria Co-located with Formal Methods in Computer-Aided Design 2026 (FMCAD 2026) ________________________________ Key Information Conference Website: https://fmcad.org/FMCAD26/vstte/ Important Dates: Abstract submission: July 10th, 2026 AoE July 17th, 2026 AoE Paper submission: July 17th, 2026 AoE July 24th, 2026 AoE (firm, no further= extensions) Notification of acceptance: August 22nd, 2026 AoE (tentative)* Final pre-conference paper submission (optional): September 2nd, 2026 AoE (= tentative) Camera-ready for papers included in post-conference proceedings: October 23= , 2026 (tentative) * Authors of accepted papers at VSTTE 2026 will be able to register at earl= y-bird rates for FMCAD/VSTTE. ________________________________ Paper Submissions: VSTTE 2026 accepts both long (limited to 16 pages, excluding references) an= d short (limited to 10 pages, excluding references) paper submissions. Short submissions also cover =93verification pearls=94 describing an elegant proo= f or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Papers must be submitted via EasyChair at the VSTTE 2026 conference submiss= ion page: https://easychair.org/conferences/?conf=3Dvstte2026. The use of LaTeX and the Springer LNCS class files is strongly en= couraged. Submissions that are not in the proper format or are too long will not be c= onsidered. Accepted regular-track papers will be included in the post-conference proceedings of VSTTE 2026, which will be published as a LNCS volume by Springer Verlag. Authors of those papers will have to transfer copyright of their contribution to Springer Verlag. ________________________________ Invited speakers * Roderick Bloem (Graz Uni= versity of Technology) * Martin Jon=E1=9A (Masaryk University, Brno) Invited tutorial * Daniela Kaufmann (TU Wien) * Omri Isac (Hebrew University of Jerusalem) --_000_TYZPR01MB5926136A09621C3A05509056B1E62TYZPR01MB5926apcp_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable
VSTTE 2026: Second Call for Papers and WI= P Presentations

18th International Conference on Verified= Software: Theories, Tools, and Experiments

14 September, 2026, Graz, Austria

Co-located with Formal Methods in Computer-Aided Design 2026 (FMCAD 2026)


Key Information

Conference Website: <= u>https://fmcad.org/FMCAD26/vstte/

Important Dates:

Abstract submission: July 10th, 2026 AoE  July 17th, 2026 AoE
Paper submission: July 17th, 2026 AoE July 24th, 2026 AoE (firm, no further extensions)
Notification of acceptance: August 22nd, 2026 AoE (tentative)*
Final pre-conference paper submission (optional): September 2nd, 2026 AoE (= tentative)
Camera-ready for papers included in post-conference proceedings: October 23= , 2026 (tentative)

* Authors of accepted papers at VSTTE 2026 will be able to register at earl= y-bird rates for FMCAD/VSTTE.

Paper Submissions:

VSTTE 2026 accepts both long (limited to 16 pages, excluding references) an= d
short (limited to 10 pages, excluding references) paper submissions. Short<= /div>
submissions also cover =93verification pearls=94 describing an elegant proo= f or
proof technique. Submitted research papers and system descriptions must be<= /div>
original and not submitted for publication elsewhere.

Papers must be submitted via EasyChair at the VSTTE 2026 conference submiss= ion
page: https:/= /easychair.org/conferences/?conf=3Dvstte2026.

The use of LaTeX and the Springer LNCS class files is strongly encouraged.

Submissions that are not in the proper format or are too long will not be c= onsidered.

Accepted regular-track papers will be included in the post-conference
proceedings of VSTTE 2026, which will be published as a LNCS volume by
Springer Verlag. Authors of those papers will have to transfer copyright of=
their contribution to Springer Verlag.

Invited speakers
Invited tutorial

--_000_TYZPR01MB5926136A09621C3A05509056B1E62TYZPR01MB5926apcp_--