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=VUDnpqvL; 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=iGmcQ4S8; 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 5462F40084 for ; Tue, 24 Jun 2025 01:54:15 +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=wX9M4eHUOEXE7rgoQPszObRYdHZFogvD5juTPLzo+24=; b=VUDnpqvLH+0Wxffdwv3zOu3O8G8f6B2uu0PeJWjA7JCADr3mq+0L/BeY FyrrLBBq/bCpCn+KsVwptVqiJuHsXU3kdDdyRpC7P8q+fpQ4cWgXY/Duw hVu1raGZ2zMkkhPHh9aAGHcEh60WMoVLg1jyiteCz3EHkVx9C+bCc2rcI c=; 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,260,1744063200"; d="scan'208,217";a="228599317" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jun 2025 03:54:15 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 63A19E0BE9; Tue, 24 Jun 2025 03:54:15 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0262DE0131; Tue, 24 Jun 2025 03:54:13 +0200 (CEST) IronPort-SDR: 685a0544_puDrmyijQw53O1ao3WNUKuV73a1p6+uImzAE+VLVJ7qVmVb HRPdTowYkfrsqjK4M2X34INknTlnI/50A5vcRTw== X-IPAS-Result: =?us-ascii?q?A0EVAwCQBFpoeayAVdFQAQkOgk6CRIEAWTQEC0mEVYEjg?= =?us-ascii?q?iyMAYIhgRaQNYEthQiBO4RygSwWJwIPAQMBDUQNBAEBAwEDhDpGi2sCHgcBB?= =?us-ascii?q?DMGDgECBAEBAQEDAgMBAQEBAQEQAQEFAQEBAgEBAgQGAQIQAQEiIA47hUEBB?= =?us-ascii?q?zINgls7cV4DAgIDAwM3AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQUCDQcYBA0uOAgBAgYdARsMAwMGBgMSAw0tCgIjAREBBQEjCR0Og?= =?us-ascii?q?mGCIQEGEAEDMgMRlFGPQIEFQos+gRUFAhaBAYINBoEJPgXZEwoZKA1wgWICA?= =?us-ascii?q?QYUgTWEdilcglYBgUMaAg6DfzuDQoEhG4INgRU1gj2Be4FcAgIBgSAQAVmDL?= =?us-ascii?q?oJpBIINF4EWK3+BSIJcR4I8IIFxgi5PiwQmCAcXAwcHCQUEHAYFBQI/CQUBD?= =?us-ascii?q?xIDBAMEBAECCwkKCQMDAg4CCAMCCAYZAT8SBBMKDQsHBR8KAgwRCigiEgIpC?= =?us-ascii?q?gECAR8KMQMUBBkBAQcGAgIDAQQCBAwCBAUCAgUEAwIKBAMDBAEBCAICLQMBA?= =?us-ascii?q?xkICQgCCwUUGAwLBQIKKAMQAwEICgYDBgMEAgICCgEHAgMDAwcBCxQCAQMCA?= =?us-ascii?q?gUCAgEFAwICBgMDAgEBCQIDAggBAgIBAgICBAEHAQ0BAQIEAgImAgEDCAYBA?= =?us-ascii?q?Q0CBgICAQICAgQCBAEICwQFBQEBAgECAgEBAQQBCAMBAQICAwMFAwUIDw0BA?= =?us-ascii?q?RULGQMEBQICAQEBAhICAgEHAQIBAQMZAgEDAwQBCwIBAQQeBBYCAgIDAwICF?= =?us-ascii?q?iUBAgMXAgQCAQICBQUFAQMECxAJAwIFBAICBgIEDgIHBAIaBAICAQMEBgMBA?= =?us-ascii?q?ggCAgcEBAYDAgECAgcXAhYBAgEBAgICBAICAgkKBAUEAwQDAgICAQwDAQIDA?= =?us-ascii?q?gICAgEDAgIBAQMBBQYNAhICAQMPCAQCAgcCAiEPCwECAQEGBgMDAwoDAQoBA?= =?us-ascii?q?gEBBgIBAhIFAgICBAECAgYEJQECAQIBAQEFAgECAQIEAgcCAQIDCAEFAgYBA?= =?us-ascii?q?gIJAQIBAgICAQIBAQIGAgERBAECAgICAgMBAwYCAgICAgIJAgICAgUCBQMCA?= =?us-ascii?q?wEGAgUCAwMCAgMEAwkDAwgDBgQCAwEBAQIBAgICAQIBBQIDCQEBAwIBAgICA?= =?us-ascii?q?gMGAgUFAQMLBQQHAQECAQMFAwMEAwYBDQQDAgIEAgICAgIEAgEFAwMCAgUBC?= =?us-ascii?q?wECBAIBAwMDBAQDAQICCgwCBAEBAQECAQICCgMCBQEDAwERAwQBBgUFBgIHC?= =?us-ascii?q?QMCAgQCAgECBAMJBAIHAwMCAgIBAQsCAgECAQEDAwcGEAECAgIBDwIDAwQDD?= =?us-ascii?q?wYDBQkBAwcBAQEBAQIUAwIEBREGBAIBAR4BFgIHAQQDJx4CAgIHAQICAgIDA?= =?us-ascii?q?gIDAwMBAgEBAgMFAQMCAgMCAQIBBgIDAwMCBQMBDgICAwEDAQYEBAIHAQICA?= =?us-ascii?q?g4BAwICCQIHCQgCARMTAgICAgECAgECBwEBAgMCBQUIAgEBAQICAwILAgIBA?= =?us-ascii?q?gECAgMCAwIGAQkEBAYBAgEBBQQDCQECAyQDAwQFAwICAgIHAgQDGQINBgEEA?= =?us-ascii?q?wUDBQMIAwYCAgMPAwcGBwIHBAIEAgICAgwEAgMDBwUCAgICBAEBFwIJAyMPA?= =?us-ascii?q?wsJCBM9AQsHMgQ2AQYOFAcrIV+RYRqCNAEFTRkGHAQIAwMiCAwEIgUDBQMJE?= =?us-ascii?q?gYTDQINQgoHCgUHBRIBBA8KBAkFBgMbAQEECgEBHQs6A5JKGwEBE5AAoW2BP?= =?us-ascii?q?miDPYRwhy2CWJJ4M4QEjQ2HAZEqP2aZBCKCNosvhSCQDjAEGYUnESQSgUgkg?= =?us-ascii?q?VwzGiNQMYICATNPAxkPV4QYgleGcoNphROKIbFfHSoyPAIHAQoBAQMJhkuJO?= =?us-ascii?q?SwIgUsBAQ?= IronPort-PHdr: A9a23:9PdwaBIZIH3vwCyhjtmcuANuWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEvrM11hSQDduCo7Ic0qyK6PqmATRBqb+681k8M7V0FCU5wf0MmAIhBMPXQWbaF9XNKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvfu8UMnYduNKk9xgbKr3ZJZuhd2GdkKU6Okxrm6cq98oBv/z5Mt/498sJLTLn3cbk/Q bFEAzsqNHw46tfsuRffUwWE+2ESUn8RkhpGAgjF6A/1U5LsuSbkteRzxTeXM9TuQb87RTqt4 aFrSAT1iCgcLD427HvXis1rg61Fph+qugFyzJTVYIGRM/p+Y7/dcNYHTmdPQspdSypMCZ66Y oASDeQOIPxYopHyqFUOoxWwBhSiCv3zxTJTnHD6wbc33v49HQ3a3gEtGc8FvnTOrNXyMacfS fi7zKjOzTXMafNW2DH96IfVeR8goPGDQ697fM3eyEkpEQPFj1OQqYPqPjOUyOsAqGeb7+96W uKuj24rsR1+oj+qxso1jITCm40axEze+ypj3IY1OcO3SFR9YdO8DJZdtj+XOoR5T88+X2xlp jg2x7wJt5C0YiUHypspywPQZvGJd4WF7B3tWeKNLTpki3xreKyyihas/EWhyuDxV8+520tEo CpCl9nDrHEN1xrL58icS/t98V+h2TKV2ADV8O1EJlo0laXDJ5473LEwjYQcvl7ZHiDqmEX2l rWadkI++uin8+jnYrLmpoOAOI9ukgHyKLghmsu6AeggPAkOXmub+eWk1LL94EL5Qa9Fgucxk qnDv5DWPd4UqbK8AwNP1YYj8Rm/Ay+639QCg3YINk5FeBOZj4f3J17OJ/X4DfK4g1Sqizdn3 ffGPqfuApjLM3PNk6/hcK5j50JAzAc/19NS6pJOBr0cPv7+WVX9uMHaAxMnNQG/3vjqCNFg1 oMFRWKAHLWZPr7TsV6J+O0iO/WAaYkIszjnMfcl/eThjXohlF8dY6ap2ZwXZWi9Hvt8IkWZZ WPgg9cPEGsXpwY+QvHmhV+cXTJJaHayWKU85j4/CI24F4vMWoetgLmZ0Ce6GJ1ZeHxGB0iSH Xv0c4iIQfQBZSKILsN8jDAJVqKtR5Ij2B2wrAP6zqBoLuvQ+i0Wr5Lj09116vXclBE08zx0D sKd026CTmF1gGwFXDA23KVlrkx8zlePy7R3g/tdFdBL4fNGSR81NYTAwOxiF9DyRgXBc8+XR Fq+WNWpHSkxTs4tw98Je0tyB8+tjhXH3yazB78VlqeLBIAv/6LH33nxIt59xGzc2KkgiVkmW MpPOne8iq5x7QjfH5TJnFmBl6a2aaQc2zbA+3uEzWqXpU1XTApwUbjeUn0EfUvXrdH55lvYQ LO0CLQnNBFByc+YJadQZN3plwYOePC2M93bZye1mnysLReO3LKFKoTwPy0W2zyYA0wZmSgS+ 2yHPE4wHGPpqm3SBRRqFEnzeAXn8eB6rX6hVQkvwkXCZEkk1qG88BMRgfHZVugexKksvCY6t y4yF1+4mdvdTceD40Jqe6NXfMkn7VFMxErdthdhJZG6Ma14wEIDfkJxuwem1xxsCYhElY0hp X0n5Ap7MqGV1FcHcCmXmdjsK6XaMSz7+haodqjd13na0c2K4eEU5f0j7Uj7sQevUEcu7iZJy d5Qhl2d4JrMDQwdGaLwXw5j5x58prfVcigwz4zR3Hxod6Kzt2mRiJoSGOI5x0P4LJ9kO6SeG VqqeyV7L82nKehw3kOscgpBJudZsqg9I8KhcfKCnq+tJudp2jy83ixc+I4o9EWK+mJnT/LQm Y4fyqSI2A2GUTjsjVqJvcX+mIQCbjYXTSKk0SaxPIdKfeVpeJoTT2KnIsm53NJ70o7rXX9e+ 06iCnsJ3caofVyZaFmulRZI2xExpnqq0TC90yQykzwtqf+H2zfSxu35aBcdEmtCRW0nnEi1Z Ibt0IpcU0+vYAwk0hCi4C4W3oB9o6JyZynWSEZMJW3tKn16F7G3vfyEatJO75UhtWNWVv69a BaUUOy1pRxSyC7lE2ZEoVJzPzi3ppX0mQB7g2OBPT5yqnTeY8R52RbY4pTVW/dQ2jMMQCQwh yPQAxCwONyg/NPckJmm0Kj2R2SnV5tcYSjm5YyFvSq/o2ZtBFz3nvy+nMHmDRlvyTXyhJFhU STFqgq5Y5G+jfzrd7I6OBAyVBmltJApf+M22pE9j5wRx3UA05Cc/H5d1Hz2Lc0ew6X1KnwEW T8MxdfRpgnjwkxqaHyTlOebHj2QxNVsY96ibyYYwCU4uopaDqGV6rNUnCZdrV+xrAaXav941 GR4q7Nm+DsBjucFtRB4hDWbBLEUEllZMATjkh2J65a1q6AdNy6/NLO30kR5h9WoCrqP9xpdV HjOcZAnBSZs7897PTogyVXL45r/MJnVZNMX7FiPlgvYyvJSI9Q3n+YLgixuPST8u2ckwqg1l 04m0Za/tYmBY2JjmcDxSg5eMDzzaNMS9xniiK9fmoCd2IXnEph6GzoNVYflVrrySGNU5amhb lzeVmRj8D+SAvLHEBWa6Vt6on6qcdjjLHyRKHQDjJ1jSBSbOE1DkVURVTQ+kIQ+E1Piz8jgf UFlozEJswSg+10cl6QxbUm5CziF92LKIn8uRZOSLQRb9FRH7kbRa4mF6/5rWjtf9dunpRCML WqSY0JJC3sIUwqKHQOGXPHm6N/e/uyfHuf7IeHJZODEuepYVvGH1ZOi+oRj9jeIcM6IOzMxa p9zkloGRn1/F8nDzn8fTSoWkS3dbsOzqxK1+ykxpce6uqeOOkqn9c6EDL1cNs9q8ha9jPKYN uKesy1+LC5RypIGwXKbgKhaxlMZjDtiMiW8CblV/zCYV7rew+UEanxTIzM2LsZD6LgwmxVAK dKOwM2gzaZ217Y0EwsXCwCnwJryI5VUeyflcwmfTEeTaObYe3uSm5uxOeXkDucI6Ycc/xyo5 WTFTQm5YmXFx2GvD1f1aalNlH3JY0YY4d37K0c3TzCkFYKuawXnYoAry2RsnPtswCuNbDB5U 3A0clsR/OTIvWUB3ao5SyoZqSA8Zeicx3TAsLKec8dK96MtWmMtyapb+ChokeMEqnEZAqUvy G2K6YcxxjPu2uiXlmg9CUQI92YN3dPR+x0lYPSR94EcCyydolRXtjTWUE5M/5w8W5X5sqRUg LAjjYrVLzFPu5LR9MoYXY3PLd6fdWAmOlzvESLVCw0MSXiqM3vejgpTiqPa8HrdtZU8ppX2/ fhGArZGSFw4EO8bAUV5DZQDJplwRDYtjb+cioYB+3O/qBDbQMgSsIrAU7qeBvDmKTDRirchB VNA2bTjMYEaLZH2wWRnY1h+2ZXVQg/eBI8X5CJmaQAwrQNG930/Bmw/1kT5ax+8tX8eEfnn+ 3x+wgB6YOkr6HLt+wJtfguM9HZ2yRNh34y622P0Ena5Nqq7UIBIBjChskEwNsm+WANpdUiom kciMj7YRrVXhr8mdGZxiQaat4EcfJwUBaBCfhIUwumaIvsy1lEJ4DWhw05B6vvEBLNtkQIrd dinqHcKiGcBJJYlYLfdIqZE1A0anqWVoiqhzfw82icbLkcJtXKNIWsG4RNScLYhICWs86pn7 gnIyF4hMCAcEvEtpPxt7EY0Pe+Nmjnh37B0IUe0L+WDLqmdtgAoeuaHR1ox0gUDkEwXpNCeM O8mekuQElEwlf6fTktTc8XFLg5RYoxZ832BJU5mVM3CxJt0O8O2EeW6FYez IronPort-Data: A9a23:0OjmdauV0VqDryB61q5HPW8/H+fnVOtaMUV32f8akzHdYApBsoF/q tZmKWzXafnZYTT8eI9wa47g/ElXupXRzNNrHgE+qS4wES5BgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNtcpvlDs15K6v4G1C5QRlDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJE91BNUS6/tzPUxL9 cQEMjFRZxOB2cvjldpXSsE07igiBMziPYdaq245iD+AUqxgTpfETKHHo9Rf2V/chOgURaeYN 5dfMGA/Kk2fOXWjOX9PYH46tPeugHj5fC1ZpXqaoKM25y7YywkZPL3FaoCFJ43bH5QJ9qqej kLox0n8AA4ZDt3F5QXZ93egxcryogquDer+E5Xjq6cy3wzNroAJMzUdXF6/5P24kVKWQMNaM 0VS+yw0rKF0+lbDZtL6RlizpGOOlgUNXsJZVew88gCEjKTOizt1HUABRz9FLc057Yo4HGNwk FCOmNztCHpkt7j9pW+hGqm8o3CLYSIEMGs+SCoEdRcf4oXqo4Ntp0eaJjp8K5KdgtrwEDD25 jmFqikimrke5fLnMY3rojgrZBr8+fD0oh4J2+nBYo6yAupEiGONYoWp7R3K8q8FIt/GFB+Ou 38Ln8XY5+cLZX1sqMBvaLRUdF1Kz6/aWNE5vbKJN8d4n9hK0yD5Fb28GBkkeC9U3j8sIFcFm nP7twJL/4N0N3C3d6JxaI/ZI511kPC/TY+4DquOP4omjn1NmOmvrH4Giam4jz+FraTQufpvU XtmWZ/8VC9FUP4/pNZIb7hEie9zmUjSOl8/tbigkk3/juvADJJkYbgCN1SKY6g46qjCyDg5A P4OX/ZmPy53CbWkCgGOqd57BQlTcRATW8qqw+QJLbXrClQ9Rwkc5wr5m+pJl3pNxf4Nzr+gE 7DUchMw9WcTclWddVnVMSw5M+K/NXu9xFpiVRER0Z+T8yBLSe6SAG03LvPbpJF+rLY5n81nB eIIYduBCflpQzHKsWZVJ5rkoYAoMFzhiQuSNmD3KHIybrxxdTzvo9XERwrI8DVRLyyVscBln aas+DmGSrU+RiNjLv3sVtSR832Ls0Igxd1CB3nzHoELeWHH0pRbFCjqv/pmf+AOMUriwxWZ5 Sa3ADAZh+/HnKEt+vKUh6re94aNOMl9F3p8AGP0w+uXNy7b32z72q5Gcr+CUg78XVPO2peJR Ltq3dClF9YYjnNmjpFaL4976Y4fu/7+uK58zCl/OXfAMmSQFbJrJ0eZ0fl1tqFiwqFTvS20U Bmt/uZ2FKqoOsT3Nkw4PysgM/q+0M8Llgno7fgaJFvw4Al19uGlVWRQJxy9tzxPHoBqMY8Kw fYTh+BO0laR0iEVC9ehijxY00+uLXZaCqUuicw8Mb/R0wEuzglPXIzYBirI+6qwUtRrMHQxA zqqlaHH1qV9xE3DTiIJLkLz/9Fh3LYAhBMb62U5BQWtusHEjfoJzhFu4WwJbgBK/C5mjcN3G EZWbnNQG4vf3g1GpsZ5W0KUJzpgHzyco0z49EsInjbWTm6uTW38E1c+MuesomEc/35tQTxA2 LS+1mzecC3Lefvp1XAYQn9VqP3ETP1w+DbdmcuhId+3IpkibRfhgY6sfWAtqSa7Je8Um2v8u rBM0MtrTK/0Jwo8gvceMJaL86YURDSvBn1wcds48IwnRWjjKSyPgx6QIEWPS+ZxDv3t82rjL udxJ8hKBi+M5AzXoh81XaczcqJJxtg3798/e5TuF24Mk52bihFL6Jvw1CzPtFUHcuVUs/QWC 93uLmqZM2mqm3FrtXfHr5BENkqGcNA0XlDA897vwtoZNaAokb9KSl4z4IuWrn/OEQpA/jCoh i3hSZLS7dRfzdVLo9OxPIRFXx65OPHiZtSuqQqTielDXfnLEMXJtj4WlGXZAhRrDeMRdehax bWpm/zr7XzBp4czAjz4mYHeNqxn5veSfetwM+DrHUZehg+yXJTJ2EIG3lyzOLhMnM1XvMW8d TDlasHqLd8xcPVezU1zdCJxPUs8CaP2T6G4vgK7ja2GJSY82Dz9DuGM1CHWf0ACUQFQILz4K Av/m8j21+BitI4WWSM1XaB3MaF3MHrIePUAdeSokRK6E2PxoFeJmoW6pCoa8TuRV0W1Spfr0 6nkGCr7Wg+54pzT7ddjtId3gB0bIVB9jcQ0fWMf49RGsC+7PkFXMdUiNYg6Nb8MnhzQzJ3YY BT/XFkmAwj5XhVGdkzYy/bnVQG9GOcPG4nYIhoEwkCqUBq1VbiwWOZZyiRd4nlII2qpiKntL NwF4XT/MySg2pwjF65Z+vW/hvwh3f/AgG4B/UfmicHpHhICGvMw2Wd8GBZWHznyey0XeJ4n+ UBuLYyFfK26daI1OcNpenoQCQ5A+T22kG9uYiCIz9LS/Y6cyYWsDRE51/7bitU+gAYifdbih k8bg0OC5mmX3joYvq5BVxcBn/pvEfzSdiSlBPaLeODR9p1cLkwoOsoDmWwES8RKFMuz1b/Cv mHE3kXSz3hp5KycNHN6BOnJF19MvqowMgz0 IronPort-HdrOrdr: A9a23:VfIcg6lNGtK1r5fW3xoN+YUAGNLpDfLk3DAbv31ZSRFFG/Fw9v re5MjzsCWftN9/YgBEpTntAtjjfZq+z+8X3WByB8bEYOCOggLBR72KhrGSpQEIdReOj9J15O NOdbNhAMb8AVU/ocHx+xmgDtosqePqzImYwcnbi1hgRRx3cK17hj0JbjqzIwlZQE1pC/MCeq Z0JfApm9NjQxkqhwiAZ0XtltKim+H2 X-Talos-CUID: 9a23:kAmlbm3nBbTVToQlnQR017xfFIMcKnfM0XPsDkq4MXpzSeGcSl3O0fYx X-Talos-MUID: =?us-ascii?q?9a23=3A98ljOAx7LcrcDZBgDpUtrQ/SntGaqISAMG0Ik4o?= =?us-ascii?q?FgcjeGRMsPjKRzxGKfaZyfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.16,260,1744063200"; d="scan'208,217";a="228599294" X-MGA-submission: =?us-ascii?q?MDHFTQAvD4IPr2Kh0OX6rHS9v8le35cI2ywYC+?= =?us-ascii?q?QjQKvWc8B5N0vU7Mb8V2/bCAjoXfIhojdZQoOCbnJcVn/CV4Bp/TUF90?= =?us-ascii?q?yuJSg5KgQ4zRxCTfPtak2Tf4YObOSIwBJ6WGGZR3dPZtb0Q9dHOSSW+N?= =?us-ascii?q?vXw8qudUmEqpZGOf883SYtAQ=3D=3D?= Received: from mail-yw1-f172.google.com ([209.85.128.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Jun 2025 03:54:12 +0200 Received: by mail-yw1-f172.google.com with SMTP id 00721157ae682-7086dcab64bso41575357b3.1; Mon, 23 Jun 2025 18:54:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1750730050; x=1751334850; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=wX9M4eHUOEXE7rgoQPszObRYdHZFogvD5juTPLzo+24=; b=iGmcQ4S8Gx5Az262uOyh09CjM8G1XJ/UvXwKPZW2KEv7/aEbP2lHMmYyGVELIFOFcX hmKeOnwDY2pKnjiMwQUBrdtUy7ZXlcGPivHPmezruLopFwqicfyvgCZk0RMNZ7ocbkaW 0kudSMK3oiTI9Y4oMcYZrqGAmM4qqoGTFRi1PM2fUzIobmuhEb1xHdWwR3huKslBo3Z7 QC7jbnAJTMXVMvWFz1PZF0VT7NX2sRh/sMIAWHXqvy/4EXcMCKFEnuZ0SVgPEbyKCJQZ OTEP2nCLFmhAPBNCTw9Oxt10BW8pBKEOwKzTlaePD2eKp+hbmR4ajnDxRB9x8SUU4gwd jbeg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1750730050; x=1751334850; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=wX9M4eHUOEXE7rgoQPszObRYdHZFogvD5juTPLzo+24=; b=Iac6hgcTnctoUbBmE8MBMyO0zR0qv4VcCfzyGdRxfpo5GWZIDgFNnKLNu1dZRn/7GT AMVOrdkHCxEqEnyuHP1dabS00JwdKm586f3G37ZJdoBRfWBgoAD9t/dx4/tvgW51WbtN gc1PfAAiFfoFLCqjyoP4ieJnitRa8qk+jG0o82uNl+ZVuUZ0wnVaA9WJ0F6gRj6Qe8RV tR9Pv0HCTQ6dxHODhmWPoIgz6MUjJeZlTOy+l2TcxrfZQXbi8lUT7aVQzpPmSJ2kED8l A7zw6CDzprsZSO4OsI/swGeq9+vFSP7O3CrgCz5rmuoPE9KgPji/+xcoytqcu3iM940m 9otA== X-Forwarded-Encrypted: i=1; AJvYcCW3RFvGXudUTwAjA3qOC0fAQsmCf41hI6S7HW22CR/El43xpHSsuDrBPyRRiVU+/RsWqFKdDvA0Dg==@inria.fr X-Gm-Message-State: AOJu0YyGsVDgKeM5K8UJ807lWIyLIr+mrZct6VD2UZ8cvmkMBhshhTAq svmKNgqQTUe4jdnbsDVdnNrCvPsEnfLRL/2iYpY50PcuVaXbv3kTzsSIt8+bfw2RNSaicm0nW6n 6ZV4szKRrB9XvBHqh3D9RLcfFtJAvA6FM9ZsedgA= X-Gm-Gg: ASbGnctK0jO48Ylu7rR3gFQ5+VV5wvrETwxRFgxMAUaXlkhmGHgtkxSAugLGDLGKJuo kaseM8B6LIaCa7bN1OqJ23rxske/QRALLyI47NW21QDTa2R0d4RVX3rGbAJoRJgh27dXaSnhKfV 9JHm0aT5RVrb86/6T43xUBpT+Kxl2AsBXwmp8OY28MduRH X-Google-Smtp-Source: AGHT+IELcvdhNNpIZdeWo3zArDZQ8kW5oZdzcZVCLhB1j3kiXFyrb2HkhP4WabI5Dmf2x0/94/nJg5WNXt4+gM8Agsg= X-Received: by 2002:a05:690c:883:b0:70d:ffaf:48df with SMTP id 00721157ae682-712c6386741mr220812437b3.3.1750730050101; Mon, 23 Jun 2025 18:54:10 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Mon, 23 Jun 2025 21:53:58 -0400 X-Gm-Features: AX0GCFs1gzqytKAP7nPvbZ7ouCZ0mUxkMN42B0Ya4N1XPGlIH4FBocPVflAJe_g 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="000000000000bbe41a0638479ada" Subject: [Caml-list] POPL 2026 Call for Papers Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19345 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: --000000000000bbe41a0638479ada 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. --000000000000bbe41a0638479ada 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: h= ttps://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-2= 026/POPL-2026-popl-research-papers#double-blind-reviewing


