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=RWNDDNFk; 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]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 085C3400D7 for ; Wed, 8 Jul 2026 14:43:49 +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=S1I+tzHdS8sR3idErq3Xr9xlIR+rN1ZJQUWDJDYRQgU=; b=RWNDDNFkQ1LphXZXm8KRK/11a5r1eVIrmvXJlnetkHXtWH6wQZk+/mIp P5+nZODpUYChOy6kpfSulvUZw6PqCrwuc7Vk4pdG7h/hYp8pMg4A2/KkP uAR44oh6iambQNpOg53z5wY7pswOTXySBila1+CsRqjqKdDLd1gV+CdP3 M=; X-CSE-ConnectionGUID: lrwXWN2kQauDoQqmPlKnaw== X-CSE-MsgGUID: +QsYcnjHRkOljcVHbZqYug== 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.25,153,1779141600"; d="scan'208,217";a="285483034" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Jul 2026 16:43:47 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 7A30181B0C; Wed, 8 Jul 2026 16:43:47 +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 1B68F81AE4 for ; Wed, 8 Jul 2026 16:43:40 +0200 (CEST) X-CSE-ConnectionGUID: QzMzVznQRsiLSU8yz2DR7Q== X-CSE-MsgGUID: 9+60e6e2Q52v0zzC/UmUlg== IronPort-SDR: 6a4e621b_QlR11CLq+kFNauEl7Rgd+57aGh1G/Sn0cofC/y/VHsjstri TODaBYkr4Na5uBju7wdnA4TaZU5JfjmnrgfVKdg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HkAwCHYU5qfC3aVdFaDoUMgQpeNAQLSYRYgSOCLIwDg?= =?us-ascii?q?iGRTYV6hQKDFBYnAg8BAwENRA0EAQEBAgEDg0dxRo1QAh4HAQQ0EwECBAMCA?= =?us-ascii?q?wEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw4SKYZPDYJbO?= =?us-ascii?q?3FeAwICAwMDNwEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEFAg0HGBEuOAsGHQEbDAMPAxIQNwIjAREBBQEjNIJhgiIBBhABAzYDEa5gg?= =?us-ascii?q?QJCiz2BFQUCFoEBgg0GgQnZXwoZKA11gQpcAgEGFoE3hHgqXYJcAYFFGgECD?= =?us-ascii?q?oQGO4RoG4INgRU1hDmBXAICAYIKgy6CagSCIoEMgkiBQoR9iBkmCAcXAwcHC?= =?us-ascii?q?QUEHAYFBQI/CQUBDxIDBAMEBAECCwkKCQMDAg4CCAMCCAYZAT8SBBMKDQsHB?= =?us-ascii?q?R8KAgwUCigiEgIpCgECAR8KLAMUGQEBBwYCAgMBBAIEDAIJAgIFBAMCCgQDA?= =?us-ascii?q?wQBAQgCAi0DAQMZCAkIAgsFERgMCwUCCicDDwEJAx8XGwgRNAgGFgEaBwUGC?= =?us-ascii?q?zcVBQwRAQIbAiEEHREIAwEYCwICAgQCAgEDBxcDBB0EAwMHAgIJCQQMEAoSF?= =?us-ascii?q?QMOAwcPAg0HOwMCDgIJCAwXAgICBgIDAwMKAQIBAQEBAQEBAgcDAwMCAxkHB?= =?us-ascii?q?gMEBAEEBAMDAgMFAQMDAwUCAgoGCQEBAQEDAgIIAwcDCgkCBQMbAyAGAQICA?= =?us-ascii?q?wIBAgYGAwcBCgMEAg0DAwQCAwMDAwMDAwQBAgIBAQECAwEDAwQDAQYCAQMHA?= =?us-ascii?q?gIDAwMLAQIDAwMFAwUBBQMFAgIDBQUDBQICCgIDAwMCAQMCHAMIAwYDEgEQA?= =?us-ascii?q?wMGAQMHAwcCBAMIBAMGAgMIAwMCCQgDFgYDAwMDBQECAgIDBQMDAwgIBAMDB?= =?us-ascii?q?AICAwwCBgMDAwIDAwUDAwcCBAIDBgMDAwEDAwUBAgcCAwcCAQsLCAMCBAIJB?= =?us-ascii?q?wkHAQIDDQQCBAYEDQkEAgQCAg8EBAUDAwcBAQIBAggFBgMCAhEFCAoFBgICA?= =?us-ascii?q?hwGAwMDAx8CBgQDDwYBCQIFBQIBAgMDAQEFDgcFAgICDAYDBQYDBAcHAwcGA?= =?us-ascii?q?gMBAgYCBgIFAQMBCgELAQECAwMFBQMDBQcBAgQCBwMDAwQDAwMDAQECAgQGB?= =?us-ascii?q?AMCAwcDAwMDAwQFBwUDAgUCBAMFAwcCAwMCAQUKAQQFBAoBAwMDAwUFAwICA?= =?us-ascii?q?wMEAQIEBgMEAgMBAggEDAMLCQgTPQELBzIENgEGDhQHKSFfjRcZFw+BUWwcD?= =?us-ascii?q?IETIA9MFgwwBBMfAQEOAWOSWrNgaIM/hHOHLpVUM4QEjRSZVJkII4I2izGVN?= =?us-ascii?q?DAThTERJBKBSSOBSQwHMxojUDGCNlADGQ9XjSg5g2uFE4ohvyIrMj4BBwIHD?= =?us-ascii?q?wKBc5A0gUwBAQ?= IronPort-PHdr: A9a23:yFIeZRFfD38mR5TbTcf3o51Gf5tFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k20hmRBM6Ft6IMy7KP9fy7BSpYudfJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muQgoEW e9vbxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUoHdgN6q2O+s5pbdfxtHhCanYbN1M R66sRjdutMZjIZsK6s90AfFrmZHd+lXym5lJk+YkxLg6sut5pJu/Cpdtv07+8JcTan2erkzQ KBFAjghL20668rnuAXZQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Q78sVzut9 qtmVhDmhjofOzE27G/YhMpwjLlGoB26vBxw35TUYICOO/VgeK7WYM4XSnBAXsZVUCxBH5+8Y o4SBOcPIepUs4/wrEYIoBCjBwejGfnvxydHiXH206M00PkvHx/a0wE7Bd0CrG7Zoc/pOKsOU +24yrTDwzXZb/NR3Dfw8JDGchEnofGDW7JwcMzRyUYyHAzEj1Wft5HuMjSa1+QLtWib7uxgV e2gim4mtQ58uTevxsI2hYnIgoIZ0EzL9SJ8wIssI9CzVUF0b8K+HpRKqyGaK5V5QtkkQ2xwt ig31LMLtJC7ciQUx5kq2RzSZ+GJfYaI7RzuV+ecLDVkiHxrZL6yhhi8/0iix+D/VMS4zUtGo zZZntTDuX0D2Rre4dWJRPt6+0euwzeP1wbL5+FfIEA0mrLbK5o7zb42jJYTtl7DHiDulEXtj a+WeV0k+uyy5OTheLnqvJicN5V7ig3mMqQundC/DvgiMggWRWSU5eO81Lj78Uz3QbVKjfw2k rHHv5/HJMQUvLS1AwhP0oYs8xqwFSup0NECkXkANlJFdxSKhJXqNVHWOP30E+uzjlC2nDpox /3KJKPtDojOI3TZn7rsfbBw4FNGxgUp19BQ/ZdUB6kBIP3tXk/xs8TVDhojPAy1x+brEcty1 oEDVW6WDK+UP6PfvUWH5uIoJOmMa4sVtyjnJ/c54P7uiGc1mV4bfaa3wZsacG60EuhiLkmDY nfhgs0NHXkXsgc9VuDnh12PXSZWZ3moXqI84j87CJihDYfGXo2sj7qB3CG6Hp1QaWBHBVGMH mnzeoWLXvcDciOSIst7njMYUrihTpct1Quyuw/i17pnMu3U9zUEup350dh14/TflRUz9TxvE 8SQyHqNTmFxnmMQXTA6xqF/oUpnyleCy6d0mfJYFcZL6/NPSQg1LYTcwPBiC9DuRgLBec+ER Eu+TtWpHz4xSdE/zcUWbklzBtuulgrD0DS0A7EWjbKGHJk0/bjd33j1Pspy1XTG2LQ4g1koT cZCNXeqhqF49wjUCI7Jl1uWm7y2eqQb2S7B7HqMzWmPvEFdSAN+SarLUn4BaEXKsdn34FvOQ KKrCbs9KAtO1daPJLNTZNPxgltKXOzjOMzQY2+pgWm9GQuGyK6UYIrxY2Ud0j3SCEganAAX+ naLLRAwCD65rWzRX3RSEgfkakbotO1/s2+TT0kuzgjMYVcln7Gy41segeGWY/IVxLMN/ik77 319E1q099bXEMab4QFhdaFZbMkmpkxKkSrZvhd+M5ikaqtriFM2cw1svE7q01NwEIoE2dQ7t H4xiQN0L6WF1lhMXzeZxozrfKbaI3K04QiibaiQ113Dg/iM/aJazvU+pFPiug7hJksvuyF31 d9U1XSM55jiAw8bUJa3WUEyoUsp74rGazUwstuHnUZnNrO552eqM7MBAeIkzk3lZNJDKOafE xe0FcQGBs+oIehsml6zbxtCMvoBvLUsMZaAcP2LkLWuIP4mhCiv2HRB5oF73VKN+gJzT+fJ2 9AOxPTLlhCfWWLEhUy6+tvyhZgCYDgTGmSlzi2xFIhXZ6t9bYcGIWirKsyzgN55gs2lQGZWo XikAV5Ow8q1YVySYlj6iBVXzlgSqGe7lDGQyjV1l3QkrPPa0nCThevlcxUDNyhAQ2wKYU7EB 4+ygphaWUGpa1Nsjx65/QPhwLAdoq1jLm7VSEMOfi7sLmgkXLHi/ryFK9VC7p8lq0A1GKy1f EyaR7jhohAbzzKrHm1Qwyo+fi2rvZOxlgJziWaUJnJ+5HTDfsQ4yRDa7d3aDflfu1hODDl+j zjRCUi9MvGm+NyVk9HIteX/H2OtW5tPcDX6mJuavXjz7mlrDBuj2vGrz4e/QE5qjGmhjoksC XibyXS0KpPm3Km7L+99K0xhBVunrtF/Bpk7iYwowpcZxXkdgJyRu3sBi2b6d9tBisecJDIAQ yAGx9nN7U3rwkpmeziZwYT4UHqNw8ZJaNyzY2dQ0SU4pZMvau/c/PlfkC15r0Dt5xLXZ/l7k SccxNMh7Xcbh6cCvw9nnW2NR7sVG0dfJynlkR+Fusu/oKtgb2GqabGs1UB6kLhNFZm6qxpHE Db8c5YmRmpr69lndUnLyDv1453lf9/ZaZQSsAeVmlHOlbodJJU0n/sMzS1pXAC19W0jze89g gxv0Lm1uYGGLyNm+6fxDhNDNzLzbt8e4Xm31fcYzpvQhdn/WMk8UjwQFIPlV/epDC4fuZGFf 06VHTswp23aUbvTEAmD6Vt3+nfGEpSlLXaSdzESydRvQgXYJVQK2lhFGmVn2MRgRkb2mZ+EE g8x/D0a61/mpwEZz+tpM0K6SWLDvEKzbS9yTpGDLR1Q5wUE5kHPMMXY4PggekMQtpCnsgGJL XSWIgpSCmRcEFyCAVHlMamv6PHP9uGZAqy1KP6EMtDs4aROEuyFw56iyN4s7zCKN8OALnhvJ /I+00tHG3t+Ho6K/ldHAzxSnCXLYcmBoR668SAitcGz/sPgXwf37JeOAb9fYp1/vgq7iqCZO 6uMlT50fHxGg4gUyyaCm919lBYCzjtjfD63HfEcuD7RGejOz7RPAUdTajsvZpQUqftmg08Vf 5ac042916Yk3KRtWhEVCBq4wJHvPYtTfATffBvGHBjZbuzefG+Xk5+vM//sF+EC3qIJ6VWxo WjJSRO7Ymbdx2GxBUz/b70e3mbGYnk88Mm8akg/Uza7E4DoOhfjYoMn02Fkk/pp2DvLLTBOa 2gkKxEWoOXCsXMG3qctXDEfixgtZeicxXTD5rGAeM9K7KM5XnQqy7AIpylkg7pNsnMeT6R7y iXY84Y8/wH4zrvdjWc5GAxHrjIB7G6SlWNlP6iRtpxJWHKfuQkI8X3VEBMS4d1sFtzovalUj NnJjqP6bjlYoZrS+oMHCs7YJdjiUjJpOAf1GDPSEAoOTCK6fWDZiUtHlfiO93qT5pEko5nok ZAKR/dVTlswXv8dD01kGpQFLvIVFns8lqWHiccT+XekhBzYRcEfs5KeE/zOXLPgLzGWibQCb BwNgPv5IYkVKoznyhliZ119z+GoUwLbWdFApDEkbxdh+h0ctigjCDdqiwS5N1DIgjdbD/O/k x8ohxErZO0s8Gyp+FIrPh/RozN2lkAtmNLjiDTXcTjrLa72U5sFbki8/0U3LJ7/RB54KAOom kkxfifCQbNXgKtheEhkjQbdvd1EHvsWHsgmKFcAgOqaYfklywEWsiK82UpO/vfIE7NnnQouN JOu9jdOh18lY9kyKqjdYqFOyxID48DG9j/t3ec3zggEIk8L+27HYy8EtnsDMbw+Ljap9Ohhg eRtszRGcWkIEfEtp6AznqvYE+uFxiPklbVELxLpXwR+B6aQumyFmMzRB11siwUHkE5K+bUw2 sAmIRL8ag== IronPort-Data: A9a23:HvBwrqk7eIuW0ffHA7rRmUDo5gxtIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJKDG3TaarZZzT8Lt5+ad638UIEucTQy9BrTQM9pX0xQy4T+ZvOCP2ncnv9bniYRiHhZBI+v p9GMrEsD+htEySC/k/1WlTFhSMhvU1dbuOkUIYoAggoG0k8Dntn0Us98wIAqtYAqcCjBA+Qs s/FrcTaOVu0sxZ5KWt8B5ir8XuDh9ys/mlF1rACTaoT5gGGyCFKVMt3yZyZdhMUfKEERoZWe M6YlNlVzkuBlz8xB9WslKrMc0Fiatb6IQiUh3NKbLOpix5EqzZa+v5T2C00NC+7Ix3Q9zxA4 I0lWa6YEG/FDYWV8AgpaCS0JgkiVUFw0O+ecCLn6aR/+GWdG5fk660G4EjbpuT08M4vaY1F3 aVwxDzg8nlvLg95qV62YrAEuygtECXkFLoNn2Ne3zfgN+0nZav+E7TYv/Nigw5l06iiHd6GD yYYQT9mbRCFbh8Wf1lLVdQxm+CngnS5eDpdwL6XjfBvsi6DkUorieirbIe9lt+iHa25mm6Io GTH+WvpAxwyO9mWyD7D+XWp7gPKtXqmAdxKTOblrpaGhnXChTJLBUMbD2Lm++fhmFyVHO9aF kgbr39GQa8arxHyFoasAXVUukWstRcZX59UEvYmwBqcz7LdpQefHGkNCDBbAOHKr+czTD0uk 1KLxpbnWWEpv7qSRnaQsLyTqFteJBT5M0c7dwoWcxkD2uP4oaUIs0LeXIxPKvGM24id9S7L/ 9yckMQpa1wuYSMj0qy6+RXKgWvpqMSUCAEy4QrTUySu6QYRiG+Zi26AuASzARVoddnxory9U J4sxZP2AAcmU8rlqcB1aL9RdIxFHt7cWNEmvbKQI3XR32/woib8LN44DMBWK0BuPcIJMT7va wm7hD69EKR7ZSPwBYcuO9zZI51zkcDIS465PtiKNYEmSsYqJGe6ENRGPxL4M5bFyhV0yflX1 FbyWZrEMEv2/ow7lGvuGLtAjOZwrs38rEuKLa3GI92c+eL2TBaopX0tajNit8hgtP7c8jbGu c1SLdWLwBh5WejzKHufu40KIFxAaTBxCZnqooYFPqSOMyh3KlEHUvXx+LIGf5A6vqJ3kuyTw GqxdHUFw3XChFrGCz6wVFZdVJ3VU61Sk1cHLA03HFPx23EccYelt6geUJ0sfIgYzu9ozN8qb vxce8y/Heh9dTPX3wssNb/G8YpoLkWtjy2zIhv/MSQefoFhdSPN6NTLbgvizwhQLyuV5O8Vg ays6RPferUHHz9dNcfxbOm96n+Apl0fpb5CZFTJKdxtZ0ncyohmBCjvhPsRIctXCxH86haF9 gSRWzE0mPLsptIrzdz3mqy0lYelPO9gFE58HWOAz7KXNzHfz1Wz0717T+eEUjDMZlzaoJz4S 71u8Mj9F/kbkHJhkYl2Se9rxJ1jwerfneZRywA8EUjba1iuNKhbHUCH+styrYxI+K5SvFqne 0CI++QCA46zBuHeLAczKjYmP8O57tNFvhnJ7P8wHlf22z8vwpqDTndpHketjA5zEeJLFb0Lk MkdvPwY0QidsiYRE82ni3lU/lucL3ZbXKQAsIobMbDRiQEq6w9jZ5zBACry/aPUa81+D2MsK AC6nKDp2rZWnBLDV1ERFnH9+/VXqrpTmRJNzX4Ef0+onPicjNAJ/RRhyxYFZSUL8QdmisVYJ XpOG3BuA6eFohNEpZJmYTi3OgdjABa5xBTA+2ERnjeEc3jyB33/EmItHM2somUL+H14VRpG9 ui6zG3Fb27bTPvp1HFvZX8/+u3Rdv0vxAjsg8v9It+kGaM9aj/bgqODQ2oEhh/kIMEpjn38u uhY07dsWJL/KBIvjfU3O6uC2ZQUbSK0FmhIbPVi3aEOREX3WjW53xqQIEGQJOJJAdH38nGDN s8/HfIXCiyC1xuPoAsLWo8KAbt/x8Ay6PQ4J7jEGG8hspmklARPjq7+zCbFqVUQc41cqvplc oL1XBCeI1OUnkpRyjPsrtEbG2+WYuskRQzb3cLp+uBUD5gGvL1lTn8b4OHtv3yqLxZWpUOIn QLcZp35y/5p5pRskrDNTIRAWh2+LN/uXdvV9iGds8x8VvGeFezspg8qul3cEAAOBoQoWvNzj qWrjNHs+VHs5ZIaYjv+oIaQMatn6eGZfvtlAuiuIFZ0xSK9CdLRuT0d8GWGGLl1udJ65Oz8Y iCnacG1JOUna/0EyFJ7MyFhQgsgUYLpZaLdpAS4nfSGKj4Z9SfldNqH13vYXVt3Rx8yGa/VK 1HL4q61x9Viso5zKgcOBKhmD79GMVbTY/YaWOOrhwaILFuDow2kgaTjpyoC+DuQK3ijEeTG2 7znaCX6ViyPvPDv8IkEna105xEZNSMoy614NEcQ4MV/hD2GHXYLZ7ZVe4kPDpZP1Df+ztfkb TXKd3EvEjj5QS8CSxjn/dD/RU2KM4Ti4DsiyuABpCt4qhtaBb9sxJNk/yZkpnp0I37tkLzhJ tYZ9Xn9eBO2x/mFgArVCuOT2Y9aKjHynxrkOnwRV+T9Bh8fBfMB03kJ8M9lS3ncC8+U/KnUD TFdeI2HKX1XjWb+FM9hfzheHxRxUPYDCdk3RX/n/eszcLl3AAGNJDMT9g0zPnA+gBw2GYMz IronPort-HdrOrdr: A9a23:p7Z5W6E3ZHeE+GyjpLqE2ceALOsnbusQ8zAXPiFKKSC9Hfbzqy nDppkmPHzP6Qr5OktOpTnoAsDpKk80nqQa3WBlB8bHYOCQghrOEGgN1+ff6gylMzHi9+JbyK dre7VzBZnNF1Rg5PyKhTVQa+xQouVvp5rY5tvj8w== X-Talos-CUID: =?us-ascii?q?9a23=3AwLyWFGjd76sjvwXfDav98Mco/jJuS2/43knCJXa?= =?us-ascii?q?CEmdNc4DFWE3K1Jk7qp87?= X-Talos-MUID: =?us-ascii?q?9a23=3AtJmGVw+AWZCGkMTGlyL62zGQf5YrvfyjVk1XqMh?= =?us-ascii?q?cpZGWJwc3BjKgiDviFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,153,1779141600"; d="scan'208,217";a="151600350" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGyQIXFErBbhcO+2jRuVoGG+WrLXbyDNeeQlQ?= =?us-ascii?q?LAPDLUXz00uVEGa2HEQw8W7nJwgkawfQGWjzNZeHpeNcyyaWv0zEbUXy?= =?us-ascii?q?sXo6ASgc+CWZnVWjV/3U+2q1y/aR3qKSSofo/7NGuUmwO+eG0kHFi4XE?= =?us-ascii?q?FecMz5Mg/XjcsE9otiSdu3Tw=3D=3D?= Received: from mail-ej1-f45.google.com ([209.85.218.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Jul 2026 16:43:40 +0200 Received: by mail-ej1-f45.google.com with SMTP id a640c23a62f3a-c15bf399d3bso92125666b.2 for ; Wed, 08 Jul 2026 07:43:39 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1783521818; cv=none; d=google.com; s=arc-20260327; b=a/53cOqCEIVNJbWdXYUEwsCMs0LIzj+4Xzadhu999AaRwZpo+12YFyA/uNz7LbMD1H rSnJeD1iP8GmbzuaLdhZZiXNH2YSgmAjY3XdznD3qRL05XpMDmg+xmlBKDE2yjkXbwnI P9zfmZJfbcmRMpNGoovE1gKcQ3adIBZNUyPm4EXYCMYNK4TSfmjajcx/JGhvee0knqPp djKJUml8cRDdJnwbYmkAaoHtWUWy5gZrDMEBcEwVCQ1ihE+63yR239PsD59AXjF64CGu nbnJLPPAQYnApI1wrfKFQ6pIv7BnJBS+UGJnl1QIfq2jK0ma7hbpf/Z9rCMwyutKKrm4 +L4g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=S1I+tzHdS8sR3idErq3Xr9xlIR+rN1ZJQUWDJDYRQgU=; fh=rUoelaXUACdJCARjLH8F6YAKRdhiho/FopSJU736r68=; b=hMacHpUBTA6HYcUeI12GjQ1DnIWUxYhPSxrmlMX0TYsiQEQLkZxwydrIDhls2n/DWm HwGl3uK3CklXGFOOsJGNkRAn/7vqOKXpytfgxmHgj3kZ71tLyUhlk+RCLmkpcMuKaJ6L WpnPGVux/R4ABTp+JdWQlK5A+sQp+H4iHC19Dnk6kYYi2z7EhC2KwbMRw9pu8Huyipj4 Aijbyx2NiWjc/gz5o1rsaTubRnrF0r4NxwbCVqIP8xINakQDw8LfvbsKmXNtYKmqMsYS 7MXrt0JjLrNOAXsnRLfBRMGSLdFItAtXRyuZlMu7cUOlfzgVOVbjDzHba+jPj7WVfllm aYqg==; 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=1783521818; x=1784126618; h=content-type:to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=S1I+tzHdS8sR3idErq3Xr9xlIR+rN1ZJQUWDJDYRQgU=; b=B6lRV3gl0DzjjPVELNruT5qRIRv9hid6eYyXcQVDbxi3npMwL0VK8dZbK9xfYIg4XE GmFL44w6ECkI8ISFsuMXzi4v5oRCB+isQi/4e6zB4gEARcsitEbHNZf5x+l8pS0DyWbw 5BHtedEWDC1zrx0IkOvJP099EsGbv7wxQ6309vgcEtSJEaoh0E9Nv0ik6JWh6FxLRQ/o LMpmpqiEDUV+VvdmM3Nej6ZcAknSCX/IVIMYwSI5x/wcIFcTn0pfG90pCNBUXubaGRGy sNJgbqDzEEKRLCirqum5J7u4Mhbh1TRLnpVwqdCSmMJvRAtJVtGJr15rsyyramk0Wi83 m5Mw== X-Gm-Message-State: AOJu0Yxan/XHpwB/14u8Musb42jPq1zV8kNTBI2XP8ZzhM2LxZRO5Kyg JtukgopZz3Qmkf73rtR7+JJZgy6iS3TKvR4V3kMUTZwuAUmbODcCqqarmv/ReMgrTLylXk8pPb0 K2Q30Uj3Peka1faVLFID/cE5S0jmP2ERQsyViQMI= X-Gm-Gg: AfdE7cl2cEXMvlSnFs1QXM+HQySYuHf7KEMfBqZvk8u2wHsu/niWf+qPL6HCy/r8hYr NWiiz0d99sDeQQBdv3P0bB1Ut7ksZPI+u1q2k3vuIycy9MTH8pM0HpLrGpg4Elc01frmsjabegn xo7yFo/wEwt82kj0ZYA6XRwjdB0U8gRyrFr4JjgzeRSL3mN3DMialJC8UfvJOmWy4+JxnWwp6fk 6B3Mm+sKCPr13FaKsfTEjqdoNA59JCyhq0nDSQTXFr+4DawI3vl0Zrchk/y3OytWxy7Eu5Kk1FP 97FbbiWceava6M9I2PxKaa1oOzsO X-Received: by 2002:a17:907:c18:b0:c15:c455:639a with SMTP id a640c23a62f3a-c15ce13d75amr133949866b.59.1783521818079; Wed, 08 Jul 2026 07:43:38 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Wed, 8 Jul 2026 10:43:26 -0400 X-Gm-Features: AVVi8CdqZ9yfNM2Ab5bNXYdCTlNPW7Px12DWXsFifIyigE4DxnqwWKW5YRQNago 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="0000000000006a75a506561a8869" Subject: [Caml-list] POPL 2027 Last Call for Papers Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19543 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: --0000000000006a75a506561a8869 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 ). --0000000000006a75a506561a8869 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://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 Iss= ue POPL 2027 seeks contributions on all aspects of programming
languages= and programming systems, both theoretical and practical. Authors of
pap= ers published in PACMPL Issue POPL 2027 will be invited =E2=80=93 but not r= equired =E2=80=93
to present their work in the POPL conference in Januar= y 2027, which is sponsored
by ACM SIGPLAN, in cooperation with ACM SIGAC= T and ACM SIGLOG.

