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=M6tTkCxB; 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 8AB2D40093 for ; Thu, 17 Sep 2026 14:22:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:mime-version:message-id:date:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=Q0RALxE2fu/SRFNet5DNEyN0UCZc3q2sCHBQMto0mYI=; b=M6tTkCxBGJfKQ8L8hhAzjrPbEGP9U94yPbpr1VsmN/erJh53LDcs23qL JQmyQb52eYUxbFBEkMSB64YOtnnoEnvnAPERM2/wQB07D3PVbvXsWnvbL oT/CZW6rmeYzYh+4Ya+LUkeRHBYiOjzvVu5/HdD0at/ztg7Rw/ToYGKIJ 8=; X-CSE-ConnectionGUID: WCiWKZ9AQxO5bV3AY08Ahg== X-CSE-MsgGUID: ob2D8kbUTy+k545qH6sOYQ== 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.27,103,1787004000"; d="scan'208,217";a="295519961" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Sep 2026 16:22:40 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id A758E81695; Thu, 17 Sep 2026 16:22:39 +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 E75F081341 for ; Thu, 17 Sep 2026 16:22:32 +0200 (CEST) X-CSE-ConnectionGUID: dpnVFviLSCCCDQQ7BlL8QA== X-CSE-MsgGUID: 92NiE1f0SJSLFbLKIKsicw== IronPort-SDR: 6aabf7a8_j0DfOyXjyy582n0r+qyBYGLgRDVkdZB7N3LoHuKW7W/g0Fi vA6M5cWKuQ2UHkMT317n881JjxhanrHFPE/xKAg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0G5IQBv9qtqfCnkfUpagluCFilqIWEzBFSEWIh6hliGX?= =?us-ascii?q?4cMMotLhmuBKxYnAg8BAwEMAT0SAgQBAQECBIR+jgoCHgcBBDQTAQIEAwIDA?= =?us-ascii?q?QEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHDhIphk8NSYlOA?= =?us-ascii?q?YFlAQQBAQEBAwMDAQEMAYEhYQIFAzsBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEFAhQYES5JHQEbDBIDEgkHASgOAiQRAQUBgl9YAYIiA?= =?us-ascii?q?QYQAQM3AxGzfYMii3KBFQUCFoEBgg0GgUgFgR7YAAoZKA1yA4FoAgEGCQEMg?= =?us-ascii?q?TcBhHcqTw6CXwEqgTUBAoQWhSOBY0WBFScbgjhvgQWDBCg/IIMOOoIwBIEOg?= =?us-ascii?q?RSBDI4ihhgBBwcfEggBHAYIAgI9CwUQEgMEAwQEAQILCQoJAwMCDgIIAwIIB?= =?us-ascii?q?hkBPxIEEwIIAwYECwcFHwoCDBQKKCISKwoDNRIPFgUVAQgGAgIEBAIEDAIJA?= =?us-ascii?q?gIFAwQCBA0DBAEBCAICLQMBAxkICQgCCwURGAwLBzEDEAkDHwMUFggRNAgGF?= =?us-ascii?q?gEaBgUGCzcVBQwRAQIbAh8EHREIAwEbBAIBCQMEFgQCFAofBAIDAwYDCgkCB?= =?us-ascii?q?QMbGAQBAgIDAgECCAMHCAMNAwQCAwMDBAECAgEBAQIDAQMDBAMBAwMCAQMHA?= =?us-ascii?q?gIDAwMLAQIDAwUDAwUFAgIFBQMFAgIKAgMDAwIBAwIaCAMGAxIBEAMDBgEDB?= =?us-ascii?q?wMHAgQDCQIIAwMICAMXAwMFAQICBAMDCAgEAwMEAgIDDAUDAgMDBQMDBwIEA?= =?us-ascii?q?gQDAwEFAQIHAgMHAgEYAwIECAcHBQILBAIIBA0JBAIEAgIPBAYDAwcBAQIBB?= =?us-ascii?q?wUGAwICEAEICgUGAgICHAMeAw0GAQkFAgEFDgcFAgIYAwYCAwYFAQMBCgsBA?= =?us-ascii?q?QIDCgECBAIFAwMBAwIDAgYDAwIFBQUDCQcFDgkBAwMGBQICAwIDAQIIBAYFA?= =?us-ascii?q?wICAwUBBAMEAwoDAggDAwgDDAIaAgUDAwMGCQMHBwIDBwMCBQIHBQMDBQMGA?= =?us-ascii?q?QMCAQMDCAsVIgMBBQMDAgEDAgUDAxgCAgQFAwMDAwMIBAICAQcGBAICAgEFB?= =?us-ascii?q?QUEBQYCBAMIAQEFAwMKDQECBwwDDAYDBwMDBAQDAgUKAgQBBwQHBwkHAwIDC?= =?us-ascii?q?AEBCwQBAwMKAwMFAgEBBwUDBgMHAgMDAwUEBQMCCwMHAgIDAwMCKQEBAQMDA?= =?us-ascii?q?wMDBAMBAwEDAwcDBQMCDgIIAQoDAgYDBwYDBQMDAgECAwMFEQMGBAUGGQIGE?= =?us-ascii?q?ToBCAIDAwEUBAYFAgUVAggBAwMFAwMDAwIFAwEFAQEDAwUDAwMDAwMEAQMEA?= =?us-ascii?q?gMHBggBAQECCAMDAgUDAwMEAwMCAQINBAIFAwYCAgQCBAEHAwECAgEDAwMDA?= =?us-ascii?q?QIEBAIHBAUCGQkHAQcMATwMBwokBAQMKgEVFAEEBCUZZwcHAo5WYR+EGlBBg?= =?us-ascii?q?SmBFAEBkhSSO6BmIgkBBgJhgWeBCh8vhAKIIJVUBCMMhASDIYlzhjuTGQGIB?= =?us-ascii?q?JEEjgqVYgJsAYQ9AgQBAQEDBwcRJBKBSSOBXE0jegEGbYFJEi0RAxkPWI1hg?= =?us-ascii?q?2uCJ4JsxxM3NT4BBwIHDwKBc4NbgQOKEoMQAQE?= IronPort-PHdr: A9a23:oM+D1R8h11rnw/9uWQ61ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Y gqHv74x1gaXFazgqNt6yMPu+5j6XmIB5ZvT+FsjS7drEzIjt4A9sjdkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFijuwbaluI BmoogncudcajZZjJ60s1hbHv3xEdvhZym9vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68PlrRbMQRKR63UTT2saihVHDRTL4xH8RZfxrzD1tvFh1ymAPM35Vq47VDK/5 Kp2UhDoiSMHNzkk8GHLj8F7kaxWrA69qxF53oXYZpybO+R7fqPce9MVX3BBVdtVWyFPHo+wc 44DAuwcNuhasob9vUMDoxuiCgajGe3hyTFGiGHx06AhyestDQTG0RYgH94SsnnZqsj+OqcIU eCyyanF1TXMYO1Q2Tf/6YjHaA0qrPaCXL1ud8rRy0gvGBnFj1qOrYHoPiiY1usIs2eB7upgU fijhHIgqwF0uzWiwNonhYbViIwP0F/E6Tl5z5gvJd2+UEN1btGqHYdTuiyGKod7QM0vTWF1t CsnyLALuoK3cSYFxZkl2RPSZeKKfYaU7h/hSOucPyp0iXFrdr6igxu//0qtx+vhXce611ZKq zBKktjKtn0V1xzT6dWHSuBh/ku7xzmAyh3T5vtEIUA3jabbMYAuwqUumZUJq0TMAi/2mF/sg K+RbEUk9e6l4PnkbLX+vpKRNYB5hhvjPqgwmsGzG/o0PhYNUmSB9umwyaXv8E/2TblQkPE6j qvUvIrEKckUuqK1GQxY34Yl5h2iFTmpys4YkmMCLF9deBKIkYzpO1bWLfD9F/i/glCsnC5zx /HHILHtG5vNI3fenLv7crZ97ElcyAU3zd9B/Z5bFrYBIPfrVk/wstzXEAM5PhS2zuvoEtlxy 50SVGKVDqOHLq/fskWE6+0yL+WUYY8aojf9K/wr5/70in85nEcQfKe30psRanC4H+5pIkWHb nfog9oMCmgKvg8kQ+zrjF2OSyJcZ3G3X64k/DE0FJqmDZvfRoCqmLGOwD20HphSZmxfDlCME Gzod5mfVvcXaCOSJ9dhnSYeWbigTY8hzxCuuxXgx7ppNOrY4isYuon729hv++LTjQ0y9SBzD 8mFzm2BV250kX0PRzE1xq5yuUJyxEqb3ahinfNYC99d6elRXwc/L5Hczuh6B8nqWgPAYNuFU VimT9q7DT0rQdIxxNgOY0l5G9q8lBzMwy2qA7oNm7OWB5w086fc0mDpKchyxXnIyrUvgkUgT MdXKGKmg7Rw9xLPCIPRi0uXjr6ke6sE0C7W7GeDw3KDsltEXQBtTKvJRWsfZlPYrdvh5kPNU buuCbM/PwVZ0MCMMqREOZXVigBNTfLnfdDfeH6ZmmGqBB/OyKnfQpDtfjAi0SPfCUFMxx8e+ 3SHPBkzV3mJrGfXDTgoHlXqNRC/udJioW+2GxZnhzqBaFdsguHtonb95NSZQvIXhfcfvTs57 i5zBBC71s7XDNyJo0xger9daJUz+gQPznrX4ip6OJHoNKV+nhgGaQ0ioE7o1RR+G4gRz+Alq XoryEx5LqfLmEhZeWag1IvrcqbSNnG0+Rmub6DM3VSLz9uQ+KYG+flp9X3suQioEgwp9HA0m 8JN3S664ZPHRBEXTYq3Uksz8E1ioKrGZyAm+47O/XhlMK3xqi2Yntx1Xa0qzRGve9oZO6SBf OPrO+sdAcXmaOkjmlzyKwkBIPgX76ksecWva/qB3qeveudmhjOvy2pdssh71QqX+ixwR/Stv d5NyuyE3gaBSzb3jUuw+sHxl4deYDgOH225gSH6DY9Vb6d2cM4FE2Cra8Gww9x/gdbqVRs6v Ba8ClUE2ca4dEvMR1P41AxUk08QpD3vmCe1ySB1jyB8trCWj2TFx+XvcgZCO3YeGzUk1A2xZ 9Lu35ZGBRvNDUBhjhau6EfkyrIOoa1+KzKWWkJUZ23tKHkkVKKst72EasoJ6ZUysCwRXv7vB DLSArP7vRYe1DvuWmVEwzVuPS6nvJf4lg132Ty1I3N6rX6fcsZ1j0S6hpSUVbtK0zwKSTMtw ybaAFq9NsikrIu8mJLKs+T4XGWkHM42E2Gj3caLsy214ndvCBu0kqWom9HpJgM91Dfyy9hgU SigQA/UWoDwzOz6NOtmehItH1rg849hHZk4lIIshZYW0Hxch5OP/HNBn32hedlc3Kv/ajIKS 1tpi5bK7Q7n2URyIyPX7438X3SZhMBmYpG2b3gX1SQ0881RQPjIquUewG0v+Ar+8VuZaOM1h joHzPoy9HMW5oNB8BEgyCmQGPFaHEVVOzDtiwXd6tm/qKtNY2P8ObO01Ud4gZWgFOTd/kcFA iu/IM1yW3MpvaAdeBrW3Xb+65/pYozVZNMX7ViPlgvYyvNSMNQ3n+YLgixuPST8u2ckwqg1l 08Lv9nysY6ZJmFq5K/8DARfM2i/eM4V+DDknKsPwO6Z2omuGtNqHTBBD/6KBbq4VSkfs/jqL VPEDzA6qHaSCLeOQyeQ7U5nqzTEFJXhZBT1bDEJiN5lQheaPklWhgsZCS47kpAOHQev3MX9c U1962NZ9hvipxBL0O4tKwjnXzKVulKzcjltAsv6TlIe/kRY6kzSK8Db8u9jA3QS4Mi6tALUY m2DO1YXUSdQABHCXxa7eeDwrdjYr7rCXrv4f6aIOO/e77QZDqjtp9rn05M4rWzUbpzdYik8V 69nihQfDyI+RpqRmi1RGXZLz36fMZ7D/EXgqnMr/JL4raqOOkqn5JPRWeEMaYo99UC82fXfZ 7DM1nQ+dGgQ14tSlyWYkOBNh1BK2X0+KWX/Q/Nd60uvBOrRgvEFVRdDM3EqaJYQvf5sgFUfa 4mG1Jv0zuAq1PVtBQVLXwG5yJ35O5BYcSbgahvRDUKPftxqPBXtxMf6KeO5QLxU16BPsgGo/ C2cCwnlNyiCkD/gU1auN/tNhWeVJk4Wvob1aRtrBWX5KbCuIhSmLN96iyE3yrwolzvLM2AbK z11b0JKqPWZ8ypZhvx1H2EJ4GBiKKGInCOQ7u+QLZhz07MjGiNvi+dT+2g30ZNQ5SBAAeRnw m7c8ocorFahne2CjDFgVVsGqzpGgp6KoVQ3Oajd8colOz6M9xYM4GOMThUS8oQ5TIS15uYKk IiJyPugTVUKu8jZ9sYdGcXOfceOMX56dAHsBCaRFwwdCziiKWDYgUVZ1vCU7Hyc6JYg+f2O0 NIDTKFWUFstG7YUEENgSZYdLZF1Xzo1nO/FpMEN7Hu66hLWQY8J2/KPHuLXGvjpJDuD2PNcY AAUxLrjMYkJHojy2kgncksg2YqWQgzfWtdCpiAnZQgx6hYokjA2Xig43ETrbRmo6XkYGKuvn xI4vQB5ZPwk6Dbm51pfzrXiqy45kU13ktLg02n5mNvZI6K5XIUQAC3x5RBZ2nLTRg90aUiqj xYhOmudAb1WiLRkeCZgjwqO4fNy IronPort-Data: A9a23:GAjcsqCZK2kMOxVW//Lnw5YqxClBgxIJ4kV8jS/XYbTApDgkhjAOm 2dNDDiDa/yJajakLo1/PIni/UhVucTQmoMxTANkpHpgZkwWlceUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOiTraCZmYqHVUMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8kwHUMja4mtC4ARvPKwT5jcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgoo Dl+ncXYpTMSA0H5sLh1vy9wQ3gvZ/UekFPwCSPXXcS7lyUqepZ3qhlkJBle0YYwo46bDYzSn BCxxf9kgh2r3oqLLLyHpuZEitwlEuf1PackkVpL4QjgUtwiZcD6avCfjTNY9G9YasFmGP/fY 48Be2AqYkiZJRJIPVgTBdQ1m+LAanvXLGEe8QjI4/Btsy6PlWSd05C1WDbRUsOHQ8dUl1eV9 zzu8GHwAxVcP9uaodaA2ivx2bWWwnOjBer+EpXprNhrrQSdnlcxMzk4X3+YgNqii0WhDoc3x 0s8oXd39fdjqiRHVOLVVBS9pDuAvwUAc8FBFvUzrgCL0KvdpQiDblXoVRZEYd0i8dckH3kki gbPkNTuCjhi9raSTBpx64t4sxu+IS4rA3EDQRQvZiAp2uC8ioUX3ivmG4ML/LGOsjHjJd3nL 9m3QMUWgrwSiYsTxf/+8wyexT2roZfNQ0g+4QC/soOZAuFROd7Ni2+AsAmzARN8wGCxEAbpU J8swJH20Qz2JcvR/BFhuc1UdF1T2xp6DNEsqQUyRsF+pmrFF4+LcodX7zVzbEZvOYBsRAIFl HT74FsLjLcKZCXCRfYuP+qZVZ52pYC+To+Nfq6PPrJzjm1ZLlPvENdGPxPIhziFfYlFuf1XB Kp3hu72UipBV/w8lWrrLwrfuJdyrh0DKarobciT53yaPXC2PhZ5kJ9caADePNMqpriJuhvU+ Nt5Ps6HgUcXGu7nbyWdtcZZIVkWJDJpTdr7uu5GRN6lewBGIWAGD+OO4LUDf4c+ob9ZuN2V9 V6AW2hZ6mHFu1v5FSuwZEtOUojfBaREkSpjPAgHH0qZ5Hw4UIP+sIYdb8QWeJckxsxCzNl1b aI3RJiZC8thFwb7+G4kQpXhnbNmbzCuoxyEBAu+QT0FZ5U7bRf4ytzlWQrNxBsxUzO+iuY/r Ya/1wjdf4ExegR6AOvSa9Ot11mUv0VBvM5DBGzzPch1emj31ZpDchzKkf48Jv8TJSX5xje10 xicBTEar7Lvp7AZ3cboh6eWiZWACMp7Q1RnGlfE4YaMNSX1+nSpxalCWr2qeRHfTGbFx7WwV 95Kzv3TMOw1o3gSitBSS41U9KMZ48fjg5R4zQ4+RXXCUAmNO4Nae3KD2ZFCi71JyrpnojCJY 0Oo+ORBGLC3KcjgQU8wJg0kU7y57ssquALutNY7HEarwxVM3uujcV5TNByymiBiPONLEIc68 9wA5u8SySKC0yQPDPjXoBxQxWq2Kl44b54GrbAfWY/itRoqwApNYLvaES7H36uMYNRtbGgsL juegbLatoRYwm3+QVMBTyHN1NVCmKVU6QxrzUADFXuNiNHqlv865zwP0DUVHyB+7ARL7PJ3A Udvb3ZKHKSp+yx5ovRMREauEFxlKDzD33fu2X4lqmH9ZGu5ZFzndWESF76EwxEEzjh6YDNew oC99E/kdjTPJ+TawSo4XB9emczJFNBe2FXLp5G6Ip6jAZI/XDvCh52ub0ourz/MI5s4pG/Dl NlQ0NdAU4/JHg9OnPRjEKif76oadz6cLm8bQf1BwrIALVuBRB6MgwqxO2KDUeITAcfV8H2IK d1kfeNOcBWc6BygjB4mAYw0Hrslu8JxufQjfOvwKH8koomviGNjkKjt+xjUgE4pRNRTkvgBF L7BSgLaEkKsqCtVv0TvsPh7PnGJZIhYRQ/kg8Gw3uY7N7MCl+BObXAN1qCQj1/LFQo++jS4k R7xPf7I/bZyzaBpuZXmKYRYJgCOMdiofv+5wAOylNVvbN30LsbFsT0OmGTnJwh7ObgwWcx9s Law7O7Mw0LOuYgpX1Djm5WuE7dD4eOwVrF1Nv3bAWZ7nyzYfuPR+DoGpn6FLKJWnONn5sWIQ xWybO2yf4U3X/Zf3HhkVDhMIS0CCqjYbrbSmg3llq6iUiMi6A3gKM+r0VTLbmsBLy8BBMDYO z/O4v2r4ohVkZRICBo6HMpZOp5fImL4eK4YZtb05Ci5DG6pvwu4gYHctyEcsBPFNnrVN/zBw 8P1dkCrPlD68qTF18pQvIFOrwUaRiQ1y/U5ekUGvcV6kXamBWoBNv4QKogCFooSqCHpyZXkf 3vYWQPO08kmsehsKn0QIegPXztzwsQLM9b9YyQ7pQaaN37wC4SHD79ssCxn5h+av9clIP6Pc bkjFr/YZ3BdAa2Fgc4c4/W6haFswfayKrcg5xXmi8Kra/oBKexi6ZGidTahkQTIFsjMkAPAI m1dqaWohq2kYRaZLPuMsEK51P3UUP0DAtnogeqyLA7jhrim IronPort-HdrOrdr: A9a23:KutHuatP95xG9Uv9EmPb3rGs7skDd9V00zEX/kB9WHVpmwKj+P xG/c5rtiMc5wx7ZJhNo7q90cq7IU80l6Qa3WB5B97LYOCBggaVxepZjLcKtgeQfxEWgdQtsp uIHZITNDSJNykesS+s2njbL+od X-Talos-CUID: 9a23:RC1e9GOgfGWsG+5DVDFhymAKG+QeWVb24E7pfGW8LTZQYejA X-Talos-MUID: 9a23:sSt98wjvi8i40PVUw01qNcMpZZ1O4on3Bhg2s64ilcOgFg1TIDaWk2Hi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,103,1787004000"; d="scan'208,217";a="157217805" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHAHyn1FdF65H2+Sb4sQ2poSj8v+T/lvQRsHS?= =?us-ascii?q?vKfXuSHH52v4jkIJLsFsPAceE+nEyXpkeSH2YciZtgHb/hPeTiyO1jzs?= =?us-ascii?q?w2yxmV6JBDdm8xZdfDNh+ubszHw2jUe7L68qhQLsbR4k3DrtCzNAv2sp?= =?us-ascii?q?RUskEG5V5nw6OjC0H4PqnzpQ=3D=3D?= Received: from mail-pz2-f41.google.com ([74.125.228.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 17 Sep 2026 16:22:32 +0200 Received: by mail-pz2-f41.google.com with SMTP id d2e1a72fcca58-85469e25187so567286b3a.2 for ; Thu, 17 Sep 2026 07:22:31 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1789654950; x=1790259750; h=to:date:message-id:subject:mime-version:content-type:from:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=Q0RALxE2fu/SRFNet5DNEyN0UCZc3q2sCHBQMto0mYI=; b=ertU5Mwdk1wduavXZ8z7i7rDTWAV+PLigLR9268b+ncHqMpW3H/3aXIybgd5P6rvPs ncfapDav+ciVHiqFq4JqI29X+14F4iJVgRT2ruV9FcTEZqSKynZR1/AUx3C/HsJwHE09 zNL7+oGRYKkydHmb6kfPWukhOMiO/y66kgX2lymsx8M98r9LyZanh9qlCcQTMSoRNg6r khBzES/BJTsWWOONHjKmw76uSYXtf16f3cqNTOYBysdkN+/FuqjB4HGY0nFekpIweYA9 f8ooIvhtowS+//DGHV1lQNwN0m3Z98OBn/9czRpjY+6pdW/BTpHv0MBk5JXVyKLvCRbX 1hNg== X-Gm-Message-State: AFuF++lJlugf+gNjo60azuLnbQm01Z6rEluFbaTiKYf3CdZZYuIxjez9 BOtGfEl0UEE5SJiPrZt7+Cg1WLRSN1SxfXHk9k/QkvBINVOdaM59P9x8TPajqYYn X-Gm-Gg: AYBFou2paQK+suwFr5EpXsKRKnYI+/8298aiRnkrFXZDRQHudn3sXhLuIXVdbobtp+f +1VgRt/fybJmNmnOjKX60bDDYsGIOH9MrmNI+A/FTF0HRlKktxgzfoPv1eu7kABpymKOyRL0iP0 DuuvyVmZZVPFQDEIjBzJiGbxxfJkomOvglLiD1c9I9EoTZhz8Tm+RUSLlctI5CcBEtiaHAQRbkC BI1q5HH0dIT8F1fGfiiT+L2cDcDL0TZPDTaiDS9GyEpm5hPdbUkYGUwYKnU61LPtSvJRUS+PJB6 mKPDmeDY8nQ25MVnUJoHBjyVvPJFQei/1634Vn9I1sGeNtWXIIruXsRbGJX0af8/BmWs+jSxo9S +ldMwDbryzvGeJDrWVfOT+/7RVx/U03kMTRC8kYYfc9mi5Q93rbJzZShtoE6klyLTU2f2AgSgIJ ncC79TIg1mP5wjHkUZa0jFAcLDJEetAlEXeRBEJpAFmNA+Rl5v8xM+M4oe863tJe9PMoUV96wet difNKvNb4WR8+FOajVV/XWSf8XUFFzIwoBjcaBCY+g= X-Received: by 2002:a05:6a20:4e92:b0:3dd:85a8:cacb with SMTP id adf61e73a8af0-3dd85a8d0e4mr850804637.34.1789654949755; Thu, 17 Sep 2026 07:22:29 -0700 (PDT) Received: from smtpclient.apple (li82-85.members.linode.com. [74.207.240.85]) by smtp.gmail.com with ESMTPSA id 5a478bee46e88-33bf56d7e5bsm16569361eec.0.2026.09.17.07.22.27 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 17 Sep 2026 07:22:29 -0700 (PDT) From: Wenjia Content-Type: multipart/alternative; boundary="Apple-Mail=_A9B1B39E-8172-428C-A258-9E5BDDB21436" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3776.700.51\)) Message-Id: Date: Thu, 17 Sep 2026 22:22:04 +0800 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3776.700.51) Subject: [Caml-list] APLAS & ATVA 2026: Registration Open - Early-Bird Deadline 15 October Reply-To: Wenjia X-Loop: caml-list@inria.fr X-Sequence: 19582 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: --Apple-Mail=_A9B1B39E-8172-428C-A258-9E5BDDB21436 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Dear colleagues, Registration is now open for APLAS & ATVA 2026, which will be held in = Hong Kong from 1=E2=80=934 December 2026. Registration link: https://event-reg.hkust.edu.hk/hkust-mcp/checkout/419/aplas-atva-2026 Important dates: Early-bird registration deadline: 15 October 2026, 23:59 Hong Kong Time Regular registration opens: 16 October 2026, 00:00 Hong Kong Time Registration fees (HKD): Student: HKD 2,350 early bird / HKD 3,150 regular Non-student: HKD 4,300 early bird / HKD 5,900 regular Extra banquet ticket: HKD 750 Registration covers the main APLAS and ATVA conferences, the Student = Research Competition and associated poster session, the New Ideas and = Emerging Results (NIER) workshop, the Spotlights of Verification = workshop, lunches, refreshments, and the conference banquet. The overall schedule is as follows: 1 December: Workshops, SRC, and posters 2 December: APLAS and ATVA 3 December: APLAS, ATVA, and conference banquet 4 December: ATVA For further information, please visit: https://conf.researchr.org/home/aplas-atva-2026 We look forward to welcoming you to Hong Kong! Best regards, Wenjia Ye on behalf of the APLAS & ATVA 2026 Organizing Committee= --Apple-Mail=_A9B1B39E-8172-428C-A258-9E5BDDB21436 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8

