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=B49N2aeG; 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 075A140096 for ; Wed, 22 Apr 2026 15:21:31 +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=hwpdwmVbWgDSDraiFhcrPDn7SdNH1kkY/9R2vH98snA=; b=B49N2aeGLZQQkM82egqD/W0jfiDd7QDQf13n2fP0TFDCj+TB2vSJVHuJ FSlEeWTkanWgiukbUM1VnZCqilsP2Sl0Na2TMQgnuASX5htIgv9nTM27s B2OsS5nY4xYkTAUsGF6kUwfCcphuBRmPLuGYhm6Pl8wZDUVBqjY6BBysR w=; X-CSE-ConnectionGUID: q3C5M8MbTjazk4HoBkmsUA== X-CSE-MsgGUID: J/E/LQcWRqWOe+9eZOZS/Q== 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,193,1770591600"; d="scan'208";a="273677275" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Apr 2026 17:21:30 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id BA2C7832EB; Wed, 22 Apr 2026 17:21:30 +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 18EB0832D6; Wed, 22 Apr 2026 17:19:27 +0200 (CEST) X-CSE-ConnectionGUID: QvFRMk0RSGCHFUW1+E3BFQ== X-CSE-MsgGUID: QANYcyFpRL6sP3tCaF3fvQ== IronPort-SDR: 69e8e6fe_HI6/RztAukTiTpUy8R4Z0qJ0cpAfaumKsOFNTPULwJ61tj1 16EuvyZNJDtwWEatFEcOmlu4HfPyY9dsNNf8yjA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GbAgCo5ehpg4mfayhaDoQ5U0EBRWAyB1GEWINNAQGFL?= =?us-ascii?q?Ih5kU2Ke4MVFikGCQEDAQsCNxoEAQEBAQEBA5IvIAYBBDQTAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABAQEBOQcOO4ZPDYJFg?= =?us-ascii?q?UJkCTcCAQEBAQEBAQEBAQEBAQEBARkCDQctKjgLBg8BBQgBARIUEhgcAiYCM?= =?us-ascii?q?ywUAQEegmABgiQESwQCDpdwj1oBgT0CAosigTKBAYIMAQEGBASCYth+LRaBZ?= =?us-ascii?q?wkJAYEVLohYAYV2O4Q/ggtEgRUnCwODM4EFgVwCgTsHg3mCaYImgQ6BeIRNi?= =?us-ascii?q?D2BShwDWSwBVRMXCwcFgTMzAyAKLxQZAhQdEg8EFjIdcAwnEiwXNFgbBwWBS?= =?us-ascii?q?4UaVoELgzCBOTUCAQttPTcGAwsbQYsXIBCCVS5iEw0CeQIXDg8OJS1GkkEzs?= =?us-ascii?q?0MHhB+MHpU/BhMvhASNE5lUmQYigjaLMZVkExiEfgIEAgQFAhABAQaBfyOBX?= =?us-ascii?q?DMaNIMmCUcDGQ9XjWEChBuCMYIvgmaHO7URQzQ+AQcCBwEBCgEDgXOQNIFLA?= =?us-ascii?q?QE?= IronPort-PHdr: A9a23:KQGmXRGT0/YH+dsv/9coKp1Gf95ChN3EVzX9CrIZgr5DOp6u447ld BSGo6k20RmRBc6Ft68Vw6qO6ua8AjBGuc7A+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKwEcI oFpeWQhwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyK wi9oRnMusUMjoZvJKY8xgHVrndUdOhbxGxlKFKXkh3h4su84INv/z5ftv8v+MNMS7n2c7g9Q bdFEDkoLmc56dHkuhXEUQaB/GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjqs9 6hkRAb2hSkIKjA16G7YhNB+g6JduxKhugdww5XIb4GPNfpxZb3ScNUHTmdcRMlRVihBAoShb 4sTCucKIOhVo5Xhq1YIsBCxAhSiBP70yj9QmHD5wbE63eomEQHDxgMgHtQOu2nQoNj6MKoeV Oa4x7TKwzredfNbwTTz5obGfR4hvP+CQ65/f8XexkQ0CwPIjU+dpZD5Mz+L1OkAtXWQ4ep6V eKojm4qsx98rSK1xsc3lonGmIQVwU3E+yVkwIY1PsCzRUlnbtK+HptQqiGaN5BtT8w5WG5ou zw2xacatpKhYSgKy40qyhjCYPOIb4aG+AjsVPqNIThmnnJlfqqyihKz/EWu1OHxS9W53llFo CRFj9TBuW0B2wLP5sWDSvVw40ev1zaM2gzP6OxJP045mKvGJ5MgwrM8ioYfvETfEyLwhU74g qiWdkA+9eip7eTqerrmpp6AN490lwHxKb4ims24AeggPAgOW2+b9vii2LDi50H5R69KjvIwn 6LEs57aPdwWq6GlDwNPz4ov9xSyAy273NkYmXQLNk9JdRyFgoTxJV3DIez0APm6jlixjDtk3 fHLM7j8DpnRK3XOn6rtcLJ45kNZ1QY+ztZS7I9OBL4bOvL8QErxucTYDhAnNwy0xP7qBsxg2 I0EQ2yBHrOVPL3MvFCG+u4jP/SAaJUSuDbgN/gq/PnujWI/mVAAZ6WpxYEXaHekHvt4P0qZf XvsgtAHEWsQuQo+UfDqiFmFUT5UZHa+Rb4z5jY+CI6+DIfDQJ6igKCZ0Sq0ApFafH1KBkyOH HvyaomJW/MBZDiPLsJvkDEITb2hRJUg1RGqug/60b1nLu/M9yIEr57j2sV15+3IlRwp7jN7F Med33uXQG5ohG8IWjw20LhloUNh0leDzbR4g/tAGNNP4PNJSx42OoLYz+xnEN//QRnBf9eMS Fa+WNqqGzAxTtQrw98PeUlxAduijgrb0yqwH7AVj6CLBIAz8q/Ew3f+PcN9y3Lf2KkljlkmW ddPOHa9hq9/8gjTH5TGn1+Yl6asb6Qc3TTC+H2NzWqUpE1YVhV/Xr3fXX8DfkvWscj55kTaQ rOwEbgnPRVOycmBJKVQctDnlUxISO/5ONvAfWK/mH2+CA6NxryWbYrqf3wR3CPaCEgenQEc5 3aHOhYkCSe6v2LRFj1vFVXpY0/x7OVytG23Q0EpwwyEbUBtzb21+gMJhfOHTPMTw7QEtzo7p zVsBla92M7WBMScqAp9faVcZtU97E1A1WLEqwx9OpugL6dhhlIEbwt3uEbu2w1qBYVDkMgqq WsnwhJ9J62Wzl1Pay+V05boNrLKL2n95gqvZLLO11/GydiY4qgB5Owjq1X7sgGkDlAs/ml63 ddIy3ec/Y3KDAQKXpLxTEk38x96qqnAbCQh+o3ayC4kDa7hri7a1slsDe0jzQumdNp3NKKfC BS0CMATHI6zMOEsnR6kYg9AdOtWsa8vNsmrc/+LnbOwMfx7tDanlnhcpot01wSF/GxhSaqAx Zsa2fCE3w2Ifzr6lxKlo8fx345eIXkqBG24xxTkCYlLd4VWfJ0XEiGEKtG3gPx1waPOHzZT8 0fmDFcb0ueofwCTZhrzx0kY3k0SpTmjmDCk5z1yiTAg6KSFmGTFx+36XBUdPXNTSXIkl1rqK JS5lZYURgzgYBRsjxCs4V7SyKRB4aVxKi/dWwMARBLbF0VZeomRjZGnSu9rrroD9xh0A8qmZ lXPYbfnuAcX1WvNAmtFjGQwMT+3uo7RlRZ5zmuWamtw+imKMfpszAvSsYSPDcVa2SALEXUp4 dG2Ll21Pt3yuM6Ri4+GqeemEWSoSpxUdyDvi4KGriqyo2NwUlWkh/7mvNrhHEAh1DPjkcFwX HDD6hjhYpLD3a65d+tsOFRrVxfn88QvIohlicMrgY0In30Th5Gb530CxGy1P8hbwor0ZnlLT DVN3t2GqBP91hhbJ2mSj5n8Sm3bwsZlYIyiZXgK3ysm881QIICv1IR+xXFenwLg9ETWfOR3m Sobxb028nkGjuoVuQ0riCKAHrQVGkoeNivp//iRx/a5qqgfJGOmcLzrkVF7gcjkF7aa5AdVR Hf+fJ4mWy529MR2dlzWgjX17cn/dd/cYMh21FXcmgrcj+VTNJM6l+YbzSthN2XnuHQ5yuk9x RVw1JC+tYKDJi1j5qW8ShJfMzT0YYsU9FSPxe5V2MiL35uHFJ9iXDwAGobrDLqpHD8UqfX7J lOWCjRv4nyfGLfZAUqe8BI69zSWS8/tbizGYiBCkoYHJlHVPkFUjQEKUS9vm5c4Elvv38n9a AJi4ShX4FfkqxxKw+YuNh/lU26Zqh37D1V8AJWZMhdS6RlPoknPNsnLpOk1ETxY5bWrpg/LI 2fdegcCXgRrEgSUQkvuOLWj/4yK+K6WG+qlB/HEYvOHoqpDVL3bjYLq2Yxg8TGWM8yJNXQ3F Pw31H1IWnVhEtjYkTECI8AOvxrEdNXT5BK1+yks69u67OyuQwX3o42GF7pVN9xrvRGwm6aKc eCK1m51LjNR15VEwnGtqvBX1xgcliF1XzOnEvIJvmjQT+rcl7RWABgSdy5ofJcQqftkgU8UZ J+d04iqnrdjxuY4EVJESUDslqTLLYQRLmexOUmGTEeHObKaJCHalsT+YKeyU7pV361fsxy9v yreEle2YmzFzmG2EUnyYKcV137IWX4W8JuweRtsF2X5GdfvaxngdcRykSVz2roswHXDKW8bN zF4NUJLtLyZqy1C0ZAdUyRM6GRoKe6clmOX9e7df9wd9/V2Aj9cnehZpn0xjaZWpnIhJrQ9i G7Jo9hirkvz2OLJxCdnSzJEoDUNjYnNoEYoau3Js5JHX3jD5hcE626dXg8Lq9VSAdrqo6lMy 9LLmfGWSn8K45fO8MAbHcSRNNOfPS9rL0/yADCNRlhNXXuxOGrYnUAYjPyC6ijfsM0hspa1/ fhGAr5DCA5pTrVLUAI9WoRFeco/Xyt4w+LDypdQujzm6kGWHZsSv4ibBK/IR6y3cHDBy+EDP kZto/uwLJxPZNChnRU6MB8i2tyNQhSYXMgR8HA7KFZs+wMVtiA5FzJ72lq5OFr1vDlPSrjs2 EZx01QbA6xl9S+ysQ0+fgOY/XJpwkdtwY2303fNIHbwNPniB4gOUnit7hFjPM+jGFQnKlHj+ C4sfDbcGeALhuM5Jzky0V3S5cMUS64EFfUWMlhNnLmWf6t6i10E83f+nBYV67edUslpzFNyI 8zr8isluUorbcZrd/bZfPMblwEJ1KzS5nT62LhpmF1MYBtXuCabfCpC0KARHoEvPDHgvull6 AjZ3iBGZHBJTP0y5PRj6kI6Pe2EiSPmyb9KbE6rZaSTKKaQum6IksDtIBt4zkQTi0xM5qR7y +8ESHKsbRh154bJT01PMtfeIwZIacYU7GLUYSuFreTKx9RyIpm5EefrC+SJscN2ygqoER0oE IIF8skaVsX0lhiAcoG+ce9DkE5yrA3wbE2IFvFIZA6GnH8crsezwYU2lYhRKzcBAHlsZCW64 rGEw21iyPGHXdowfjIbRt5YbjRvAJL8wnMI+S0bU2rSsKpR0gWJ4j7iqz6FCTD9a4Emf/KIf VZ3D8nw/zwj8q+wgFqR85PEJmi8O84x372Hoe4cuZuDDOtZCLdntEKJ0YIeSWGqSEbFG93zL pO2dopmPrmWQj6qF0eyjT44VZK7JNG2Mq2Bmh3lX65zi7Gj5mh5HvLlTmhYHApsreYe4q46f RcEf5cwfR/vsUI5KrC7JwCblN6pRiz+TFkeB+kaxuK8abtNyiMqZeLv03osQKYxyOyv+FIMT pUH3VnOgOyubI5EXW3vC2RQLk/R8DEhmTErZYNQiq8vhQnFul4GP3WXefx1PSZa6sokCwraI G0qWDZgAQ7Gy9KFukn1gvgT53cPw44SiLUa9iC45tiGPlfOEOSqscmH7nBmNIB+5fU3acu6f 4OHrM+Mw2aZFcGK9FXDCGnjSbJbgoQCfXgeGaET3zljYYtf5u8joQIwTptsfuQTTvVz4OjsM X09UmYT1XFLDYrYhW5b277u1eeCzkXCN8hyVX5M+JRa3IlHWnYvMHpH/f2tC92NxT3DFjlDI R9Nv15FvFtSz9YpLO65uNGaHMcUk2wE5K8tN0mDXphwqQmhQznP0wGhEaevz7TyjwkKlKq+g J5GAVZ+ERYPne8OzxlxceglJfVI5dzE6mfQJxG94TiljeKiIBM5ISL8fVf7SoPO83f/AHR0E Zw8YrR38EuHT78vy1IgLqE2uF9LPYaqPF7k4CApzJhoGL/+Ut23w1EirjANQCL4SrKp7slsu lGRUTYjfpP58P3Y IronPort-Data: A9a23:2BkXE63qE6caOr/ho/bD5bp6kn2cJEfYwER7XKvMYLTBsI5bp2QGy DQaWDqOPfvfYGb3Ld10Ot/j8ElSscDTx9JhTwY/qSg9HnlHgPSYOdnIdU2Y0wG6fpSSFho/h yk9QoCdd55sFie0SjOFaOWJQaxUjPnQLlbEILeafHg3GUk8EXlJZStLw4YRmpRvjcWyHzSDs Nbzp9y3EFK+0laYCEpNg064gE0p5q+aVA8w5ARkO6gX5gWGzhH5MbpGTU2PByugKmVrNrXiL wrz5OnR1n/U+R4rFuSknt7TGmUWQqTfNBS5kXFfXa6vmHBq/kTeBY5mXBa0QR4/ZwShx7id+ v0U3XCDYV5B0pn3pQgoe0Qw/xdWbfQXouefSZSImZf7I0XuKxMAyhj1Za08FdVwFu1fWAmi+ RGEQdykg9/qa++emdqGpudQassLFdfFBqYc4ktb4hr5I8sZGNPuGI/k3IoNtNswrpgm8ff2Q PEhUQA3Nj/9O0UWfFAKFJg5geGkwGHldCFVo06Uoqxx5HXPyAt20/7mN9+9lt6iGZ0Txx7H4 DubriKgWU5y2N+3kVJp9lqnwOHSnTjTUogRUrSzsONp6LGW7jVPVEJHCADj/5FVjGaHcvRuI F064hAK87MKr1CAR/emUQOB9SvsUhk0AIEKT7JSBBu24qHT+kOSAnUOZiVQbcQv8s4wXz0jk FGT9/viDDlr9bmUUm617aaRtTr0OC4PLGZEazVscOcey9zqoYV2iBXVUd9yHaeuktTnHjepm mjQ93Fl2PMUkNIB0Li98RbfmTWwq5PVTwkzoALKQmai6QA/b4mgD2C11bTFxc9eAry8TQG7h 1cvu+aj07lNIMqnuhXYFY3hA4qVC+C53Cr0p3kHInXM3zGk+nrme4dK/zhvKU5yLs8WfjmwO ReJ4loKu9lUIWegarJxb8SpEcM2wKP8FNPjEPfJct5JZZs3fwiClM2PWaJy9zC1+KTPufhlU Xt+TSpKJStBYUiA5GftL9rxKZdxmkgDKZr7HPgXNShLLoZylFbOEu1ZbzNin8g87aiepx7S/ coXPMyQ031ibQEKWQGOqdR7BQlScxATXMmqw+QJLbTrClQ9Rwkc5wr5mupJl3pNxP0Nzr+gE 7DUchMw9WcTclWceFXSNy48NO+wNXu9xFpiVRER0Z+T8yBLSe6SAG03LvPbpJF+rLA5n81nB eIIYduBCflpQzHKsWZVJ5rkoYAoMFzhiQuSNmD3KHIybrxxdTzvo9XERwrI8DVRLyyVscBln aas+DmGSrU+RiNjLv3sVtSR832Ls0Igxd1CB3nzHoELeWHH0pRbFCjqv/pmf+AOMUriwxWZ5 Sa3ADAZh+vppr1s+fnvrJGBjZ2NFsV8OkxkBUja8reEGi3I9UWzwYJ7cbipfBKMcEjW6amdd eFu4PWkC8I+nXFOqJtaL7Zn6Ykc9unfjeZW4So8FUqacmnxLK1rJ0e3+PVmt4pP9+d/ghS3U EfewetqE+yFF+29GWFAOTd/SPqI0MwVvTzg7f4VBkHezw0v9ZqlVXRiBTW9uBZ/HpBUbrx8m fwAvfQI4TORkhApa9aKrh5F/lS2c0Avbf8ViYE4MqTK1CwQ1VBwUb7NAHTX4baOSel2HGsEH zu2vJfG1pNgnhfsUnxrDnXc//tvtbJXsjBw8VIyDVComN3Eu/wJ4CNs4QkHFgR78jgX0sZYG HRaCEluFKDfoxZqnJdiWk6vKSFgBTqY2HTMknEwqW/wXnDxa3PoAEAgM72zpHEcojtWewFG9 5G61mrKbzTmU8Xv1CpvR0JVkefpF41r0gjkhsqcPt+kGqMiamHPmZ6eZmsvqjrmD/guhUbBm /JYweZoZYD/Ng8Su6ceGaDD8ZgxETevOzZkU/Vt2IgrDFPsUmi+9hbWIn/gZ/4XAeLB9HGJL vBHJ+VNck+b/zmPpDVKPpw8CeZ4s9Bx7eVTZ46xA3ANtoaeiT9bsJjw0Czar01zSvVMlfcNE K/gRwigIEex20QNw3TsqfNaMFWWedMHPQ3w/N6k+dUzSq4sjrteTlEQ4JCV4VOuLwpVzzCFt ljiZojX7dBY56ZCoo/OKphHViKIcY7ddeLQ6w2ikcV8XfWWO+f0ig4lgF3GPQNXALgvZ+pKh Ym96N7a4UeUk4s1Akb4moaAHZZn/c+dfvRaGeOpIWh4nRmtYt7N4RwCynHlLJB2kMFkyeumT hrlaPqhKIccSvZG5XhvcyMFOQ0sO6f2SabCiRKNjeaAJSYA8CH1ddqH0H7nVn5afSk2IK/DC hf4lvKtx9JApqFOOUM0PO5nCJpGP1PTY6sqWNnvvz2+DGPzoFe9lpb9tBgnsxfnN2KlFZvk3 Jf7WRTOThS+l6XWxtV/sYYpnBk2Dm54sNYgbHAm5N96pDCrPlEodd1HH809NahVtSju2LXTR jLHNjIiABqgewV0S0z35dC7UzqPAuALBMzCGQUo2EGpcAazOpKLBepw1yVn4kouQADZ8sOcF Yg89EHzbz+L+bM4ddZLs7b/ya1iy+jBz30FxVHlnoagS1wCCLENzzp6EBALSSXDFNrXmV7WI XQuA1pJW1y/VVW7BPMIl6S5w/3FlGiHI/QUgSazLBL3nL6j9NcYktbCY7mqlLoecM4NObgCA 2vtQHeA6HyX3XpVvrY1v9Uugul/Dvfj8g2SMvr4XQNL902vwj1PAi/AtXNnoAIeFMp3GVne0 DCnpWU9bKhAAF4Ew6WYkG3l5LooOk/hzFj1YMrXrzXF1xUyicXaE/RvIMQXNrmow5XeU45kr Pv+oapfT5B6dNcpmNWmiskmmw== IronPort-HdrOrdr: A9a23:vwjrHapXDyOKS9qInAfcNLUaV5vRL9V00zEX/kB9WHVpm5Oj+v xGzc5w6farsl0ssREb9uxoS5PwJU80kqQFmbX5XI3SJTUO3VHFEGgM1/qA/9SNIVyaygc/79 YcT0EdMr3N5DFB5K6VgTVQe+xQuuVvm5rY4ts2oU0dKz2CJ5sQjTuQXW2gYzZLrUR9dO8EPa vZwvACiyureHwRYMj+Ln4ZX9Lbr9mOsJ79exYJCzMu9QHL1FqTmcnHOind+i1bfyJEwL8k/2 SAuwvl5p+7u/X+7hPHzWfc47lfhdOk4NpeA86njNQTN1zX+3KVTbUkf4fHkCE+oemp5lpvuN 7Qoy04N8A20H/VdnHdm2qc5yDQlBIVr1Pyw16RhnXu5ebjQighNsZHjYVFNjPE9ksJprhHoe l29lPck6ASIQLLnSz76dSNfQptjFCIrX0rlvNWp2BDULEZdKRaoeUkjQto+a87bW/HAb0cYa VT5Jm23ocYTbraVQGRgoBX+q3nYpxpdS32DHTruaSuoklrdT5CvgolLfck7wk9HaIGOuV5Dt v/Q9tVfZF1P7wrhPFGdZU8qI2MexrwfS4= X-Talos-CUID: 9a23:9cdgAmHshdbdG9SSqmJe6mAuP8N9SEby51f+HnDhSksyYpOsHAo= X-Talos-MUID: 9a23:zn2+gAjmU5lAtqSW+kl/ZMMpDe5O0q+/Jlg3tcsdg5KYHiVeYDmDtWHi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,193,1770591600"; d="scan'208";a="144795306" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDH+O1as3ty3cTXFWmX2DGIVD0woUE4AzHpplN?= =?us-ascii?q?jZaj7ehWr/2/wcO7khbxC/Xk5B4hjShEZcRqS2+YjBi/lRCazesVGo9X?= =?us-ascii?q?cI3DQF02p6QICTTwHMJLhDYN+sR8qnPabg7ohT1YAj4tvgeCIIOsvB0V?= =?us-ascii?q?FtC76Bb6CMKYcZ4RyAD2YpXQ=3D=3D?= Received: from mail-norwayeastazon11023137.outbound.protection.outlook.com (HELO OSPPR02CU001.outbound.protection.outlook.com) ([40.107.159.137]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 Apr 2026 17:19:26 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=v+InGnVB0keaPSmvnS/3hqr0neg5AphrXQdaTVNMpsFxybdAZaHlNOBwsWeoHn2XFqrVp0QWIvqGXEwxvWPR4W2KL9SugvmMGrtdgwRMIkuRGTubnzwxsjkhQ41pCJuwJFAPwVx+pyPVM4rUECdIOMhAcwTVXNvRg423D43MMAu+XQ0npK0w902wFDZZYc4LMDB3/dy5oYV1+vvY4Vh6BDAwUlTITNrVFtG5Cso+G25r2mbFrru3zrb0i2dS+pEUm85kl1Oe/RMq2j00oqbhml8yoIoshyShQBJdmh1N+lwiQTd60c1M7t6pyJu8apGL4h2Lb8J6PDyFowtDi/6YCw== 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=hwpdwmVbWgDSDraiFhcrPDn7SdNH1kkY/9R2vH98snA=; b=VPZpSEKk2Uyk9WFvY2A0pAmQ1P8niE3Zxbe3BsNLyP8lmcQGOF5v0CIcBVMtSWaIaYv6fdqXRrsli5Ie6wOvVNsfzhmpfqB7mqFppzpg71K1IOH/KEackDDy/k4BD6s0uK3a2DR/N0O++txbTp6e+ql9yY9MupTVzmxRf0SVfqmcTXDBXjmGBHzMlJOBI2eNzS3hH+OgcDxLivocCINcgt9+cEj7bk3dvjg1gr1t7PHS+7fFrUbsi8j/r8CGWVOCr9Vfkjz7SvqoQCQTiV0cP6kZk39x2xNE1DRHtJtq+ww73gY5JCzQuxtBicvu1ECalh78LL2evLZazfBa1kEBrA== 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 DU0PR02MB9465.eurprd02.prod.outlook.com (2603:10a6:10:419::18) by MIYPR02MB12355.eurprd02.prod.outlook.com (2603:10a6:290:78::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9846.16; Wed, 22 Apr 2026 15:19:24 +0000 Received: from DU0PR02MB9465.eurprd02.prod.outlook.com ([fe80::f916:57ca:8c31:b261]) by DU0PR02MB9465.eurprd02.prod.outlook.com ([fe80::f916:57ca:8c31:b261%3]) with mapi id 15.20.9846.017; Wed, 22 Apr 2026 15:19:24 +0000 Message-ID: <1925ad25-fdf2-41f6-9310-527001759ab8@bbk.ac.uk> Date: Wed, 22 Apr 2026 16:19:23 +0100 User-Agent: Mozilla Thunderbird From: Carsten Fuhs Content-Language: en-GB 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: LO4P265CA0268.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:37a::20) To DU0PR02MB9465.eurprd02.prod.outlook.com (2603:10a6:10:419::18) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: DU0PR02MB9465:EE_|MIYPR02MB12355:EE_ X-MS-Office365-Filtering-Correlation-Id: 9f2718da-6bf6-49f3-dac0-08dea0828933 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|376014|786006|1800799024|366016|13003099007|18002099003|56012099003; X-Microsoft-Antispam-Message-Info: nP+FtO8PmUBS1YP1QvlypvDkO4ssaGEfO6MviND0+IhopOapuOchz7pszzfiFxTLUr5i0W8tI/xWFpLtkLU7yELFwY65Qu6es+aK8ZxodDUsiVaFO5czCapt5Y0LmxdKibf5wQs/XKDOz/NBg3Y4AdXuzzsDEeMt9qZJcAtD2ksoCqyO5PTSEbjSANqwz0xYY848/1mGD7NqCeeITNJ7jlDkLzZDH2oUODsANRzDm6IoCvSmUqS7Oe8LyQnfMZscYSOA0Rc9lPLJSqCHhb9UCmnwSZZx0QjYrKiEfbXNcREWqpTl1Qio2opbaf/2xkxjLhcd4pDuu/wRhYo4okyavu824WuHISCJV7ThW2ztRhCWT/X3t2nHlx02cAQlvdFS9ZmhMGBaVF4zNvXzMKxTVjUl4hC1EuTewBF9PshJ2vrUXfE0K07tWpaWIVa+e3CdsoN6uaqTW/RShGSF4iQfpZF0o7gw850MVnwVUzJx8zegBwBnT/XNPeexEywnlo+O5bqqUUFyaQIby9mRsRn0LaLn6ERYKs0U2QPWqfKYIKODrWGy5eEJ9NRLO3/oC+G1FFoecEDFTx72ygW5HUDNgkuLyF+crUXMMwFBLlYn1fmk8cP/Ne6IZPaJFIqazL2JfGVCE5PMmp/c7cyAcU4aNllxQp+04gBrcm0lQiX7Fok= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DU0PR02MB9465.eurprd02.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(376014)(786006)(1800799024)(366016)(13003099007)(18002099003)(56012099003);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?cGcrNUpPQUJnNFhLcjluczNKREJXdTdQT3kyQldEbXJZK0EvNHVrZGZkZ2c0?= =?utf-8?B?S0pqQVplaitrNC8xbU5WV1dVYUZZZkRzKzJkRGl5OXVvL3g3bzMxaTVQbzdV?= =?utf-8?B?SHNOSWtmRHhXOEhoUVQ3Z2VmV2huQlg2QS9lNFFnWVNuSHFHMmhCWHpxbXpD?= =?utf-8?B?ckVLVU5DdTRSN3Q3Rk1vUURQeUJsZGhBWGI5RmxxNGFhMnFyeEprOS9td3hk?= =?utf-8?B?cW5ReDQyYjg3WmtoeStObGZXdEtxQU11MTM3YUFnWUZNOUJnNWQ3YUtwVHBM?= =?utf-8?B?V2dyMG5TUFNMa2syZG1PYjUxNVNTT0R0a2hQY1NaRVBGa2pQWFdyY0FOL25h?= =?utf-8?B?TGRtSnY2TWM3RFZZSVdaVEJkdy9VZm5PSm1NZTBJZVV2WWRRZ21QaDFUZ0hn?= =?utf-8?B?UTh5OXEzVkVoZHg2OUZPbWQra2RTMHdSdzM4c0RCNHg1SUMzMDdVakFISkVE?= =?utf-8?B?bU1QSDZkL1hFZ29MZU5RWWZsVmlnUlJBWkRhaUJMdzBVTUhEdGhNVWhUMnY3?= =?utf-8?B?cGRoQlJyRkhSSkIrOWxCdVlJQUNiYUtLVW9JQkl5azhmUEtsOGNPVFQyMnBQ?= =?utf-8?B?UnZsRXRieU9JeDZ4YzBZN0lWQzJsM2pHTDJXR1NtbmlUUUVJWFdjM084Qnp4?= =?utf-8?B?ekd2NWhkTVJvM2hRb21YZmlHRmlMZ1JaRUhVVmloYUVFSHMrSVRHNFEzOTZE?= =?utf-8?B?a2NvYjhIejNyT0JLcGhWRXNHNGhtZUN2Zi8reGUrVG0vUm5IYm1OalN1MFlZ?= =?utf-8?B?alRCVUNHL01oUkZEdjRWeklYSmRtckltVnBDUVZyVU01WlVoRlJJWk5sNldy?= =?utf-8?B?ZEtGTERpa3UranY3N2ZpeCtZNnFkUndlQ3JoTnFzcnpDSUdQS1VxMTloTkJm?= =?utf-8?B?WXViUjQ0MFMzWEVEajV0MmxsN09BMDN4VEtmby9aNGtPM1hBeXNhV3NBWkFT?= =?utf-8?B?VDhCUzBKM0VmanIyb1N0cHV4d1g4cUVHZjFFK0xuNERRRFdjVzM5b0ZLa3NP?= =?utf-8?B?VVZsNHhHTkFuSnlLL0N0eTFXSWVieVdGTUNaK2pTZDNJMm56S25yRis3VjR4?= =?utf-8?B?Qlk1Sm9ic0o5dUVtamFSQVJvNzlEL2Z5UFkzYVdKMWx2bVNJc0hHaHN3NGdE?= =?utf-8?B?T2lGbkkxckcrZXRPbGdiYzJWNzlBM040Q3RWaWhBeEhHL3ZubXlGSUo3cWxO?= =?utf-8?B?QmxCM056Ulp2Ym81eTVpdXljUGZabG1rUmQ5T1pBMzJEenQ1d3pQaW9TMGM3?= =?utf-8?B?SExibVR0elBkd2RaWDNReHE1UTJuaGdVS0J5MXI4SEw3RzdQbzhlL3c0YlhL?= =?utf-8?B?SEpaWVdWdXVXVjdSTWpEUFJVTkQzUTRNVVdhQkROTHorU21kV29rK253WFFN?= =?utf-8?B?MjdvakhvK2t4dHUyNngwcVBhbVNJUHVLMjhSTnhTaGk2eEE5M0t5S253RU02?= =?utf-8?B?SW9JWmFzZnp5SytlWThNTk5KZmREK1dYd2hXOTE1Q1pua2hISWlUWGl0V2Y4?= =?utf-8?B?WE5YeXVKNWtBd0pmS1FVVTlVaGNYdUN4NzB3eXRSNURQcXZkbk1wSEl4MEVX?= =?utf-8?B?cWF1OExWSWh4VnZiOHhmUFRGOUs1UlVkYyt3WGNCeTRXWC9SeXlxTmo1QlU3?= =?utf-8?B?Q01nemhkTTZ3bnZpSmhYNDdadnBGYi9LTC90SlFVYzVaN2NEWUZqUUdPamQ2?= =?utf-8?B?UHNoU0N6MkROMjNVeDVtQkVHYm8vM3JMN3A1allOamg4WGdZcmMvY0l5Mnht?= =?utf-8?B?bDJSU3BDdVpXWEREdkZGTmZvWldpa1JaUzVhek9YL3BKUnhIekZLb1JMU2xo?= =?utf-8?B?RVB6a0ttWEt4SHoxVUthdHkwUkxyZy9YNUpnTWJzY1Rla29OeXNjallaRTA0?= =?utf-8?B?alVSTk1ETVFIckFhU3ZVTDhDWVk2U2ZOUW1vZXNydGxMcnZzWGFTV0xCcHZJ?= =?utf-8?B?NHR1NDRQb2k3SVFESG5LTGNsQnZjNFB5dkM0NWNjSEpDVmQ0K1NWcm9teTBV?= =?utf-8?B?M1lYOFVSK0xxczFBTlY2Vk54OUVDbEpzSWM3aDFNVFo2QU94c2d5bmQ5c3JW?= =?utf-8?B?UVRCOVd4NlpINktDZmQ5UzRvbGVNU0dOSDNyYkQwdko1L3VLZFUyYTJwNVhl?= =?utf-8?B?aFZBSGVvYTI0TGQ2SloxeXJMRSsrUkdpd2pzMGxGSWVEWkhQQ0JjWkpTb0Uv?= =?utf-8?B?eVJXWUZzTWl6cG1SL2RvZUlZamg0aENFeUJJNWZGUDdxNU1xbmcrSW0xaDFP?= =?utf-8?B?aGZyaVgyMk9YeUlCTEdqMjNNcTV6a0JWR1ZOakN3L0VwQlY2WFBwWUcxM1Zu?= =?utf-8?B?U3lwUDNEc2U0L3BBTmFLeVRlNnBBeWFEbFZzK0NiUjF3cjNSZGFTQT09?= X-OriginatorOrg: bbk.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 9f2718da-6bf6-49f3-dac0-08dea0828933 X-MS-Exchange-CrossTenant-AuthSource: DU0PR02MB9465.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 22 Apr 2026 15:19:24.2804 (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: oXa0C6kkPHo6qlBWzIdtgIe0YejK+8dcx6Kb0p47Zx+2zVXmmEmRDV5IacWdYePxUdUd1zXaGO3k4HQFkSrpHA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: MIYPR02MB12355 X-Validation-by: c.fuhs@bbk.ac.uk Subject: [Caml-list] WPTE 2026: Second Call for Papers Reply-To: Carsten Fuhs X-Loop: caml-list@inria.fr X-Sequence: 19495 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: =========================================================================== 2ND CFP UPDATE: Invited Speakers, Deadline Extension to 29 April 2026 (AoE) =========================================================================== 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: 29 April 2026 (Anywhere on Earth) *EXTENDED* --------------------------------------------------------------------------- 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. Invited Speakers --------------------------------------------------------------------------- Nada Amin, Harvard University Nikos Tzevelekos, Queen Mary University of London (joint with GALOP 2026) Important Dates --------------------------------------------------------------------------- Submission of regular papers and extended abstracts: *29* 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 Lab, CNRS, Université de 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