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=acte1dYA; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=LA3wRsbf; 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 76B0B40016 for ; Sat, 5 Jul 2025 02:12:30 +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=5nQKIIhVnoyyjcxmCkFRXJz+TDEiQYD+k5/Ba9BSu48=; b=acte1dYAS3iDErgyE935gpg/IGxawF6zJr4gpJwUGtucfxPLiVcl5842 VBQmGrUXjPrydkGLFeyDLiyemOSIeKTryq0UHQJCVp7P6VgYAeNRUAdZE stllSxSIDvolkFMyYAP0pS+P14706USjccaZ49Lcy7ALt1VY0FJZI30Wt 4=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com 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@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="6.16,288,1744063200"; d="scan'208,217";a="230433528" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Jul 2025 04:12:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 05BEBE0BE9; Sat, 5 Jul 2025 04:12:30 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id CBBAEE0131; Sat, 5 Jul 2025 04:12:23 +0200 (CEST) IronPort-SDR: 68688a06_O9NJkUWQ/lbOcYwcZbbV3KZLZAz9u4dC0AxHMRV73TW/A1C NSTcebsGpVXwbIHj5HZpHR3CsOfAEe4bCeXT3Sg== X-IPAS-Result: =?us-ascii?q?A0HaBACziWhoganbVdFQAQkOhRKBAFk0BAtJhFWBI4Isj?= =?us-ascii?q?AGCIYEWkDWGNYE7hHOBLBYnAg8BAwENRA0EAQEDAQM0gxVxRot8Ah4HAQQ0E?= =?us-ascii?q?wECBAEBAQEDAgMBAQEBAQEQAQEFAQEBAgEBAgQGAQIQAQEiGQcOO4VBAQcyD?= =?us-ascii?q?YJbO3FeAwICAwMDNwEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEFAg0HGAQNLjgIAQIGHQEbDAMDBgYDEgMNLQoCIwERAQUBIwkdDoJhg?= =?us-ascii?q?iEBBhABAzIDEZBsj0CBBUKLPoEVBQIWgQGCDQaBCT4F2RMKGSgNcYFiAgEGF?= =?us-ascii?q?IE1hHYpXIJWAYFDGgIOg387g0KBIRuCDYEVNYI9gXuBXAICAYEgEAFZgy6Ca?= =?us-ascii?q?QSCDRWBFit/gT2CEjaCIRKBbYIDHk6FOQkDBoYzJggHFwMHBwkFBBwGBQUCP?= =?us-ascii?q?wkFAQ8SAwQDBAQBAgsJCgkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMEQooI?= =?us-ascii?q?hICKQoBAgEfCjEDFAQZAQEHBgICAwEEAgQMAgQFAgIFBAMCCgQDAwQBAQgCA?= =?us-ascii?q?i0DAQMZCAkIAgsFFBgMCwUCCigDDwIBCAoGAwYDBAICAgoBBwIDAwMHAQsUA?= =?us-ascii?q?gEDAgIFAgIBBQMCAggDAgEBCQIDAggBAgIBAgICBAEHAQ0BAQIEAgIkAgEDC?= =?us-ascii?q?AYBAQ0CBgICAQICBAIEAQgLBAgBAQIBAgIBAQEEAQgDAQECAgMDBQMFAwgPD?= =?us-ascii?q?QEVCxkDBAUCAhICAgEHAQIBAQMZAgEDAwQBCwIBAQQbBBcCFiQCGQIBBQUFA?= =?us-ascii?q?QMECxAJAwIFBAICBgIEDgIHBAIaBAICAQMEBgMBAggCAgcEBAYDAQICBxcCF?= =?us-ascii?q?QECAQMCAgkKBAUEAwQDAgICAQwDAQIDAgIBAgEBAwEFBg0SAgEDDwgEAgIHA?= =?us-ascii?q?gIhDwsBAgEBBgYDAwMKAwEKAQEGAgECEgUCAgIEAQICBgQlAQIBAgEBAQUCA?= =?us-ascii?q?QIBAgQCBwIBAgMIAQUCBgECAgkBAgECAgIBAgEBAgYCAREEAQICAgICAwEDB?= =?us-ascii?q?gICAgICAgkCAgICBQIFAwIDBQIFAgMDAgIDBAMJAwMIAwYEAgMBAQECAQICA?= =?us-ascii?q?gECAQUCAwkBAQMCAQICAgIDBgIFBQEDCwwBAQIBAwUDAwQDBgEOBAMCBAICA?= =?us-ascii?q?gIEAgEFAwMCBQELAQIEAgEDAwMEBAMBAgIKDAIEAQEBAQIBAgIKAwIFAQMDA?= =?us-ascii?q?REDBAEGBQUGAgcJAwICAwICAQIEAwkEAgQDAwICAgEBCgICAQIBAQMDBwYQA?= =?us-ascii?q?QICAgEPAgMDBAMEBgMFCQEDBwEBAQEBAhQDAgQFEQgCAQEeARUCBwEEAyceA?= =?us-ascii?q?gIGAgICAgMCAgMDAwECAQEDBQEDAgMCAQIBBgIDAwMFAwEOAgIDAQMBBgQEA?= =?us-ascii?q?gcBAgICDgEDAgIJAgcJCAIBExMCAgICAQICAQIHAQECAwIFBQgCAQEBAgIDA?= =?us-ascii?q?gsCAgECAQICAwIDAgYBCQQEBgECAQEFBAMJAQIDJAMDBAUDAgICAgcCBAMZA?= =?us-ascii?q?g0GAQQDBQMFAwgDBgICAw8DBwYHAgcEAgQCAgIOAgMDBwUCAgICBAEBDQQHA?= =?us-ascii?q?gMCAhIDAQEBAg8CAgICDAIBBQICAgUCHAIJAyMPAwsJCBM9AQsHMgQ2AQYOF?= =?us-ascii?q?AcrIV+RcRqCOgEFTRkGHAQIAwMiCAwEIgUDBQMJEgYTDQINQgoHCgUHBRIBB?= =?us-ascii?q?A8KBAkFBgMbAQEECgEBHQs6A5JKGwEBE5AFoW+BPmiDPoRwhy6CWJJ6M4QEj?= =?us-ascii?q?Q+HApEqP2aZBiKCNosvhSKQDzAEGYUnESQSgUkjgVwzGiNQMYICATNPAxkPV?= =?us-ascii?q?4QYgleGcoNphROKIbIcHSoyPAIHAQoBAQMJhkuKFiwIgUsBAQ?= IronPort-PHdr: A9a23:vYRrRxb0EE8oxSzQJHcolb7/LTGD2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wSPBd6Qsa4b2qL/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezb75+N gm6oAveusUIjoZvKKI8wQbVr3VVfOhb2WxnKVWPkhjm4cu+4IBt+DlKtfI78M5AX6T6f6AmQ rFdET8rLWM76tD1uBfaVQeA6WcSXWsQkhpTHgjK9wr6UYvrsiv7reVyxi+XNtDrQL8uWDSi6 6BrSAL0iCoCKjU0/n3bhtB2galGph+quh5xzJPOYIyNO/Vwfq3Tc9AHS2RfQslcTDZODp+mY oYVE+YNIeRVoo/grFUOtxu+AgysCfv3xD9JgH/20qs60+UnEQHJwQcvHtMOv2rJp9jyO6YSV +a1zKjOzTXMYPJW2Cny5ZPHchAku/6MXLZwfdDNxkkoEgPIl1OdopHqMD2JzOoCqXSb7/Z+W uK1jW4qsxx9rzevy8oshYfEiIEYxFDZ+Ct33Yo4IdO1RUx7b9CkDJZeuCGXO5doT88+X2xlt iY3xLMatJKnYiUEx4kqyR7ZZveafYaI5RfjW/yQITd+nH9lY7O/hxmq8Uik0OL8UNO40FFQr ipKitXMrG4C1wfN5cedUPty4keh2SyV2wDU8OFELlg4larcK5493rEwjIITvV7fES/xnUX6l KGXdkQn+uip8+TofKjppp6GOINujQH+KKsultSlDuskNwgCRW+b+f6z1LH750L2XLBKgucsn qneqpDaKtwXqbKjAwBLyIkj9xe/Dym439sEmnkHKVdFeBWBj4jyIV3OJ+r4Dfi5jl+xkzlr3 +jLMqP9DpjJNHTOk7fscaxj50JBzAc/181T6pNQB7wHPfn+REvxtMHDDh8lLQO02fvpCNR81 4wAQW+DHqmUO77Iv1CS/OIgOeyMaZcVuDnjL/gl4ObjjXojll8ceamlxJsWZ2ulEvh/LUWVf Hvhj9MbHWcFuQo+S+PqiFmcXjJJe3myWKc86ik6CIKgE4jDWpigjKKd0Cq/BJFbZWBLBkqSH Xv1c4iIQeoAZSOWL8N5lzwLT7mhS4sv1RG0sw/6zqJqL+XS+i0etJLj0td15uLSlR4s7jF0A MGd3HuMT2FwhG8HWzg23KVnrUx70ViMybJ4jOBAFdxP+/NJVR83OYDEw+xgF9/yQh7BfsuOS Fu+XtqpGzQxTtYoz98KYkZ9AMmigwvY3yuqBr8Vj6aECIY18qLaxXjxJtxyx2zI1Kk7l1UmW NdANXW6hq5j8AjeH5LGk0KAl6qzaasc2DPN+3yYwGqVvEBYVRZwXr/fUXAeYEvWt9X56VnYQ 7+gE7R0ejdGnMWLL68PbtzykX1HQu3iMZLQeSb5kGCpQB2M27mkbYzwemxb0j+ZQEELnwk7+ XedKRN4DSeop2fTFicoDl+rK0jotOhloXm2Sks5ihyRYld6/7604QIOw/eVTrUa1fQZu2Npo DJyF0unxd/QAMuoowt6YL5Re80w+hFbyG+fsQg5dpypNKNvglpbeA15smvu3g50B4FE188wo zdi0BtqJLnd2VVHcC6e1p3YPrzMNnK05x2mcOjLwlzY1pCb9rpcxu4/rgDFvQemEEsk/D1X0 tQdh2ua4JTMAxoTXLr+V082815xoLSMMXp13J/dyXA5afr8iTTFwd98XIPNqz6ldtZba+afE RPqVtYdH46oIfArnF6galQFOvpT/eg6JZDubOOIjYisOusohze6lSJf+okowkSK9ixzWu/F9 5kAyvCcmACAUmS0l0+v5/j+gpsMfjQOBiy6wCngCpRWY/hie4AKD2i+IsCfydB3hpqrUHldp xa4H11T/sivdFKJakDlmw1d0UNCuXu8hS6x1CB5iRksp6ubmT3EmqHsLURWfGFMQ2ZmgBHnJ o3cY8kyek+uYkBpkRKk4R2/3K1HvOFkKHGVR05Ufi/wJmUkU62qt7PEbdQdoJUv+T5aVuixe zX4Avb0vgca3iX/HmBf2CFzdjekvY/8lgB7j2TVJWh6rX7Qc8V9jRnF49mUSflU1zsADC527 FufTki6Odiv8sWVmr/Mt+m/UySqUZgSOSjnwIWctTeqsHVwCE73lPSyl9v7VAkihHWjhp86C GOS9Ue6O9e6hMHYeap9c0JlBUHx8Z9/E4B6yc4rgY0InGMdntOT9GYGlmH6NZNa37j/ZTwDX 21uoZad7Q771UlkNn/MyZj+UyDX0s1nZt+1cmIb8i045sFOTqyT6fYX+Ek96kr9tg/XbfVny 30Nz/0v7nEKguwhtw8kzyHbCbcXVxoQLWnnkBKG6Mq7paNcaTO0cLS+40F5mMioELCIpgw0t G/RQp45Bmcw68x+NAmJy3jv8sT/f8GWa9sPtxqSmhOGju5PKZt3mOBYzSZgPGv8uzUixYtZx VR+25e7uoeXKmhF86ewAxoePTrwL88e4TDii69Ck93ehdj+WMU8XG9SDd2xE6PgGSlarfn9M geSDDAwzxXTUaHSGwOS8gYurn7CFYyqK2DCIXAYydt4QxzObEdbgQ0SQHA7hstjTlHslJGnK h4ooGlPtw2dyFME0O9jOhjhX32KoQ6pbmxxU52DNF9N6RkE4U7JMMuY5+Y1HidC/5TnohbeT w7TLwlOE2wNXVSJQl75Obz7r8nG9emeCfq/ItPBZLyPrapVUPLClvfNmsN2ui2BMMmCJCwoH /s920xMTXF0M8vckjQLDScQkmieCqzT7Af58SpxoMel9f3tUw+6/oqDBYxZNtB38gy3i6OOZ KaAwTx0IjFC2tYQ1GfFnfIBiUUKhXgkJFzPWfwQ8DTAR6XKlupLAg4HPmltYdBQ4ft03xERa 5CFzImph/go1rhtTA0dHV35xpP2P4pTfyfkZQmBXAHSZNHkbXXK252lPv/6EOcNyr0S71rp5 36aCxOxZ2zT0WC2CFb/d7kL1njTPQQC6tjiKVA0WDSlFJS+LUTlVb0/xTwune9u3iKMZTNaa GIsNRsK9+LY7DsE0K8mRSocvjw8fLPCw2HAvqHZMspE66I1RH4vxqQBujJijOIEiUMMDOp8n C+YxjJ3i3ehlOTHij9uUR4V7y1OmJrOpkJ6f6PQ6phHX3/AuhML92SZTRoQ9ZNjDZX0tqZcx 8Kq9uq7ISpe89/S4coXBtTFYMOBPn07NBP1GTnSRAIbRD+vPGvbigRTivaXvnGSq5E7rNDrl v9sAvdDU0cpE/oBFkl/NNkLIZMyTzl91LDC0p9O6n25ox3cAs5du9GPV/6fB+nuNCfMjbRAY Ehto/uwJoASO4vnnk16PwMizcKaRgyKBIEL+3MwPWpW6A1X/XNzT3M+wRfgYwKpuzoIEOKs2 wUxkk14aPgs8zHl5xE2IEDLrW0+ihpU+52tjDaPfTr2NKr1U5tRDn++p043M5X0Uwd4RQK3l E1gcjzDQvgC6tkoPXAukwLatZZVTLRESrZYZRYL2fyNT/Ah0FAZuy/+gEEeu7qDBpxlmw8nN 5WrqjgTvmArJM5wLqvWKq1Ty1FWja/bpS6k2Nc6xwoGLloM+mefEMbpkEkBN71jNiDxu+I1t 13ElDxEd2wBEfEtp6AynqvYE+uFxiPklbVELxLpXwRwB6ycsmnE08WPRwFpvn4= IronPort-Data: A9a23:tWRCEaiUqnpAEAprZxRMxUVtX161JRsKZh0ujC45NGQN5FlHY01je htvUG2POKyLZGTwctAgbIS2p08P75LWmINhTgc9+XsyQ3ljpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtKg06/gEk35qmq52tE5gdWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGKWU9IrUZ4uVOKmxp1 6MJEx4jTCCgrrfjqF67YrEEasULKcDqOMYOsCglw2iHXLApRpfMR6iM7thdtNsyrpoWTLCOO oxDMGspNUqRC/FMEg9/5JYWjOGuh3/wYzxVgF2QrKszpWPUyWSd1ZC0aoKKIYLXFZ49ckCw5 T/q5jukCyggFeOezSeMyW+q1vHdgnauMG4VPOblr6Y10QP7KnYoIBYfUF/+pfiilmalStdHI goV/DAvpO487iSDRd7kGha8vXSspQ8ZQ9MWEusg6QjLxLC83uqCLm0NTzoEedZ/8cFvG21s2 ViOkNfkQzdotdV5VE5x6J+xiTitASkNLlYpaAgmEho+zffBkKIa20enoslYLIa5idj8GDfVy j+MrTQji7h7sSLt//Xllbwgq2LzzqUlXjIIChPrsnVJBz6Viaagbo2srEnRtLNOddjICFaGu 3cAlo6V6+Vm4XCxeM6lEbhl8FKBvqnt3NjgbbhHQcBJG9OFpSfLQGyoyGsiTHqFy+5dEdMTX GfduBlK+LhYN2awYKl8buqZUpt3lPa9ToW9Bq+IN7Kih6SdkifXo0mCgmbAgAjQfLQEy/pX1 WqzKJb1VClDU/wPIMSeGL9FieV2rszB+Y8jbcumlkz4gOT2iI+9RrACP1+DJuE/5+Xsnekm2 4c3Cid+8D0GCLeWSnCPr+Y7dAlWRVBlX8yeg5IMLYarfFE5cFzN/teLkNvNjaQ+x/wNzo8lP xiVBidl9bYIrSScd1rXMi8/MOKHsFQWhStTABHA9G2AgxALCbtDJo9GH3fuVeB/r7Qx/u0+V PQfZcSLD9JGTzmNqXxXboDwoMYmPF6njB6HdXjtKjUuXY9SdyqQ8P/dfyzr6HYvCAizvpAAu LGO7F7QbqcCYAVAN/zoTsyT4Wm/hlUno9IqbXD0eoFSXG7O7LlVLzfAi65rAsMUdjTG6Dio9 yeXJhY6o+PyjZc/24TLj/rcrqOCMeh3LmxFFUb1sJe0Mij7+DK44IliCeynQxHUZFnWyo6DO 9pH7qjbG+IVuXp3qKxAKqZP4YNiwsrwtplY4x9BHn6WX2+0C7hlHGaK7fNPuoJJ2LVdnwm8A WCLxfV3JpSLP9HDAncKBQ94cNmG6+4YqgPS4dsxPk/+wi19p5iDcEdKOiizmD5vF6R0PKwl0 NUelpYvsSLnsSUTM/GCkixw3EaPJCZZU6wY67crMLWygQ8vklx/cZjQDxHt2662avJOD1ILJ wGFj6+TlpVewUv/K0AIL0bv5tYEp5oyu0Ft9mQgdnCpgdvOg8El0CJBqQoXShtn9TQZ8uZRF FUyCWhLC/SgwzNaivJHfViQICBaJRjA+kXO21oDz2LYaE+zV13yFm42OMfT3UUV71NjeiN/+ ZeGwl3EShfvRtn6hQEpaH5mqtvibN1/zRLDk8aZBPa4H4E2TD7mo622b08KlkfDLeYuonbY/ M9G0f1Va6LpEQIx+YgAFJi8x7AcbDumNV5ya6ht041RFF6NZQzo/yaFLn6AX/9kJtvI1BSdI NNvLMcebCaO/n+CgR5DDJFdPoIuuuAi4ecDXbbZJWQmlb+7hRgxubLy8hnOvkMac+9Mo+0cd LyILymjF1aOj0R6g2XO9clIGlSpaOk+OTHT4rqHz/UrJbki7sdXbkAA4pmltS60MSxm3S6uk iHtWqv099FmmKNQx9bCM6MbHAilC8LBZMLR+iCJjtl+R9fuM8DPigArlmfaLzlmZbs/Z/knl JCmksLG40fejbNnD0Hbg8agEodK1+WTXc1WEN7GE31BuRuGWerXuh4mx1HlDZlFjtkH6tKVf Fa6YpHodPo+edRU9FtKYQdwTjcfDKXWaP/7hCWf9v6jNDkU4TblHviGq0D7SH59dzAZHaH+B ivfmeec1voBoKtiXBY7VuxbWblmK1rdaI4aXtzWtwjAKFK3g1mH64DQpTB55R7lUnC7QdvHu 7TbTR3DdTO3iqHC7Pddl6dQ5hQ3LnJMsdMcT3In2exdqm6FVTYdDOEnL585JIlekXXy2LHGd Tj9VjYeJhunbwtUUyfXwYrFZRieNNwsK92iBz0O/mGoUQmUKr6EIoNc8nZH3y8rVBrlle2pE IRLsDm4dB282YpgSusv9+S2y7UvjO/TwnUTv1vxiYruChIZGq8Hz2FlABELbyHcDsXRjw/eE ADZn4yfrJ2TEiYd0PqMekK53DkctTLriiQiNGKBmYiO/Yqcy+JExbv0POSbPnjvqigVDOZme J81bzLlD6OqNrg7tq4gutZviqhxYR5ONtbvN7ftHGX+gInpglnK/Ko+ce4nQ8Qr+QoZGFTY/ tVpD77SG2zdQH1sNHaqJcnlNn6/vr/gz90EseInmQL7rA== IronPort-HdrOrdr: A9a23:m2ySaK1D4iVnWfcABt4gmQqjBHokLtp133Aq2lEZdPU1SL3hqy nKpp4mPHDP+VMssR0b6LK90cq7MBDhHPxOkO4s1N6ZNWGMhILCFvAF0WKN+UyYJwTOssFazr lpaKVzBZndClJgnd/m7ATQKbod6ejC3qTtquvX0mt3QRsCUdAF0y5JTiieVmN5LTMpOXP7Lv WhDwh8ygZItU53Ui1zPBk4Y9Q= X-Talos-CUID: 9a23:Hep/s24toH6D5CpI3dss0WofBfgkan7k53r3ARCpMkhHao22YArF X-Talos-MUID: 9a23:XXJUFASDoWH6VAqpRXSv2R17a5ph2p6PN0EJjJw9ps/UKz5vbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.16,288,1744063200"; d="scan'208,217";a="120736583" X-MGA-submission: =?us-ascii?q?MDFCnOZyuwaBmRb4MNuio12JHNkiVy6Xj6maUU?= =?us-ascii?q?67UzrINUey1d/pf6OaHJZ+sA8XuCUyD5bi7S6u6lY71MH1SlILqgNQB2?= =?us-ascii?q?mlwJAItt0t7T4fc8JcLNzO0VVf7BW7ReigQhyCbRKnIw0LTJ6TRElN6v?= =?us-ascii?q?ZK+hELWzA3hpk0IJZ2Wr2gTw=3D=3D?= Received: from mail-yb1-f169.google.com ([209.85.219.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 05 Jul 2025 04:12:22 +0200 Received: by mail-yb1-f169.google.com with SMTP id 3f1490d57ef6-e740a09eae0so1358354276.1; Fri, 04 Jul 2025 19:12:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1751681539; x=1752286339; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=5nQKIIhVnoyyjcxmCkFRXJz+TDEiQYD+k5/Ba9BSu48=; b=LA3wRsbf4RVCDMERA49ieiKpS8rVuf3nXaNbyYjT2uUinDJxDIOLWgvtEdKEE0xwFE YT3WbWOs9KvLD86W8s+idbS6zrEoch66XMT1SX2icd8w06pf2Pbbr2TgZBwmaXkt+2L7 SsI69lcF6BfssaVLvCj37w1/t7szabI1ekEZDcnlE8K8Nr11qiSaaWQfhae4iLDGbm4v TcIufypDKqJh6KjakChZ2EkUBPAOPkHYnOUZRBjIq3k12IXIF/BWid6iAD0LPBtJQCpW 5uZUimcejx+KQ5SqK79IFzHTY/zTdIF9c+Jab9EXQGK+nYvyw05O47eQBDqe7dmrm/1f SjfQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1751681539; x=1752286339; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=5nQKIIhVnoyyjcxmCkFRXJz+TDEiQYD+k5/Ba9BSu48=; b=DROAWdN9Rt8a7HS7n5kUoITp81nh8UOAAX8ib03qRGN9aBdc5lFGREKZYxZ5EWdhDN b5ICLMA0TKGJ+7EnRQpWeT9CPD0HILeKRbMjPNYWRQIR7C7Eo9i1RRopJXTHsE4a+qPc vn9AV0+a266OuQ4YnagItr27m/ZzmR7deXN9OqcRftne4Oc1ju8e+7DKAqkFLcNxDG5O fM1aoiQKN0YuycaUJ0nX1W9utHL+5p/cpkB23hARRSVajY91xaBkMAxvb+rqlogkXGme MM9t41YVNF12Gx78ncqcbIiXcNUA8G18Xb9uaaGJEy6lUR77V1oiWmfuytQXJcfTJBh5 giWA== X-Forwarded-Encrypted: i=1; AJvYcCV6+RXw7rvHTADoZXJdixVTqLtxdFUvT3Kd7W6dMiLx7FacQlxW3PaR0O6+YMj2M160cedXHyV6Hg==@inria.fr X-Gm-Message-State: AOJu0Yzg9sFXuZIMQPW0EwvEKgC2N4XHXDHS1X+2t1V44z/FyCoq+sI9 9ON1PEtnM/oIy6haaAJb21b0Xsd7nnX7i5XvyYQ/YhgmE2GhHULuSYf7jl/axFkbnja9S3DmGCa SUMrE1BuLFQ6W7jNVStdWbK+NnAwrkPqJnvlmMhc= X-Gm-Gg: ASbGncss8RZDh0SJ+Bh6tXOMIppBz4mJLzLOkejMxjbsI+bW3iyAA276+xcvEQP1BiT 5exGn2GE0ZEonHZRe4gPJCkFONmoDw5UDuYiNrjoPNf8d+gf6+mdvgm99Lu1UCaWxrtj9XcyVnb Gf0niJmcYTn6gVgeZwbnHcREGHrgoRHDad2A5Ho5i50fHc X-Google-Smtp-Source: AGHT+IHwe90s+iJngpTx7JxVajO2HuImB3oxaQdjKCiRoW51divOX985wVUwe+0sfq2C/t/KrRONsm2iNRCchp/aoO8= X-Received: by 2002:a05:690c:4b86:b0:70e:18c0:dab6 with SMTP id 00721157ae682-7176cca2dd9mr8939167b3.23.1751681539022; Fri, 04 Jul 2025 19:12:19 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Fri, 4 Jul 2025 22:12:08 -0400 X-Gm-Features: Ac12FXzRQkTskg3bUyHDJ6BSE0Y4u7ntmACANLduiM5yO9YXifPmGT4I-Q8QVQY Message-ID: To: caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se, cl-isabelle-users@lists.cam.ac.uk, concurrency@listserver.tue.nl, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="000000000000e4a32606392523c8" Subject: [Caml-list] POPL 2026 Last Call for Papers Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19349 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: --000000000000e4a32606392523c8 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable PACMPL Issue POPL 2026 seeks contributions on all aspects of programming languages and programming systems, both theoretical and practical. Authors of papers published in PACMPL Issue POPL 2026 will be invited to present their work in the POPL conference in January 2026, which is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. POPL 2026 Website: https://popl26.sigplan.org/ Call for Papers: https://conf.researchr.org/track/POPL-2026/POPL-2026-popl-research-papers Submission deadline: July 10 2025 AOE Double-Blind Review FAQ: https://conf.researchr.org/track/POPL-2026/POPL-2026-popl-research-papers#d= ouble-blind-reviewing ### Organization Conference Location: Rennes, France Conference Dates: January 11-17, 2026 General Chair: Sandrine Blazy, University of Rennes Program Chair: Suresh Jagannathan, Purdue University Program Committee: https://popl26.sigplan.org/committee/POPL-2026-popl-research-papers-program= -committee ### 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 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 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/. Deadlines and formatting requirements, detailed below, will be strictly enforced. ### Double-Blind Reviewing Process POPL 2026 will use a full double-blind reviewing process (similar to the on= e used in recent years (POPL 2023 - 2025) 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. The use of full double-blind reviewing has several consequences for authors= . * **Submissions**: Authors must omit their names and institutions from thei= r paper submissions. In addition, references to authors=E2=80=99 own prior = work should be in the third person (e.g., not =E2=80=9CWe build on our previous work = =E2=80=A6=E2=80=9D but rather =E2=80=9CWe build on the work of =E2=80=A6=E2=80=9D). * **Supplementary material**: Authors are permitted to provide supplementar= y material (e.g., detailed proofs, proof scripts, system implementations, o= r experimental data) along with their submission, which reviewers may (but are not required to) examine. This material may take the form of a single file, such as a PDF or a tarball. Authors must fully anonymize any supplementar= y material. * **Author response**: In responding to reviews, authors should not say anything that reveals their identity, since author identities will not be revealed to reviewers at that stage of the reviewing process. * **Dissemination of work under submission**: Authors are welcome to disseminate their ideas and post draft versions of their paper(s) on their personal website, institutional repository, or arXiv (reviewers will be asked to turn off arXiv notifications during the review period). But authors should not take steps that would almost certainly reveal their identities to members of the Program Committee, e.g., directly contacting PC members or publicizing th= e work on widely-visible social media or major mailing lists used by the community. The purpose of the above restrictions is to help the Program Committee and external reviewers come to a judgment about the paper without bias, not to make it impossible for them to discover the authors=E2=80=99 identities if they = were to try. In particular, nothing should be done in the name of anonymity that weakens the quality of the submission. However, there are occasionally cases where adhering to the above restrictions is truly difficult or impossible for one reason or another. In such cases, the authors should contact the Program Chair to discuss the situation and how t= o handle it. The FAQ on Double-Blind Reviewing addresses many common scenarios and answers many common questions about this topic. But there remain many grey areas an= d trade-offs. If you have any doubts about how to interpret the double-blind rules or you encounter a complex case that is not clearly covered by the FAQ, please contact the Program Chair for guidance. ### Evaluation Process POPL 2026 will have five Associate Chairs who will help the PC Chair monito= r reviews, solicit external expert reviews for submissions when there is not enough expertise on the committee, and facilitate reviewer discussions. As in previous years, authors will have a multi-day period to respond to reviews, as indicated in the Important Dates table. Responses are optional. A response must be concise, addressing specific points raised in the reviews; in particular, it must not introduce new technical results. Reviewers will write a short reaction to these author responses. The Review Committee (RC) will discuss papers electronically, and will use synchronous virtual meetings to discuss any papers for which there is disagreement among reviewers, in some cases soliciting additional input fro= m other experts in the committee. There is no formal External Review Committee, though experts outside the committee may be consulted for some papers. Reviews will be accompanied by a short summary of the reasons behind the committee= =E2=80=99s decision with the goal of clarifying the reasons behind the decision. To conform with ACM requirements for journal publication, all POPL papers will be conditionally accepted; authors will be required to submit a short description of the changes made to the final version of the paper, including how the changes address any requirements imposed by the Review Committee. That the changes are sufficient will be confirmed by the original reviewers prior to acceptance to POPL. Authors of conditionally accepted papers must submit a satisfactory revision to the Review Committee by the requested deadline or risk rejection. For additional information about the reviewing process, see: [Principles of POPL](https://www.sigplan.org/Conferences/POPL/Principles/), a presentation of the underlying organizational and reviewing policies for POPL. For POPL 2026, policies specified in this Call for Papers supersede those in the Principles of POPL document. ### Submission Site Information The submission site is https://popl26.hotcrp.com. Authors can submit multiple times prior to the deadline. Only the last submission 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 wil= l need to be approved by the Program Chair (as this kind of change potentiall= y undermines the goal of eliminating conflicts during paper assignment). The submission deadline is 11:59PM July 10, 2025 anywhere on earth (AOE): https://en.wikipedia.org/wiki/Anywhere_on_Earth ### Conflicts of Interest For each submission, the authors must make sure that they properly declare all potential conflicts of interest for all of the authors of that submission. This includes marking PC conflicts as well as =E2=80=9COther Conflicts (external= )=E2=80=9D. A conflict caught late in the reviewing process leads to a voided review which may be infeasible to replace. Conflicts should be declared between an adviser and an advisee (e.g., Ph.D.= , post-doc; forever), between an author and a co-author (papers and proposals; for two years), between people at the same institution (branches of large companies or different locations of research institutes are considered to be the same institution; for two years after leaving an institution), between people with financial conflicts of interest, and between friends or relatives. If a possible reviewer does not meet the above criteria, please do not identify him/her as conflicted. Doing so could be viewed as an attempt to prevent a qualified, but possibly skeptical reviewer from reviewing your paper. If yo= u nevertheless believe that a reviewer who does not meet the above criteria i= s conflicted, or if you are unsure about a possible conflict, you may identify the person and send a note to the PC Chair. Declaring a spurious conflict with the aim of excluding otherwise qualified reviewers can be grounds for desk rejection. ### Submission Guidelines Prior to the paper submission deadline, authors should upload their full anonymized paper. Here are some key requirements concerning paper submissions: * Each paper should have no more than **25 pages of text, excluding bibliography**, using the PACMPL format (specifically, the `acmart` LaTeX class with `acmsmall` option). It is a single-column page layout with a 10 pt font, 12 pt line spacing, and wider margins than recent POPL page layouts. In this format, the main text block is 5.478 in (13.91 cm) wide and 7.884 in (20.03 cm) tall. Use of a different format (e.g., smaller fonts or a larger text block) is grounds for summary rejection. The PACMPL template for LaTeX can be found at the [SIGPLAN author information page](https://www.sigplan.org/Resources/Author/), and further information about PACMPL submissions can be found on the [PACMPL author guidelines page](https://dl.acm.org/journal/pacmpl/author-guidelines). PACMPL does not support submissions in Microsoft Word. * We strongly encourage use of the `review` and `screen` options in order t= o make submissions easier to review. * Authors may choose which citation format they wish to use, which can be either author-year (the mandate for final versions in previous years) or numeric= . * Submissions should be in PDF and printable on both US Letter and A4 paper= . Papers may be resubmitted to the submission site multiple times up until the deadline, but the last version submitted before the deadline will be the version reviewed. * Submitted papers must adhere to the [SIGPLAN Republication Policy](https://www.sigplan.org/Resources/Policies/Republication/) and th= e [ACM Policy on Plagiarism](https://www.acm.org/publications/policies/plagiarism-overview ). Concurrent paper submissions to other conferences, workshops, journals, o= r similar forums of publication are not allowed. * Authors are free to submit supplementary material along with their submissions, but it must be fully anonymized. * Authors must list all their conflicts of interest (both PC conflicts and external conflicts) in the HotCRP submission form. * Authors may include additional information in a field of the HotCRP submission form labeled "Confidential Comments for the Program Chair". This information need not be anonymized. It can be used to inform the Program Chair, for example, about sensitive issues concerning a conflict with a PC member or about supplementary material that cannot be anonymized. It is left to the discretion of the Program Chair what to do with this information. * If for some reason an author feels uncomfortable discussing a sensitive issue with the Program Chair (or communicating via the "Confidential Comments" field in HotCRP), they should feel free to get in touch instead with any of the Associate Chairs, with whom they can discuss the issue in confidence. * Submissions from PC members and Associate Chairs (except the Program Chair) are permitted and will not be handled any differently than other submissions. This is in accordance with a recent change in policy approved by the SIGPLAN Executive Committee: SIGPLAN conferences that use full double-blind review and whose PCs have at least 50 members need not hold PC submissions to a higher standard. ### Artifact Evaluation for Accepted Papers Authors of conditionally accepted papers will be invited to formally submit supporting materials to the Artifact Evaluation process. Artifact Evaluation is run by a separate committee whose task is to assess how the artifacts support the work described in the papers. Artifact submission is strongly encouraged but voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers ar= e encouraged to make these materials publicly available upon publication of the proceedings, by including them as =E2=80=9Csource materials=E2=80=9D in the= ACM Digital Library. ### Copyright, Publication, and Presentation As a Gold Open Access journal, PACMPL is committed to making peer-reviewed scientific research free of restrictions on both access and (re-)use. Authors are strongly encouraged to support libre open access by licensing their wor= k with the [Creative Commons Attribution 4.0 International (CC BY) license](https://creativecommons.org/licenses/by/4.0/), which grants reader= s liberal (re-)use rights. Authors of accepted papers will be required to choose one of the following publication rights: * Author licenses the work with a [Creative Commons license](https://creativecommons.org/), retains copyright, and (implicitly) grants ACM non-exclusive permission to publish (suggested choice). * Author retains copyright of the work and grants ACM a non-exclusive permission to publish license. * Author retains copyright of the work and grants ACM an exclusive permission to publish license. * Author transfers copyright of the work to ACM. These choices follow from ACM Copyright Policy and ACM Author Rights, corresponding to ACM=E2=80=99s =E2=80=9Cauthor pays=E2=80=9D option. While PACMPL may ask authors who have funding for open-access fees to voluntarily cover the article processing charge, payment is not required fo= r publication. PACMPL and SIGPLAN continue to explore the best models for funding open access, focusing on approaches that are sustainable in the long-term while reducing short-term risk. All papers will be archived by the ACM Digital Library. Authors will have the option of including supplementary material with their paper. The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Authors of accepted papers are encouraged to give a short talk (roughly 25 minutes long) at the conference, according to the conference schedule. Authors who wish to present but who cannot attend in person will be provided with some option for remote presentation, as well as some mechanism for remote interaction with conference participants. ### Important update on ACM=E2=80=99s new open access publishing model for = 2026 ACM Conferences! Starting January 1, 2026, ACM will fully transition to Open Access. All ACM 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). With over 1,800 institutions already part of ACM Open, the majority of ACM-sponsored conference papers will not require APCs from authors or conferences (currently, around 70-75%). Authors from institutions not participating in ACM Open will need to pay an APC to publish their papers, unless they qualify for a financial or discretionary waiver. To find out whether an APC applies to your article, please consult the list of participating institutions in ACM Open and review the APC Waivers and Discounts Policy. Keep in mind that waivers are rare and are granted based on specific criteria set by ACM. Understanding that this change could present financial challenges, ACM has approved a temporary subsidy for 2026 to ease the transition and allow more time for institutions to join ACM Open. The subsidy will offer: $250 APC for ACM/SIG members and $350 for non-members. This represents a 65% discount, funded directly by ACM. Authors are encouraged to help advocate for their institutions to join ACM Open during this transition period. This temporary subsidized pricing will apply to all conferences scheduled for 2026. ### Distinguished Paper Awards At most 10% of the accepted papers of POPL 2026 will be designated as Distinguished Papers. This award highlights papers that the Review Committe= e thinks should be read by a broad audience due to their relevance, originality, significance, and clarity. The selection of the distinguished papers will b= e made based on the final version of the paper and through an additional review process. --000000000000e4a32606392523c8 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
PACMPL Issue POPL 2026 seeks contributions on all aspects = of programming
languages and programming systems, both theoretical and p= ractical. Authors of
papers published in PACMPL Issue POPL 2026 will be = invited to present their work
in the POPL conference in January 2026, wh= ich is sponsored by ACM SIGPLAN, in
cooperation with ACM SIGACT and ACM = SIGLOG.