**NEW FOR 2027**
- Clarification about expectat= ions concerning mechanized proofs; see Submission
=C2=A0 Guidelines:
= =C2=A0=C2=A0https://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<= br>=C2=A0 Reviewer as per the Reserve Reviewer Policy:
=C2=A0=C2=A0https://popl27.sigplan.org/track/POPL= -2027-popl-research-papers#reserve-reviewer-policy

See details:<= br>https://popl27.sigplan.org/track/POPL-2027-popl-resea= rch-papers

## Important Dates

- Paper submission deadline= : Thursday July 9, 2026
- Author response period: Mon 7 - Thu 10 Sep, 20= 26
- 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
<= br>The submission site is=C2=A0https://popl27.hotcrp.com.

Papers may be resubmitte= d to the submission site multiple times up until the
deadline, but only = the last version submitted before the deadline will be
reviewed. There i= s no abstract deadline. The submission site requires entering
author nam= es and affiliations, relevant topics, and potential conflicts.
Addition = or removal of authors after the submission deadline will need to be
appr= oved by the Program Chair (as this kind of change potentially undermines th= e
goal of eliminating conflicts during paper assignment).

The sub= mission deadline is 11:59PM July 9, 2026 anywhere on earth:
https://e= n.wikipedia.org/wiki/Anywhere_on_Earth