Dear colleagues,

Registration is now open for APLAS & ATVA = 2026, which will be held in Hong Kong from 1=E2=80=934 December = 2026.

Registration link:
https://event-reg.hkust.edu.hk/hkust-mcp/chec= kout/419/aplas-atva-2026

Important = dates:

  • Early-bird registration = deadline: 15 October 2026, 23:59 Hong Kong Time
  • Regular = registration opens: 16 October 2026, 00:00 Hong Kong Time

Registration fees (HKD):

  • Student: HKD 2,350 early bird / HKD 3,150 = regular
  • Non-student: HKD 4,300 early bird / HKD 5,900 = regular
  • Extra banquet ticket: HKD 750

Registration covers the main APLAS and ATVA = conferences, the Student Research Competition and associated poster = session, the New Ideas and Emerging Results (NIER) workshop, the = Spotlights of Verification workshop, lunches, refreshments, and the = conference banquet.

The overall schedule = is as follows:

  • 1 December: Workshops, = SRC, and posters
  • 2 December: APLAS and ATVA
  • 3 December: = APLAS, ATVA, and conference banquet
  • 4 December: ATVA

For further information, please visit:
https://conf.researchr.org/home/aplas-atva-20= 26

We look forward to welcoming you to Hong Kong!

Best = regards,

Wenjia Ye
on behalf of the APLAS & ATVA 2026 = Organizing Committee

= --Apple-Mail=_A9B1B39E-8172-428C-A258-9E5BDDB21436--