POPL 2026 Website:=C2=A0https://popl26.sigplan.org/

Call for Paper= s:
https://conf.researchr.org/track/POPL-20= 26/POPL-2026-popl-research-papers

Submission deadline: July 10 2= 025 AOE

Double-Blind Review FAQ:
https://conf.researchr.org/track/POPL-2026/POPL-2026-po= pl-research-papers#double-blind-reviewing


### Organization
Conference Location: Rennes, France

Conference Dates: January = 11-17, 2026

General Chair: Sandrine Blazy, University of Rennes
<= br>Program Chair: Suresh Jagannathan, Purdue University

Program Comm= ittee:
https://popl26.sigplan.o= rg/committee/POPL-2026-popl-research-papers-program-committee

### Scope

Principles of Programming Languages (POPL) is a forum fo= r the discussion of all
aspects of programming languages and programming= systems. Both theoretical and
experimental papers are welcome, on topic= s ranging from formal frameworks to
experience reports. We seek submissi= ons that make principled, enduring
contributions to the theory, design, = understanding, implementation, or
application of programming languages.<= br>

### Evaluation Criteria

The Review Committee will evaluat= e the technical contribution of each submission
as well as its accessibi= lity to both experts and the general POPL audience. All
papers will be j= udged on significance, originality, relevance, correctness, and
clarity.= Each paper must explain its scientific contribution in both general andtechnical 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:ht= tps://www.sigplan.org/Resources/Author/.