## Scope

Principle= s of Programming Languages (POPL) is a forum for the discussion of all
a= spects of programming languages and programming systems. Both theoretical a= nd
experimental papers are welcome, on topics ranging from formal framew= orks to
experience reports. We seek submissions that make principled, en= during
contributions to the theory, design, understanding, implementatio= n, or
application of programming languages.

## Evaluation Criteri= a

The Review Committee (aka Program Committee, 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, correctness, and clarity. Each= paper must explain its
scientific contribution in both general and tech= nical terms, identifying what
has been accomplished, explaining why it i= s significant and comparing it with
previous work. Advice on writing tec= hnical 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 t= he one
used in recent years (POPL 2023 - 2026) but different from the li= ghtweight
double-blind process used before then). This means that identi= ties of authors
will not be made visible to reviewers until after condit= ional-acceptance
decisions have been made, and then only for the conditi= onally-accepted papers.

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

Starting January 1, 20= 26, ACM has fully transitioned to Open Access. All ACM
publications, inc= luding those from ACM-sponsored conferences, will be 100% Open
Access. A= uthors will have two primary options for publishing Open Access
articles= with ACM: the ACM Open institutional model or by paying Article
Process= ing Charges (APCs). For a paper to be covered by ACM Open, the
correspon= ding author must be affiliated with a participating institution. APC
pri= cing for 2027 conferences is currently under review and will be finalized i= n
June. With over 2,600 institutions already part of ACM Open, the major= ity of
ACM-sponsored conference papers will not require APCs from author= s or
conferences.

Authors from institutions not participating in = ACM Open will need to pay an APC
to publish their papers, unless they qu= alify for a waiver. To find out whether
an APC applies to your article, = please consult the list of participating
institutions (https://li= braries.acm.org/acmopen/open-participants) in ACM Open
and review th= e APC Waivers and Discounts Policy
(https://www.acm.org/publications/policies/policy-on-open-access-ap= c-waivers-and-discounts).
--0000000000006a75a506561a8869--