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=icL6XzMa; 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 161B94008C for ; Wed, 10 Jun 2026 15:41:57 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=NMU0bh9S7tqZFkRk3jyt6Uw2cyBT7F+HoWYgQcwrDgU=; b=icL6XzMaOhuHydFfsk2Pvh+IBW2ojTozldOk4SZgCBu2+7ZuoiU+wm9w UlVy0j8gst6Hhnsp7PNKhqSyWJFuvWAiHhKfBExrsaD3MwDZDMCVI/XWb A76nNAjVP3Pv8FAT9Eo/TkNHaU9byzl1cDyyAVs3P9W6vk1GpNfZIfENL 8=; X-CSE-ConnectionGUID: GDCtcqTNRSe4OFU1PDf2Rw== X-CSE-MsgGUID: e4O5hubkQg+CWnUAlOrNYg== 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,197,1774306800"; d="scan'208,217";a="280848099" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Jun 2026 17:41:57 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id EE76482128; Wed, 10 Jun 2026 17:41:56 +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 B0AEA81F50 for ; Wed, 10 Jun 2026 17:41:49 +0200 (CEST) X-CSE-ConnectionGUID: hMP4CDLGTEym1q0AeHkQ7w== X-CSE-MsgGUID: XMz9ZS2sQZ6MM1dmDBbIQA== IronPort-SDR: 6a2985bd_PZ+4ggXJndKt5d48axkCSnZbpPJQmI4OYXin12KHGFkJp09 esZ4Ae1CtuTESKyCFeIwrEDK0wP4CEub9KxwN1A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FwAwAdgylqfC3aVdFaDoUMgQpeNAQLSYRYgSOCLIwEg?= =?us-ascii?q?X8ikU2FeoUCgxQWJwIPAQMBDUQNBAEBAQIBA4Q5Ro09Ah4HAQQ0EwECBAMCA?= =?us-ascii?q?wEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw4SKYZPDYJbO?= =?us-ascii?q?3FeAwICAwMDNwEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEFAg0HGBEuOAsGHQEbDAMPAxIQNwIjAREBBQEjGhqCYYIiAQYQAQM2AxGnS?= =?us-ascii?q?4ECQos9gRUFAhaBAYINBoEJ2V4KGSgNc4EKXAIBBhaBN4R4Kl2CWwGBRRoBA?= =?us-ascii?q?g6EBjuDR4EhG4INgRU1hDiBXAICAYIKgy6CagSCIoEMgk2CFYYAhWcmCAcXA?= =?us-ascii?q?wcHCQUEHAYFBQI/CQUBDxIDBAMEBAECCwkKCQMDAg4CCAMCCAYZAT8SBBMKD?= =?us-ascii?q?QsHBR8KAgwUCigiEgIpCgECAR8KLAMUGQEBBwYCAgMBBAIEDAIJAgIFBAMCC?= =?us-ascii?q?gQDAwQBAQgCAi0DAQMZCAkIAgsFERgMCwUCCicDDwEJAx8XGwgRNAgGFgEaB?= =?us-ascii?q?wUGCzcVBQwRAQECRwIhBB0RCAMBEg4bAgIEAgkBAQYOAgICBAICAQMdAwQdB?= =?us-ascii?q?AMDBwICCQkEDBAKEhUDDgMHDwIEDAc7AwIOAgkIDBcCAgIGAgMDAwoBAgEBA?= =?us-ascii?q?QEBAQECBwMDAwIDBhcHBgMEBAEEBAMDAgMFAQMDAwUDAgMCBgcDBgkBAQEBA?= =?us-ascii?q?wICCAMIAwwJBQUDGwMeBgECAgMCAQIGBgMHAQoDBAINAwMEAgMDAwMDAwMEA?= =?us-ascii?q?QICAQEBAgMBAwMEAwEGAgEDBwICAwMDCwECAwMDBQMFAQUDBQICAwUFAwUCA?= =?us-ascii?q?goCAwMDAgEDAhwDCAMGAxIBEgMDAgMDBgEDBwMDAwMDBwIEAwgCBgQDAwYCA?= =?us-ascii?q?wgDAwIDDQgDGAIIAwMDAgMDAwIDAwUBAgICBAUHAwMDAwMCAwoLBQMEAwMDB?= =?us-ascii?q?AICAwwCBgEBAwUDAwMDAgIDAwQEAwMHAgcCAwYEAgMDAQMDBQUDBQEGBwIDB?= =?us-ascii?q?wECAgMEAQ8LAwUDCAMCBAIDCgcDBQMCBgcBAgMRBAIFBgQNCQQCAgYCAgICE?= =?us-ascii?q?QYEAgkBAwUFAwMFAwUDBwEBAgECDwUGAwICEgMKDQUGAgICHAYDAwMDEwMLC?= =?us-ascii?q?QgTPQELBzIENgEGDhQHKSFfjC8ZFw+BS2wcDIETIA9MFgwwBBMfAQEOAWOSW?= =?us-ascii?q?rNgaIM+hHOHLpVUM4QEjRSZU5kHI4I2izGVMzAThTARJBKBSSOBSQwHMxojU?= =?us-ascii?q?DGCNlADGQ9XjWGDa4UTiiG5FCsyPgEHAgcPAoFzkDSBSwEB?= IronPort-PHdr: A9a23:XWvOdhHPTJzHp/QJOibw9p1Gf4dFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k20RmRBc6Bs68d0aKW6/mmBTdcp87Z8TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgXO voHf3Jeu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyL BKrpgnNq8Uam4RvJ6gxxxfTvndEZ+tayX10KV+Tghrw+Nq78Jp//yhNof4s+MBNXKrgc6gkU bBUCSktPnwo6sHsqRTMQgyD62cGXG4LiBRIGQ/F7B/7Xpf1rCT3s/d21TeZM8PrU706QCyu4 ahzRhDnkSsKKTE3/nzPhsN/kKxUrhShpwdiw4HPe4GaKOB+fqLGctwEQ2dKQ9tcWDZAAoO4a IsPEvYBMONFpITzu1cCsR2zDhSqCejyyDFHm2X20LU13OohHw/I3xEuEcwSv3nPttr5KL0fX PqpwKXUzzjOae5d1zfn6IjPdxAsuemCXbN2ccrez0kvFgXFjlqNooPkPjOayPkGvm+U7upmU +Kvimgnqw5+oziu2MghkYbJhocPxVDF8SV12po6Jdq9SENiZ9OvDZRfuT2AOYRsXsMiX39nu Dw8yrAet5O2YSoHxYkmyhLCafGKbpaE7xDtWuuQPTt0mGxpda6jihqs8UatyuzxWMm73VtFo SdIjtnBu34C2RHd5caKSP1w9Vqv1zaI0gDc8OBEIUYsmKrAKp4hzaYwlp4JvkTFBCP2n1/2j KCOekUk/eio9/joYq/+ppOGK4B0jQT+Prwgm8y+AuQ4MxAOUHaG9uS9zrLv50r5QK9FjvEui KbWrJXaKd4cpq6jDA9Y1Jso5RWnDzq+ztgUgX0KIEhGdR+HlYTlJUzCLfPiAfqwg1mhlipgy ercMb37GJrNK2DOkLf/crZ57E5R0A8zwspe55JQE70OPvDzVlLouNzWARI0Mxa4w+ngCNV62 YMeXXyADrWFP6PVtF+E/uMvI++Sa48JoDvxNeQp6vr0gXI6mVIRZ7el0YYUZXyiEflrI12VY X/2jdcAFWcKsBA+TOvviFCaXj9TYXCyX6M65jE0B4OmDJnMS5uigLyExii7H5lWanpaBVCLF Hfkb5+EVOsUaCKOPs9hlSQJWqS7RI8k0RGirQv6y7t8LurI4SAYrpLi1N1t5+LJjx0y9Dp0D 96c026XVW10kHkISycw3K9kuUN90EuM0bBkg/xEEtxe/+5FXh81NZHCyOx0CMr8VxrPcdmUU FqmWMupAS8yQNwr29IOZlxyG9SmjhzawSWqAaIZm6WFBJE78q/QxXfxJ8F6y3bJ0KkukUMqT ddINW2jnqJw6gvTB4/Mk0iBj6ikeqoT0jDR+mqfy2SCpFxXUAtqXqXfQX8SflPYo83h6E3NV 7OuEqwnMgVZxMCYNqZEd8DngU1dRPf7NtTRe2KxlHm0BRaP3r6CdJPkdX0S0naVNE9RmAkW+ TOCNBMiLianuWPXSjJ0URrkZFqp+u1jolu6SFU1xkeEdQkp3rW58zYRhOeAULUY3rsAvSo7s HNvERL139vNCNeEo09qdatRSdM0+1RK0WafsBZyetS8PrhvnRsXdQJwokXl2j1zC55cio4xo XoxihdqJKSell5NamC2x5f1b5vWLGb0/RagI57X1xmKwNCQ+6EA+PU1g1rmtQCtUEEl9iM0g JFuz3KA68CSX0IpWpXrXxNvn/Abj7TTYy1nopjRyWUpK66/9DnLx9MuAuIhjBemZdZWdq2eR 0fpC8NPIc+oJaQxnkSxKAoeNbVC8qg1Ocy2dvau16uiPeImlzWj3ixc+I4o6kuX7GJnT/LQm ZMMwvWWxAyCAif6ilanvdD2lKhLYDgTGiy0zi23TJVJaPhUeoAGQXyrP9Xxxth6gMv1XGVE8 Ve4G14c8MqgeB7XYl6kmAMMiAIYpnuonSb+xDtx+90whoyY2iGGg+HrdR5df3VOWHEnl1DnZ 469k9EdWkGsKQkvjhqso0jgleBdo+xkIm/fTF0tHWC+Jnx+Uqa2qruJYtJeoJIuvyJNVe2gY FecArfjqhoe2innEiNQ3jc+Pz2tv5z4mVR9hgf/ZD5jqnzYf85gxBr369nVRPoX1T0DBWF5h TTRGlmgLoyx59zH35zHs+24SyegTsgJKXitnd7G7nLrozE3Unjd17ipl9bqEBY3y3r+3thuD 2DTqQrkJ5Ps3OK8OP5meU9hABn97dB7E8dwiNhV5tlY1H4Ei5GS5XdCn330NIARyaT4bXwCV T8G69HQ6QnhnkZkKzjaouCxHmXY2cZna9SgNykG3CQ86c9aCaq847lNnC8zqV2951GZcb12m TETzuEr4XgRjrQSuQYj+S6aB6gbAUhSOSGEew2g19mlt+0XYW+udeL1z09ihZW7C7rEpAhAW XH/c5NkHClq78w5PkiemHH074jlfpHXY7dx/lWElRHBiedFKZ8Zmf8DhC4hMmX49XEo0O80i xVy0Iry5tDWbTUwuvjgUlgEa3X8fIsL9yvojLpCk8rzvcjnBZhnFjgRHdPpQf+uDDMOpKHiP geKHic7ryTTEr7eEAmDrUZ++iiXQtb7ajfNfSlfkYgxIXvVbFZSiw0VQjggy5swFwTwgdfkb F88/DcaoFjxthpLzOtscRj5SGbW4gmyOVJWANCSKgRb6gZa6gLbK8ubu6hjGSdZ+JKxrQGlJ WmSZgAOBmYMEB/hZRirLvy16N/M/vLNTPq4KfrIbqWPpMRRUv6JwdSk1Y4srFPufo2fe3JlC fM8wE9KW3t0Tt/Ylzs4QCsSjyvRbsSfqUT06mhto8u46viuRBP36N7FFe5JKds2sUPT4+/LJ 6uKiS1+Mzodyp4c2SqC1u0ExFBLwyB2K2vyTfJZ73OLFOSI3fYJRx8DN3EpbJoOv/96h1Mdf 5ac04yQtPYwj+ZrWQ0dDQWzxpH3PZ5Wcz/hZgGAWRjDNazYd2eXm52lP/PkEe8M3LsI5U/35 Gj+cQerPyzdxWO3D0/9P7FG1HPHbEIC6tP6L0glCHC9Hoi2MkXpa9Ev32Fmn+Fm1DSXawt+e XB9ax0f9LTItXEB3qgnSTARsCY3f67ZxW6Y97eKcJ1Ov6llCHksxb4KvihomfwIsmlSTfhx0 kM+t/ZIpFer2qmKwztjCl9VrypTwZiMtgNkMLnY8Z9JXTDF+ggM5COeEUZCodwtEdDpt61Kr 7qH3KvuNDdP9c7V9soAFoDVLsyAKn8oLRvuHnbdEgIESTehMWyXiVZalbme8Xicr55yrZaJ+ tJGUrhASFk8De8XEGxgFd0GZZp1B3YqzePdg8kP6n6z6hLWQYQSv5zKUO6THeS6KDudiuohB VNAyrf5IIIPc4zjjhY6Ox8qwcKQQhqWAY0ex08pJhU5q0hM7nVkG2g62ka/Lxio/GdWD/m/2 Bg/lgp5Z+0psjbq+VY+YFTQ905S2AE8n8vohTeJfXv/NqC1CMtGDSz1sUchM57TTAN8bAn0l kthfmShJfoZn/57eGZnhRWJ84NIAuJZRLZYbQU4wPiWY7Al0w0ZpHn6g0BA4uTBBN1pkw5gI vvO5zpQnglkatAyP6nZIqFEm0NRiqy5tSitzuktwQUaKi7lH0udfScJvAoDMbx0fkJAG8Rj7 AWDn31If21eD5LCQ9pv/0I5fumClmfuj+MFJUe2OOiSaaievjqY/fM= IronPort-Data: A9a23:FWsa4ajluX+tHENSzmkNzXlHX161jBQKZh0ujC45NGQN5FlHY01je htvXm2EOPyNNGX1ft8laIri8koGuZWEmIAxHlZk+C03Q38W8JqUDtmwEBvMMnLJJKUvbmo3t pREMoGowOMcFyKH+E/1atANiVEmiMlkk5KlULas1hhZHFEiEGF9z0o6xYbVu6Yw6fChGQSBp NjulMPWPV6hylZcP3kdg065gEoHUM/a5nVC4jTSWdgR5AWAzydMVMpGTU2MByKQrrd8TrbSq 9nrl+nRElPxp38FFt6jm7DnRUwGKpa6FRSOkHdfR5+5iRFEoCEouo5jXBbLQRo/Z52hxrid+ f0V3XCCYV5B0p7kwYzxZyJl/xRWYcWqzpeXeCnl6ZT7I3ruKBMAy902ZK0/0BZxFuxfWQmi/ tRBQNwBg4zqa0tbD9tXR8E17vnPIvUHM6sfn0k85h39IsoLUJWaWv3j6P9b5Wgv05Um8fb2P 6L1aBJqZRXEJhBNYxIZVM94k+CviX3yNTZfrTp5p4JtuzmVnFE3iuG9doaIEjCJbZ09ckKwt mTA/mL2EhAXHNOawDuBtHmrg4cjmAuhCNpCSOLpp64CbFu79kkBWS8tD0CCk6ecrxeyXv51I W0t0397xUQ13Bf2F4GiDkPQTGS/lhUVXt4VF+wh9CmW26/M6kCYAHIFR3hPcrQbWNQeQDUr0 hqEnYqsC2Ay9rKSTn2Z+/Gfqjba1TUpwXEqZQo8ESApx/bfjZA21wuXZ9tDE5fqkYigcd3v+ AxmuhTSkFn6sCLm/6Cy/FSCjjD145aVE0g64QLYWm/j5QR8DGJEW2BKwQmGhRqjBN/GJrVkg JTis5bChAzpJc/W/BFhuM1XQNmUCw+taVUwe2KD4KXNBxz2pif7ItEOiN2PDEhuNckAdHfoZ kSV0T5sCGtoFCLyN8dfOtrvY+xzlPSIPYq/Cpj8MIEVCrAvL1/vwc2bTRTMt4wbuBJxyflnU XpaGO7wZUsn5VNPlWXqGLpAj+F6l0jTBwr7HPjG8vhu6pLGDFb9dFvPGALmgjkRtfvZ+Ffm4 JxEOtGUyh5SduT7b2OFucQQNF0GZzxzT5z/t8UdJKbJLxtECVMRLabb4YogXIh5wIVTtOPDp U+mVmFilVHQuHzgKCexUE5FVo/BZ5hEgEgADXQeBmrwg3kHSqSz3ZgbbKoyLOUG9vQ87PtaT MslWsSnA9YTQDGa4z4YYcX0k7JLRk7yhQuxIDeUOmkjXp9/Rj7m/s3vURvv+RIvUAu06NM0p rG93zyGR7stRxxQN+SHTNmN3l+OrXwmt+YqZHTxI/5XY1TKzIdxDj7Y19sbEporEgrS4Dm02 yK9IwYqlcOUr6AbqND21L259aG3GO5AL29mNmj875PtEALF/2CmkLRyYMzRcR/zDGrLqbifP 8NLxPTBMdoCrlZAk6x4N51Jlasexd/el4V2/zRePkfgTgqUU+t7A3y8w8NwmLVHxeZZtSuIS 0u/wIRmFovTCvz1Mmw6BVQDVfuC58E2izOJzPUSIWfG3gFV0oeDc31vO0irtHQAAppzaJgo0 MUwiv4wsgafsCcnAvyCryJT9lmPEEA+brUahskkJ7Hv2yUWyQBkQJ3DCyXJzomFRPdSP2ILf DKFpqrwqI5N50jFcnccSGXE4rdbiLsKvCllwEMzGFCSvt/jmPUM/QZw9A4vRV9/1SR30ONUO 0lqOXZqJK6IwSxauchbU02oGCBDHBe8+HGt73csi0viUBOORG/WCW8MKda240ES9lxDcghh/ L23zHjvVRDodprT2hQedFFEqfvxa85Y7SzHxd6aGvqaE6kAYTbKhrGkYUwKoUDFBeIznEj2m vl4zt1vaKHUNT8inINjMtO0jY8vcRGjIHBOZdpD/6lTRGHVR2yU6Ai0cku0fptAGuzO/UqGE PdRH8NoVSml9SOwvzseVL8tIbh1oaYT3+A8WIjXfEwIj7jOiQBSksP01jP/j2oVUdlRgZ4DC ofORQmjTE2Up1VpwlHokucVG1CFceElZRL91t+b6O8mNYwOm8AyfFAQ0ombhWS0Mgxm9S26p AnoPqvfzcF++4ZVxq/pHrtJXQmvG+iuVu7SqAGXmPZNZOPpLs3hmV40qF7mHgIOJpoXeY19u oqsue7N/nHunegJQUXGvZieBo915cmWd8hGAPLddXV1s3OLZ57x3kEl5Wu9F61srPpcwcuWH y2Dd8q6cI8uaed3nXF6RXBXLEcANv7RcKzlmCKaqsaMADg71SjsDouu1V3tXFFhWh44Ab/MI S6qhK/2/fFdlppGOzEcDfI/A5NYHk7qaZF7S/LP7wunHkuaqXLcnID9lCgQyyDBUViFN8fY3 ajrZDbDcDaKhaWZ6+0B7qJTuEQbAk8o1KN0NggY9sVtgj+3MH8eIK5Ped8aA5VTiWrp2Iu+e DjJa3A4BD7gWShfNy/x+8nnQhzVE9lm1g0V/dD11xj8h+aK6IK87H9J8y5h5zJ7eGKmwr36b 94Z/XL0M166xZQBqSP/IBCkqb8P+x8Y7itgFYPBfwjaDBMXALFM33tkdOaIfTKSCNnDzS0nO kBsLV2pgyiHpYrZHsNpenoTExYc1N8qI/PEcg/XqOviV06nICGsBREx1ywfElHOUSjSGIMze A== IronPort-HdrOrdr: A9a23:EXGhYauR40NNSXktWJcX5Fpq7skDr9V00zEX/kB9WHVpm5Oj+/ xGzc536farslwssRAb6Ku90cy7Lk80mqQFhbX5UY3SOTUO21HYTr2Kj7GSpQEIcheWnoVgPM xbAtFD4bPLfCBHpPe/zg39PNop3cWd/LrAv5a4815dCS9vL49vhj0YNu9ZKCxLrct9a6bR3a DshfZ6mw== X-Talos-CUID: =?us-ascii?q?9a23=3A8pnjE2lip/xxekPkj+IGn3V+drvXOX349Cv7D2u?= =?us-ascii?q?XNUt4TeSMEXad2KBdzNU7zg=3D=3D?= X-Talos-MUID: 9a23:ePZV5gTSYQS4VCiGRXTcoSMzBvwy+J2cVmUoyJkDl+OOFBVZbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,197,1774306800"; d="scan'208,217";a="280847998" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDH27twwwTZ4641nCQQrtIVGT8Bde6UIyG7q3w?= =?us-ascii?q?AaNwWXepJ7WkpztsLS/5hLekp8hRS0ab2iPZUaJuMaA+pgC1CcXyr0nO?= =?us-ascii?q?SyaKKeCEtuYk7MsP3BZC0U9kos6sV3/w86ASvIJ91rfKEVQuyB8pkFAb?= =?us-ascii?q?R/bxx/yCBwya0xgYZ+ltQtCg=3D=3D?= Received: from mail-ej1-f45.google.com ([209.85.218.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 Jun 2026 17:41:49 +0200 Received: by mail-ej1-f45.google.com with SMTP id a640c23a62f3a-bed19623d6eso909317966b.1 for ; Wed, 10 Jun 2026 08:41:49 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1781106109; cv=none; d=google.com; s=arc-20240605; b=WbkEaJZYw3QQC9Wn5ItF2pxiTWhTdEDUliV9cOjv4HMUHXyDrfzk2R3Z5K5YrqeZ1V 7HD0/05qhA4y0dTpbJiDo/cZW/7qS8h424yZaBquP8QKriTvEbqNl/7YvfVPad/VQduL hToARbYryGGA+MHVQZdwapvgV0SFluInXrXnNVPhs3cKzWRZlSMj1wwrkuU1ar/mJ3MD qSwMNjd++aqGOSsD/OvzCYmWZXM5k9UDQltXaiTAQizPdEhRlY3dcIF+2ZZ5vsZksf35 2JPi8qK/p/ydJiKjcv7175Wpv0+NIhlneWdjpc+rRel3bMqu2gtytiQzdeQIcZeHNrso 7rug== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=NMU0bh9S7tqZFkRk3jyt6Uw2cyBT7F+HoWYgQcwrDgU=; fh=rUoelaXUACdJCARjLH8F6YAKRdhiho/FopSJU736r68=; b=cEh/Ztx2G5FVyaj3WutI+TR+NNMGptx7NRV+PvVL4Q5G3VWKc64w6MvZRO1sduIWfI 1t1zIGXahZ/p5Uy/jQ1en9adjAv48sGi7ehysaI6Pq/qDFn4fNr2WqSf1JZvmuPTYSIx ADeODnxu/XGHZYUPFRgpU1jn0sswV9iaEN/9dshIWKtVME2yO1h8sP29f/KRdYqQm23j ZHCI3enmSyupHWbLmBx4uNGtxxws1TVZq69h4djAkGt1DK0ri61NsQ4RKRiIz4zYa07A pXOKDfesdswDvl5uwMjuLDebM+OJfR/eGSqAhh/MUZ9typppBTLNIjJ/sGNNCyjxc9cs jr0g==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1781106109; x=1781710909; h=to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=NMU0bh9S7tqZFkRk3jyt6Uw2cyBT7F+HoWYgQcwrDgU=; b=erSeM/9frQiSlhNi782yQBkz+aU1dDglg2OHcglmV8pHHF6sPVEhyLve+ACjIPoSgK 9fo/8wDTEUd/iGGHTQxhKJbRjiNzv11O2e/tW4hA570XOpI7ykOSmi9DoFODKnJ5pgdc jdcSiBXTXlYIVVLkQFYr6mkIUDaWljsuPFZymG9hsw7U7xryV0KBvZSB6BFNPv8a/ttV 4V4acfxP23QRoAXw/u5NJ9vwX6U1j7LuRuZHJVsaK/pTJ4ODA704C8dvq/CCgDbxvI0u g07/9y5EXjZNpSYauo3Yg1HODz0CBsTMEuU0dc05v+YCVCiaQLljHWKpGzUixO4KbNTr Gf0w== X-Gm-Message-State: AOJu0YzY9qNsdn7j708FZQOypZnRmrQRQBECcpxz4dARoVKNm5tREC3N FUt36Nnfp6eW9rXBB7UUWCj85OKa9fW9x0cOSTPi8+NfIIvXIY38sabgff40h/vsiTZwXLxh3+B nDkBycASSPO49Q6XDCTNyuvUNcAv5QAW1t1pLkso= X-Gm-Gg: Acq92OHXOh2Ka8IX5De3hcMc1oMCbK2qw7Dft0xQuBH6MMAkjhdbrN7cHAub54KJxZU S4q/J1wqHFw4NshDC2+nNALnuM8BZhTulgr3b8AlRwixMa8DJqf+T3/z2qbkyS+iifNadcIeD4H xjphAmHBZBWR58dFagN6t690R/hxj05hI9dNCg4GpmspY/aHyNHrmScfpvfgob1D27SALWq11aj AYN7cTRY0scVZm3k2UadVL4H4Yb369uOVFb0bhEJIEgWeLWDIKeZ/caD1JdhdLC94wupKn7N/0w KFLJ7s3Nxag4T/Jg5O3rmG9wvAIpBfl40NSm2D/QLJruYWLeXA== X-Received: by 2002:a17:907:3ccc:b0:bed:62c1:f6 with SMTP id a640c23a62f3a-bf370a6540amr1321557066b.16.1781106108121; Wed, 10 Jun 2026 08:41:48 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Wed, 10 Jun 2026 11:41:36 -0400 X-Gm-Features: AVVi8CeYaD1iCz1zsvegwBGMkKMXzspXwqdZ3lMh6hOQJ6rtoJ16Bslb8pRTtWo Message-ID: To: caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="000000000000e1c4eb0653e81495" Subject: [Caml-list] POPL 2027 Call for Papers Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19528 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: --000000000000e1c4eb0653e81495 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable POPL 2027 Call for Papers Sun 10 - Sat 16 January 2027 Mexico City, Mexico https://popl27.sigplan.org/ =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 PACMPL Issue POPL 2027 seeks contributions on all aspects of programming languages and programming systems, both theoretical and practical. Authors of papers published in PACMPL Issue POPL 2027 will be invited =E2=80=93 but no= t required =E2=80=93 to present their work in the POPL conference in January 2027, which is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. **NEW FOR 2027** - Clarification about expectations concerning mechanized proofs; see Submission Guidelines: https://popl27.sigplan.org/track/POPL-2027-popl-research-papers#submission-= guidelines - At least one author of each paper submission must be registered as a Reserve Reviewer as per the Reserve Reviewer Policy: https://popl27.sigplan.org/track/POPL-2027-popl-research-papers#reserve-rev= iewer-policy See details: https://popl27.sigplan.org/track/POPL-2027-popl-research-papers ## Important Dates - Paper submission deadline: Thursday July 9, 2026 - Author response period: Mon 7 - Thu 10 Sep, 2026 - Author notification: Mon 5 Oct, 2026 - Revision deadline: Mon 26 Oct, 2026 - Final acceptance notification: Mon 9 Nov, 2026 - Camera ready deadline: Fri 20 Nov, 2026 ## Submission Site Information The submission site is https://popl27.hotcrp.com. Papers may be resubmitted to the submission site multiple times up until th= e deadline, but only the last version submitted before the deadline will be reviewed. There is no abstract deadline. The submission site requires entering author names and affiliations, relevant topics, and potential conflicts. Addition or removal of authors after the submission deadline will need to b= e approved by the Program Chair (as this kind of change potentially undermines the goal of eliminating conflicts during paper assignment). The submission deadline is 11:59PM July 9, 2026 anywhere on earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth ## Scope Principles of Programming Languages (POPL) is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks t= o experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation, or application of programming languages. ## Evaluation Criteria The Review Committee (aka Program Committee, PC) will evaluate the technica= l contribution of each submission as well as its accessibility to both experts and the general POPL audience. All papers will be judged on significance, originality, relevance, correctness, and clarity. Each paper must explain its scientific contribution in both general and technical terms, identifying what has been accomplished, explaining why it is significant and comparing it with previous work. Advice on writing technical papers can be found on the SIGPLAN author information page (https://www.sigplan.org/Resources/Author/). ## Double-Blind Reviewing POPL 2027 will use a full double-blind reviewing process (similar to the on= e used in recent years (POPL 2023 - 2026) but different from the lightweight double-blind process used before then). This means that identities of authors will not be made visible to reviewers until after conditional-acceptance decisions have been made, and then only for the conditionally-accepted papers. ## Important update on ACM=E2=80=99s new open access publishing model for A= CM Conferences Starting January 1, 2026, ACM has fully transitioned to Open Access. All AC= M publications, including those from ACM-sponsored conferences, will be 100% Open Access. Authors will have two primary options for publishing Open Access articles with ACM: the ACM Open institutional model or by paying Article Processing Charges (APCs). For a paper to be covered by ACM Open, the corresponding author must be affiliated with a participating institution. APC pricing for 2027 conferences is currently under review and will be finalized in June. With over 2,600 institutions already part of ACM Open, the majority o= f ACM-sponsored conference papers will not require APCs from authors or conferences. Authors from institutions not participating in ACM Open will need to pay an APC to publish their papers, unless they qualify for a waiver. To find out whether an APC applies to your article, please consult the list of participating institutions (https://libraries.acm.org/acmopen/open-participants) in ACM Open and review the APC Waivers and Discounts Policy ( https://www.acm.org/publications/policies/policy-on-open-access-apc-waivers= -and-discounts ). --000000000000e1c4eb0653e81495 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
POPL 2027 Call for Papers
Sun 10 - Sat 16 January 2027<= br>Mexico City, Mexico
https://p= opl27.sigplan.org/
=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