Deadlines and formattin= g requirements, detailed below, will be strictly
enforced.


##= # Double-Blind Reviewing Process

POPL 2026 will use a full double-bl= ind reviewing process (similar to the one
used in recent years (POPL 202= 3 - 2025) but different from the lightweight
double-blind process used b= efore then). This means that identities of authors
will not be made visi= ble to reviewers until after conditional-acceptance
decisions have been = made, and then only for the conditionally-accepted papers.
The use of fu= ll double-blind reviewing has several consequences for authors.


= * **Submissions**: Authors must omit their names and institutions from thei= r
=C2=A0 paper submissions. In addition, references to authors=E2=80=99 = own prior work should
=C2=A0 be in the third person (e.g., not =E2=80=9C= We build on our previous work =E2=80=A6=E2=80=9D but rather
=C2=A0 =E2= =80=9CWe build on the work of =E2=80=A6=E2=80=9D).

* **Supplementary= material**: Authors are permitted to provide supplementary
=C2=A0 mater= ial (e.g., detailed proofs, proof scripts, system implementations, or
= =C2=A0 experimental data) along with their submission, which reviewers may = (but are
=C2=A0 not required to) examine. This material may take the for= m of a single file,
=C2=A0 such as a PDF or a tarball. Authors must full= y anonymize any supplementary
=C2=A0 material.

