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=Ag5w/oXn; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id C216140098 for ; Tue, 22 Sep 2026 21:02:59 +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: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=yM5gMkwFmUnY5EMJcONRb2C9mdTfBUhOgEO/T9e/nms=; b=Ag5w/oXnOWxeETObrlsMeNjQRMJinxh5cWY+Qrfzq4IZYJggO7AGYCYU iWEHedQD9cWDZPCW59LcRBV5KxCuxUrnc5K8U8XGI3vpQktxCTVqq82yX m55XPdkKtjZkPjkCZbrEC8ha3ZjPx2pxvqWgxWshzjkBIdYCe3uDK0rNZ w=; X-CSE-ConnectionGUID: 7Zm0spZ3Rraz5F+WRslFVg== X-CSE-MsgGUID: C5140X2URDa4riSHuLr/nQ== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.27,117,1787004000"; d="scan'208";a="296377503" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Sep 2026 23:02:59 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 8E90281EDC; Tue, 22 Sep 2026 23:02:59 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id EAEF3822B7 for ; Tue, 22 Sep 2026 23:02:48 +0200 (CEST) X-CSE-ConnectionGUID: g/nn6dr/RH2TP9hy/TteCw== X-CSE-MsgGUID: SgYJ+BD+TnSlGMzN1zYiZw== IronPort-SDR: 6ab2ecf1_BfC5rxSPjFMksqZjS58UPMHQeTbisK9WXlVMy4V2ILpGfpD QdhFUcbaUUANZO3NcpWFgCZlQqNvqzzqUNihPdA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HKCgC77LJqfKvgfUpaDoJNgj9aMWA0BAtJhFiDT4wDg?= =?us-ascii?q?iGLd4VWinyDFBYnAg8BAwENNxoEAQEBAgEDgguCc44MAh4HAQQ0EwECBAMCA?= =?us-ascii?q?wEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw4NBSmGTw1JA?= =?us-ascii?q?QGJPAcBggQ7cWECBQM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQUCDQcYP0MGHQEbCgcHBgMSEA8CJgIjAREBBQEjEoMDgiIBBhABA?= =?us-ascii?q?zcDEbghi3KBFQUCFoEBgg0GgQrZYQoZKA11gWgCAQYWgQkuhHgqXYJfAYFwh?= =?us-ascii?q?Ag7g0eBIRt9gRCBFTWCRW+EGj6DRoJqBIIigQyCYQUmJIE3hTWKKyYIAQYXA?= =?us-ascii?q?wcHCQUEHAYFBQI/CQYFChIDBAMEBAECCxMJAwMCDgIIAwIIBhkBPxIEEwoNC?= =?us-ascii?q?wcFHwoCDBQKKCISKwoBAgEpLAMtAQgGAgIEBAIEDAIDBgICBQcCEQMEAQEIA?= =?us-ascii?q?gItAwEDGQgJCAILBREYDAsHMQMQCQMfFxYIETQIBhYBGgYFBgs3FQUMEQECG?= =?us-ascii?q?wIfBB0RCAMBGwQCAQkDBBYEAhQKIAIDAwYDCgkCBQMbGAQBAgIDAgECCAMHC?= =?us-ascii?q?AMNAwQCAwMDBAECAgEBAQIDAQMDBAMBBgIBAwcCAgMDAwsBAgMDBQMDBQUCA?= =?us-ascii?q?gUFAwUCAgoCAwMDAgEDAhoIAwYDEgEQAwMGAQMHAwcCBAMJAggDAwgIAxcDA?= =?us-ascii?q?wUBAgIEAwMICAQDAwQCAgMMBQMCAwMFAwMHAgQCBAMDAQUBAgcCAwcCARgDA?= =?us-ascii?q?gQIBwcFAgsEAggEDQkEAgQCAg8EBgMDBwEBAgEHBQYDAgIQAQgKBQYCAgIcA?= =?us-ascii?q?x4DDQYBCQUCAQUOBwUCAhgDBgIDBgUBAwEKCwEBAwoBAgQCBQMDAQMCAwIGA?= =?us-ascii?q?wMCBQUFAwkHBQ4JAQMDBgUCAgMCAwECCAQGBQMCAgMFAQQDBAMKAwIIAwMIA?= =?us-ascii?q?wwCGgIFAwMDBgkDBwcCAwcDAgUCBwUDAwUDBgEDAgEDAwgLFR8DAwEFAwMCA?= =?us-ascii?q?QMCBQMDGAICBAUDAwMDAwgEAgIBBwYEAgICAQUFBQQFBgIEAwgBAQUDAwoNA?= =?us-ascii?q?QIHDAMMBgMHAwMEBAMCBQoCBAEHDQcJBwMCAwgBAQsEAQMDCgMDBQIBAQcFA?= =?us-ascii?q?wYDBwIDAwMFBAUDAgsDBwICAwMDAikBAQEDAwMDAwQDAQMBAwMHAwUDAhAHA?= =?us-ascii?q?QEKAwIGAwcGAwUDAwIBAgMDBREDBgQFBhcCBhE6AQgCAwMBFAQEBQIFFQIIA?= =?us-ascii?q?QMDBQMDAwMCBQMBBQEBAwMFAwMDAwMDBAEDBAIDBwYIAQEBAggDAwIFAwMDB?= =?us-ascii?q?AMDAgENBAIFAwYCAgQCBAEHAwECAgEDAwMDAQIEBAIHBAUCDQMEAgMDBQIDA?= =?us-ascii?q?gMLBgIQBAIDAwMDAxIBAgsGAxsJCBM9AQsHMgQ2ARUUBSkhX5AAH4IvLjEFK?= =?us-ascii?q?D8kT0IMJQ8NNQIXDg4vknSSNKESaYM/jCKVVDOEBI0UhwOSUQGZCCOLBIJjl?= =?us-ascii?q?WICExiFGREkEoFJI4FcTSMVOzGCNlADGQ+OYINEhROKIbx0ODI9AQEHAgcCD?= =?us-ascii?q?AMLgWiGJoRPhQs0gUwBAQ?= IronPort-PHdr: A9a23:/6D9uBDspamhhiI0WQCYUyQUIEoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua4zygeTFtiEsK4MotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSsioeReWoMgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL58L Ri6txndutcZjYZiKKs8xBTEqWZUdupLwm9lOV2ckxHg68mq4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQwWX6XQQS3sbnBVVDQTd4x70Qpn+si3htupgwyaaJtH5Tao1WTu58 ahmTgLjhTodOD449GHXjdFwjL5erRm8qRFz35LYbYeIP/d4Y6jTf84VRXBZU8leVyJPDICyY ZYRAeUdMuhVtJX9p0IUoBeiGQWgGOHixzlVjXH2x6061OEhHBnY0gM6BdIOt2nfosjrO6cRU OC0zLPHzTDZYPhL3jr98ojJcg0iofGNWbJwdszRxFIgFwPAlFqQqIjlMymJ2eQKtmiW9uxtX v+ghGA7sQ9+uCSvxtsyhYnTgIIY0l/J+Ct6zYsxO9G1SkB1bMOqHZZOqS2XKYV7T94+T2xpp io3y7MLtIC1ciUU1pkqxBHRZvyEfoSU5h/uVOmcLDR+iXl4dry/gBOy/lKhyu36TsS0y1dKr iVdktnIrH8N0Qbf6s+dSvty5kuh2TGP1xzP5eFeOUA4j7bUK5kkwrM2i5EdslzDEzf0lUj5l qOaa1so9+iy5+j5fLnrqYWQO5J2hw3jNKklh9axDv4iMgcUWmiW4eS826Pn/U3+WLhKi+c5k qjdsJzDJcUaqbC1DxZb0oss5RuzFTim0NMfnXkIKFJKZgiLgJTuO1HLOPz4DPG/jEqwkDpzx f3LMaftDojTInXDirvtY6hx5kFGxAYuz91T+opYCrQbL/LyXk/xusbYDhg8MwGs2ebmCMh91 oAfWWKLBa+ZNrjfsVCN5u01IumMYJUZtyr6K/gg//Lul2M2mUcBfam12psacGy3Ee5jI0Wde HbshtYBEXwWvgclV+zriFiCUSZJaHqoXqI84Cs7CIO8AovZSICtmqSN3CGgEZJOfGBJFkiME Wv0d4WDQ/oAdTqeIsB/nTwDVravUZcs2h+zugPi0bpoMPTU9C4Cu5/70dh6/ezTlRUr+T10A MWRzXiBT297k24GXTM206d/oUtyyleHz6d0meBXFdtW5/9RTwg6Np/cz+liBt7qVQzOcMmHR kq6T9ugGT0+U9cxzMUUY0lhA9islgnN0TKlDbMNjLyLHJI0/7rG0XXtOshz1m7K1LI5j1koW sRPNXOphqp49wXLH4DHil2Xman5PZgbiTLc7GqYiGOIukZFVgV9eaHERmwEIFDbpM+/+1vPS bnoBLg6dkNKwMuGb69LccHBjFNcRf6lNs6NTXi2njKMDAyPjoiBb4v7cmAUlHHHGVUHkgQU+ 16JMAE/AmGqpGeIX28mLk7mf065qbo2k3i8VEJhl2liDmVk3ruxoFsOgOCEDukU1fQCsTsgr DN9GBC82cjXApyOvVkpZ71SNPU65loPzmfFr0plJJX1NbF/hV8adAJfsEbn1hExAYJFwoAxt H1/9ANpMuqD1U9ZMTaR3JT+ILrSf3Pj4ROub6nQ8l7b2deSvKwI7adwsE3t6SeuEEdq6HB7y 59V3n+bs43NFxYXWIntX1wf8hF7o/TLcnN46d+Pk3JrNqawv3nJ3NdB6PIN7BGmcp8fNaqFE FW3CMgGH420L+dsnVG1bxUCNeQU9aguPsrgeeHUkKisdP1tmj6rlwElqMh0z16M+ixgS+XJw 4dNwveW2RGCXiv9i1Hpu97+mIRNbzUfVmSlzi2sCIlUb6x0NYEFbAXma9em29Z/g5nrc3Fd/ V+nQVgB3Y7heBafaUD8wRwFzV4e8jSsnSq1ySAxkil88fbZhXaThb64KFxeZTcYIQsqxU3hK oW1kd0ACU2hbgxz0QCg+V6/3a9Q4qJ2M2jUR05MOSnwNWBrFKWq5d/gK4ZC7o0ltSJPXaGye 1efH/TnsgYZ0ifkGUNRwTk6c3ehvZCzzHkYwCqNaW1+qnbUY5Q63wbC593YQvh50T8PRS0+g j7STAv0L5yi+tOakI3Gu+a1Wje6V5FdRiLsyJuJqCqx4WAC7QSXp/mogZWnFAE71XW+zNx2T WDSqx26ZID31qO8OOYhf09yBVa65dAoUo15l4IxgtkX1x14zt2P7GcEkGP0N/1U3Kv/aDwGQ jtDz9PO4Qfj0VFuNTrWm8SgDCjbmJE9IYDlOysfwWol4tpPCbuI4bAh/2M9uVe+oQ/LILB8k job1foy+SsfiuANthAqy3bVCbQTEE9EeC30wkvUqYnk8eMNPjrpKOfphy8c1Zi7AbqPox9RQ iP8c5YmR2pr69lndUjL2zv1453lf9/ZaZQSsAeVmlHOlbswStp5m/wUiC5gIW+4s2cizrtxl w1z3pC+u46vJGBk/ab/CRldfG6QBYtb6nT2gKBSk9zDlZq+A5ZgHjINdJTtRPOsVjkVsL60f xbLGzo6pHCBHLPZFgLK80ZqoUXEFJWzPm2WLn0UnrAADFGNYVZSiwcOUHAmj4Y0Q0q0kdf5f h4ztXgBo0T1oRxWxqd0OgnjBy3B8RywZG5RKtDXLQIKvF4eoR6PbIrGqLo0Rn8Q/4X9/lbVe yrLOkIRVzFPAgvdWBjiJuf8v4GYqrrEVrTmfaeeP+nc+6sDCZLqjdquytU0pWrUapfRbiE6X aFrhBYRDzckRYzYg2tdEXJPyHDDP8TD9kvspHEl/IfirpGJEEru/dXdUesKaYc09Ujk3ffda 7zCw3snYTdAiMFWzCeQmuFDgQZA13EwK2v/Vule0EyFBKPIxP0NBEYVOS15aZMas/Jiglsff pOFwsX80roy5hIsI3FCU1Gp2sSgZMhQZnq4KEuCHkGAcrKPOTzMxcjzJ6K6U7xZyutO5VW2v n6AHknvMy7m9XGhXg2zMexKkCCQPQBP8IC7fBF3DGH/TdXgIhSlOd5zhDcyzPU6nHTPfWIbN DF9dQtKoNjypWtAhe5jHmVa8nd/BeyNmiLc/vmCb5hK6r1kBSN7k+8c63M/ivNU4CxCWP1pi X7So9pp8DTE2qGEzjtqVgYLqy4e297N5B8/f/+Dqt8ZBi+XmXBFpX+dABkLudZ/X9jmuqQKj 8PKiLq2MjBJtdTd4cobAcHQbsOBKnsodxTzS1u2REMISyCmMWbHiglTivaXozePv4U5q5zrn rIBT7ZaUBo+EfZQWSEHVJQSZYx6WD8pi+vRlMkT+X+3twXcXu1ft5HDE+OCW7DhdG3fgr5Da B8Fh7j/KM5AU++zk1wnYV58koPQHkPWVt0YuSxtYDg/p0BV+WR/RGk+s6oEQgak4XtWBO7u2 xBq0U1xZuMi8Dqq6FAydAKiTMQYn0w4mNGjijeUImeZxEKYUoRfCi6yvE80YMuTfg== IronPort-Data: A9a23:kvCbeaDY9EDT8hVW/8nnw5YqxClBgxIJ4kV8jS/XYbTApDIn1DMBn zRLCj+Ha66DMTOnKdEibYTg9xtSuZXRndBjTANkpHpgZkwWlceUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOiTraCZmYqHVUMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8kwHUMja4mtC4ARvP6oT5jcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgoo Dl+ncXYpTMSA0H5sLh1vy9wQ3gvZ/UekFPwCSPXXcS7lyUqepZ3qhlkJBle0YYwo46bDYzSn BCxxf9kgh2r3oqLLLyHpuZEiYMlKpfnJsQlmitc9WDZHLEaXZ3oXPCfjTNY9G9YasFmGP/fY 48IeWAqYkibJRJIPVgTBdQ1m+LAanvXLGEe8QjI4/Btvy6Kk1UZPLvFaLI5fvSQVNhWn0Kfo ErJ+m34BlcRM9n3JT+tqCPy3bCQwXulMG4UPIa3x9wpqnHQ+mooDDIzR33is8i4uFHrDrqzL GRPp3N28vlsnKCxdfH2Vhi85XqFpQI0QMtVC+R86QeXy6OS7RzxO4QfZjtIadhjpd9sADJ2j RmGmNTmATEpu7qQIZ6AyluKhTz1Py5LIXVFXw9ecTNU48iknJ0+pQ2aG76PD5WJYsvJ9SYcK g1mQQA7jrQXyN8bjeC1oQuBjDWrqZzECAUy4207v15JDCsmPOZJhKTxuDA3CMqsyq7HEjFtW 1BZxqCjABgmV83lqcB0aLxl8EuVCwm53M302gM2R8ZwqVxBClaseodf5Dw2JUFidK45RNMdW 2eK4Vk5zMYLYhOCNPYrC6rsVJtC5fa6SbzNCKuPBvIQOcgZSeNy1HsyDaJm9zqwyBB0+Uz+U L/HGfuR4YEyV/w2lGTnGb1GuVLprwhnrV7uqVnA50zP+dKjiLS9Fd/p6XPXNrxjvpCX6h7Y6 chePMaswhBSGr+2KCrO/IJZaRhAIXEnDNqk44ZaZ8ySEDpAQWsBMv72xa9+WopHm68OqPzE0 EvgUWBlyX3+p0b9FyO0Vl5ZZonSAKlP9UAAAXR0PHKD+WQSXoK03aJOK7o1ZeYG8cJg/95VT t4EWdSNMspVQwvX5T4eR5/3k6J6fj/2hwjUZyuBSxo8dq5GWAbm1ILFfAzu1S9WFQuxl5I0j IOB3zPhY6goZlpdHuePT9mwlXWjvmM4mtNie2ftPf9tIF7N9qpuIAzP1s4HGdkGc0j/92HLx jSoDgc9jsiThp0+7/3ip72O9qWtGMtARntqJXHRt+uKBHOL71iY4NFyVciTdmrgT0LywqKpY NtVw9zaMPEqmFVrsZJ2I410zJARtsfemLtH8jtKRHn7TUynKrdFEEm02cNisq5sxLgAnSCUX kmJ2MdROJTXGcfDPWMSGjEYbbW45alJogXR0PU7G1WlxSlV+LHcb15eESPRgwNgLZx0Ergf/ 8EfhOAs5TeStD8WI/edryUN922zPn0KCKomkZcBAb7UsAkgy3AcQJmFCibJ/42CW9pdFnYbe hqF2azI3eVazGX/bktpRGTs3PVct7sKqhtl3F8PHHXXu9vn19sc/gxdziQzdStRli546uNUP nN6EXF1KYGl3SZatOIaU0+CQwh+VQCkoGrvwF43pUjlZkiPVF2VClYiOOyIrXsrw0gFchd1p LinmXvYCxD0d8TM3ww3a05vi9rnafdTrgTiusSWL/6pLqkAQwjOo/GRPDITih7dH8kOqlXNp rBq8MZOeKTLD3MsjJNhObaK94Y7aU6iH3NDc8FD7alSPGD7eROO4xasBX21WPtwI63tzRflJ e1oftlCRjav5hao9zo7P5MBE5Vwvfwu5ecBRI/VGH47g+Ofgwdt4b3t9XnYpW40Qt9Rv943B aHPehmjTGGBp3tmtFXcjctDO2G+ZYANPgnn1rro2ddTTpIKj/5xQBtjzpq1oHSnHw919D2Ev A74RvH3y9ZiwoE8kLa2LL9KNwG0I+zeVeqz7wG4tepVX+7PKcvjswA0qEHtGgZrYZ89ao9Qr qucltzax2bXle8GaH/YkJy/CKV538W+c+5JOMbRLnMBvy+9dOLzwhkE6UaqAIdolY5D28yZW AeIUsu8WtoLUdN7xncOSSx/EQ4YOpvnfJXbuiKxgPSdOCcziTWdAoucykboSmVHegsjGZ70U Fb0ssnzwOFolt1HARtcCsx2B5N9HkTYZpInUN/MrhidMHijhwKTm7nllCd40wrxNFu/LJ/Y7 67GFz/ETzbjiJGQmZsd+8Z3swYMBXlwvfgocwhPs5RqgjS9FygdIf5bLZwCDYpOnzfv0I3jI gvAd3YmFT63SAEsnc8QOzg/dlz36i0y1tbFyvgB+kqVb2KnFNnFDuc6sChn5Hhyd33oy+TPx RTyPJHvFkDZ/32rbb97Cj+HbSNPyfbTx3ZO8kf4+yA3KwhLGq0EjRSNAyIUPREq0KjxeIHjK m08RGQCS0a+IaI0/QCMZFYNcCwkUPjTI/nEoMtBLBsze2lW8QGY9MDCBg== IronPort-HdrOrdr: A9a23:G5uxZKuzv3Cy6xUvQ96sVa5p7skDjNV00zEX/kB9WHVpm5Oj+/ xGzc536farslwssRYb6K290ci7MAnhHPtOjrX5Uo3SOzUO1FHYSL2KjrGSpgEIeReOj9K1vJ 0IG8ND4bbLfCBHZKjBkXKFOudl79+d7qiyiOvSi1trRxp7crxt4m5CazqzIwlZQE1oCZIlCI GR/KN81lydUEVSQMD+KHdtZZmhmzQJrvLbiNw9aSLPITP+7w+V1A== X-Talos-CUID: =?us-ascii?q?9a23=3AuS9JmGj/5Xdj+oUpIh2+fZFB0jJufTrbyincOQi?= =?us-ascii?q?CKTxVcOyVWBis5K5PjJ87?= X-Talos-MUID: =?us-ascii?q?9a23=3APgMEyg42nDBXMW/cx2mdnFWmxoxT7JWMS2oh0qk?= =?us-ascii?q?AgM2rED5WYiWsjQaoF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,117,1787004000"; d="scan'208";a="296377406" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHHTt3cy2rK4lYQe243xz2VP3N+E5bAllihnS?= =?us-ascii?q?8QokwPQbFyVntRsxYy74gI5CjT/WSyyIXYWlTA0nhh+fpQ699pv96U7G?= =?us-ascii?q?vVqUm3trjUDvf30l33Z/9Pe1zoKKZdh3BFZ2Y5Q1Er3PBUkll/ntWv8E?= =?us-ascii?q?Vbzz8yO5bvI/K8o4bhfqrN/Q=3D=3D?= Received: from mail-yx2-f43.google.com ([74.125.224.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Sep 2026 23:02:41 +0200 Received: by mail-yx2-f43.google.com with SMTP id 00721157ae682-895353e9051so5675817b3.0 for ; Tue, 22 Sep 2026 14:02:40 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1790110960; cv=none; d=google.com; s=arc-20260327; b=cUcz7u5gGis9d9KaiG7ARfDe/wmyjBCrJhmOlPi0hQ0c+l3ohvU66KWiCxttmuYm+W zyMzZm251e2tQbK02Z/VMG9kZpD76j8Z0qk+iS7QWJB2ok6vNnVzm1VMPbTBJbvzyzNG gvECEmk9Om8Bz6fQ5NcQRBpL5luuDNj0BSGzatwftDoTM7S/5XXXdHWUXCDSdWczA7nl 08Xkx02X2wE5Y2xHYLKA9ao2WnTZ+ArXdxwGWnwS2xSAyyO0hw2LSSnyT283TNHjeQLa jjn7ZmkUqYl/4TjAAAI+CEQXdygPdYGu4R1Ge5odGH337vdOkOmgz8JqAjrDe14LDnSC ckIQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=yM5gMkwFmUnY5EMJcONRb2C9mdTfBUhOgEO/T9e/nms=; fh=Cg1KMmkcPHlD3fovZcxkYYZ4Xtk0uBiJUKUmbh4pHe8=; b=eaKLE7ryqdX4BhpPH3Bfbvxp5YjZgXoTA8XISsBwu0ieBue8+umfYKd8aWXEB3SzS5 V5qklNRgX28zFWBVXeaJXicN/sOVGyBYYqJr9z5YUaTUoQKWc4q5Wwxxcwi2VNRsw8Ad 52DMlr2sKyTTB7J0o4Q95qK64Pi5BwL5vGYGpqlwgX212c3/xt2NLrQ7wEle6gouPmoP TsnSsGROMqH2wrlGYqIEzHtMjKtuDdpkLoL+KrnUTlIsN9D+22KFL0m4qOE7Uiy8+cn4 LneYITmAb+lij5qf+EwW97Q6pwKmfBgFkyt5cQg7QRMedlSYy3JedDCSagiz7H0xPuKa 3hLQ==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1790110960; x=1790715760; h=content-transfer-encoding:content-type:to:subject:message-id:date :from:mime-version:x-gm-gg:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to:content-type; bh=yM5gMkwFmUnY5EMJcONRb2C9mdTfBUhOgEO/T9e/nms=; b=DHl5S6VUOrcsmqsGtHonszZLzVmazv7Dma9Alte0eQ1mOCkf6xxlaSft97EVjeTOPL OlfzozXATmyDddYfzvXM0jlvLplPi/YOtbs7l1VyeVBBR+JG3QnORjLnWEXKFyQBACbK jClACCEzFoOWRKngvEf1GCkq+oGEVc45gqFSF1j4eDEd0eEOcZfaWuYVlpuoNq+V0HYv 0aINpyJgKHRfpTcunZzlFsyz1kc6THhnakuJYrjR/MJYNEwJSx1TI15njihntrEKPzg5 L1q+wZwFg/e/N81mrIEGoAGrs6sKuaCaT/G6yioRigUPuJk7rfHnhvgZfRhs1l0435CN pvkA== X-Forwarded-Encrypted: i=1; AKwUvByIfjgAXvOROq3H31MKi47PG5PDiF/MU5ekbIEGG20/M4G4cO+3ffEbRmAj7LK/VX7nmAgJayW1D+0=@inria.fr X-Gm-Message-State: AFuF++m0wTiJpdg/qPCIlkTwjxXHPYN/gsQQIGKrtC7U7p7KrGV31ROX m3WQzxYT2kWuRLZVNDFjEs4L3kWnAcGs9EtSvWTK+9g1GjQ+y0HeaDXzSSwEWedf4BJjwVaJXaB bmqV0+VAy2VWYR/a/+QtPc1We//KBkj67k9ji X-Gm-Gg: AYBFou3kdhop/3Cj+18J4kGpx+Q1K/YwkJKjbVoDiUHiIXhbnwnjm48Kuemfg9E4pFP eTLe0nPVv28wkwo1l8ZUxHfB/pnmyYz18celXXgt8IN7y17hv8wfETUis6jeIYycl01GEQH2mo5 7+niIKQWwgRYv/lF5skirhOFkOcfzhC/AkbUxi7AaynwWkwyvJCvN1lQOB4FeKf43f6CKktaevX G/olxlK0MihvtgPpkAvjSFq8zQnLkEyX5Vdo3MyZNP0mHKKBfRR3SJH2GosNNIHN2XCWlVGqMS1 po3RbxL55j5HVO2zapUD6wsRfn7lplzCkTOI2t2G9YI4excPfnG6kL+kg0HY+KbPztq8zfoD4rI QagP+GyzmkBo= X-Received: by 2002:a05:690c:e1da:20b0:836:ec9b:b468 with SMTP id 00721157ae682-8a45b19679emr3907207b3.34.1790110959619; Tue, 22 Sep 2026 14:02:39 -0700 (PDT) MIME-Version: 1.0 From: Taro Sekiyama Date: Wed, 23 Sep 2026 06:02:13 +0900 X-Gm-Features: AcwNN1W5H-fJ6TA718-ai-V0a3Kx1rBBzhE_CZUhb_titsxaw3S0soP9G-GDjd8 Message-ID: To: types-announce@lists.seas.upenn.edu, caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] [CFP] PEPM'27: The 2027 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Reply-To: Taro Sekiyama X-Loop: caml-list@inria.fr X-Sequence: 19586 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: ------------------------------------------------------------------------ CALL FOR PAPERS The 2027 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulatio= n # Important Dates, AoE, UTC-12h Paper due Fri 23 Oct 2026 Notification Fri 27 Nov 2026 Workshop Tue 12 Jan 2027 # About The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been held in conjunction with POPL every year since 2006. The origin of PEPM is in the discoveries of practically useful automated techniques for evaluating programs with only partial input. Over time, PEPM has broadened its scope to include a variety of research areas centered around semantics-based program manipulation =E2=80=94 the systematic exploitation of treating programs not only as subject to black-box execution, but also as data structures that can be generated, analyzed, and transformed while establishing or maintaining important semantic properties. # Scope Topics of interest for PEPM 2027 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. * Cross-fertilization with other fields, such as semantics based and machine-learning based program synthesis and program optimisation, and modeling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, a= nd contract specifications. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Nada Amin (namin@seas.harvard.edu) and Taro Sekiyama (tsekiyama@acm.org). # Submission Categories and Guidelines Three kinds of submissions will be accepted: 1. Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages. 2. Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages. 3. Talk Proposals may propose lectures about topics of interest for PEPM, existing work representing relevant contributions, or promising contributions that are not mature enough to be proposed as papers of the other categories. Talk Proposals must not exceed 2 pages. References and appendices are not included in page limits. Appendices may not necessarily be read by reviewers. All the submissions should be typeset using the two-column =E2=80=98sigplan=E2=80=99 sub-format of the new =E2=80=98acmart=E2=80=99 fo= rmat available at: https://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm27.hotcrp.com Reviewing will be single-blind. Submissions are welcome from PC members (except the two co-chairs). Accepted regular research papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Accepted short papers do not constitute formal publications and will not appear in the proceedings. At least one author of each accepted contribution must attend the workshop (physically or virtually) to present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. # AI Policy LLMs have become an increasingly common part of many research activities. Here are our guidelines for reviews in PEPM'27, adapted from the LOPSTR+PPDP 2026 policy written by Theresa Swift and William E. Byrd. We ask reviewers to follow these principles: * Accountability -- whether or not LLMs are used, each reviewer is responsible for the contents of their review; * Transparency -- if any part of a review has been written with an LLM, or if any part of a paper is loaded into an LLM, it should be clearly disclosed in the review; * Confidentiality -- reviewers are responsible for not disclosing contents of the paper before publication. Therefore, no paper's contents can be upload to any LLM that does not preserve privacy. An example that preserves privacy: running Ollama on your laptop. An example that does not preserve privacy: uploading a paper to ChatGPT, Claude, or Gemini. # Program Committee Zena M. Ariola, University of Oregon, United States Casper Bach, University of Southern Denmark, Denmark Oliver Bra=C4=8Devac, EPFL, LAMP, Switzerland William E. Byrd, University of Alabama at Birmingham, United States Jacques Carette, McMaster University, Canada Matthew Flatt, University of Utah, United States Ping Hou, University of Oxford, United Kingdom Hsiang-Shang =E2=80=98Josh=E2=80=99 Ko, Institute of Information Science, A= cademia Sinica, Taiwan Julia Lawall, Inria, France Tiark Rompf, Purdue University, United States Philip Wadler, IOG; University of Edinburgh, United Kingdom Jeremy Yallop, University of Cambridge, United Kingdom ## Chairs Nada Amin, Harvard University, United States Taro Sekiyama, National Institute of Informatics, Japan --=20 Taro Sekiyama