PACMPL Issue POPL 2027 seeks= contributions on all aspects of programming
languages and programming s= ystems, both theoretical and practical. Authors of
papers published in P= ACMPL Issue POPL 2027 will be invited =E2=80=93 but not required =E2=80=93<= br>to present their work in the POPL conference in January 2027, which is s= ponsored
by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.<= br>
**NEW FOR 2027**
- Clarification about expectations concerning me= chanized proofs; see Submission
=C2=A0 Guidelines:
=C2=A0 https://popl27.sigplan.org/track/POPL-2027-popl-research-papers= #submission-guidelines
- At least one author of each paper submissio= n must be registered as a Reserve
=C2=A0 Reviewer as per the Reserve Rev= iewer Policy:
=C2=A0 https://popl27.sigplan.org= /track/POPL-2027-popl-research-papers#reserve-reviewer-policy

Se= e details:
https://popl27.sigplan.org/track/POPL-2027-popl-research-pap= ers

## Important Dates

- Paper submission deadline: Thurs= day July 9, 2026
- Author response period: Mon 7 - Thu 10 Sep, 2026
-= Author notification: Mon 5 Oct, 2026
- Revision deadline: Mon 26 Oct, 2= 026
- Final acceptance notification: Mon 9 Nov, 2026
- Camera ready d= eadline: Fri 20 Nov, 2026