* **Author respons= e**: In responding to reviews, authors should not say anything
=C2=A0 th= at reveals their identity, since author identities will not be revealed to<= br>=C2=A0 reviewers at that stage of the reviewing process.

* **Diss= emination of work under submission**: Authors are welcome to disseminate=C2=A0 their ideas and post draft versions of their paper(s) on their pers= onal
=C2=A0 website, institutional repository, or arXiv (reviewers will = be asked to turn
=C2=A0 off arXiv notifications during the review period= ). But authors should not take
=C2=A0 steps that would almost certainly = reveal their identities to members of the
=C2=A0 Program Committee, e.g.= , directly contacting PC members or publicizing the
=C2=A0 work on widel= y-visible social media or major mailing lists used by the
=C2=A0 communi= ty.

The purpose of the above restrictions is to help the Program Com= mittee and
external reviewers come to a judgment about the paper without= bias, not to make
it impossible for them to discover the authors=E2=80= =99 identities if they were to try.
In particular, nothing should be don= e in the name of anonymity that weakens the
quality of the submission.
However, there are occasionally cases where adhering to the above res= trictions
is truly difficult or impossible for one reason or another. In= such cases, the
authors should contact the Program Chair to discuss the= situation and how to
handle it.

The FAQ on Double-Blind Reviewin= g addresses many common scenarios and answers
many common questions abou= t this topic. But there remain many grey areas and
trade-offs. If you ha= ve any doubts about how to interpret the double-blind rules
or you encou= nter a complex case that is not clearly covered by the FAQ, please
conta= ct the Program Chair for guidance.

