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=vTfBhl6T; 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 515DD400CB for ; Thu, 30 Apr 2026 00:02:58 +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=KG2s8aEzqfVE781FX1LYzDeejfFpSYhLNF0gBWhp1PU=; b=vTfBhl6TLs1KGfKw5TA0r09Dts3frtkvB79Lm4GEKBWloHnCwDR20PUw JnOwHRUEOyuHuqsFzZuEGjo89rm99QgbF6k1743FyXu52RF/axcoiuSS0 xI8KjDvOjFSxNrvqgXUuNgRqBul0ByxveSvThYADP/VxKVUv+q5CpB1mO M=; X-CSE-ConnectionGUID: zWUCdRwkQhex9Z6Ld99t+w== X-CSE-MsgGUID: rHQZ4gjETyKwXClvpHB0gQ== 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.23,207,1770591600"; d="scan'208,217";a="274714105" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Apr 2026 02:02:58 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 9DB0682430; Thu, 30 Apr 2026 02:02:58 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 0495880F08 for ; Thu, 30 Apr 2026 02:02:47 +0200 (CEST) X-CSE-ConnectionGUID: hf2JtdLDRWqQgCKwgITZ7w== X-CSE-MsgGUID: ZovgI07ETjSDig3SrJoOzQ== IronPort-SDR: 69f29c26_ZhhwbGo0SeRnjiArFH5IMooQoElOFRAoXGOiHh/Oxsd9FTb m/toxATv2FYTuJxbM9pU5u4TrLSUn2RDPvbELPQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GMBwAnm/JpfDKnVdFahRqBB140BAtJhFiBI4IsjASCI?= =?us-ascii?q?ZdGiBcWJwIPAQMBDUQNBAEBAQIBA4ILgnSNNAIeBwEENBMBAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHDhIphk8Ngls7J?= =?us-ascii?q?UxhAgUDOgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBCgIIBQcYP?= =?us-ascii?q?zgLBh0BGwwSAxIDDTcCIwERAQUBPRqCYYIiAQYQAQM2AxGbB40ZgiSBAkKLP?= =?us-ascii?q?YEVBQIWgQGCDQaBCT4F2RsKGSgNbgOBZAIBBhaBN4R4Kl6CWAGBRRoBAg6EB?= =?us-ascii?q?oQAgSEbgg2BFTWDM4EFgUWBUFaDLoJpBIINgSOFZIkMJggHFwMHBwkFBBwGB?= =?us-ascii?q?QUCPwkFAQ8SAwQDBAQBAgsJCgkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMF?= =?us-ascii?q?AooIhIrCgECAVUwAQgGAgIEBAIEDAIJAgIFBwIRAwQBAQgCAi0DAQMZCAkIA?= =?us-ascii?q?gsFERgMCwcxAxAJAx8XGggBETQIBhYBGgcFBgs4FQUMEQEBAkcCJQQPEwoGB?= =?us-ascii?q?AcFAgICFAYCBBwDAwQEAgECAgI6BA4YDgQIBwMHARYFAgMCBQEDAQcZAgoIA?= =?us-ascii?q?w4bAgIEAgkBAQYOAgIGAgIBAwcYAwQdBAMDBwICCQkDBA0QChIVAw4DBw8CB?= =?us-ascii?q?AMMBy4QAwIHEAIJCA0XAgICBgIDAwMECQECAQEBAQEBAQIHAwMDAgMGAxcHB?= =?us-ascii?q?gMEBgEEBAMDAgMFAQMDAwUDAgMCBgcDBgkBAQEBAwICCAMIAwwJBAMFAxsDH?= =?us-ascii?q?AcBAwICAwIBAgEHAwMGAwcBAwcJAQMEBAMPAwUEAwIDAwMDAgcDAwMDBAECA?= =?us-ascii?q?gEBAQIDAQMDBAMBBgIBAwcCAgMDAwsBAgECAgUDAgMFAwMEAQcDBQIEAgMFA?= =?us-ascii?q?gMFAwUCAgoCBgMDAwMDAgEFAhoPAwsJCBM9AQsHMgQ2ARQUBykhX4peHg+CK?= =?us-ascii?q?AYDXloTPAE8ETQJUkvGN2iDPowelVQzixufUJkGjgmVZBMYhRgRJBKBSSOBX?= =?us-ascii?q?DMaCBsVbII2UAMZD444g2uFE79fKjI+AQcCBwEBCgEDgXOQADSBSwEB?= IronPort-PHdr: A9a23:822QchagcHWK/nsY9k2pyPX/LTFR2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wKPBd2Qu68U0qKW6/mmBTdcp87Z8TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgXO voHf3Jeu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyL BKrpgnNq8Uam4RvJ6gxxxfTvndEZ+tayGBoKF+Qghr3+8O88IJ+/yhKtP8s+cFNXb/mc6gkS LBTESgrPX0y6MD3uhbPSheC6GEBWWsMiBpIBAbF7BD+Xpjvtybxq/Rw1iqHM8DoVL44QTus4 b9kRxPxlioJOCM3/HnYhcJsgq1bpgmhpwFkzI7PfI6VLvt+cbjDct4cWGFMQ9xeVy1FAoO7c osPE+8MNvtWooXhu1cDqwa1CA+xD+3t1zBInGf70qI63eovEg/IwRIuEM4VvXvOsNn4Lr0fX fypwKTKyzjIcvNY2S366IjNah0uofCMXbZ0ccrQ00YvEh7Og0iQqIz/Ijyey+MAsmaF4OV7V eOvkXMophp+ojiq3Mgsi43JipgJxVDD8CV02YA4LsC3R0Bne9CrCodQtz2EOItsRMMvW39kt Ts0x7MJp5O2YSoHxponyhPbd/GKfYiF7Bz/WeuNLzp1mG9pda69ihus70Ws1+3yW8ip3FtOs yZIkNnCu3AL2hfO5MaHTf598V2g2TaJzw3T8eBEIU8slarfMZEhxKQ8lp0JsUTMBiP2mEL2j LOKeUU+4uik8fjoYrLjppOELI90khv+MqUomsywH+s4KBICUHSc+eS50rDo4E73QK1Sg/Eoj qXUtIrWKMcbq6KjHgNY04Qu5wy/Aju61tkTgGMJI0hfeB2diojkI1HOL+78Dfe4m1mslS1kx /HCPrH4BpXNIGXPnK7vfbt990JQ0gUzzddY55JbDrEOPuj/VVP2tNzdFhM5Mgq0zPj7CNhly I8SRWaCDrWaPa7Sq1OE++MiLuuWaIIVpDrxM/0l6OTvjX89l18dZ66p3Z4PZXG2APtpOEWYY WDxjdoaHmcKuxAxTO3uiFGYTTFTYHOyU7om5j4nEIKmEZvDRoe1jbOdxii7G5lWanlCClCNC nfoa56JW+wMaSKXOs9uiCYIVbmnS4871BGhrhX2y7R9LubM/C0Xrors1MJp6O3LiREy6Tt0A tyA322VQGF7gGQISTws0q1nr0Nz10+P0bJmjPxGFtJd/etEUgIgOp7dy+x2EtTyWgzcctuQR larQsmqDSs+TtI2xN8ObEJ9FMu4gh/f2CqqBqcZmKGIBJw196LRx2D/KclzxHjYyKcsk18oT tNSOm2jnKF/7RTcCpbRnUuAj6ikerwQ3DXV9GeN1WeApl1VXhNtX6ndRnAffkXWosz55kzcS 7+uDqwqPBNYx8CaJaUZIuHu2F5PQfOmPNXFf0qwnX2xDFCG3OCido3vLloc2CHcAU1MuREJ8 T7SKgU0Fz2ti23bBT1qU1noZhW/oqFFtHqnQxpsnEmxZEp72u/tkvZ0rfmVSvdIm6kBpD9ks DJsWlC0w9PRDdOE4QtnZqRVJ90nsx9czWyMkQt7M9S7Krx6wEYEelFoskn/zRlfBYBJkMxsp 3Qvn0JpMazN6FpabHuD2IzofLjeK2385heqPrHb0EDE3P6Z/64O7LIzrFCw9BqxGB8E9HNqm 8JQz2Pa5pjOC18KVontV08s6xVgj7TTYy14442NkHMxae+7tTjN399vD+wgovq5V/FYNq7MV Ar7EslBQtOrNPRvgF+xKBQNIOFV8qcwecKgbfqPnqCxbq5mm3q9gGJL7ZoYsArE/jdgSuPOw 5cOwu2JlgqBWTDmiV69s8fx0YlabDAWF2C7xGDqHolULqF1eI8KDy+pLajVjp1hipT8QXJw+ 1uqBldA08isOFKTY1H7wQxMxBEPu3X00SC8zjFyj3Qotv/FhH2Ik7mkLURYfDMTFwwAxR/2L IO5js4XRh2tZgktz16+4FrigrNcvOJ5JnXSRkFBe273KXtjW+2+rOnnAYYH5ZU2vCFQSOn5b 0qdT+u3vBYQwjnvN2RbzTE/MTqtv9+q+n4ywHLYN3t1oHfDLItvyB3O/tD0SvtY3z5ATy59w 2qfFh23ON+n+s+RnpHIv7WlVm6vYZZUdDHi0YKKsCbTCXRCORSkhLjzn9TmFVN/yirnz5xxU j2Oqh/gY47t3qD8MOR9f0AuCkWuo8Z9H4h/lMM3ivRykTAFi5+E53YvnmL6MNEd0qX7JHYAX j8ExdfJ7ROtghUyaCLUgdunCTPAmoNofJGib3kT2z4h4swvau/c97FCkSZv4xK5oQ/Xfflhj 2IYwPoq5mQdhrJBsw4swyOBR7EKSBMAbGq8ylLRsY/48f0EAQTnOaK930d/g927WbSLowUHH W38Zo9nBihoqMN2LFPL1nT3rIDiYtjZK9wJ5Xj221/NifZYLJUpm78Eny1ibCjisHc00eITg hln3JX8t4+CYTYInurxEltDOzv5atlGsC7gh7dEku6Z2omuGtNqHTBBD9P4CPmvFjwVr/HuM Q2DRSY9pnmsEr3aBQaD6U1ioiGqcdjjJzSNKXIe19knWAiFKRkVnlUPRDtj1M1xBkWwycfma ks8+j0B+guytE5X0uwxUnu3GmbH+FX3NnFtEsXZdFwOqVgcr0bNbZ7EtrM1T3wep8fx6lTKc zPTZhwWXztRAhXWWwC9ZuvytYecobrfW7TbTbOGYK3Q+7YCD6vam8L3itk6r2jQZJfIYycqD uVliBAdBS8rFZTTw2dTG3JLxXCKMpD+xl/0+zUp/JrvqKy5Awy3t9ffVecAY5IypVi3mfnRb efI3HQgdWsAhM9cmyOamv9Cgjtww2lvb2f/S79Yu3zDRv+IyPMHUUJJOWQuaoNe5qY4lGGhI Ob9jdX4nv59h/8xUBJeUED539qufYoMKn28M1XOAACKMq6HLHvF2ZO/Z6T0UrBWgOhO0n/48 T+GD0/uOCiCnDj1RliuN+9LliSSIB1Zvsm0bB9sDWHpSN+uZAe8NZd7ijg/wLt8gX2vVyZUK T9nb0ZEtaGd9wtdi/R7XmhPtz9rcLHClCGe4O3VbJ0RtLojAyh5kf5b/GVvy7ZR63IhJrQ9k y/To9hy5lC+x7PXm3w3DVwX9GkN2drY2Ccqcb/U/ZRBR3veqRcE7GHLTg8Pu8MgEdr3/aZZ1 tnIkqv3bjZE6dPdu8UGVK22YIqKNmQsNR3xFXvaFgwAGHS0OGvOnUB1n/Sb93nTpZ8/4MuJ+ tJGWvpAWVo5G+lPQFxiB8AHKYxrUykMlLeaiIsM6yP7okSJAspduZ/DW7SZBvCle1P7xfFUI hAPx73/N4EaMIb2jldjZldNl4PPA0PMXNpJr0WJiyc7pUxM9D51SWhhgyoNhSui5XYSEbi/m Rtk02OWgMwo/TboplM5fx/E+XN2n042ltHoxzuWdWypRJo= IronPort-Data: A9a23:iNQEhap+QoFzljF8Gp0aYsbDXoVeBmLDYRIvgKrLsJaIsI4StFCzt garIBmDM/6La2Chf9olOt+/pEMFsJ7cnYIyTFdl/nw8Fi5D8pacVYWSI27OYx+ff5bJJK5Fx 5VHO4OYdKjYbVeF+0zzauC5xZVY/fvVLlYpILecYkidfSc9FmF5z04lw7dn6mJRqYDRKxuXv t/vqNHoNlag2jplWkoZ8KvrRClH5ZwegxtG+AZlDRx3lAWGzSdNUMhOffvZw0bQG+G4IMbqH 44v85nipgs1zz91Yvu5n7DydFE9Q7K6FWCmlnpMVqG+tQNJryo037xTHKJ0hZB/1l1lN/goo Dl8ncTYpTUBZ8Ugq8xEO/VsKBySCIUakFPxCSjm4JbLlyUqRFO3qxlmJBle0YT1YY+bC0kWn RATAGllghxuG4taaV90IwVhrp1LESXlAG8QknFulxPFAdIKe6/aeqrhxsBX/QsC2d8bSJ4yZ +JBAdZuRBHJYhkKPllOTZxjxKGngX7wdzAeo1WQzUY1yzKLnUohjf60boWTJ4TiqcZ9xi50o krZ8m7oGB0yO9mWyD7D+XWp7gPKtXqnBdlCTufnqpaGhnWhwXIcKUVJeGe5mtW4hRWFQfBYD F4tr39GQa8arxHyFoasAXVUukWstRcZX59UEvYmwBqcz7LdpQefHGkNCDBbAOHKr+czTD0uk 1uHxpbnWGQpv7qSRnaQsLyTqFteJBT5M0cCa3UmUQchz+Pcubg8pTHQQfdfIvGq24id9S7L/ 9yckMQpa1wuYSMj0qy6+RXDjWvpqMWRCAEy4QrTUySu6QYRiG+Zi26AuAWzARVoddnxory9U J4sxZL2AAcmU8vlqcB1aL9RdIxFHt7cWNEmvbKQI3XR32/woib8LN44DMBWK0BuPcIJMT7va wm7hD69EKR7ZSPwBYcuO9zZI51zkcDIS465PtiKNYEmSsYqJGe6ENRGPxL4M5bFyhV0yflX1 FbyWZrEMEv2/ow+nGrvHrdMieNzrs38rEuKLa3GI92c+eL2TBaopX0taTNit8hgtP/e8jbGu c1SLdWLwBh5WejzKHufu40KIFxAaTBxCZnqooYFPqSOMyh3KlEHUvXx+LIGf5A6vqJ3kuyTw GqxdHUFw3XChFrGCz6wVFZdVJ3VU61Sk1cHLA03HFPx23EccYelt6geUJ0sfIgYzu9ozN8qb vxce8y/HehFZQXX3wssNLzW8YpoLkWtjy2zIhv/MSQefoFhdSPN6NTLbgvizwhQLyuV5O8Vg ays6RPferUHHz9dNcfxbOm96n+Apl0fpb5CZFTJKdxtZ0ncyohmBCjvhPsRIctXCxH86haF9 gSRWzE0mPLsptIrzdz3mqy0lYelPO9gFE58HWOAz7KXNzHfz1Wz0717T+eEUjDMZlzaoJz4S 71u8Mj9F/kbkHJhkYl2Se9rxJ1jwerfneZRywA8EUjba1iuNKhbHUCH+styrYxI+K5SvFqne 0CI++QCA46zBuHeLAczKjYmP8O57tNFvhnJ7P8wHlf22z8vwpqDTndpHketjA5zEeJLFb0Lk MkdvPwY0QidsiYRE82ni3lU/lucL3ZbXKQAsIobMbDRiQEq6w9jZ5DYOyny8aOiQdNGDWcyK BTJhqCY37V47WjBekoVCnLi87d8h5MPmRYS134EBQ2DteTkj88N/i960GoIXCUP6y5YwsRPN XNOJWQsAYm/pBBW3NNiWUKoECF/XCypwFT7kQY1pTeIXnuWWXzoB0xjHPSG42Qy0X9WJxpf9 5GmkFfVay7gJpzN73FjSHxeiqLRSPJq/Vf/g+GhJcOOGqc6bRfDgqODYWkpqQPtMfguhX/o9 PVbw+JtVZLVbSIggbU3K42/54QiTBqpIG9jQ/Y42IgrGWraWi+52BnQCkSXV/5OGcf38h6DO 5QzHv5MahWw7zbRjzY5AaVXHaR4ssR07/U/e5TqB1U8jZ2hkhRTvqn9zBPO3F0Qf402kOIWC J/gSDaZI2nB2VpWgzDsqedHCEqZYP4FRlbO48Lo++AzPqBZ6eFlTl4v4+Hlo1SULwpV0BaGt yzTZ6Lt7rJDzYh0laT8CpR8XwqNL9fiZs+qoSSYkcVCUsPLCujK7zgqk1jAOx9HG7k8QPF1q OipnPvo+nja5pAkV2z9sLuQJZljvMmdcrJeDZPqESN8gyCHZv7J3zIC3GKdcrlij9JX45icd TuSMcefW4YcZIZA+SdzdSNbLhc6Dpb3ZIfGoQeWjayFKjoZ4Dz9AOKXz13bRkAFSXZQILz7M BH+hNi27NMBrIhsOg4NN8s7P7BGem3cSYkUXPyvkwKHD1uYoEKI4ZrjshsC1QvlKFe5FOTC3 JaUYSSmKTqTvvjEwugM5sY29lcSAW1miOY9QlMF9pQkw3qmBWoBNqIGPY9AFphQlTfo2YrlY C3WKlEvEjj5QS8OZCCUDA4PhetDLrdm1hbFyj0VE4e8bi63AMaEDuIk+Ho4pXhxfTTnwaesL tR2Frgc+PSu6skBeArRzqXTbSRbKjfyyXcB+ES7mMv3a/rbKatfz2RvRWKhSgSee/wgVyz3y awdSmVNQUX9Qkn0eSqll7i5BzlB1A7SI/4UgetjDToRV0h3DAGN9REnB9zO7w== IronPort-HdrOrdr: A9a23:/3qUzK+0Z/ocdiI5Q+5uk+ABI+orL9Y04lQ7vn2ZFiY4TiXIra 2TdaogvyMc6QxhI03I/OruBEDuewK5yXcY2/h1AV7AZniFhILLFvAF0WKK+VSJcBEWndQtrJ uIHZIOcOHYPBxViYLU7AGkD80t2rC8gceVrNab4XMoYw8CUcFdBsRCazpz0HcZeOCOP+tbKK ah X-Talos-CUID: 9a23:MmlTnW/Q007ocO7EhE+Vv04aQOI5flnx9kjJGkCTKnlmaYGnFkDFrQ== X-Talos-MUID: 9a23:ThvIVAZgkC/utOBThTjyixA6a+pU4Z+CCU9Wqo8kvO6WDHkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,207,1770591600"; d="scan'208,217";a="145382274" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDEtyhtg3p+uyUOOlQaKyVRJFrHS+fPsiRsp4v?= =?us-ascii?q?VD+f94yVHvwAWn9+54NFR6awOT1A13NjR1YgX/D2C6nnuh2mUl5dkhvR?= =?us-ascii?q?9qkaxSDgNJHrCWtHfv/aOKmCIEWtM2qYajHs0Nr/gnmluynwD/wun5k+?= =?us-ascii?q?WB7iirOeQxw7RNwjBHZiK0PQ=3D=3D?= Received: from mail-lf1-f50.google.com ([209.85.167.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 30 Apr 2026 02:02:45 +0200 Received: by mail-lf1-f50.google.com with SMTP id 2adb3069b0e04-5a749f4de6dso23106e87.1 for ; Wed, 29 Apr 2026 17:02:45 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1777507365; cv=none; d=google.com; s=arc-20240605; b=MBWP9j1yfzj/z8nXjXWYW4jmFkMzBVUB2ouuSK4sbu/mb+YDm4iYvSfoR+j6WsysFU h8fUsslRFF/y6+ezL7TRhPoew2/fLbtwAI+Sxkk4wjc0P15tR5nJ3ygDrR9lCjYQQ10e 0bJB+2F8fUN/bXhUF++uRk+dSqJMLFK4x3idiIfRdjtd/UwH1tf4hhyD6SCByiTlf73p /cOQzSd2n8grIF0Shx2J/qXQDPW/3IBsQF+Hq934Ns6mlTHJbIfnHEiVnHdBwBJmX3Tt LPe0axy4nGaglAFQGBRjA7PI+Krg91uiqxRNcy/CsPtelqzLaRnVERgXAZ8GD4DETZUt qXHQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=KG2s8aEzqfVE781FX1LYzDeejfFpSYhLNF0gBWhp1PU=; fh=KBq/LY/XJ4Huo2SZqj6ePBkTTJwNo5Ko96fq2X3IpMY=; b=FPFfZKz2G+1xfg5idvG1dPMDwtVZKopCVdZjVpn3UMAvS8rGzYdSC+dQmoC0TqULoV BKZbjuIzvmBVJWiXCwEKZYyC0DToXUCxDueCNhTMLbsqDOb+e1kFcVhsFaxzTCfDnHeP ue3w0BvcynE+d6tuWhOuATMWUOLpbz/Xc6Fxmqnc3AUDB4WAHgBmM7gxULVVWPrL0aKD pxRCbQPvxnqeWw1M0npQqneTMxkMHGJiLis3+QMfjAM1IWt8D0kyd9NftNsd1isuZR4E ktJjSxee/7TploKQ1dcWeSoh3QyPiNKJ6q/JSlfclfLTygzshsvSRmK5XxdncMA1WGBL wqwg==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1777507365; x=1778112165; h=to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=KG2s8aEzqfVE781FX1LYzDeejfFpSYhLNF0gBWhp1PU=; b=Yz8OzenZFwbozM4KdBOdggQisE5No4gWtQ36waZLDroYPdqr2na46SS82rV4uEGhfU xEg808J0ciFEB2udWtIP7R4ra2H5/omUuyiTM35RvvPrdvSf79LFaUkeU3VurJmjjnzb BajQBDH9YoQqHpLcSmLqlkluNH/c3jLtxQUNQoncVmFDLxHKHd+qyzsJtLclp7KsGN4K mJo4LMr28Eg/BLrPB6OwadayaNwT/sFEAPooskV6OdPupoGUqde50qBN1xiF3STSPE9a 3F5eqymS8gqdZMDYzgoQEOz/xgOi0UXBBSCMFZuFmdkjUN0Y7NNtIeIuGaV/e9LWxfXt asyA== X-Gm-Message-State: AOJu0YxIeN5Pf98WFOKngWGXOg9F0F7kYdsm+sdhJQSqQ1/YBQY5on2W 1/BlFVslohKUogrik+R46lCRx5FknxoiOyrCcH/GZHed/9j+uoZvil2FUKH7fLH96rESvG6IUHa 7wpsVg/YS4BTFHuDaTdZMUvKIqdUBWc7NZNomQMg= X-Gm-Gg: AeBDiesWrBaY5rvhyuwsJi0FLpAwW62RZ5L6seET2APksOfOUq+pLs4ZXSC8FtsQTGH lntOhNxrFBLSDr9shyKRv7EqTNrR17Tb/XyctkbIZkSj6fJtoK07w1AHK1VPOpGM6MzVS0di0SV EdalpuJlYaGvpW91Od0BiiAOai3jENi/M0rRZJ1RV3wFQ5M/lUTlpuAJwfst86JAakWEz1ShH8V uORL4lyoo2Z905Eo1N7E85smY3b+EaBj2Uy942P2gV2lmsBVnO6sfzmzRdE/A+jbkskkjMnGw+7 i+xYNlqByu1zgjfbKK9jhgESvFePI7jQHcQvt34I5Fl1Q7mK+596fYUJPP2gvBHD8ss9P6AtL6y 0R1EX5+szlFqqFIILDFBAHGE2v4W2VxeyR2ewtgMXv7MComQ/mebxnHZnm83PTvz0NgKN X-Received: by 2002:a05:6512:1386:b0:5a4:a67:fb6c with SMTP id 2adb3069b0e04-5a8522d9017mr42499e87.5.1777507364625; Wed, 29 Apr 2026 17:02:44 -0700 (PDT) MIME-Version: 1.0 From: William Byrd Date: Wed, 29 Apr 2026 20:02:32 -0400 X-Gm-Features: AVHnY4KzsEZgBDg4YHAeXNjCNHExCsqtJruFV53KVO28nQgUYwJ1wROoNHGF_54 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000000de2bb0650a22f3f" Subject: [Caml-list] LOPSTR+PPDP 2026: Call for Contributions Reply-To: William Byrd X-Loop: caml-list@inria.fr X-Sequence: 19502 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: --0000000000000de2bb0650a22f3f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable LOPSTR+PPDP 2026 (co-located with ICFP'26) 2026 Joint International Symposium: The 36th Annual Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) + The 28th International Symposium on Principles and Practice of Declarative Programming (PPDP). https://icfp26.sigplan.org/home/lopstr-ppdp-2026 Overview =3D=3D=3D=3D=3D=3D=3D=3D The 2026 Joint International Symposium: LOPSTR+PPDP brings together two long-established conferences in symbolic AI: The 36th Annual Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), and The 28th International Symposium on Principles and Practice of Declarative Programming (PPDP). This Joint Symposium will provides a forum for the communities of both conferences to present new research and discover new perspectives. The Joint Symposium is co-located with The ACM International Conference on Functional Programming in Indianapolis, Indiana, USA. The anticipated dates for the Joint Symposium are August 28-29, 2026, although these dates are not yet official, and are subject to change. Accepted papers will be published by Springer Nature as a volume of the Lecture Notes in Computer Science series. Important Dates (AoE) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Abstract Registration: 20 May 2026 Paper Submission: 27 May 2026 Author Notification: 26 June 2026 Final Paper Version: 8 July 2026 Conference Dates: * 1/2 day on Thursday, August 27, 2026 (overlapping ICFP=E2=80=99s fina= l half-day) * 2nd (full) day on Friday, August 28, 2026 * 3rd (full) day on Saturday, August 29, 2026 Topics of Interest =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Topics of interest to the 2026 Joint Symposium reflect both of its constituent communities. These topics include, but are not limited to, the following. * Formal methods (including logic-based, category-theoretic and algebraic methods) applied to programs or to program frameworks. Of particular interest are uses of these methods that pertain to declarative languages or to AI-generated code. Aspects include. * Synthesis, abstract interpretation, control flow, data flow, resource analysis, termination analysis, type inference and type checking. * Verification, dynamic analysis, testing and certification. * Applications of such formal methods to systems such as security, cyber-physical and distributed systems; as well as tools and industrial practices. * All other aspects of declarative languages such as * Uses for symbolic AI or for neuro-symbolic frameworks such as probabilistic or differentiable languages. * Declarative language design: domain-specific languages; concurrency, parallelism and distribution; logic programming, functional languages; reactive languages; objects; languages for quantum computing; languages inspired by biological or chemical computation. * Foundations: type theory, categories, complexity results, termination, logical semantics. * Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management guarantees. * Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; novel applications of declarative programming inside and outside of CS; declarative programming pearls. Best Paper Award =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D There will be an award of EUR 1000 for the best paper LOPSTR+PPDP 2026, sponsored by Springer Nature. Submission Guidelines Submissions will be made via the HotCRP submission webpage: LOPSTR+PPDP Submission Webpage (https://lopstr-ppdp26.hotcrp.com/). All submissions must present work that is unpublished and not submitted elsewhere. Work that has appeared in unpublished or informally published workshop proceedings may be submitted. * Submissions of Research Papers * * Long papers must not exceed 15 pages excluding bibliography. * Short papers must not exceed 8 pages excluding bibliography. * Submission of System Descriptions must describe novel aspects of a working system and provide a link to that system. System description papers must be marked as such and must not exceed 10 pages. All submissions must be in Springer Nature format, accessible through: Springer Nature Guide to Authors ( https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu= idelines). Supplementary material may be included. Sponsorship =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Lecture Notes in Computer Science Program Chairs =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D William Byrd (co-organizer), University of Alabama at Birmingham Theresa Swift (co-organizer), Johns Hopkins Applied Physics Lab Program Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D William Byrd (co-chair), University of Alabama at Birmingham Theresa Swift (co-chair), Johns Hopkins Applied Physics Lab Sandra Alves, University of Porto Zena Ariola, University of Oregon Jo=C3=A3o Barbosa, University of Porto Ma=C5=82gorzata Biernacka, University of Wroc=C5=82aw Juliana Bowles, University of St Andrews James Cheney, University of Edinburgh Maximiliano Cristi=C3=A1, CIFASIS / CONICET Marina de Vos, University of Bath Gregory Duck, National University of Singapore Joseph Eremondi, University of Regina Santiago Escobar, Universitat Polit=C3=A8cnica de Val=C3=A8ncia Paola Giannini, University of Eastern Piedmont Jeremy Gibbons, University of Oxford Thomas Gilray, Washington State University Robert Gl=C3=BCck, University of Copenhagen Gopal Gupta, University of Texas at Dallas Geoff Hamilton, Dublin City University Michael Hanus, University of Kiel Hugo Herbelin, Inria Daniela Inclezan, Miami University Neel Krishnaswamy, University of Cambridge Temur Kutsia, Johannes Kepler University Linz Cosimo Laneve, University of Bologna Michael Leuschel, Heinrich Heine University D=C3=BCsseldorf Francesca Lisi, University of Bari Yanhong Annie Liu, Stony Brook University Pedro Lopez-Garcia, CSIC and IMDEA Software Institute Maria Meo, University of Chieti-Pescara Marino Miculan, University of Udine Dale Miller, Inria Saclay Georg Moser, University of Innsbruck Gopalan Nadathur, University of Minnesota Koji Nakazawa, Nagoya University Aleksandar Nanevski, IMDEA Software Institute Kim Nguyen, Universit=C3=A9 Paris-Saclay Jorge P=C3=A9rez, University of Groningen Adri=C3=A1n Riesco, Complutense University of Madrid Rob Simmons, Independent researcher Helge Spieker, Simula Research Laboratory Son Cao Tran, New Mexico State University Tarmo Uustalu, Tallinn University of Technology Frank Valencia, CNRS / Ecole Polytechnique Wim Vanhoof, University of Namur Niccol=C3=B2 Veltri, Tallinn University of Technology Germ=C3=A1n Vidal, Universitat Polit=C3=A8cnica de Val=C3=A8ncia Alicia Villanueva, Universitat Polit=C3=A8cnica de Val=C3=A8ncia Ningning Xie, University of Toronto Nisansala Yatapanage, Australian National University --0000000000000de2bb0650a22f3f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
LOPSTR+PPDP 2026 (co-located with ICFP'26)
<= div>
2026 Joint International Symposium:
The 36th Annual Sympos= ium on Logic-Based Program Synthesis and Transformation (LOPSTR)
+
Th= e 28th International Symposium on Principles and Practice of Declarative Pr= ogramming (PPDP).

https://icfp26.sigplan.org/home/lopstr-ppdp-2026

Over= view
=3D=3D=3D=3D=3D=3D=3D=3D
The 2026 Joint International Symposium:= LOPSTR+PPDP brings together two long-established conferences in symbolic A= I: The 36th Annual Symposium on Logic-Based Program Synthesis and Transform= ation (LOPSTR), and The 28th International Symposium on Principles and Prac= tice of Declarative Programming (PPDP).

This Joint Symposium will pr= ovides a forum for the communities of both conferences to present new resea= rch and discover new perspectives.

The Joint Symposium is co-located= with The ACM International Conference on Functional Programming in Indiana= polis, Indiana, USA. The anticipated dates for the Joint Symposium are Augu= st 28-29, 2026, although these dates are not yet official, and are subject = to change. Accepted papers will be published by Springer Nature as a volume= of the Lecture Notes in Computer Science series.

Important Dates (A= oE)
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
A= bstract Registration: 20 May 2026
Paper Submission: 27 May 2026
Autho= r Notification: 26 June 2026
Final Paper Version: 8 July 2026

Con= ference Dates:
=C2=A0 =C2=A0 * 1/2 day on Thursday, August 27, 2026 (ove= rlapping ICFP=E2=80=99s final half-day)
=C2=A0 =C2=A0 * 2nd (full) day o= n Friday, August 28, 2026
=C2=A0 =C2=A0 * 3rd (full) day on Saturday, Au= gust 29, 2026

Topics of Interest
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D
Topics of interest to the 2026 Joint Symposium = reflect both of its constituent communities. These topics include, but are = not limited to, the following.

=C2=A0 =C2=A0 * Formal methods (inclu= ding logic-based, category-theoretic and algebraic methods) applied to prog= rams or to program frameworks. Of particular interest are uses of these met= hods that pertain to declarative languages or to AI-generated code. Aspects= include.
=C2=A0 =C2=A0 * Synthesis, abstract interpretation, control fl= ow, data flow, resource analysis, termination analysis, type inference and = type checking.
=C2=A0 =C2=A0 * Verification, dynamic analysis, testing a= nd certification.
=C2=A0 =C2=A0 * Applications of such formal methods to= systems such as security, cyber-physical and distributed systems; as well = as tools and industrial practices.
=C2=A0 =C2=A0 * All other aspects of = declarative languages such as
=C2=A0 =C2=A0 * Uses for symbolic AI or fo= r neuro-symbolic frameworks such as probabilistic or differentiable languag= es.
=C2=A0 =C2=A0 * Declarative language design: domain-specific languag= es; concurrency, parallelism and distribution; logic programming, functiona= l languages; reactive languages; objects; languages for quantum computing; = languages inspired by biological or chemical computation.
=C2=A0 =C2=A0 = * Foundations: type theory, categories, complexity results, termination, lo= gical semantics.
=C2=A0 =C2=A0 * Implementations: abstract machines; int= erpreters; compilation; compile-time and run-time optimization; memory mana= gement guarantees.
=C2=A0 =C2=A0 * Tools and Applications: programming a= nd proof environments; verification tools; case studies in proof assistants= or interactive theorem provers; novel applications of declarative programm= ing inside and outside of CS; declarative programming pearls.

Best P= aper Award
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
There wil= l be an award of EUR 1000 for the best paper LOPSTR+PPDP 2026, sponsored by= Springer Nature.
Submission Guidelines

Submissions will be made = via the HotCRP submission webpage: LOPSTR+PPDP Submission Webpage (https://lopstr-ppdp26.hotcrp.com/).=C2=A0 All submissions must present work that is unpublished and not sub= mitted elsewhere. Work that has appeared in unpublished or informally publi= shed workshop proceedings may be submitted.

=C2=A0 =C2=A0 * Submissi= ons of Research Papers *
=C2=A0 =C2=A0 =C2=A0 =C2=A0 * Long papers must = not exceed 15 pages excluding bibliography.
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = * Short papers must not exceed 8 pages excluding bibliography.

=C2= =A0 =C2=A0 * Submission of System Descriptions must describe novel aspects = of a working system and provide a link to that system. System description p= apers must be marked as such and must not exceed 10 pages.

All submi= ssions must be in Springer Nature format, accessible through: Springer Natu= re Guide to Authors (https://www.springer.com/gp/compu= ter-science/lncs/conference-proceedings-guidelines). Supplementary mate= rial may be included.

Sponsorship
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D
Lecture Notes in Computer Science

Program Chairs
=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
William Byrd (co-organizer), Universit= y of Alabama at Birmingham
Theresa Swift (co-organizer), Johns Hopkins A= pplied Physics Lab

Program Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D
William Byrd (co-chair), University of Alabama = at Birmingham
Theresa Swift (co-chair), Johns Hopkins Applied Physics La= b
Sandra Alves, University of Porto
Zena Ariola, University of Oregon=
Jo=C3=A3o Barbosa, University of Porto
Ma=C5=82gorzata Biernacka, Un= iversity of Wroc=C5=82aw
Juliana Bowles, University of St Andrews
Jam= es Cheney, University of Edinburgh
Maximiliano Cristi=C3=A1, CIFASIS / C= ONICET
Marina de Vos, University of Bath
Gregory Duck, National Unive= rsity of Singapore
Joseph Eremondi, University of Regina
Santiago Esc= obar, Universitat Polit=C3=A8cnica de Val=C3=A8ncia
Paola Giannini, Univ= ersity of Eastern Piedmont
Jeremy Gibbons, University of Oxford
Thoma= s Gilray, Washington State University
Robert Gl=C3=BCck, University of C= openhagen
Gopal Gupta, University of Texas at Dallas
Geoff Hamilton, = Dublin City University
Michael Hanus, University of Kiel
Hugo Herbeli= n, Inria
Daniela Inclezan, Miami University
Neel Krishnaswamy, Univer= sity of Cambridge
Temur Kutsia, Johannes Kepler University Linz
Cosim= o Laneve, University of Bologna
Michael Leuschel, Heinrich Heine Univers= ity D=C3=BCsseldorf
Francesca Lisi, University of Bari
Yanhong Annie = Liu, Stony Brook University
Pedro Lopez-Garcia, CSIC and IMDEA Software = Institute
Maria Meo, University of Chieti-Pescara
Marino Miculan, Uni= versity of Udine
Dale Miller, Inria Saclay
Georg Moser, University of= Innsbruck
Gopalan Nadathur, University of Minnesota
Koji Nakazawa, N= agoya University
Aleksandar Nanevski, IMDEA Software Institute
Kim Ng= uyen, Universit=C3=A9 Paris-Saclay
Jorge P=C3=A9rez, University of Groni= ngen
Adri=C3=A1n Riesco, Complutense University of Madrid
Rob Simmons= , Independent researcher
Helge Spieker, Simula Research Laboratory
So= n Cao Tran, New Mexico State University
Tarmo Uustalu, Tallinn Universit= y of Technology
Frank Valencia, CNRS / Ecole Polytechnique
Wim Vanhoo= f, University of Namur
Niccol=C3=B2 Veltri, Tallinn University of Techno= logy
Germ=C3=A1n Vidal, Universitat Polit=C3=A8cnica de Val=C3=A8nciaAlicia Villanueva, Universitat Polit=C3=A8cnica de Val=C3=A8ncia
Ningni= ng Xie, University of Toronto
Nisansala Yatapanage, Australian National = University

--0000000000000de2bb0650a22f3f--