##= # Organization

Conference Location: Rennes, France

Conference= Dates: January 11-17, 2026

General Chair: Sandrine Blazy, Universit= y 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 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 will evaluate = the technical contribution of each submission
as well as its accessibili= ty to both experts and the general POPL audience. All
papers will be jud= ged on significance, originality, relevance, correctness, and
clarity. E= ach paper must explain its scientific contribution in both general and
t= echnical terms, identifying what has been accomplished, explaining why it i= s
significant, and comparing it with previous work. Advice on writing te= chnical
papers can be found on the SIGPLAN author information page:
<= a href=3D"https://www.sigplan.org/Resources/Author/">https://www.sigplan.or= g/Resources/Author/.

Deadlines and formatting requirements, deta= iled below, will be strictly
enforced.


### Double-Blind Revie= wing Process

POPL 2026 will use a full double-blind reviewing proces= s (similar to the one
used in recent years (POPL 2023 - 2025) but differ= ent from the lightweight
double-blind process used before then). This me= ans that identities of authors
will not be made visible to reviewers unt= il after conditional-acceptance
decisions have been made, and then only = for the conditionally-accepted papers.
The use of full double-blind revi= ewing has several consequences for authors.


* **Submissions**: A= uthors must omit their names and institutions from their
=C2=A0 paper su= bmissions. In addition, references to authors=E2=80=99 own prior work shoul= d
=C2=A0 be in the third person (e.g., not =E2=80=9CWe build on our prev= ious 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 a= re permitted to provide supplementary
=C2=A0 material (e.g., detailed pr= oofs, proof scripts, system implementations, or
=C2=A0 experimental data= ) along with their submission, which reviewers may (but are
=C2=A0 not r= equired to) examine. This material may take the form of a single file,
= =C2=A0 such as a PDF or a tarball. Authors must fully anonymize any supplem= entary
=C2=A0 material.

* **Author response**: In responding to r= eviews, authors should not say anything
=C2=A0 that reveals their identi= ty, since author identities will not be revealed to
=C2=A0 reviewers at = that stage of the reviewing process.

* **Dissemination of work under= submission**: Authors are welcome to disseminate
=C2=A0 their ideas and= post draft versions of their paper(s) on their personal
=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 n= ot take
=C2=A0 steps that would almost certainly reveal their identities= to members of the
=C2=A0 Program Committee, e.g., directly contacting P= C members or publicizing the
=C2=A0 work on widely-visible social media = or major mailing lists used by the
=C2=A0 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
i= t impossible for them to discover the authors=E2=80=99 identities if they w= ere to try.
In particular, nothing should be done in the name of anonymi= ty that weakens the
quality of the submission.

However, there are= occasionally cases where adhering to the above restrictions
is truly di= fficult or impossible for one reason or another. In such cases, the
auth= ors should contact the Program Chair to discuss the situation and how tohandle 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 and
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 As= sociate Chairs who will help the PC Chair monitor
reviews, solicit exter= nal 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 in= dicated in the Important Dates table. Responses are optional. A
response= must be concise, addressing specific points raised in the reviews; in
p= articular, it must not introduce new technical results. Reviewers will writ= e a
short reaction to these author responses.

The Review Committe= e (RC) will discuss papers electronically, and will use
synchronous virt= ual meetings to discuss any papers for which there is
disagreement among= reviewers, in some cases soliciting additional input from
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 d= ecision.

To conform with ACM requirements for journal publication, a= ll POPL papers will
be conditionally accepted; authors will be required = to submit a short
description of the changes made to the final version o= f the paper, including how
the changes address any requirements imposed = by the Review Committee. That the
changes are sufficient will be confirm= ed by the original reviewers prior to
acceptance to POPL. Authors of con= ditionally accepted papers must submit a
satisfactory revision to the Re= view Committee by the requested deadline or risk
rejection.

For a= dditional information about the reviewing process, see: [Principles of
P= OPL](https= ://www.sigplan.org/Conferences/POPL/Principles/), a presentation of
= the underlying organizational and reviewing policies for POPL. For POPL 202= 6,
policies specified in this Call for Papers supersede those in the Pri= nciples of
POPL document.


### Submission Site Information
=
The submission site is https://po= pl26.hotcrp.com.

Authors can submit multiple times prior to the = deadline. Only the last
submission will be reviewed. There is no abstrac= t deadline. The submission site
requires entering author names and affil= iations, relevant topics, and potential
conflicts. Addition or removal o= f authors after the submission deadline will
need to be approved by the = Program Chair (as this kind of change potentially
undermines the goal of= eliminating conflicts during paper assignment).

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


### Conflicts of Interest

For each su= bmission, the authors must make sure that they properly declare all
pote= ntial conflicts of interest for all of the authors of that submission. This=
includes marking PC conflicts as well as =E2=80=9COther Conflicts (exte= rnal)=E2=80=9D. A
conflict caught late in the reviewing process leads to= a voided review which may
be infeasible to replace.

Conflicts sh= ould be declared between an adviser and an advisee (e.g., Ph.D.,
post-do= c; forever), between an author and a co-author (papers and proposals; fortwo years), between people at the same institution (branches of large com= panies
or different locations of research institutes are considered to b= e the same
institution; for two years after leaving an institution), bet= ween 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 fr= om reviewing your paper. If you
nevertheless believe that a reviewer who= does not meet the above criteria is
conflicted, or if you are unsure ab= out 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 ot= herwise qualified reviewers can be grounds for desk
rejection.

##= # Submission Guidelines

Prior to the paper submission deadline, auth= ors should upload their full
anonymized paper. Here are some key require= ments concerning paper submissions:

* Each paper should have no more= than **25 pages of text, excluding
=C2=A0 bibliography**, using the PAC= MPL 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, 1= 2 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.8= 84 in
=C2=A0 (20.03 cm) tall. Use of a different format (e.g., smaller f= onts or a larger
=C2=A0 text block) is grounds for summary rejection. Th= e PACMPL template for LaTeX
=C2=A0 can be found at the [SIGPLAN author i= nformation
=C2=A0 page](https://www.sigplan.org/Resources/Author/), and further informati= on
=C2=A0 about PACMPL submissions can be found on the [PACMPL author gu= idelines
=C2=A0 page](https://dl.acm.org/journal/pacmpl/author-guidelines). PAC= MPL does not
=C2=A0 support submissions in Microsoft Word.

* We s= trongly encourage use of the `review` 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-yea= r (the mandate for final versions in previous years) or numeric.

* S= ubmissions should be in PDF and printable on both US Letter and A4 paper.=C2=A0 Papers may be resubmitted to the submission site multiple times up= until the
=C2=A0 deadline, but the last version submitted before the de= adline will be the
=C2=A0 version reviewed.

* Submitted papers mu= st adhere to the [SIGPLAN Republication
=C2=A0 Policy](https://www.sigplan.or= g/Resources/Policies/Republication/) and the
=C2=A0 [ACM Policy on=C2=A0 Plagiarism](https://www.acm.org/publications/policies/plagiarism-ov= erview).
=C2=A0 Concurrent paper submissions to other conferences, w= orkshops, journals, or
=C2=A0 similar forums of publication are not allo= wed.

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

* Auth= ors 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". T= his information
=C2=A0 need not be anonymized. It can be used to inform = the Program Chair, for
=C2=A0 example, about sensitive issues concerning= a conflict with a PC member or
=C2=A0 about supplementary material that= cannot be anonymized. It is left to the
=C2=A0 discretion of the Progra= m Chair what to do with this information.

* If for some reason an au= thor feels uncomfortable discussing a sensitive issue
=C2=A0 with the Pr= ogram Chair (or communicating via the "Confidential Comments" fie= ld
=C2=A0 in HotCRP), they should feel free to get in touch instead with= any of the
=C2=A0 Associate Chairs, with whom they can discuss the issu= e in confidence.

* Submissions from PC members and Associate Chairs = (except the Program Chair)
=C2=A0 are permitted and will not be handled = any differently than other submissions.
=C2=A0 This is in accordance wit= h a recent change in policy approved by the SIGPLAN
=C2=A0 Executive Com= mittee: 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 highe= r
=C2=A0 standard.

### Artifact Evaluation for Accepted Papers
Authors of conditionally accepted papers will be invited to formally s= ubmit
supporting materials to the Artifact Evaluation process. Artifact = Evaluation is
run by a separate committee whose task is to assess how th= e artifacts support
the work described in the papers. Artifact submissio= n is strongly encouraged but
voluntary and will not influence the final = decision regarding the papers. Papers
that go through the Artifact Evalu= ation process successfully will receive a seal
of approval printed on th= e papers themselves. Authors of accepted papers are
encouraged to make t= hese materials publicly available upon publication of the
proceedings, b= y including them as =E2=80=9Csource materials=E2=80=9D in the ACM Digital L= ibrary.

### Copyright, Publication, and Presentation

As a Gol= d Open Access journal, PACMPL is committed to making peer-reviewed
scien= tific research free of restrictions on both access and (re-)use. Authorsare strongly encouraged to support libre open access by licensing their wo= rk
with the [Creative Commons Attribution 4.0 International (CC BY)
l= icense](https://cr= eativecommons.org/licenses/by/4.0/), which grants readers
liberal (r= e-)use rights.

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

* Author licenses the w= ork with a [Creative Commons
=C2=A0 license](https://creativecommons.org/), retains copyright, and (im= plicitly)
=C2=A0 grants ACM non-exclusive permission to publish (suggest= ed choice).
* Author retains copyright of the work and grants ACM a non-= exclusive permission
=C2=A0 to publish license.
* Author retains copy= right of the work and grants ACM an exclusive permission to
=C2=A0 publi= sh license.
* Author transfers copyright of the work to ACM.

Thes= e choices follow from ACM Copyright Policy and ACM Author Rights,
corres= ponding 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
volunta= rily cover the article processing charge, payment is not required for
pu= blication. PACMPL and SIGPLAN continue to explore the best models for fundi= ng
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 su= pplementary 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
conferenc= e. The official publication date affects the deadline for any patent
fil= ings related to published work.

Authors of accepted papers are encou= raged to give a short talk (roughly 25
minutes long) at the conference, = according to the conference schedule. Authors
who wish to present but wh= o cannot attend in person will be provided with some
option for remote p= resentation, as well as some mechanism for remote interaction
with confe= rence participants.

### Important update on ACM=E2=80=99s new open a= ccess publishing model for 2026 ACM Conferences!

Starting January 1,= 2026, ACM will fully transition to Open Access. All ACM
publications, i= ncluding those from ACM-sponsored conferences, will be 100% Open
Access.= Authors will have two primary options for publishing Open Access
articl= es with ACM: the ACM Open institutional model or by paying Article
Proce= ssing Charges (APCs). With over 1,800 institutions already part of ACM
O= pen, the majority of ACM-sponsored conference papers will not require APCs = from
authors or conferences (currently, around 70-75%).

Authors f= rom institutions not participating in ACM Open will need to pay an APC
t= o publish their papers, unless they qualify for a financial or discretionar= y
waiver. To find out whether an APC applies to your article, please con= sult the
list of participating institutions in ACM Open and review the A= PC 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
fo= r institutions to join ACM Open. The subsidy will offer: $250 APC for ACM/S= IG
members and $350 for non-members.

This represents a 65% discou= nt, 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 Committee
thinks sh= ould be read by a broad audience due to their relevance, originality,
si= gnificance, and clarity. The selection of the distinguished papers will be<= br>made based on the final version of the paper and through an additional r= eview
process.
--000000000000bbe41a0638479ada--