### Evaluation Process

POP= L 2026 will have five Associate Chairs who will help the PC Chair monitorreviews, solicit external expert reviews for submissions when there is no= t
enough expertise on the committee, and facilitate reviewer discussions= .

As in previous years, authors will have a multi-day period to resp= ond to
reviews, as indicated in the Important Dates table. Responses are= optional. A
response must be concise, addressing specific points raised= in the reviews; in
particular, it must not introduce new technical resu= lts. Reviewers will write a
short reaction to these author responses.
The Review Committee (RC) will discuss papers electronically, and will= use
synchronous virtual meetings to discuss any papers for which there = is
disagreement among reviewers, in some cases soliciting additional inp= ut from
other experts in the committee. There is no formal External Revi= ew Committee,
though experts outside the committee may be consulted for = some papers. Reviews
will be accompanied by a short summary of the reaso= ns behind the committee=E2=80=99s
decision with the goal of clarifying t= he reasons behind the decision.

To conform with ACM requirements for= journal publication, all POPL papers will
be conditionally accepted; au= thors will be required to submit a short
description of the changes made= to the final version of the paper, including how
the changes address an= y requirements imposed by the Review Committee. That the
changes are suf= ficient will be confirmed by the original reviewers prior to
acceptance = to POPL. Authors of conditionally accepted papers must submit a
satisfac= tory revision to the Review Committee by the requested deadline or risk
= rejection.

