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=FVTsQ/0y; 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 44CFF400A7 for ; Sun, 15 Mar 2026 22:02:59 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:from:to:content-transfer-encoding: mime-version:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=qNFelCxT7y+r1cEPZAlCrpapvBlTZEe8xi25KkIIfOs=; b=FVTsQ/0yIrLgH5EkOaqz5vS9WHb7PzTp+PxpYHA3GB0A71Ag9idMIJMW fcGBUaULBxDBZ/0/jyuqaZ+wGCE2BtG7Tl8fJW/gawPXqmXf8NBzdi61b uBJuNgANwMgYhDR1/tC8sRt+lVpcxOcIvJgna+hsSO7prnKEp8dZ0iq9C Y=; X-CSE-ConnectionGUID: L/CU+6ceS6uEQU0k8/S7Yw== X-CSE-MsgGUID: BVGuDvu3R4KTQLSSCZKoIg== 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 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@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,122,1770591600"; d="scan'208";a="267854675" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Mar 2026 23:02:59 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 3702080FE6; Sun, 15 Mar 2026 23:02:59 +0100 (CET) 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 39E3180E2C; Sun, 15 Mar 2026 22:50:29 +0100 (CET) X-CSE-ConnectionGUID: IiXzQchpS5uQye9LsD+GsQ== X-CSE-MsgGUID: jf34eaLbSVSVqR1Ppk4QiQ== IronPort-SDR: 69b729a5_e+19PcYvljjuRk/naLuYeJc498m+Z8g5u0VPjfksfoKAZiA nEwlco9UsJ9SYljDv3SfSfWF5sqfazZtSHptaLA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0E8AwClKLdpgV5UZTRaDhABPAwCC4NTU0EBRWAyB1GEW?= =?us-ascii?q?INMA4UsiHmcSIMrKQYJAQMBCwI3GgQBAQMBA5ImIAYBBDQTAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABATsHDjuGTw2CRVFxgSUBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBARkCDQctKjgLBg8BBQgBARIUEhgcAiYCMywUAQEegmABg?= =?us-ascii?q?iQESwQCDpdfj1oBgT0CAosigTKBAYIMAQEGBASBAIFh2H4tFoFnCQkBgRUui?= =?us-ascii?q?FQBhXQ7hD+CC0SBFScLA4MzgQWBXAKBOweDeYJpgiaBDoF5iWeHTIFKHANZL?= =?us-ascii?q?AFVExcLBwWBMzMDIAovFBkCFB0SDwQWMh1wDCcSLBczWBsHBYR/Gw+JelmBE?= =?us-ascii?q?4MtAgELbT03BgMLG0GOcD2CXi5iEw0CeQIXDg8OJS1GkkEzs0MHhB+MHpU/B?= =?us-ascii?q?hMvhASNE5lUmQYijWeVZBMYhH4CBAIEBQIQAQEGgX8jgVwzGjSDJglGAxkPV?= =?us-ascii?q?41hhByCMYIvgmaHO7lcRDQ+AQcCBwEBCgEDgXOQNIFLAQE?= IronPort-PHdr: A9a23:ByYowBFqZjXWbosSNFW6bJ1GfztChN3EVzX9CrIZgr5DOp6u447ld BSGo6k20BmRBc6Buqwa06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgNJvDAImDAaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I Ru5oAnLqsUanYRuJrg1xxbIo3ZEZ/ldyH91K16Ugxvz6cC88YJ5/S9Nofwh7clAUav7f6Q8U 7NVCSktPn426sP2qxTNVBOD6HQEXGoZixZFHQfL4gziUpj+riX1uOx92DKHPcLtVrA7RS6i7 6ZwRxD2jioMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7act0HWGpBRd5RWDJdDYOgY YUPCO8BMvxZr4n7ulACqRSzCA2pCO7p1zRGhGL53bci3uoiHw/J0gwuEc8QvnvIo9v6O7wfU fy2waTS0TnPc+1a1DX75YPVch4hu/aMXbdofMfP00YvDRjFjkmOpozjIjib1vkNs2iA7+F9U u+gl3Qrqw9sojiv3cchkZLGiZkWylze7yp23Jw5JcC7SENiZ9OvDZRfuT2AOYRsXsMiX39nu Dw8yrAevZO2fSYHxIo6yhPDZPKJfIiG7w/sWeqMPzt0mHZodrKiihiy8UatyfHwW8uq3VtEr ydJj9jBu3AR2xDP6sWKVv1w9Vqv1zaI0gDc8OBEIUYsmKrUKp4h3r4wlocIvkjZHy/2n136j KGSdkUj5uek9eXqbq/hpp+GOI95jBz1PKc2msGnAek0LBICU3WH9eihzrHu/kL0TK9Og/A5i qXVrpHXKdgVq6O8HgNZzpws5he6Aju4zNgXhnwKIVJFdR+JioXkPkzCLf/+APyimVqjii1ry OrDPrD5ApXCMHzDkLD5cLhz9kNRxhA9w8xD655KFr0NPuz+VUHtuNDEABI1KQu0w/v7CNpm0 YMeRGSPDbKDPKPKq1+I4f4vLPeQa48JuTb9LP4l6+TpjX8khV8dea6p3ZwUaHyiAvtmJECZb WLtgtcHD2gKohIzQez0hFGYTDJfe2u+U7g/6zw0Eo6rCYjOSpiogLOb3Se7GpNWZnpBClCJC Xrna5+IW/kRaCKSOc9siScLWqOiS4M7zx6hqBX2y6dkLubM4C0XqYrj1MRp5+3UjRw96Tt0D 92E326RS2F0g3gHSiQt3KF/pEx90k2M3bJ5g/xeD9xT5ulGXh00NZ7G1+B6Ecz9WhrdfteVT 1arWsmpDis0TtI12tMOZ0d9G86+jh3YxCqrA7oVl6SRC5Au86Lc2WLxJ8dnxHrc2qkhlUEqQ s1UOmK+nK5w6xDTB5LVk0Wej6uma7wQ3CHT+2eEzmSApllVXg1/X6ndR3AQeFXWo9fj6E7aS r+hE7UnMg9Yxc6ELatKcMHpjVVYS/f+ItTeZHqxlHmqCheJwbOMapfmd3gB0CnDFEQIjwQe8 HmcOQg5Gyehv3nRDDtzFVLpfkzg6/F+qGm8Tk8o0Q6Fc1Fh17uy+h4Tn/CcTO4T3q4AuCcmr DV0H0yx0M7RC9qFvwZuYaZcYdI44FpfzWzXuAJyMIK8Ia1+gFASaxl4v0b02BVtFopNidAko moywgR9Ma6Yy0tBdz2A0J7qJrDZN3T88Ai0a67O1FHRyNaW9bkL6PQ/s1jtph2kGFc//SYv7 94Az2qE646PBQwUVo/3WUsf8xlhu6qceSQ0/MXJzXBqN++5viKGk9ktQeo+wxyte9NSdb6fG RXpO8kbHNS1bucjnh6gZVQZP6Qa7qMrJcK6dv2J8KOtJ6NkjTWgy2pdpMhFyEWL+RZ8R+nSz r4hwuqExU2tXiv8yn6q9P3U3chPYihXFW6iwwDlApRQb+t8Z8JDAm6rJ4izx85ir5/rQX9Rs lC5QxsN3MaxURWIaEHl0BYWz0kRqGCqg2221Xg8nC1staGW2DTmzOj4MRsJPyhFXi0qtm3BG ayPp/I7Z2ONRikN0jKOo3vZlIZBo6EqBGDJWltFeWDYMmF5Gv+78LSfY9Vn4pkr9yxcFvm/N wPJAoXhqgcXhnuwV1BVwyo2Im370n2YtxlziWbHaW12sGKcY8Z7gxHW+N3bQ/dVmDsAXihxz zfNVRCnJ9f829KSmt/Yt/ymEXq7X8hYNyf2zZioviG4o2RhRwC8zLiogtOyKQEhymfg0sVyE yDBrRLyeI7ugq/8P/9nZWFiDly64sE8B4It2pAoisQo0GMBzo6Q4WJBkWr3NoBD3rniaXMWW TMR6/L/uzDfgBc7dFm0n9qiEHKA3sFmet+2JHsM3T4w5NxLD6HS66FYmSxyoRyzqge5jeFVu DAbxLNu7Xcbh7tMow8x1mCHBbtUG0BEPCvqnhDO7takrawRanz9Ob63nFFzm9ysFtTg6klVR Wr5d5E+HCRx8tQ3MVTC12f2453lf9+YZMwatxmdmRPNx+ZPL5d5mv0PjCthcWXz2B9tg+V9g wFuxrmwtovBIm4r4aH4Sh9UOzvpZt8Cryn3hPUWlcKX0oazW5R5T2hRGsKwFLT4THRD6aeCV U7GCjA3p3aFFKCKGAae7B0jtHfTC9WxMHrRInAFzNJkTR3bJUpFgQlSUi9p+/xxXg2s2sHld 190oz4L4Vut4BAKxP9oLDH1WGSZrQzudzR+G/39ZFJGqxpP4UvYK5nU5aR9AiFD1perr0qEI SqGZE4bRXFMUUuCCVf5O7Co7tSV6OmUCN21KP7WaKmPo+hTPxuR7aqmyZAuvzOFN8HVe2JnE +V+wE1IG3ZwB8XenTwLDS0RjSPEKcCB9l+w/Sh+r8b39/qOOkqn7s2BFrtJGd9l+Fa/iuGeN KaciT14JjBRyp4XjSKSjuFHhRhC12c/K3GkCvwYuDTITb7Ml6MfFBMdZy5pda4qp+o90gRLJ c/Hm4bw3798gOQyDgQNXljgl8e1IM0SdjzncgqfXQDbaPLXeW6uoYm/e663RLxOgf8BshSxv WzeCEr/JnGZkDKvURmzMOZKhSXdPRpEuYj7fAw+bAqrBN/gdBC/N8d6yDMsxrhhzHiMO3McK hB2eUALp7bW8CAS0ZAdUyRRq2FoK+WJgXPT5K/WN5YNmfFhAWJ9nKRH4z5pg6sQ5yZCSvtvn SLUpdM7uFCqnN6EzT9/WQZPoDJG1+fp9Q1yfL/U/Z5aVTPY7QoAuC+OXg8SqYIvWZX//rpdw d/VmOfvJSdeppjKqNAECZGxSorPMWJ9Y0axXm+OSlNDFXnyaCnenxAPzKnUryXK6MB88t+1x tIPUuMJCQZzT6tCTBwjRJtbffIVFnslieLJ0ZROvCLk6kGXHIID4NjGTq7AXK+pcW7Cy+ECP 1xRnvv5NdhBb9WnnRA9LAE8xMOTRC+yFZhMunMzNAZs+RcUqSEsQDFrgxC3LV/9qH4LS6zul 0Zv2FInOLYjqG+3sQVweguvxmN4kVFvy4/s2WnDKWeofqnsBdoEW3Ks7xpjdc6iCwdtM1/ol BQ9Zm6dHuBf0+M7J2sz0FeO69wSQJs+BeVFeEFCn/jPPqdxiA0OpHn/nh1JvbOdW8klyVFiN JeoqzgoNxtLVNcuPuSQIaNIygIVnaeSpmqy0et3xgYCJkEL+WfUeSgSuUVOOKN0byav++Vt7 0SFlV4hMCAUUOE2p/tx6k4nE8iqlBrai+QbcGuMb7TEaaSEp2LHiMiEBEsq0V8FnFVE+r4w1 to/d02TVAYky770dVxBOcfZKA5TZtZf7zCOJ2DX6byLkc4zbtn1H/ugVeKUsacInk+oVB0kG YgB9IVJH5Wh1l3ZMdayLLMBzkZIhkyjL1GEAfJVPROTxWpd5Zjnldkngc8MemJ4Yy01Kyi86 7fJqxV/hfOCWI1zeXIGRs4eMXlwXsSmmilftnAGDT+t0+tfxhLRil207inWEjT4aMJuIfmOY hY5Qtrw9yg/6IC8g12R+56YOmKwZrEA8pffrPgXoZqKEaYeVb5mr0LVgJVVXVSGeTX3K4bvf 8LbVtF0NprzF2qwVUG5h3QtVcDtMd2xL6+Oxwb1WYJTt4rd1zcmf5zYdHlWC1J7oOcN47h5b AsIbs8gYBLmgA85MrS2PAaS1tj9C3boMzZdSONTiPmrf7EChTR5dfe0kTFzK/Nyh/ny60MGQ 4sGyw3T1er2LZcLSjD9QzRcY1md+XJ/xjInbqBqhb5iiBLQ7QtAa3bSLLMvMCoc+IhiYDHaa XRuVjhlHRnF1dKFukj0mOlPtypFw4QJi6sc6CK45tmHJ2vyEK2z9ceI6Wx5NYNg++spdtW8R 6nO/JLGwm6GFMWW7lLDCGjiUKMF0tlIfnACSaERyzh8YJ4I5dIZuxh2CpdbRfQHCbFy9OqjM WM2VHdLnyFFD9jSjnte06+9w+WIzB7IKcZ7aUVWvska2YlNC3YuMHFZ+fbGNc2elnfaGDICe F5BtF0VtgxcztQidbi9uNiaC8IVgz9O/aAuW3OSRMAxrgn1FjnN01agEK3zwav0h0oXxfbom LHzuTZTIxNl/b4MzhEDFekvcO8Xo5LAtSKOeQXipmXxxeC6JV5Xj8rJa1n/C4mDvm35AHR0E ZI8T4VMjnjUU4kRwVMRgEMDrl9PZomtPFv9tWRM+g== IronPort-Data: A9a23:EYnhZq0XWY2NKsWENvbD5ZN6kn2cJEfYwER7XKvMYLTBsI5bp2MDx jQbX2jUMv+OZ2CgeohxPY2/9E8B7cKHnNBmSwE43Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAhk/zOH/ykVbOs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyaDl8B56r8ks14qyp4W5A5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxlz8xCsmom6rMaUYDRLjfJ2Cm0hK6jID/6vTqjnVaPpcTbJLwW28P49m6t4wZJ OF2iHCFYVxB0psgNwgqe0Iw/ylWZcWq8VJcSJS1mZT7I0buKxMAzxjyZa2f0EJxFutfWAlzG fIkxD8lTxGzldu9wKqAF/RVl8lyCNLHf6wEgyQ1pd3ZJa5OrZHrb4+R3eUAhm9qrf0WRa2YY NcFYz1yahiGewdIJlocFJM5mqGvm2X7dDpb7lmSoMLb4UCOlkooiOGrYIaTK4DiqcZ9xi50o krNuWrkAgoyPtacjzOOtG+v7gPKtXmlB9JPSOTmp5aGhnWRyDdPBRQyX2CFmsegsBeGQ9EDE k0tr39GQa8arxfxEoaVsweDiHWDp1sXX8daO/Yr7RmEjKvS+QeQQGYeJhZKYdki8cs3XiACz U6Mh9qvBDp1sbTTR2j1y1uPhTa7OCxQK2gYeS8JUBEC+9TqsoY110uXFI47QfLzicDpEzbtx TzMtDI5m7gYkc8M0eO84EzDhDWv4JPOS2bZ+zk7QEqE7zNrXYWlf7f19GHK4KdkN6raYUK46 S1sd9el0AwYMX2avA2gKNjh8Zms7veBdTvbm0JvEoQ78Cyg8myke9kJuGsmfBY1dMEZZTXuf Unf/xtL44NeN2eraqkxZJ+tD8Mtzu7rEtGNuhHogjhmMsEZmOyvpXsGiausM4bFzBhEfUYXZ MzzTCpUJSxGYZmLNRLvLwvn7VPU+szO7TiIH8ykp/hW+b+fb2SSUrALLBOFafohhJ65TPHu2 48HbaOikk0BOMWnO3W/2dBJcTgicyNhbbio8JM/SwJ2ClA3cI3XI6SJmet5E2Gk9owJ/tr1E oaVBxEHlQOg3iCfQehIA1g6AI7SsV9EhSpTFUQR0ZyAghDPuK72tP5HJagkN6Iq7vJixvNSR vwIMZfISPdWRziNv3xXYZDhpcYwPF6mlCCfDRqDOTIfRp9HQxCW29nGegC0yjICIBDqvuQDo pqh9Djhf7w9eypYAv37VteT3nKqnH1EmOtNT0rCedZSX0P38blVES/6j95pAsI2AjCa7AC/+ yeJJBQ+m8zhip0R9YiQiY+msYuWTuhaGGBLFTLh6YftDzHQpDa+y9R+COynLC7URT728v/6Z MF+7fL1ANsYlnlk7qt+FLdKy/olxt3N/rV18CVtLE/pXX+KVIxyB2ag5tZekJFC3ZlbslaGY V2O8dxkJrm5AsPpP1oPLg4DbO7Y9/UrthTNzPYyMmPozTRW+eeZbEBsIBW8sixRA79rOocDw +16mso36RS6uyU6IOS9kSFY2GSdHEMuC5x9mMkhP7bqrQ43xnVpQ5/WUHb26a7STeR8CBAhJ zvMiZfSg7hZ+FH5TEMyMnrwxstYu4UFvUFb7V0FJmnRoOH/uN0M4ERz/wg0HyNv9TcW98JoO 2NuCV95GrXWwRdsm/p4fj6NHyNvOUSn33Lfmnozuk/XdU2KblD2DXYcPL+N9X8J8mgHcTl8+ qqZ+VnfUj3rXZ/Q2wkzUF84q83yEIV45yzZucWdB8/eNYILUTnkpa6PZGQztBrsB/0qtnDHv eVH+OVRa7XxECwt/50AFIiR0IoPRCC+JGBtRe9r+IULFzr+fA6e9CevKUfrXO9wPN3PrFGFD vJxKvJ1VxiR0DiEqhYZD/UuJ552hPsY28oQSIj0JGIps6qtkRQxicj+rhPBvW4MR8lite0fK YmLLjKLLTG2tEtuwmTIqJFJB3q8bdw6fzbD5eGS8tgSNpc9oeppIFAT0Ly1gi2vCzFZ3Smo5 SHNW6yH6NZZ69VIv5DtGaB9FQmLOYvNdOCXwjuS7fVKT/3yaPnriS1EhGXjDQpsOZkpZ+9Wj pWI6d7+41PEtu05UkffgJiwKJNK7sSTAstSEMP+PSRarDrfAcb9wgAi/lqgIsdji+Jt5ciAR iq5ZvCvdNUTZcxv+X1NZwVaEDcfE67SbJq8lRiirv+JNAcR4TbHIPyj63XtS2NRLQ0MBLHTF S72vKyIyu1DjYERGiIBOe5qM6V4LHDnR6EiUd/77hucL2uwh2K9qqnQrgUh5R7LG0u7Pp7Du 7ydfSfHdTO2pK3s5/NaudYrvhQoUVBMsdNpdUcZo9NLmzS2CVAdFtskMLIEN4p1lxLj35Spd RDPa2ofUR/GZwpmSimlwtrfXVa4PNcsa+fJfmljuwvebiqtH4qPDYdw7ioqsT88ZjLny/rhM t0EvGH5Oh+q2JxyWOIP/bqBjPx6wu/BjGc9kawnfxce3z5FaVnL6JBgIOaJfQDtSPn3zB+Tf 0MIHTgfBkamVUT2DMBsPWZPHw0Uty/uyDNuajqTxNHYuMOQy+goJDjXJbToyrNaBCgVDOdme J81bzLlD6OqNrg7s6Eq/dsix7J3YR5ONtbvN7ftHGX+gInpglnK/Ko+ce4nRsshvgdUVU7e/ tVpD77SG2zdQH1sNHaqJcnlNn6/vr/gz90EseInmQL7rA== IronPort-HdrOrdr: A9a23:f1sS66x43/mp5y+wzdvVKrPx1uskLtp133Aq2lEZdPULSKGlfp GV9sjziyWetN9wYh4dcKO7Scy9qBTnhOZICOgqTM6ftWzd1FdAQ7sSjrcKrweQfxEWldQtqJ uIEZIfNDSYNzET46fHCWGDYqwdKbK8gceVbInlvhFQpE1RGsNdB1ATMHfhLqQ6fngyObMJUL 6nouZXrTupfnoaKuy9G3k+RuDG4/nGjojvbxIqDwMurFDmt0Le1JfKVzyjmjsOWTJGxrkvtU DDjgzC/62m99W20AXV2WP/54lf3PHh1txALsqRjdV9EESZti+YIKBaH5GStjE8p++irH4sjd n3uh8le/9+7nvAF1vF0SfF6k3F6nID+nXiwViXjT/IusriXg83DMJHmMZwbgbZw1BIhqA27I t7m0ai87ZHBxLJmyrwo/LSUQtxq0ayqX0+1cYOkn1kV5cEYrM5l/1WwKpsKuZMIMvG0vFqLA E3Z/usq8q+MGnqJkwxh1MfiuBFBR8Ib1m7qktrgL3l79EZpgE586Ii/r1gop4xzuNAd3B63Z W6Dk1JrsA8ciZEV9MOOA5Ge7rANlDw X-Talos-CUID: 9a23:OkXKrGGGvMcp+OuMqmJG9X4GI8slakaA0U7BLh6cEkoqZ6asHAo= X-Talos-MUID: =?us-ascii?q?9a23=3AC+stRQ+GCq/ZyVGWmv57YrqQf8VmuPijAWQHqqs?= =?us-ascii?q?9hdC+bBRoOGukjQ3iFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,122,1770591600"; d="scan'208";a="267854169" X-MGA-submission: =?us-ascii?q?MDFfzj0Y+ofn8ZuSsf2Zt6Dc4/0crw7j6xU7eC?= =?us-ascii?q?LYYA3jL17aTWUDO6J1ZlQgoWBwNT9V+qd7TQHNsKPrtQBKPr5KpjbPxh?= =?us-ascii?q?rPfaSK/xOS2p91ppqSgjWbjs+p6lnAzv1FGF3iAKr/8/WjfMTfwt4AYH?= =?us-ascii?q?fZ9HZIhS8uR/dGwKnXD1DMkw=3D=3D?= Received: from mail-northeuropeazon11020094.outbound.protection.outlook.com (HELO DB3PR0202CU003.outbound.protection.outlook.com) ([52.101.84.94]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Mar 2026 22:50:28 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=gOaqY1rUmlY5TTcZmElalzJxmNAeQIPm8ZLdDfBl8r71GljyDQS9Slex8RKzzw+TiLGk+qG3nH21fmBGGRMjfXFdJTYGfTvZRVEFQuyNj858UmPSMDWlgfq7iAe8wwZJ3sypssHMzYwtApu7qdNtDVFk1tWp3Kz4k0dd+c1nkIXKSQnQ3wwyJHZ8z6wlvA956f2qDBczpkz4Fi5+uOGx6AvE1XO6vijW+ft4si5hHCtp7AJ3k7gaRTsuGWw/atLVyJJNKPRfSwVHd62B5V/3rX93J+s9aAvswg00QPr3twETenVN1Yb/GeAZvjKXKz61SahkCEKjH8LgUdweF3vhsA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=qNFelCxT7y+r1cEPZAlCrpapvBlTZEe8xi25KkIIfOs=; b=OlCrbVV949h9z0B1Hag9s3pEuyN9sQjRCluYr8AY5eNojZtiP6em/cNOaB+zWC+KI+1iOV4jbU8XJUeQZP9ZDEPCJXZWMWM/uz97XQ7GmQdqms9FjYS0PhhHzdwkUUI+0xYfMPLy9SXyENid+V+r8/8Ilthxqc4ESIdTvQmJYnyNmRDFrtKcEOvolddbhbOgUU0ZqM68j0zVPoGSwPmxamqAUn5036uuSRguFLz5XOTLEWrgB1RsBupnsUoNIyhA2rhr3EvLMJS67OeteBvy6GyzNTBX6vp6MZtIZQcvoHgeil1VejkT4ssTNO03RWScEHSNi++9qCyOn1Hiscv9KQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=bbk.ac.uk; dmarc=pass action=none header.from=bbk.ac.uk; dkim=pass header.d=bbk.ac.uk; arc=none Received: from AS2PR02MB8792.eurprd02.prod.outlook.com (2603:10a6:20b:553::14) by DB5PR02MB10137.eurprd02.prod.outlook.com (2603:10a6:10:48e::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9700.18; Sun, 15 Mar 2026 21:50:25 +0000 Received: from AS2PR02MB8792.eurprd02.prod.outlook.com ([fe80::a807:6aa1:c6c4:363e]) by AS2PR02MB8792.eurprd02.prod.outlook.com ([fe80::a807:6aa1:c6c4:363e%5]) with mapi id 15.20.9700.018; Sun, 15 Mar 2026 21:50:25 +0000 Message-ID: Date: Sun, 15 Mar 2026 21:50:23 +0000 User-Agent: Mozilla Thunderbird Content-Language: en-GB From: Carsten Fuhs To: types-announce@lists.seas.upenn.edu, cl-isabelle-users@lists.cam.ac.uk, rewriting@ens-lyon.fr, ProofTheory@Lists.Bath.Ac.UK, coq-club@inria.fr, caml-list@inria.fr, clap@groupes.renater.fr, gt-scalp@gdr-ifm.fr, SREPLS@JISCMAIL.AC.UK Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-ClientProxiedBy: LO4P265CA0228.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:315::16) To AS2PR02MB8792.eurprd02.prod.outlook.com (2603:10a6:20b:553::14) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: AS2PR02MB8792:EE_|DB5PR02MB10137:EE_ X-MS-Office365-Filtering-Correlation-Id: eac07e48-085b-4772-d8b9-08de82dcdd18 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|366016|376014|786006|1800799024|18002099003|56012099003|13003099007; X-Microsoft-Antispam-Message-Info: QG3Cl9Id9WgcmDrPLhDgmXHGwxXub2MLQyTKghT5kyRqv6P71B3o8pMi/7+NSNHksVsidavlbNFGqVJbs6zwbyBZz2dMOBMx7qlKW7HSvQA6IfZS8CyQUsWQiZ0RYyidfpPvCIl1TAwUfXI8emmvCHDAcLVNKKBiWUk0WuHDNUYpm42QlT7kSPFTrXifW4Nf/iLQBi31simFw9SB7oGeZ8GdZ8v4KfouHSiWS8U/shuLaBaYmj8DqdqI2bKMO1BqQIfCDZeWQWxnoD2OEYNE4vfI0XzQT2aDce9MfVeZU3IMYQdGYLOY7sML1d3J6CgxPBbRnxwBdDBDfxGPqFoJysUTi58jLvdQmzy1uwzle74m2IuDqetXRLGMLFtadDuz/kWXLNNHKmtkWcq8GSBKOF98v7Bm5MzWIM3Qg+nreL3+kHbBDYM678v3sJ9a44qRnWALxe3jFLrXTs4ad4ubqyn8qFNPInTsOAYt0HcDu2fFyw+sCwTp50tO9xax41FCXheBDkBgrJHb/yZlQj+Wu2ft+cIkiQrVtbyy/BJTUYMHcT434lzJpcE3dzn5BCmmJPeiOnvmaG2VmB6W2fRo8+yleo+TQyUhzx2WtygfZmQg6LQ74sDgJj9d4p6rUAWjBT7Oy18CXRtyVLgZq9EBAa2GIhY0y8NMYyc2QoBpm6o= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AS2PR02MB8792.eurprd02.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(366016)(376014)(786006)(1800799024)(18002099003)(56012099003)(13003099007);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?SFRQK1NZVHhwZkRhVUwyTkRFSmMwQm9wSmJzMlp1R3VkZzg3MVpTV2JUdjVO?= =?utf-8?B?VHNVWEJReE91anFqbnFSY244T1FkSXZmNjFFQnFTYzR5SVI5WlFXVGRvdjRI?= =?utf-8?B?S2NhN0Z3TTdmdVJMSldIUjlCLzBPYjBHeVZBc2UwbFdXaTVDcW9DVzByOXVM?= =?utf-8?B?VmhjUkppY0Y5bm1COWVua3lNK0hwelNXb1B1RFVZWXBrMERnUXU2VXhxbjQv?= =?utf-8?B?RTI5Zkp4RHJwV0xjek1RWm44SS9nMjVPd2pleXROcDVyczNtV3I3N0d1UkJx?= =?utf-8?B?eGdWdUZMS2NSL3d0RWF3SU1IRlBsZThiYzZoZ0dpTGhSY0YyUzd4QlY0WEM2?= =?utf-8?B?VkNBNmNIMjd5cFVEZGZBNDRqZTF5RjZOcnFSOEU1YkdWMmw1M0xQdWRCc0pR?= =?utf-8?B?RlYydmZxaGlmUmkyV1pIalhtc3RSOFY4d3JQVGo2ZEdqdUFwN0pqTnlMY2NG?= =?utf-8?B?RFIvVG1mcW54K25lVWNJWXh4MWpWcE83N2ZPNHNXcnVQUGE4Z1ZGbUtiMFBS?= =?utf-8?B?cXJ6WGdaUWkxM0VHbWdSZXk5a2luM1ROSHlJZ21oQXhrNVpRbENZTkpOS21k?= =?utf-8?B?d3ZGaDQzVUxtT09VcVVNQ0ROa3NLWEdQQlJTRzdTZkpkakczQ0VTTVpvUmlS?= =?utf-8?B?TzNqRjlPYmxqdTBjdk5MUXo1WjN5SmdVZVY2NllvT0JXS3ZMY2g3bkFYVzFm?= =?utf-8?B?aGZyMlN1NklpR2F0T0Y3WkZta2MwMmRqYmNkcnBBK3VtQW9ESm5aTGJ2UDhj?= =?utf-8?B?ckpBRk8wZThwaGtiOVhuTWk4ZVZYMlA0dWU0amh6UmwrSjBNSFpmN2xNU0JV?= =?utf-8?B?LzNoREJJUXd6bkJQOGp6WHQ3THI0RWFSaGxMVkYrTHoweFowVGpNa3BTdEV2?= =?utf-8?B?Z3Y0T1JuZWtpZGFwLzNlMCtNeUpQUHJIeGdXNWJ2eU5EUU9CNk5DNCthcTRq?= =?utf-8?B?UTBRbHJRd3BwQWNFRjBMcEdWbDhIS1pTeTJnMmxBNGVscVBJN29FSE1VOTYz?= =?utf-8?B?Qi9RQ0MyS0xmNnNmSWd4L01LZlY3N3M4ZThhSWZCWUJTY0gwQTZiQ2g3aHIv?= =?utf-8?B?bG41VTNLb0RhYmh0YXlsQS9EYmtUbUpaTm43VTFaWHd6VjBKV1lnNlRWRGFv?= =?utf-8?B?aXFEM2N1SzdGQk5RRlMvdzFQS0ZlNy9TTGpPTG5uelZwQ1JvWEV1RURxdEZr?= =?utf-8?B?ZFB3b1E1elo1a08vYVM0RVRBVFdObUtNT3Vyc25nSVpkWnlJRXB6ZlVPT01r?= =?utf-8?B?aTh0bXhlQUlrcFlzV2ZTWm5zalVWMUs3a1NDQ0hZblNXWjF0U21pVHRvNyt1?= =?utf-8?B?TW9OcCtaWjBVRS84NDRtOFYrT0ljOVdtUkZZc21OeHhuakVSUDFzMFBwcGNT?= =?utf-8?B?Wnh0RS9CeFdkamZtWnRzT1FKUE1sZU1XTm1tMWhTK29tRkdPZTFrUERndEIr?= =?utf-8?B?WkVkU0dlWnpSQ1NOdEVhWnhQaUp1TjhHQmdDK3htb25VcDdvdDNiMEFWQW94?= =?utf-8?B?RE1xeUVaVXV4MFFkdjJYZmliNlNZZ0w2V0NsUmNWeStGSm1kVVhxbFFyTzlw?= =?utf-8?B?Nm00dHFvejlLTDZKVWNtR1BKTG5XbGpEZFhxdU9OUXgwRjdybUVqNVdMOFZG?= =?utf-8?B?ZlMwUktORWRWdEpYaFdLOUQ4OGNrUHk0RWduaWNhdkRyK1JDb2FmZHNkbkU5?= =?utf-8?B?S0RxYlQwZEFrOHk1UEJkcFNVVCtJbEFTcWVpWVRHS01MMmJ6TDU0b3pjelh2?= =?utf-8?B?bmtvamFna1lYQVcyRFlRU3BlWU5YS0p2MWZFVmVLTzB6S2JjbXJyTDg5WTRV?= =?utf-8?B?c0tSTDJpWXNVVjdFY0V3dHNIL3dYdFdmNXVoeWV4ZGw3RnQ1eDNsT3R2UGpT?= =?utf-8?B?ejBiemZ1UWhsNSsxd3B2ZlVuV3Q5VGRva2VWMHp2RzJaZklPQXVySHFwOGNu?= =?utf-8?B?anY2dThGZ1FwbGoyOEplNXk5bVdJdUpyUWcwSFpLMW1OdnNjWUNPQTBHd3JK?= =?utf-8?B?aXo4d2hXeXFPNmNvWnUzaFBJSEFlOTkzVWppajBlVDJmMXNRcklLY0V5NzdT?= =?utf-8?B?SkhheDFlekNRMVhYSERMYUN1Um8wWGd4OEJyREYzZHdJdE1Tbzk2bktYQ3pN?= =?utf-8?B?U251RkhXVUxwQ3B6NEx1cjhEYjdFWEYxSVlOVUpST1FBS3VvYjE2RS9Dcmgy?= =?utf-8?B?d09WWmNHYmg4N3hRSkMzdzQxNEVhVXZ2bHc0ZVNDNlZOOFViczY2TzdBZVBB?= =?utf-8?B?dSt6VGYzS1lDMVJFK3IyS0RjbFpnVmZGTlpZbHd2eEcvdyt5UTRVRnc2RVBl?= =?utf-8?Q?jJLrm2WbEs4ic0ERBX?= X-OriginatorOrg: bbk.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: eac07e48-085b-4772-d8b9-08de82dcdd18 X-MS-Exchange-CrossTenant-AuthSource: AS2PR02MB8792.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Mar 2026 21:50:24.9340 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 89d07f47-d258-463c-8700-635ffaeca38e X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 7hmejYEQLUZlMpebLnLc+qFDW2KFtF6h8aKqDvL0hIcZYPA2NYdcv2r81Jx+vEX39vTv63QMraQOSYiPmxxhHQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR02MB10137 X-Validation-by: c.fuhs@bbk.ac.uk Subject: [Caml-list] WPTE 2026: Call for Papers Reply-To: Carsten Fuhs X-Loop: caml-list@inria.fr X-Sequence: 19470 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: WPTE 2026 (affiliated with FLoC 2026 and FSCD 2026 in Lisbon, Portugal) 12th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (19 July 2026) Webpage: https://wpte2026.github.io/ Submission: https://submissions.floc26.org/wpte/ Deadline: 22 April 2026 --------------------------------------------------------------------------- The aim of WPTE is to bring together researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. Topics of Interest --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. * Rewriting-based transformations for bidirectional programming and reversible computation. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline, a regular paper or extended abstract of at most 10 pages is required. WPTE 2026 accepts submissions in three categories: * Regular paper, reporting on completed work that has not yet been formally published and is not under submission for formal publication at another venue (journal, conference, workshop with formal proceedings). * Work-in-progress extended abstract, reporting on work in progress. * Presentation-only extended abstract, a short version of a paper currently submitted to or formally published at another venue. The program committee will select the presentations for the workshop based on the submissions. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted contribution is expected to present it at the workshop in person. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions are to be made via: https://submissions.floc26.org/wpte/ Post-Proceedings or Journal Special Issue --------------------------------------------------------------------------- For the 2020-2025 editions, papers from WPTE were selected for post-submission and eventual publication in JLAMP special issues. We will discuss, also based on interest expressed by authors at the workshop, whether to arrange a special issue or other formal proceedings for regular papers and completed work-in-progress extended abstracts selected from this year's edition. Important Dates --------------------------------------------------------------------------- Submission of regular papers and extended abstracts: 22 April 2026 (AoE) Notification of acceptance: 25 May 2026 Early Registration for the workshop: 1 June 2026 Final version for informal proceedings: 29 June 2026 Workshop: 19 July 2026 Submission to post-proceedings/special issue: autumn 2026 (tbd) Program Committee --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Carsten Fuhs (co-chair), Birkbeck University of London Jan-Christoph Kassing, RWTH Aachen University Thomas Kœhler, ICube Strasbourg Misaki Kojima, Nagoya University Rubén Rubio, Universidad Complutense de Madrid Traian Şerbănuţă, University of Bucharest Germán Vidal, Universitat Politècnica de València Janis Voigtländer (co-chair), University of Duisburg-Essen Contact --------------------------------------------------------------------------- Please direct questions to: c.fuhs AT bbk.ac.uk and janis.voigtlaender AT uni-due.de