## Submission Site Information

The = submission site is https://popl27.hot= crp.com.

Papers may be resubmitted to the submission site multip= le times up until the
deadline, but only the last version submitted befo= re the deadline will be
reviewed. There is no abstract deadline. The sub= mission site requires entering
author names and affiliations, relevant t= opics, and potential conflicts.
Addition or removal of authors after the= submission deadline will need to be
approved by the Program Chair (as t= his kind of change potentially undermines the
goal of eliminating confli= cts during paper assignment).

The submission deadline is 11:59PM Jul= y 9, 2026 anywhere on earth:
https://en.wikipedia.org/wiki/Anywhere_on_Earth
## Scope

Principles of Programming Languages (POPL) is a forum for = the discussion of all
aspects of programming languages and programming s= ystems. Both theoretical and
experimental papers are welcome, on topics = ranging from formal frameworks to
experience reports. We seek submission= s that make principled, enduring
contributions to the theory, design, un= derstanding, implementation, or
application of programming languages.
## Evaluation Criteria

The Review Committee (aka Program Commit= tee, PC) will evaluate the technical
contribution of each submission as = well as its accessibility to both experts and
the general POPL audience.= All papers will be judged on significance,
originality, relevance, corr= ectness, and clarity. Each paper must explain its
scientific contributio= n in both general and technical terms, identifying what
has been accompl= ished, explaining why it is significant and comparing it with
previous w= ork. Advice on writing technical papers can be found on the SIGPLAN
auth= or information page (= https://www.sigplan.org/Resources/Author/).

## Double-Blind Revi= ewing

POPL 2027 will use a full double-blind reviewing process (simi= lar to the one
used in recent years (POPL 2023 - 2026) but different fro= m the lightweight
double-blind process used before then). This means tha= t identities of authors
will not be made visible to reviewers until afte= r conditional-acceptance
decisions have been made, and then only for the= conditionally-accepted papers.

## Important update on ACM=E2=80=99s= new open access publishing model for ACM Conferences

Starting Janua= ry 1, 2026, ACM has fully transitioned to Open Access. All ACM
publicati= ons, including those from ACM-sponsored conferences, will be 100% Open
A= ccess. Authors will have two primary options for publishing Open Access
= articles with ACM: the ACM Open institutional model or by paying ArticleProcessing Charges (APCs). For a paper to be covered by ACM Open, the
c= orresponding author must be affiliated with a participating institution. AP= C
pricing for 2027 conferences is currently under review and will be fin= alized in
June. With over 2,600 institutions already part of ACM Open, t= he majority of
ACM-sponsored conference papers will not require APCs fro= m authors or
conferences.

Authors from institutions not participa= ting in ACM Open will need to pay an APC
to publish their papers, unless= they qualify for a waiver. To find out whether
an APC applies to your a= rticle, please consult the list of participating
institutions (https://libraries.= acm.org/acmopen/open-participants) in ACM Open
and review the APC Wa= ivers and Discounts Policy
(https://www.acm.o= rg/publications/policies/policy-on-open-access-apc-waivers-and-discounts).
--000000000000e1c4eb0653e81495--