For additional information about the reviewing process, s= ee: [Principles of
POPL](https://www.sigplan.org/Conferences/POP= L/Principles/), a presentation of
the underlying organizational and = reviewing policies for POPL. For POPL 2026,
policies specified in this C= all for Papers supersede those in the Principles of
POPL document.

### Submission Site Information

The submission site is=C2=A0https://popl26.hotcr= p.com.

Authors can submit multiple times prior to the deadline. = Only the last
submission will be reviewed. There is no abstract deadline= . The submission site
requires entering author names and affiliations, r= elevant topics, and potential
conflicts. Addition or removal of authors = after the submission deadline will
need to be approved by the Program Ch= air (as this kind of change potentially
undermines the goal of eliminati= ng conflicts during paper assignment).

The submission deadline is 11= :59PM July 10, 2025 anywhere on earth (AOE):
https://en.wikipedia.org= /wiki/Anywhere_on_Earth


### Conflicts of Interest

For= each submission, the authors must make sure that they properly declare all=
potential conflicts of interest for all of the authors of that submissi= on. This
includes marking PC conflicts as well as =E2=80=9COther Conflic= ts (external)=E2=80=9D. A
conflict caught late in the reviewing process = leads to a voided review which may
be infeasible to replace.

Conf= licts should be declared between an adviser and an advisee (e.g., Ph.D.,post-doc; forever), between an author and a co-author (papers and proposal= s; for
two years), between people at the same institution (branches of l= arge companies
or different locations of research institutes are conside= red to be the same
institution; for two years after leaving an instituti= on), between people with
financial conflicts of interest, and between fr= iends or relatives.

If a possible reviewer does not meet the above c= riteria, please do not identify
him/her as conflicted. Doing so could be= viewed as an attempt to prevent a
qualified, but possibly skeptical rev= iewer from reviewing your paper. If you
nevertheless believe that a revi= ewer who does not meet the above criteria is
conflicted, or if you are u= nsure about a possible conflict, you may identify the
person and send a = note to the PC Chair. Declaring a spurious conflict with the
aim of excl= uding otherwise qualified reviewers can be grounds for desk
rejection.
### Submission Guidelines

Prior to the paper submission deadli= ne, authors should upload their full
anonymized paper. Here are some key= requirements concerning paper submissions:

* Each paper should have= no more than **25 pages of text, excluding
=C2=A0 bibliography**, using= the PACMPL format (specifically, the `acmart` LaTeX
=C2=A0 class with `= acmsmall` option). It is a single-column page layout with a 10 pt
=C2=A0= font, 12 pt line spacing, and wider margins than recent POPL page layouts.= In
=C2=A0 this format, the main text block is 5.478 in (13.91 cm) wide = and 7.884 in
=C2=A0 (20.03 cm) tall. Use of a different format (e.g., sm= aller fonts or a larger
=C2=A0 text block) is grounds for summary reject= ion. The PACMPL template for LaTeX
=C2=A0 can be found at the [SIGPLAN a= uthor information
=C2=A0 page](https://www.sigplan.org/Resources/Author/), and further information
=C2=A0 about PACMPL submissions can be found= on the [PACMPL author guidelines
=C2=A0 page](https://dl.acm.org= /journal/pacmpl/author-guidelines). PACMPL does not
=C2=A0 support s= ubmissions in Microsoft Word.

* We strongly encourage use of the `re= view` and `screen` options in order to
=C2=A0 make submissions easier to= review.

* Authors may choose which citation format they wish to use= , which can be either
=C2=A0 author-year (the mandate for final versions= in previous years) or numeric.

* Submissions should be in PDF and p= rintable on both US Letter and A4 paper.
=C2=A0 Papers may be resubmitte= d to the submission site multiple times up until the
=C2=A0 deadline, bu= t the last version submitted before the deadline will be the
=C2=A0 vers= ion reviewed.

* Submitted papers must adhere to the [SIGPLAN Republi= cation
=C2=A0 Policy](https://www.sigplan.org/Resources/Pol= icies/Republication/) and the
=C2=A0 [ACM Policy on
=C2=A0 Plagia= rism](https://www.acm.org/publications/policies/plagiarism= -overview).
=C2=A0 Concurrent paper submissions to other conferences= , workshops, journals, or
=C2=A0 similar forums of publication are not a= llowed.

* Authors are free to submit supplementary material along wi= th their
=C2=A0 submissions, but it must be fully anonymized.

* A= uthors must list all their conflicts of interest (both PC conflicts and
= =C2=A0 external conflicts) in the HotCRP submission form.

* Authors = may include additional information in a field of the HotCRP submission
= =C2=A0 form labeled "Confidential Comments for the Program Chair"= . This information
=C2=A0 need not be anonymized. It can be used to info= rm the Program Chair, for
=C2=A0 example, about sensitive issues concern= ing a conflict with a PC member or
=C2=A0 about supplementary material t= hat cannot be anonymized. It is left to the
=C2=A0 discretion of the Pro= gram Chair what to do with this information.

* If for some reason an= author feels uncomfortable discussing a sensitive issue
=C2=A0 with the= Program Chair (or communicating via the "Confidential Comments" = field
=C2=A0 in HotCRP), they should feel free to get in touch instead w= ith any of the
=C2=A0 Associate Chairs, with whom they can discuss the i= ssue in confidence.

* Submissions from PC members and Associate Chai= rs (except the Program Chair)
=C2=A0 are permitted and will not be handl= ed any differently than other submissions.
=C2=A0 This is in accordance = with a recent change in policy approved by the SIGPLAN
=C2=A0 Executive = Committee: SIGPLAN conferences that use full double-blind review and
=C2= =A0 whose PCs have at least 50 members need not hold PC submissions to a hi= gher
=C2=A0 standard.

### Artifact Evaluation for Accepted Papers=

Authors of conditionally accepted papers will be invited to formall= y submit
supporting materials to the Artifact Evaluation process. Artifa= ct Evaluation is
run by a separate committee whose task is to assess how= the artifacts support
the work described in the papers. Artifact submis= sion is strongly encouraged but
voluntary and will not influence the fin= al decision regarding the papers. Papers
that go through the Artifact Ev= aluation process successfully will receive a seal
of approval printed on= the papers themselves. Authors of accepted papers are
encouraged to mak= e these materials publicly available upon publication of the
proceedings= , by including them as =E2=80=9Csource materials=E2=80=9D in the ACM Digita= l Library.

### Copyright, Publication, and Presentation

As a = Gold Open Access journal, PACMPL is committed to making peer-reviewed
sc= ientific research free of restrictions on both access and (re-)use. Authors=
are strongly encouraged to support libre open access by licensing their= work
with the [Creative Commons Attribution 4.0 International (CC BY)license](https://creativecommons.org/licenses/by/4.0/), which grants= readers
liberal (re-)use rights.

Authors of accepted papers will= be required to choose one of the following
publication rights:

*= Author licenses the work with a [Creative Commons
=C2=A0 license](https://creativecommo= ns.org/), retains copyright, and (implicitly)
=C2=A0 grants ACM non-= exclusive permission to publish (suggested choice).
* Author retains cop= yright of the work and grants ACM a non-exclusive permission
=C2=A0 to p= ublish license.
* Author retains copyright of the work and grants ACM an= exclusive permission to
=C2=A0 publish license.
* Author transfers c= opyright of the work to ACM.

These choices follow from ACM Copyright= Policy and ACM Author Rights,
corresponding to ACM=E2=80=99s =E2=80=9Ca= uthor pays=E2=80=9D option.

While PACMPL may ask authors who have fu= nding for open-access fees to
voluntarily cover the article processing c= harge, payment is not required for
publication. PACMPL and SIGPLAN conti= nue to explore the best models for funding
open access, focusing on appr= oaches that are sustainable in the long-term while
reducing short-term r= isk.

All papers will be archived by the ACM Digital Library. Authors= will have the
option of including supplementary material with their pap= er. The official
publication date is the date the proceedings are made a= vailable in the ACM
Digital Library. This date may be up to two weeks pr= ior to the first day of the
conference. The official publication date af= fects the deadline for any patent
filings related to published work.
=
Authors of accepted papers are encouraged to give a short talk (roughly= 25
minutes long) at the conference, according to the conference schedul= e. Authors
who wish to present but who cannot attend in person will be p= rovided with some
option for remote presentation, as well as some mechan= ism for remote interaction
with conference participants.

### Impo= rtant update on ACM=E2=80=99s new open access publishing model for 2026 ACM= Conferences!

Starting January 1, 2026, ACM will fully transition to= Open Access. All ACM
publications, including those from ACM-sponsored c= onferences, will be 100% Open
Access. Authors will have two primary opti= ons for publishing Open Access
articles with ACM: the ACM Open instituti= onal model or by paying Article
Processing Charges (APCs). With over 1,8= 00 institutions already part of ACM
Open, the majority of ACM-sponsored = conference papers will not require APCs from
authors or conferences (cur= rently, around 70-75%).

Authors from institutions not participating = in ACM Open will need to pay an APC
to publish their papers, unless they= qualify for a financial or discretionary
waiver. To find out whether an= APC applies to your article, please consult the
list of participating i= nstitutions in ACM Open and review the APC Waivers and
Discounts Policy.= Keep in mind that waivers are rare and are granted based on
specific cr= iteria set by ACM.

Understanding that this change could present fina= ncial challenges, ACM has
approved a temporary subsidy for 2026 to ease = the transition and allow more time
for institutions to join ACM Open. Th= e subsidy will offer: $250 APC for ACM/SIG
members and $350 for non-memb= ers.

This represents a 65% discount, funded directly by ACM. Authors= are encouraged
to help advocate for their institutions to join ACM Open= during this transition
period.

This temporary subsidized pricing= will apply to all conferences scheduled for
2026.


### Distin= guished Paper Awards

At most 10% of the accepted papers of POPL 2026= will be designated as
Distinguished Papers. This award highlights paper= s that the Review Committee
thinks should be read by a broad audience du= e to their relevance, originality,
significance, and clarity. The select= ion of the distinguished papers will be
made based on the final version = of the paper and through an additional review
process.
--000000000000e4a32606392523c8--