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=e+qbNalJ; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 170E84008D for ; Fri, 29 May 2026 21:12:29 +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=KrrMVihVmjkVsUhds+pDCURzZ2qsE5XIRt2z2cbSlko=; b=e+qbNalJxy0omIGONSOOtAArY/FiLqFTfaRSbYmtjRehsz+0f0B/yg5K OyzI2ZiHImQjqO/Mzn0OhWnvg7PKimrG4ZDCVqwnwJBPlIzWW3YZCqYLt RIT/GrI1FbD2qneHi1CHlEBrNsj62/NMCnieAq9p3YEd8fZvBXv7iitOE I=; X-CSE-ConnectionGUID: KOgC97ncQ96eRxzfAObjHw== X-CSE-MsgGUID: kV4+yTI8TpOJ+BELeliuDw== 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.24,176,1774306800"; d="scan'208";a="278959084" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 May 2026 23:12:29 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 5D0BF82653; Fri, 29 May 2026 23:12:29 +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 BBD8682653; Fri, 29 May 2026 23:10:39 +0200 (CEST) X-CSE-ConnectionGUID: cQ0jNT+pRhqamUMOH//ekg== X-CSE-MsgGUID: HENkI21mRa6aI5ZDm0kCVg== IronPort-SDR: 6a1a00cf_HywHbOxYxKae+IetNflDZUZZ9G6NWZCIcVZwVHWbPriaDov MKUZK7vwboWfJVx0luWI6XSWuifI97m1vhyf6jA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GDAwDr/xlqfoCfayhaDoQ5U0IBRWAyB1GEHDyDTQEBh?= =?us-ascii?q?SyIeZxJgnkDVwYJAQMBCwI3GgQBAQECBJI1IAYBBDQTAQIEAwIDAQEBAQEBA?= =?us-ascii?q?QEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHDhIphk8NgkWBQoEmAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBARkCDQeBCQYLBg8BBQgBARImGBwCHwcCMywUAQEegmABg?= =?us-ascii?q?iQESwQCmEGPWgGBPQICiyKBMoEBggwBAQYEBIJi13cuFoFnAwYJAYEVLohZA?= =?us-ascii?q?YV2O4ZLRIEVJw6CRIF0gVwCgTtygw6CaYImehKPR4FKHANZLAFVExcLBwWBM?= =?us-ascii?q?zMDIAovFBkCFBwBEg8EFjIdcAwnEiwXM1gbBwWBS3aBBlaBAoUYIx8DQoEtg?= =?us-ascii?q?X8KgSFFAgELbT03BgMLG0GMKRoPg18OE4EvD2ySezOzRQeEH4whlT8GEy+qa?= =?us-ascii?q?4gDkQMijWebDAIEAgQFAhABAQaBfyOBXDMaNIMmUAMZD444J4YohRWHO7p9R?= =?us-ascii?q?DQ9AQEHAgcBAQsBAwuBaJA0gUsBAQ?= IronPort-PHdr: A9a23:M9BqAhF63c54q23hku4Bbp1Gf8tChN3EVzX9CrIZgr5DOp6u447ld BSGo6k20RmRBc6CtKse06KW6/mmBTdcp87Z8TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgXO voHf3Jeu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyL BKrpgnNq8Uam4RvJ6gxxxfTvndEZ+tayX5qKF6OgRrw+tq78Jp//yhNof4s+MBNXKrgc6gkU bBUCSktPnwo6sHsqRTMQgyD62cGXG4LiBRIGQ/F7B/7Xpf1rCT3s/d21TeZM8PrU706QCyu4 ahzRhDnkSsKKTE3/nzPhsN/kKxUrhShpwdiw4HPe4GaKOB+fqLGctwEQ2dKQ9tcWDZAAoO4a IsPEvYBMONFpITzu1cCsR2zDhSrC+3y1z9InWf20rMm3OQ9Hw/G2wkgEMgPsHTSsd75MKgfX OSwwKTO0D7Nbe5Z2S3l5YbLfB4ur/GCU69uf8XNxkcgGBjIjkmTpIH/Iz+ZyvoBvmqd4uF9V eyvkWknqwRprzWx3MgskJLJhp4LxVDC6C53wJs1Jd2jSEVmZtOrDIFcty+HN4t2WcMvWHpnt z05yrEco5G0YDIGyIkkxxPGbfGMboeH7A75WumLPTd4mGxqeKi5hxuq7ESt1PDxWtS03VhKr idIndbBumwO2hHN98WKSOVx8lu/1DiA1A3e7uVJLEM7mKfHJJMvzLw9moYcvErDESH7nEP7h 7KYeEUj/+in8eXnYrP+q5+TNo90lgH+Mrk1lcClAOQ4NQ4DVHWY9+SkzLDu8lH1TK9XgvEqk KTVqo3WKMQfq6KjHgNZzIUu5w6hAzqnzNgVk3wKIE9ZdB2djoXkPkzCLOz9APqwnlihlDJmy vXbMrDiBJjGM2LNn637fbln7k5R0Aozws5b55JTErwPOe/9VFXrutLEEhM1LRK5zOj7BNlhy 48SQ2WPArKFMKzJtl+I++QvLPSWaI8Nojb9LOQl6ODygn8lmF8deq+p0YEQaHClAvRmJ0KZY X3vgtsbDWgKuQ8+QPTriF2ETzFTe26/Uq0g6j0hFY6qEYXOSpqwjLGB2Cq3BIBaan5FB1yUF HfnbYSEW/MCaCKIJc9hlyQJWqS7R48vyBGutBT6xqF8IeXP+S0Ur4js28Rv6+3OlhE+7SZ0A NiF02GRU2F0mXsFSCMx3KBmuEBy1lOD0bVjjPFDDtxS5/ZJUh8gOpLGzux6DcryWgPbcduTR lamWM2qASstQdIp398Of0F9Fs2+gR/Z2iqqB6YZl7iKBJwv7qLRxGPxJsZ4y3bezqYtlVgmQ s1VNW2nnKFz7QbTB5TRn0WfjKmlbb4c0zLV9Gef0WqOu1lVXBBoXaXKQ38fYUjYo87h603aV rGiEa4nPRVfycCBMKVHctjpgk9HRPfnIdjeZWWxm32+BBmSxrKDcpDle34B3CrHCUkElAYT8 WubOQQiGCusrX/SACJtGF71ZEPs7PV+p2i8Tk8pyQGFcldt16Kv+h4SmfyTVe8c3q4FuCcmr TV4BlG938/KC9qEoAphe6Zcbckh71dA0GLVrxFyPp+hL6BnnlMQawt5sE3w2RtrFohOl9Amo 24vzAVoM6KXzEtMeSuB057oNbPbMnLy/Aiha6POwF/TzMuY9LoX5PQjs1XjshmmFko8/HVj1 NlYy2GS64nXAgQPAtrNVRMr5gB3vPTTZC86+oXf2FVoMLKoqXnZ1tsyQvY9xxCmOdpTLefMH wu3EtYTDcWqLOFvhkOkdAksOOFJ6LVyNMqjMfKNnrOoeK56kS28jHhG5o9V30SXsi5tTeiO0 YxBi8mC2QyJazfxi02wmuT2gpxfIxsbAmr54COiOa0VLqZ1ZMMADXqkC8yx3NR3wZD3HzZT/ VunQlcHw9OBeByIblW70xcUnU8TqGSPljG/0iR5iHczo6yWwCHUher4MFIIJitQT2BmlX/jL ZLxjt4fGkayK0ASrjadwX3S5Ylgj4FWDk2VaGwOQgulAXtlV/6bv6CZf8NJoL01sT4fBO/6b 02aUZb3qRhc2iilAmgIl2NzTC2jppisx08ys2maNnsm8CuxkaBYwB7e4IeZXvtNxn8dQzE+j zDLB1+6Nt3v/NOOlp6FvPrtH3m5WMh1di/mhZiFqDP9/XdjVBb5ke2zgfXtGwt82CS9yto5H T7QokPEa5Lwn7+/Lfohe0BpAFHm7M8vEcdwj4srrJsa2j4TjdOI/ilPin/9ZO1Swrm2d38RX XgLztrStRDiw1FmJ2mVypjRcU6l+vE5PfKHOjtPnCUg88pNFaGYqqRemjd4qUa5qgSXZuVhm jAayr0l73tyb/ghng0rw23dB7kTGRIdJinwj1GT6Mj4qqxLZWGpeLz21UxknNnnAqvQ6gdbE G30fJsvB0oSpo12LU7M3Xvv64rlZMiYbNQdsQeRmgvBiO4dIYw4l/4Djy5qcWznunhtx+k+h B1olZa02erPY24r8r+5GTZSPD6zbshV5zKsxadSk8CK3py+S417E2ZDV5/pQPS0VTMK4Ki/c V/WT3tl9ybdQOCPTmr9oA98onnCEo6mLSSSLXgdlpB5QQWFYVdYmEYSVSk7mZgwEkarwtbge QF3/GN0hBawpx1Sx+ZvLxS6XH3YoVLiYXE6VZiEBBBc7UdL7AHIMobNi4A7VzEd5ZCnoAGXf yaQIQpVDXohUEaHQVnoeKStr4qI462TAeywKOHLaLOFpLlFVvuG8pmo15Nv4zeGMsjn0mBKN /QgwQIDWHl4H5+cgDATU2kMkDqLaceHpRC68ykxr8al8f2tVhi9rYeIDrJTN51o9XXUye+Ic eCNhD1RIzxbkJoHg2LLgLQSx18djShyeiLlTexG7HaSCvuNy+kOVU5TYjg7LMZS6qMgwgRBX KyTwsj40LJ1lL99CltIU0DghtD8YMULJ2+nM1aUTE2PNbmAOXjK25SrOeXlEeIW1bgF8UTq6 WX+cQerJDmImjj3Wgr6NOhNiHreJxlCoMSmdQ4rD2H/TdXgYxn9MdltjDRwz6dn4xGCfWMaL zV4dFtA67OK6iYNyP45FXFB9VJvJ+rCki3f8uqSefN0+bN7Rz95ke5X+iFwwP1b8SFfbPZ/m 23bpZhzoBv12vnKwT1hXh1Urz9Nj4/epkRuN5LS8ZxYUGrF9hYAvgDyQ1wa4sFoAdr1t+VM2 8DCwejtfSxa/YueroMMQtLZI8WdPD89PAr1TXTKWRAdQ2fOVymXhlQBwq3KsCzP6MB88t+1x dIPUuMJCARzT6tFTBwjRJtbft92Rm92zOTd1ZZQoyL49F6IGaA49tjGTq7AXK+pcW7Dy+ECP 1xRn/v5NdhBa9e9ghQ5LAE8xMOTRALRRYwf+3U9KFNr5h0LqD8nEQhRkwrkcl3/unZLTKztx 0dkhFcmObZ/s2u8q1YveAiQrXNpwhBowIfr3WjKImy2cPbVP8keCjKq5RI4asqpGl8sPwPux Rc2ZG+cH+ADyOY5PWFz1l2GsMMWS6cFFP9KPEdLl/rPP616gxMB80DFjQdG/bWXU5I6zVlzK Mf+oS4YgFBtNIZtd/6XefABi1FUgujmUjaA7ukq20deIk8M9DjXYysUoAkTMaFgISO0/+tq4 AjEmj1ZeWFKWeB46v5t80o8PayHwUeCm/ZbLVutMuWEM66Dk0/7rfayGgkb6xtQzg9C4KR81 tolfwyMTUczwbCNFhMPc83fNQVSaMkU/3/WGETG+enA2pN6OYyhG/ugEbfI7f5LxBv5TUBwR dRE599JBpS21UDEMcrrZKUIzxkg/kWjJVmICuhIZAPekDoDpJLartc/1o1cKzcBRGRlZHnvo O+P+Ulz3avFBY1mMRJ4FsMeO3k7WdO3gXtctnVEV3ys1/4BjROF93n6rzjRCz/1a5xiYu2Vb FViEoLTm313/q6ohFrQ6pibKXv9MIEosZnB9OMBj5yNCLVdRv9gsA2P/usQD2zvSGPJHdOvc tLobJIwaNXvFnugenuEswoPF53aAY71d+6PnB3iQptSvM+Dxjc/OMShFzYYXRBtu+UE46E6b goGKcleA1agp0E1MKqxJx2d29OlTjO2KDdYePJYyP2ze71dyyd/Jv//0nYrSYs2ivWm6UNYD o9flQnQnLzwAusWGTi2AHFWfB/D4DY0h3Q0fPhn2f8xmVvJqQVOb2jNJbYvMCoc+IhhTVKKf ScqUixhHwDa1cybpVfyutJatypFw4QJi6sc6CC45tmHJ2vxEK2z9ceI6Wx5NYJg++spdtW9a sqe6MGDxHqGFMKW6kvdF3flcpgS0tlIfHABGKUOxT5jYYpe/tMeoUspCJVkLuQWWvB1/+KkN WI8X3xVkX98NcvI3SRc0L21g+KIz07JIpp+aEdW4tIe05McS3AkOCpG/f36DtyEmTPcETpbe F9Lv1YLuVtl9Mc4f/i7stDBFMYekmcP8fwoCnCZHcEwrwmpDTzPyVngFqf7mrTwj1sLlaDij oFAChAnURAPlaELzANtIbVzYcH4UabAuDzOfEi8oWG/kYNOxXF28vXsTQWiJ7ed7TO6VTAA8 3oJQ4MJ0GvYCZkZjwt+buAsuUlIJ4elPE354m59r2yMN7OyVoaizBA4riReLxo= IronPort-Data: A9a23:XPXY/a7VnaTUV5VMZbIVWwxRtFHMchMFZxGqfqrLsTDasY5as4F+v mEYDzuCM/aLYzfwLdAiPIy/p0gO6pTQzYBiT1NkrykzEysa+MHILOrFEkqhZCn6wu/rHBs2t Z1GAjXjBJlpFSGE/k/F3pzJ9yQUOXSgH+KkYAL8EnkvA1ciFGF50EwLd9cR2uZAmcK+Dx6Gp eT8qsjePE7N8zNvOwr40YrawP9UlKq04m9wUmAWP6gR4geDzShNVvrzGInoR5fGatkMdgKFb 72bpF2J1jux1wsgDNqjjoH6fiUiKpbOPRKDg2ZhQKOrhB5PvEQais7X49JBAav/o2zhc+FZk L2hh7TpIesaFvSkdNAmbvVtO30W0ZtuqOaWeyDn2SCk5xaun3PEm52CBaytVGES0r4f7Wpmr JT0JN2RB/wqai3fLL+TE4FRasofwMbDN7pHuFdcjinjDe8vRK3mZIWNotJb02Jl7ixONa62i 8sxTgFXVC6YOTZyYg9OTpUjgO2vm3/zNSVCr06YrrY25G6VyxFt1L/qM5zefdniqcd9wh7e/ zqZuT2kU1dDboz3JTmtqhpAgsfE2y3mWJk6Hre7sPdhxkCQroAWIERKCgrk+aDk2yZSXfp/B moX23B3qJI7qkWKE+vRWkW7i0CL60t0t914SLZgtF7lJrDvyw2eHy0PSiNLQMc3sdc/Az0sz F6A2d3zbRRkubiRDHac7au8tiK3ISFTLGkYZCZCQxFt3jX4iIQ6jxaKSNF5D6ekg9TuBTjix DbT9XBk3OxJ3YgMyrmx+k3Bj3S0vJ/VQwUp5wLRGGW48gd+Y43jbIutgbTG0RpeBI2gFlung DscociH5eUzKLat02uAQ+pYSdlF+M253CvgbUlHOb5JythA03uqfIQV5jZkO054P88fZTb7Z 0mK4FsLv8YJbD2tcLN9ZJ+3B4Iy16/8GN/5V/fSKN1Tfpx2cwzB9yZrDaJx44wPuBd8+U3cE c7LGSpJMZr8Ifk7pNZRb7pBuYLHPghkmQvuqWnTlnxLK4Zym0J5uZ9eawHSMYjVHYuBoQ7P9 M1YOdfCwBJFSIXDX8UjyqZKdQpiBSFjW/je8pULHsbdeVEOMD96W5fsLUYJIdINc1J9zLmQp inVt44x4AaXuEAr3i3TOisyOOOxAMguxZ/5VAR1VWuVN7EYSd7HxM8im1EfJ9HLLcQ6laIuH coWMd6NGOpOQTnh8jEQJ8u15o97eRjhwUrEMyO5aXJtN9RtVi7YyO/CJwHPzSgpCjbolM0cp 7b76BjXb6BeTCtfDeHXSsmV8XWPgVYnlthPAnT4eutoRB208axBCTDAsfssEsRddTTB3mS70 iiVMzc5pM7MgY0R9euQjICihrasMfFaG2RYO2/l95e3Kijo0W6xyqBQUOuzXG78VUGl3I6Ad Olq3/XHH/lfp2lzsq14CKdN8aIyw/DNto1q5F1oM1uTZmv6F446BGeN2Pd+k5Fkx5hbiFOQY V2O8NwLAoe5EprpP3BJLTV0c9nZ8+8fnwTTyvEHIE/awitT15jfWGVwOyi8sgBsHIFXAqgEn 9h44NU37jahgCUEKtyF1yBY11qdJ0w6DpkIiMsoP5/JuCEKlHd5fp3uOg3n6squavJNEHUQD B26ua7gv4lYl23+KycdNH6VxudMp4U8iDYTxn84Glm5sN7khPg24R5vzQoKXjlllhVq7uYiF VVoZmtUJLqP9QhGnMJsfX6hMCAfCQy7+n7e8UoolmrYflj1U2DyLH8EFsSM9VFE81NNI2FS7 ZCD6WPfST2xVtrA7igzfk9Hh83Tb8592TPfue2VRs2lOpg0WiXkiamQflg1qwPrLMcypU/fr 8xowbpAUrL6PisuvKELMYmW+rAOQhSiJmYZY/Ve0I4WPGPbIhee5COvLh2vR8ZzOPD6y0+0J MhwLMZpVR7l9iKvrCgeNJEcMY1Pg/8ly9oTSIzFfVdcneOkkQNol5bM+gzVpmwhGYxumPlgD LLhTWuJF2jIiEZEn2PIktJ/BVO5Rts5fyz54vG+9bQYNpAEsdw0S3oI7JmPgyy3PjdkrjWuh yGSQ4/Nzudn95ZgoJu0LIVHGDePCI3SUMamzVmNlupgPPL1DNf2lgIKq1PYERxcEpkPVv9Wy 7mckt7F83nUnbQxUlyAvaC8OYhWwMaUYs97G9LTKSgDkQSgRsPTvhgn/UqpI8dzlOIG3NGtH VelYpCOLdQ6CslU1SBXYXIGEjI2Kaf+XoH/rwyT8tWODRk811TcDdWFrHXGU0BSRhUqCbbfV DDmnumI3c9JirhDHzkGDKxWOIB5K1rdRqcWTd39mj2GBG2OgFnZmL/duTc/yDPMGF+WOd3b5 M/bex3AaxiCgqHE49VHuYhUvBdMLnJcg/E1T30N6exNlDG2I24XH9szaaxcJMlvrRXz85Xka BXmTmgoU3z9VAsZVyTM2o3oWwPHC9EePtv8GCcSwHqVTCWLH6KFPqpq83ZxwnVxewa79tqdF /MlxiTSMCSyk7ZTfsRC1szj1K0jjrnfy2kT8E/wr93qDlxMSf8W3XhmB0xWWTaBD8jJk17RK HMoQXxfBnu2UlP1Dd0qbks99Mv1Z98z525AgeazLNfjV0Gz69Z48MenYcrOiuVaKsMXOLQJW HX7AXOX5Hyb0WASvq1vvM81hahzCrSAGc3SwGrLW1gJh6/pgog4F5pqoMbNZJhKFM1j/5f1n DOvpXE1QlmGQKyU8KPD0h0HovqdTVpVZwwkT2fDSfvumxY6idHSPQWppO4+xVcctIC713hlr PwugIp9brFYWPYIZdWzixjDmmG6PA== IronPort-HdrOrdr: A9a23:TaD5GKzbY3c145vUd+TKKrPx1uskLtp133Aq2lEZdPULSKGlfp GV9sjziyWetN9wYh4dcKO7Sc69qBTnhOZICOgqTM6ftWzd1FdAQ7sSjrcKrweQfhEWldQtqJ uIEZIfNDSYNzET46fHCWGDYqwdKbK8gcSVbInlvhFQpE1RGsNdB1ATMHfhLqQ6fngyObMJUL 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: =?us-ascii?q?9a23=3Awt6x5WmGfzZuLOWPkMX4LKhGr9TXOXbklHX2Hwy?= =?us-ascii?q?gM2ZwQbiobHiwv+RpkMU7zg=3D=3D?= X-Talos-MUID: 9a23:HJMZoQTJsOu8oy+MRXTMqRdhFZ0x5p6nVkkszKcqvpGHHhJ/bmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,176,1774306800"; d="scan'208";a="147970159" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGpinGmqVPO/BlgufJ1NcdmlPcrPgs7Fm+ULv?= =?us-ascii?q?U5SxBmu2cYai23whBmJKuHUb4xNQgjc7NPnh/iBg3YnqgOhta3Y9KOo7?= =?us-ascii?q?5Wd/Pw+ghUhiPtfyIaD/zBRCDEEGUMf7+wloUjyFZiM7VfaaL9p25yfY?= =?us-ascii?q?2NiMCCfsIGn04CYQi67R+Duw=3D=3D?= Received: from mail-norwayeastazon11023128.outbound.protection.outlook.com (HELO OSPPR02CU001.outbound.protection.outlook.com) ([40.107.159.128]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 May 2026 23:10:39 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=gbP4wIVTadoFDjsidTNbGAKCZ7WyBOWyhedfbaEI2qWK7GzIBU7ygGs7Vr2U9I3bSHrrwgUqN7Yb+/N8a23YglkRpjEPMcbx041qOd3/FHcVM0pzNN0+7BpTUJyJtP0BTkgYWtNwr0xSZrRlYZK4OjRBgPgNsKweKbhgTaKKSVcYuDPPQt+wZpo+e83fWnQbr50697r8Yl1asLAuGrfKZVL17YcmBJ43XCL+cns+jK8ZYtnPZ5StdyKipTf2n1ls8GUKozhLKQe0llV/k5oPKgrmfdPxxFdJd7RTcw6qXWzep7q7rPmuaY+2V4rR3CPtjMnrto2psQn+dCH7/MbuPw== 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=KrrMVihVmjkVsUhds+pDCURzZ2qsE5XIRt2z2cbSlko=; b=yNjPdZd/lkw+w0aXQqbesEmgyRvme+1oK5acLp9lR1xHlIeNfFD8Z61cTgIzFd7CkMgC/hIFDNP9sqYj96W5zxRnwGxa5PYXOTXuqF2C5YqGWa4jrKAZPuLT0q9rglwSDcfYVACovHD8fsao0ttDnKXwYv2xXdFKpuVs2b2rfjNgmtX66HhqsjdDv42OGy3Kb8VWJYXqHMmoqBUExq0o8cshZfhceE7eX2TrnRCxEtbFBQQPIGsjx0cylUd0vcM/aH4vN9m6N9PWfzxWrlRiPtuChZ7U5Eg8ichXrnVeyZkQ+mESc1lTAN0YXdViQX94MVtkF4XBFtLd+lRpZXPKBg== 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 GV1PR02MB10838.eurprd02.prod.outlook.com (2603:10a6:150:15d::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.71.12; Fri, 29 May 2026 21:10:36 +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.21.0071.014; Fri, 29 May 2026 21:10:36 +0000 Message-ID: <326dd729-e753-432e-9d7f-4d6280eca029@bbk.ac.uk> Date: Fri, 29 May 2026 22:10:34 +0100 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: LO6P123CA0046.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:310::8) To DU0PR02MB9465.eurprd02.prod.outlook.com (2603:10a6:10:419::18) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: DU0PR02MB9465:EE_|GV1PR02MB10838:EE_ X-MS-Office365-Filtering-Correlation-Id: 026d1473-ef73-4463-be2f-08debdc6ba5f X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|786006|366016|376014|1800799024|56012099006|11063799006|6133799003|18002099003; X-Microsoft-Antispam-Message-Info: cJgRB7YU73sVL5YyhGIyZHvm+AMX19CJK9OB0cXL0vt4tAKXWMNRS1l6ZzQuxGiAe5KBg+yAXN6VCObZtGNciCriy3lp2DNe17pL6p6YZKFi2JOJbQ8UAAa/wMAeM6cclPaHTyBuFMmKrjD+3cRdzFAzTJe5FSiZr0RJdw1z1ZdikM8T28Sr9o/zi1M0CuqTb08oXcIYDGgEsUHV4I2C+3MOgRES7ccOyRNnhkVgAwJyn34ccvtiOzBTlzFsPkq0xVmdlQYIfr/V+7Y/yMjp++cYXjHf26Lb8XHf2zfjEtQLpxX7XcFx02dX5zAyLajzR4mNd3eAikycsCpJprsB6E7LXU5pPAaOoy7nVjdmnS8mdBn/CH5WyLPCSJcUjjdpajrCtZpAl/DjTwPnUAzLIV4EKorR4FJ+UqXEQKkE8xXWFA9NGWLVBSDvRIYZYkOFd4X8Z6SaZyCfHkK/6SKHhYeRLMqTydo1c4vPTwy6mRhXAe7sFSTswFioYnwuy0HWRMc8HQLBDOCl+0qDIueAQgG9tBoOmWQBfvSQ19spAtbKkA2ab5RzinFcqshY+YsJl92KKKTpD5lDGe8H0JdVo2WzHQqFbQ9Y1/4tikmDYm13jr6RRYMXW+50mL28TIjH 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)(786006)(366016)(376014)(1800799024)(56012099006)(11063799006)(6133799003)(18002099003);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?eG13aDhEUXdyeFh5VnVaNVRZRGFMWGlnM0RGQ0NyUm5sblZYbGlqeFBFWERx?= =?utf-8?B?eWJ6QVNZY1E2UTMwOVZrM3VscU9hVnl6RUFhR1FvcmtqUUk4b3hxKzd0b21r?= =?utf-8?B?c1d6bWZDUjBlUHkrUFdBT1JERThLR0NDNjlQZ2VDV0ZQaDc0cTA3dnpOY3FT?= =?utf-8?B?VEhqbzlpZHlqeWx4TE1RN29GbTcvS2VnSGExMTdrL0VXV2xMVkkvVHQzaTBv?= =?utf-8?B?eDBNVGVkNjh1MC9ZeGVBdjRvb1Y3UWlKSkJIZHAwdmJWeVBJeFlxaXpMVHpX?= =?utf-8?B?M0ZtdGFWSFNaZlVVN2lUWlFxak9OVEt0ZUJBVzhVZzVINGtBWmFUd3M1Q2Zv?= =?utf-8?B?cHhnREh2SWNDS21ldzhzUFoxa083SWo5UzdsZGo0UUxXU3dvb2JPZHkxWmtD?= =?utf-8?B?VVRsaXp1MCtISi8zWDhWeSswenphbS83VThHN25GVFlVMVdyVWVNTEMvQUxm?= =?utf-8?B?KzlHMUhxaUZKUkNvWU8rdHBzcjdEaTVDZlZRRFBKK2QrYlVnd1doNzBPWTJQ?= =?utf-8?B?a3ZPWDc4d3lTeGt1aDg5bTBGa3pZN0tqSi80cFlNVlVnYUs5N3M4TWk2MERK?= =?utf-8?B?TDdVSnhXcVBqY0ZVZ20vdU9vWE1VeHgyNFcyWEFHbWhLcmF4RjFNSUZnOEJQ?= =?utf-8?B?WkVnMVp3N2hpNnB1Q0JsRUI1UStzSHAxQ29NK0JVUU4vem1JOUluM2t0Ym5U?= =?utf-8?B?M25VckE3MXp0S1JpODBoVTZoY2xRMUZjOVhqbXd6Q1lhZm9ZREQ5ZDlxN0Zk?= =?utf-8?B?cTY2RTl1LzJ4L0NIQlV5cXVna01VUXlXWEQzWkdDSE84VHEyMmE3VS9YbFpM?= =?utf-8?B?RzB2T1N4eCt3eGpuNEw2aXZrQVpVeGVoNjJUWHl1WHhteXZwVGRrZVlTWDRJ?= =?utf-8?B?L3h3aHJZaE4xOXB4QTdxVE00MXorcEJ3c3Z6UWVqa3FYUnZuN0tRT2x6cjZn?= =?utf-8?B?NlMzMnI4RlNPM1ZFYzF4RlIwejZ5VWlPSUVZcUFHeXdaUDh1MVhSODdKa2ds?= =?utf-8?B?NXFkdEtHMVUvRG1iL2lZTW5hS05GZ0pxNFF6dkZWNVpJek5CMGxBNkxPWEJj?= =?utf-8?B?dm9jbmIzVStvUk5PWlErK0YwWmhkNWowdk9vSlZvM0hPbmd0ZXI5M1MvTjBP?= =?utf-8?B?RVZiNVk0Y0tlU2pZdUJqeit2ek9SdUg2R2l1dFVzZ2F3ZEM2UFR4N2dHcTUw?= =?utf-8?B?N0xTaXF2Y3h6cGRMYW5UcmxidXhGNHBoQ1F4N2h5MDdIVWZ3SHltUWdsaDR3?= =?utf-8?B?UEVQblRwVDBwMW9Cam81ZGliVVl3ZkwvRVN6U0pKK3ZOalpkS2JIeFplTDgx?= =?utf-8?B?YnhLMTdCeUY4UjhFaEQyMlQwMGpEcUdvTUtKYjVQZnU1dTg1Yk5vdXZhNU54?= =?utf-8?B?czNJL1k0d2I2a1RPQm5MUWdPWlVkSHZIYUZqK3ZsR2txMFliZktueS9lQm5v?= =?utf-8?B?d0UvcDFKMElsT0ZXbUNoVm9vejZjalFBeUphcTdIRnpLQ2poNTBBaU5pYzJE?= =?utf-8?B?citxWWZRY2ZFNzlMdW5BTlVuUDltQVluS05sdWdrckhGWFZwZEVwZU1LM1J3?= =?utf-8?B?QmVLZjVoLzFSRWV1RVdnRU42bjljVzJQZXFlT29JWWVaWmw3NWpFK3JLN2FB?= =?utf-8?B?NmVmOXVGNFJRUXF5RENtZWxVOW9xWXQ2eTdhTjBPbU02M2pYVzJTUzNvRm5J?= =?utf-8?B?SXhYNWRkZGREN3VjMS9ldFdXRlRiVkswN0hwMlh5YjdFK3NEV1EzVHF1U0xx?= =?utf-8?B?YnJ5aGowTTFtM3psY0djT2Y5NVlDS0phTFoxM2dQSVlHRlBlYmRndC9MaXIy?= =?utf-8?B?THJIU0JNaVV2Q2lBNzFMSzk1aHRGU24zYWpDeHdZelFuRXJxQ3JxazNyb2cr?= =?utf-8?B?YU5ZRllxajdMVTJ1Z1dLOXl6ZGFYbHV0Y3hmRjhFYjZGZ0ZMeUtsTlVBbVpo?= =?utf-8?B?QTVvWitOWCticTZOKzZ4WmtralJweHMrd2o3cjF1OC9aUUo4clllSnM2MTQw?= =?utf-8?B?dVdINEJPUDhBUTVMb0RxOEY1VERJVXk5ekp4ZjdqRjdFQmg0NWhBRjYwUU5Y?= =?utf-8?B?UDF2NWVGeU1nSFFSTzdhU05EbE5mZGRQVDBWMGhJdllBWjdRRmd1b29OclFO?= =?utf-8?B?S0pDOUI2KzVqa2hyL3A3UGZ0aGRjbXlJWXZmRGl3bkNTTmN3YnlnV0htOHRw?= =?utf-8?B?TDR3VlN5YUZVamROMUVtU2l2akFuMysxSkE2TlUxN1Evamk0MERJVlpIRGxr?= =?utf-8?B?b0xKOUFYdWd3WStzdFpSbUZTNTVnZHQ1MjJWWHY3UkRVcW9wWm9hTTVIZWdh?= =?utf-8?Q?dUI6dFAP8qjL/4Wpy2?= X-OriginatorOrg: bbk.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 026d1473-ef73-4463-be2f-08debdc6ba5f X-MS-Exchange-CrossTenant-AuthSource: DU0PR02MB9465.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 29 May 2026 21:10:36.2224 (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: kDuSdv9h1d/MAqqduRPzrEabvi6mwuMEPcDrDQ+ZE31WDauefSIxTyWHK82GGKMyPalM45DFzmfqLM3GqxrCQg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: GV1PR02MB10838 X-Validation-by: c.fuhs@bbk.ac.uk Subject: [Caml-list] WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation Reply-To: Carsten Fuhs X-Loop: caml-list@inria.fr X-Sequence: 19518 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 in Lisbon, Portugal) 12th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (19 July 2026) Webpage: https://wpte2026.github.io/ --------------------------------------------------------------------------- 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. --------------------------------------------------------------------------- The workshop will have two invited talks, by: - Nada Amin, Harvard University - Nikos Tzevelekos, Queen Mary University of London (joint with GaLoP 2026) as well as six contributed presentations: - David B. Hulak, Arthur Freitas Ramos and Ruy J.G.B. de Queiroz: Sound Rewrites for Measurement-Bearing Expressions via Token-Sensitive Enclosure Semantics - Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Trace Formula Implication with Least and Greatest Fixpoints - David Sabel and Manfred Schmidt-Schauß: Improvement Theory for Probabilistic Call-by-Need - Misaki Kojima and Naoki Nishida: On Comparing Python Programs Based on Differences in Rewrite Sequences to Support Grading Programming Exercises - Katarzyna Marek and Clément Pit Claudel: Tactic-driven code fusion - Ștefan Ciobâcă, K. Rustan M. Leino, Ștefan-Alexandru Mercas and Roxana-Mihaela Timon: An Interactive Proof Mode for Dafny Based on Back Translation of Verification Obligations --------------------------------------------------------------------------- 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