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=JwQo7B0c; 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 9BEAF40096 for ; Tue, 19 May 2026 02:23:30 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=zsbtK2/0Hr0srNz35Hxgg4CDzxXyCEMU4PGNr6asUMU=; b=JwQo7B0c/C0nL58dZ0TDwfyXdCw6aeOJhu9DLp0RfrSeakklX/UMN5cp By16/CPg61leQfDXFoqUkpaKfw4Fg3QQct2z5aAq0K2irSLXSSqa5sCr+ D8D4oux/qHYNIeZGRCCIT40YS28l9Dsf/gBnMYx9pFZxJAx4FvVZUNOZV I=; X-CSE-ConnectionGUID: QQ4WRN0oSYai5Rtnf45V7g== X-CSE-MsgGUID: mLuJXxXfT2e0+nur3nh5pA== 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,243,1770591600"; d="scan'208,217";a="277143626" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 May 2026 04:23:30 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 765D9829C3; Tue, 19 May 2026 04:23: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 F2832829B3; Tue, 19 May 2026 04:06:31 +0200 (CEST) X-CSE-ConnectionGUID: Pfy/G+cbQ36f/adFfWVkzg== X-CSE-MsgGUID: ZaCfALRXRgyOohmXqm/RRg== IronPort-SDR: 6a0bc5a7_V5EZI/PJmPRboLHbeWbAeiuq5K29RnRhg4AbJL78Hv2YgFz 1k+lofuczk76avLWVuh2VmYC5rxCbt7AGNMdW4A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HvEQDvxAtqgTl+ZTRaDoJNgTsxU0IBQwJgLwMHCEmIJ?= =?us-ascii?q?4UsiHmKTZF7gVYTgREDGD8GCQEDAQwBPRQEAQEBAgEDhH8CjTQgBgEENgQNA?= =?us-ascii?q?QIEAwIDAQEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBOwcOO4ZPD?= =?us-ascii?q?YJFUXFlCTcBAQEBAQEBAQEBAQEBAQEBAQEBARYCDQdXOC4BASYNBREBPUInB?= =?us-ascii?q?AEaDA6CYYIdBwQLQAQCDqcMAXwBEi4CAosggTSBAYIMAQEGBASBAD4FEA/aL?= =?us-ascii?q?QkNgWcDBoFOhXGCZwEqgTUBhBY7g0V7NoFVRCZvQoI1cYEFPYEfBIEpARIBI?= =?us-ascii?q?yuDaIIvgiZ6FBuFVYE4H4RNgT+BJ4FESzMrAQEKSxMXCwcFgTMzAwIeCi8tA?= =?us-ascii?q?hQdEg8EFjIdcAwnEiwXM1gbBwWBS4E5gQ9WLlYRhE14Iy8DS4EtdQMLbT03B?= =?us-ascii?q?g4bB4E1iWYHVhwPgSgegRcEK14TPTMOc2aSXAuPZ4F8h0OaAzQHhB+BXgYMi?= =?us-ascii?q?i6MZgSJBheEBI0TmVMBh3OREyKLBIJjihaQdwIEAgQFAhIGggIEHGxwMxqDW?= =?us-ascii?q?lADGQ+UDoMogTyIZQkBuG9FND0BAQcCBw0DC4FokDSBSwEB?= IronPort-PHdr: A9a23:5ST8wR/M3GhdN/9uWTSxngc9DxPPW53KNwIYoqAql6hJOvz6uci5Y QqHvb400AeUBc2bs6sC17GK9fi4GCQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnWCsCvRAEBW Pp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uM Rm6twrcu8cWjId4Nqo91hTFrmZHduhKxW5kOU+YkxLg6sut5pJu/Cpdtv07+8JcTan2erkzQ KBFAjghL20668rnuAXZQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Q78sVzut9 qtmVhDmhjofOzE27G/YhMpwjLlGoB26vBxw35TUYICOO/VgeK7WYM4XSnBAXsZVUCxBH5+8Y o4SBOcPIepUs4/wrEYJohWjGAmsH/vvxSFUiX/q06M61OEhHhvH3AwmAtkCtHvZodHwOKoUT Ou7zrTHzS/bYv1Wxznz9ZTIfB4ir/6QUr19atDexVUzGw7fklmctZHpMjWI3eoNqWib6O9gW Pqxhm4grQFxuCKgydoxgYbJnI0V1kzE/jh+zYkpIt24TlR7bsS5H5dKuSCVLZd2Qt85TmFup CY616cKtoCmcygX0pgn3BHfZuWBfoOV7R3tSPyfLi1khHJ5Zr2/nRCy/FCuxOD4V8S4zFdHo yVLnNTNqH0Byxje58ubR/Z+8Uqv1zSC2gDT5O1YL005kaXVJpAgz7AwipYdsUTOEy7qlUj2i qKda0sq+u+t6+v9Y7XmoIeRN5R1igHxKqQuntawAeIiPggJRWib9vyw1LPk/U3jRbVKlec6k qbdsJ/EI8kQu623AxdN34sj9RqzFSqq3MgFkXUdMV5JZhOKg5LpNlzMOPz0E/ayj0iinTpu2 vzKIrnsD5TII3XMlbrtYKxy5FVZxQc20NxT+5RZAawbLv3pQE/+rtnYAwc5MwOqx+bnD81w2 J0cVmyVGKGXLL/evFGW6+0hP+WAeJIZtCz6K/g4+/7hlng5mUIbfaa0x5cXcGq4HvN6I0qHf XXsntYBEWAMvgYkS+zqlUGCUTpUZ3a1XKIw/C00CIWjDYvbR4CthqKO3DujE5BWeGxKEE2AH Wv1e4meRvsAdiOfLtVhnzEGTbShTpUu1RCqtA/00bpnKe/U9zUEupLk0th1/ffcmgwo+T16F cudz32NQnpynmMUWj86xr5wrlFgyluZyqh4jORUFcZP6PNRTgc6KZncwvRmBN/oXwLBes6FS FKnQtW9HTE8Vckxwt8LY0ZlAdqulBHD3yywA78UjbOHHpI08rjE03jrO8l902rG1LUmj1Q+X sRPMnSmirdj+AjXGo7GiF6Ul72qdKQZxC7C7n2PzWuIvEFCUQ5/S7/JXX4FZkfOq9T2/VvNT 6WyBrQ/LgtB1cmCJ7NUZtHxglVJWvDjNtfEbW+pn2m+Hw6ExqmSY4r0eGsTxj3QCE0enAAS+ XaKLAo+CT25o23ECjxhC0jgY1jw8eZkqXK7SUk0wxyXY0F9yra55AIZiPyeRv8J2bIEpTshp C5zHFag2dLZFsCMpxJ7fKVbfdMy/ktI1X7Ytwx6OJysNadihkMCcwRzuEPu0BZ3Bp9cnsgtq XMm1Bd9KaGZ0FNEbz6WxZ/+NbPJJGfu4B2hbbba1Uzb0NmM4KcA9Ow1pU36sg+xGUQu625n0 8Fb03aE/JvHEBccX4/pXkYs7xh6qanVYikj6IPQ0n1hKbO6vyPf1dw0V6MZzUPqdN5aNOaAF RTuO8wcHcmnbuIw0RD9ZRsBOKVW9bUoF8KgbfqPnqCxaqIolzW/yG9D/Yo1hkmL7m93TvPC9 5cD2fCRmAWdAXO0xl6uvsnfnYFfeSpUFWq2zS3pHpUXfaA4NdICBmunC8m23cllwZXtUnpd+ US4QUgLjovhMxGWKl3m1Add0UAa5GG8lDGj5zh1iC0y6KGW2WrHyKL/d1BPbmVPAWh5hF3hJ Yy5ys0BUVKzRwwojwe+o03zwu5Sr+JiLD+XCQ1DeC79Mnt4X627p5KGYtVT854yryhNFvihb BacTvS19xAd1Sj+BXFTwjsqXzWroYnikgZkhXjbMGt+6nzdL4U4jxfW/9/RQfoU1TMISQF4g CLUC1y4ed6z8p/cw5fKqeOzU2bkXZRdfAHrxJiDuS+/o2pwDkv718yCovDcVAE81yjm0dJnH XHUvQ7xeczi0aK9LORsc2FsBUTg8IxhF4hl1JYoiZcWn3UWm8PG02AAlDLYNtNB0K62U3MRW XZfyNnT+gHpnlJqMm6hwZ7kEHiR3416aI/pMSstxish4pUSW++v57tekH4p8zJQzCrUaPl5x XIGzOc2rWUdm6cPsRYsySOUBvYTG1NZNGrijUfA9Miw+YNQYmvnar2szAxmh9n0B7aEuAhQH mnwZosKGzNtqMhzLRTX3y678ZnqLeHZdslbrRiIi1HFhulRJog2k68Bgix9MG67onQ518Y9k QEo0J2n+pOIeC125KzsOhdDLXXuYt8LvDHgiaELhsGNw4WmBYlsAB03baPQd6rzOw9K7a2hM BuSGjohrHvdAaDYAQKU9EZhqTTIDoyvMHaUYnIeyL2OXTG7I0pSyEARVTQ+xdsiExyygdfma AF/7ywQ4Vjxrl1NzPhpPl/xSDWXogDgcToyRJWFSXgepghf+0fYN9Cf5eNvDmlZ+JOmtgmEN m2cYUxBE2gIXkWOA12rMKOp4JHM9O2RB+z2KPWrA/3GoutYTf6Eg42mzpdO+SqRcMiDIz95A Lxz20ZOW2x4B9WMgy8GGEl132rGa8+Wogv5+zUi85r5qayyHlu1u83SVOg3U50n4R29jKadO vTFgS94LW0dzZYQ3TrTz6BZ2lcOiiZofj3rELIatCeLQriD/80fRxMddS53M9NFqqwm2QwYc 8XcjMn82vhnh+IpI1FZSBrsltzvfsNAcATffBvXQV2GMriLP2iByMbxe6qwD6JZkPl8sQGt/ zuXDgn4MX7Q8luhHwDqOuZKgiaBORVYs4zoaRdhB1/oS9f+YwG6Ott65dEv6YU9nWiCdWsVM DwnNlhIsqXV9iRAxPN2B21G6HNha+iCgSeQqefCeN4atv5iAyI8kOw/gjxywLxT9ihIAuN8h Df6qMJz5Vyqj6+UxXJrXQFPpTBCmI+Q9Rg4f/yBr98ZAyiCoU1F5H7YExkQotp5FtDj3sIYg sPCkq7+MnYK8t7Z+9cdG9mBLcuGNHQ7Nh+6UDXQDQYDUXuqLTSC3QoEyKjUryfL6MVl+f2O0 NIUR7RWVUI4DKYfA0VhR5kZJYtvGygjifidhdIJ4ny3qF/QQt9bt9bJTKH3Y72nJTCHgL1Df xZNz6n/KNFZPYr9wUVuLEZzgJjiHVbNG91Bv2t6YUVnxScFuGg7VWA110//P0mm53kJHPLyg RcqliN4fflr+TvxpUw4bAmvxmN4gAw6ntPrhiqUeTj6IfKrXI1YPCHzslA4LpLxRwsmJR33h 0FvMy3IAq5Al7Y1P34+kxfS4NEcfJwUBb0BehIbwuubIuklwUgJ4Dvy3ldJvKPEEccwyFNsI MTq9zQYnFs+JN8tef6MfOwQlgcW3uTW+Xb2s4J5iA4GexRQqiXLIHZO4ApQceB7byuwor4xs 0rbw2EFIC5UEKN06vNyqhFgYaLZl3mmi/gbbRnuUo7XZ6KB5zqZzZLOHgx2jgVQ0BAatbluj 5V5ehLNBRl2lemfS0xRZ5iFdVEwDYIa9WCNL3yH6byfmMssbYvhTru6H6jS5e4Vmhz2Rg9xR tZVt51TEMX0ixOIdZ+/fuxClExIhkyjJU3bXq5AIEvZyW5e8c/jlMQl1tEFfmNPRjgkeSSvu OSNr1dz0qPaBYU4Pi9BDIVcbipkCornwWYctnBERlFby8ohwROZp3/5ryXUV3znasZ7IeyTf VVqAc23/jM29+63j0TW+9PQPTOyOdNns97JoeQUwvTPQ+tTVqV4ulzAlpNwe02Sa1SXSvWIf 8CpLY4xcdbzF3C2FESljC44RNvwO9DrKbWUhQbvRsBft4z+vnhrOcKmFz4YEgt9vKlevuQlP VRFOsBlJ0O3/w0lf7SyOgKZzsmjTy62JD1aQuMeheS2arpLzjY9O++3zHxzK/Nyh+Kz8EMLW NQLlkSDn7D6P9AYCHKtXCECKGCt7WIjmmNsN/g/2LI6yRLM6hwHNiyTMfducCpCts09AlWbJ TN3DHA5ThmSl9mmgEbk0rYM8i9ah9sR3/dCtS20tZjZejugHrOitYn9tTY9K9UqvutqPsawR 6nO/IObhTHZQJTK50edVzWmEvNBhtVKCB5peMFywToOBJRe4MxG9FY7Udo4K/pXEq4wq7u2a D1iSykP0SseUIDG1zsHyLTZufOShlKbd5IsNwYBuZNJj44GUiJ4VSgZobeqS4Tck2LXAnhOO goY6h5AoR4RjoIlNP6w+5LGFdUfrlwe6+IxSCbAEYNkskf2Wn3Dy0atU+2vyqSoxV4AkKqqg 4NdAFgnThEAj+dOyhl0cPcuc/ZW5siS9WbWECGy9GP1lLn7fh8IkZWSLxugS9OY/WvkDn9Bo ztNHdUJkDeHUs1M2wthNPR2/hMVeNvgIgCmoGV7ouYhV7igCZLynwpj8SlAH2HyVIMeQ+B+7 gCNUWU8Mcny8cfrZ80KED0XpM34yR8RkV0zYXSwkcMOcpgUsDBQBGMd83LB7ZOzUJMRg8YuV s1Ve44ttSulQ/EUYMDJ8S9x5+WKqDeR+ihi4g2znGzhQvbhHewFpzZMEV1xfzbM7RR2R+o0r DWI+wiU4AktprVVWuDU30sp+G4vTNcTXH4M3HShZTybqVFAr/gcJajINddTEaFajfCHPQAjU /MqwgqS8hMt9Z8YSxBDjjNgo3v2YlFsDG8Sn6vnniAYpoe/IzgGRplUbDInKSDYNwacniMRt xFaORgCZg== IronPort-Data: A9a23:qhIgCqmcOej7pveWztW+f2/o5gyCLURdPkR7XQ2eYbSJt1+Wr1Gzt xIfUWCEa/mCZmf3eNp+Ooy19hsBvMPcyNZjQQFr/Co8Fi4T+ZvOCP2ncnv9bniYRiHhZBI+v p9GMrEsD+htEySC/k/1WlTFhSMhvU1dbuOkUIYoAggoG0k8Dntn0Us98wIAqtYAqcCjBA+Qs s/FrcTaOVu0sxZ5KWt8B5ir8XuDh9ys/mlD1rACTaoT5gGGyiBEVMt3yZyZdhMUfKEERoZWe M6YlNlVzkuBlz8xB9WslKrMc0Fiatb6IQiUh3NKbLOpix5EqzZa+v5T2C00NC+7Ix3Q9zxA4 I0lWa6YEG/FDYWV8AgpaCS0JgkiVUFw0O+ecCLn6aR/+GWdG5fk660G4EjbpuT08M4vaY1F3 aVwxDzg8nlvLg95qV62YrAEuygtECXkFLsRqzZPjjrTNK14T9fKT4vE2uFbzjhl06iiHd6GD yYYQQZeVCz6O0ZkBw9PUdQ5gfuigWT5f3tAslWJqKEr4m/VigtszLzqN9mTcduPLSlXthvC4 DuepiKgWE9caYP3JTmtqhpAgsfEmiXhUY5UC7Sk6tZsnEDVy2AOTgYZPbe+iaDl1B7nC4kAd ST4/AIcpIM83WiRfuPyTjq/oHu0pxtbYeBfRrhSBAalkfGOv1nx6nI/ZjVIbdhjsM4tWRQxx 1qRlpXoAyZuufubUxq1/bCN6Di2JCI9Nn4HfSZCTA0f4tClrptbs/7UZtNqEarwjNTtEDf9y iuWpTo5gexK1ZdRj/jku1fanziru57FCBYv4RnaVX6k6QU/Y5O5Y4uv6h7Q6vMowJulokeph HYV3Ofd5+o3Vs+D0yWBbusyIrK76KPQWNHDumKDCaXN4ByPwxaekW145Th/IAJrO94NfzLge 1PaqwRXvcYLZSHyMPAxZJ+tAcM3y6SmDc7iSv3fcttJZN52aROD+yZtI0WX2ggBcXTAc4lhZ /93ku71UB727JiLKhLqHY/xNpd3n0gDKZv7H8yT8vhe+eP2iISppUg53KumNbtjsPzsTPT99 tdULcyRzBtDGOb5eDG/zLP/2WsidCBhbbiv85I/XrfafmJORjt9Y9ePmulJU9I+wMxoehLgp CDVtrlwkwKn3SWvxMTjQiwLVY4Dqr4m8SljbHRxZQ31s5XhCK72hJoim1IMVeFP3IReITRcF pHpou3ZWqkfGAfUsS8Qd4f8p4FEfRGmz1DGdSm8bTR1O9YqSwXV85W2NkHi5QsfPBqR7MEem ryH0h+EYJwhQw85Mt3aRsjyxHyMvF8cutlIYW32Hvdpdn7Bzq1WOg3qr/puI8gzORTJnTSb8 ACNACYnn+rGoq5r0d3zt52qhbyMP81SIHZzAEzgsKi6BRPb9DGd3L1rDfmDeGGFZlzSoKydN PhxyqClPNIXglwQqJdNSed37KMh5unAo61R4RRkEU7qMXWqKOJECVuX0fZfspZiwudihjK3f UaU6Px2BK6sOv65NHIgfy0bNv+i09MQkRnstcUFGl3wvnJLzeDWQHdsMAmpow0DCal+L6cO4 /or4ewS4CyB0isaCM6M1H1oxj7dP047cvsVs78BC9XWkSst8FZJZKLcBgLQ4J2ib9ZtMFEgE gSLhZjt1qht+U7fT0UdTXT9//JRpZAriiB4yFUvI1eomN2cotQV2BZX0yo8TyUL7xFh/t9wB FNWNBxOFf3TxwtruclNZHDzOgdjABbCxFf95WFUn0LkTm6pdFf3EksDBci38nokrl1sJgpgw OnAyULOcyrbQ8Xq7y5jBW9ns6PCSPJyxC3jmeemPcaPRcQrUAXcn6P0SzIEhjH6DeMMmX/4n 7BO+sB2SKzkNBw/p78wJJma2I8xFjGFBj1matNw8JwZGVrzfGmJ5gGPDESqa+VxJ/Du2m2pO fxEf85geUy363eTk2o9G6UJHY5RoNcow9gzIpXQOm8MtuqknApD6Z7/2HD3uz42fo9Ij804F 4L2cgCCGEy2gV9/uTfEjOtAC1qCTeg0Xi/O98Hrz7xRDLMGiv9mTm8q2Ljtv3m1DhpuzyjJg Cz9PZ3p385Q4qUyubDzE5dzJRS+cvLyc+WqzDqdkfpzafH3DMOfkD9N93fGOVxNMKozSuZHs +2HkOTK0XPvuJc0VGHkmKe9KZRZ2PXqXMdqNpPYEXoLuwqDR87m3DUb8U+aN5FisY1Q9+und SSCeeqyct8kAYZAz3h7aAxYHxYRK57eZKHa/Ae4kfeAMUUP4x3mN/Kiz2fiNktARx8LOrr/K CP+4au/1+9ho7oWKkcILNM3J7RaMVPcSa8dWNmpjgahD06smUKkhrvusTEC+AP7ICCIP+ii6 K2UWyWkUgq5vZ/56e1wsqtwj0UxN2l8i+xhRXAt0Yd6pB7iBVFXMNlHF4sND6xVtSnA1JvYQ jXpR0l6AAXfWQV0SznN0O7BbCy+WNNXYszYIwY39Xy6cy21XYOMIIVw/xdavktZRGHR8/GFG /o/pFvLIRmD8rN4T70y59u6o9td6NH0+3YqwX35wuvOW0swILNT2HJYSV8HEWSNFszWj0zEK FQkXW0OEgnxVUf1Ft0mYHJPXg0QuDT01TgzcCOT25Dltp6GyPFbgujKUw0pPmbvsOxRTFLPe Z/2e4dJy1yn4kQp4fAChopx2OlzFO6BGdW8IOn7XwoOkqqs62MhecQfgS4IS8Jk8wlae78Yv if5+GAwXSxpN2gIsIB6Cy1Qk36ybp7IJzfVkUjyqSKAihNRIx3xZU2x1AyiQX3vg/GLgqibK Qv+qG6Xv0DQuTf54yJx3hjeSpprHulJfUT5vusUol8eX/tipKKx1Fys7q3i6+9szQ== IronPort-HdrOrdr: A9a23:u7vqpagIYeIV7Zj5JumREEtcNnBQX1B13DAbv31ZSRFFG/FwyP rCoB1L73XJYWgqM03IwerwXpVoMkmsjKKdgLNhdItKOTOLhILGFvAH0WKP+Vzd8k7Fh6ZgPM VbAs9D4bTLZDAU4/oSizPIcOrIteP3lZxA8t2urUuFIzsLV4hQqyNCTiqLGEx/QwdLQbAjEo CH28ZBrz28PVwKc8WSHBA+LqL+juyOsKijTQ8NBhYh5gXLpyiv8qTGHx+R2Qpbey9TwI0l7X POn2XCl+ieWrCAu1PhPl3ontprcejau5p+7Qu3+4gowwDX+0mVjUJaKv6/VX4O0aOSAR0R4a HxSl8bTr9OAjXqDyqISFLWqnTdODpC0Q6Z9XaIxXTkusD3XzQ8Fo5Igp9YaALQ7w46sMh7y7 8j5RPsi3N7N2KzoM3G3am8azh60k6v5XYym+8aiHJSFYMYdb9KtIQauEdYCo0JEi724J0uVL AGNrCr2N9GNVeBK3zJtGhmx9KhGnw1AxedW0AH/siYySJfknx1x1YRgMYfgnAD/pQgTIQs3Z WyDo140LVVCsMGZ6N0A+kMBcOxF2zWWBrJdHmfJFz2fZt3SE4la6SHkIndyNvaBqDglqFC5K gpeGkoylIaagbpU5LTtac7gyzwfA== X-Talos-CUID: 9a23:+sDKpWHfmYOl1MYnqmJf+l9TNYMueESGknmXKkOWB1lXS6+aHAo= X-Talos-MUID: =?us-ascii?q?9a23=3AuItx+A9PKm8+uB4DLsI+GgiQf/VhyKqHLHo9q5o?= =?us-ascii?q?XnM6EMBxpPnCntjviFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,243,1770591600"; d="scan'208,217";a="146818376" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGFavDIHP6DYnCXsh792kLQMMvjNGsy8HBli8?= =?us-ascii?q?amX93V1zwhjFC5/q9bl/IuJSvdcdxXTzKNANuuHJIj2IWgA0qMuxBZ4d?= =?us-ascii?q?f7CAfamC6pYqgQDbbyGhX8Nn8Adla3VVNa72EgGh/8Cu0aCE55McYfy0?= =?us-ascii?q?HQdTteaNxbbcHRKltZYK0tRQ=3D=3D?= Received: from mail-japaneastazon11012057.outbound.protection.outlook.com (HELO TYPPR03CU001.outbound.protection.outlook.com) ([52.101.126.57]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 19 May 2026 04:06:29 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=eOSOXSH6a/c+P1UJjWFEpk938VqDDrb3ruyI1zdqswZKFqKx7OGMyGeB87qWoTjx63fLAi8qWUtIA2k9Gm4KKpFD9ysN5eiJOK9XD1vVm7o8UJD6ZNsQth3wuZv95PcN8CergoXE28tUoAFF6h066MBdbcuHXqy4EfgX8oLdMd31g1QDN/HiAIT8b1SGjC3IEm61i1hDXFORnYoRkjKR9udfBdSxJneDT8jSoiysp0xs+dCmLT9UMZmCr0TlcxS7jLJlSxw1VxWSKAmq0KvXr54CkgluyT8DaNdcMySM0Yrebip607ZV+vDZUQZbn0C9XGiu+ESIfwxqmuQnqc352g== 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=zsbtK2/0Hr0srNz35Hxgg4CDzxXyCEMU4PGNr6asUMU=; b=MmznomLr6ZPfzLktxAZOBkJ57JuZKouSW6wYJ2v4Hqqt4MXc7mfmeRWYQpU9kUh4+O3MAvDf6ohB91sGGTl/kC58X6khi5STFIXI+CEbt3dJXF6akZE174Vwf4jaFN1WjpraUzT+TQ1VZtRoTwLvaI9t/bwk9B15JVeKDpf1aP+W7lupM9bp1pOvLjltta4coFok1cvvF8hdGSwiTJWenqBp9CQO59a3R+MZpJTvqOn4DIvtvZ1cn8O4eJVsxadjdbvQipDV41IZfZxgTt7UJKi1COlivjF3SwUngbJIGCgyWFjRxpCy4tBEyFwgJ5OZW1XLFGORjaYNm/jqpLZf6g== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ntu.edu.sg; dmarc=pass action=none header.from=ntu.edu.sg; dkim=pass header.d=ntu.edu.sg; arc=none Received: from SI2PR01MB4227.apcprd01.prod.exchangelabs.com (2603:1096:4:1ab::10) by SEYPR01MB4416.apcprd01.prod.exchangelabs.com (2603:1096:101:3c::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.25.19; Tue, 19 May 2026 02:06:22 +0000 Received: from SI2PR01MB4227.apcprd01.prod.exchangelabs.com ([fe80::c3b6:1a68:dddf:14cc]) by SI2PR01MB4227.apcprd01.prod.exchangelabs.com ([fe80::c3b6:1a68:dddf:14cc%6]) with mapi id 15.21.0025.023; Tue, 19 May 2026 02:06:21 +0000 From: Conrad Watt To: "caml-list@inria.fr" , coq-club , "agda@lists.chalmers.se" , "cl-isabelle-users@lists.cam.ac.uk" , "concurrency@listserver.tue.nl" , "haskell-cafe@haskell.org" , TYPES-announce Thread-Topic: PLMW @ ICFP 2026: Funding Call Thread-Index: AQHc5yz2AzfOji9l+UG5g6fv8jTyqg== Date: Tue, 19 May 2026 02:06:21 +0000 Message-ID: Accept-Language: en-SG, en-US Content-Language: en-SG X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: SI2PR01MB4227:EE_|SEYPR01MB4416:EE_ x-ms-office365-filtering-correlation-id: fee7467f-fecd-4895-3935-08deb54b390d x-o365: NTU-OFF365 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230040|376014|786006|1800799024|366016|13003099007|38070700021|11063799003|18002099003|8096899003|56012099003; x-microsoft-antispam-message-info: u5/gtRMvpZtdy6zkY2qA9egZgku8KOYscjYdC0TPBybKYP/WgPAOpoNaCp/jh2Cdv7uvu++eoAO6bsP+/P45hQBkK2LNC1kUFsNIk6gBCaULGe/0JP2iO9Vbns66VALtqAQDjfWKMhbpCpSQ0/ZY+rk3RMg21GIdh0zwdFatLhbwb7K0qQSrONu1DKlwefmygLvw0LnOpXs/3Q0NI4x61teMIaAL2MQ/hSyNrtRNiWdVtVUCCMQ+8Aa4YiO24iuv1gKW3Im1fd5M3nKapyug6ddJIn/TMPLBHbPWxlIMkomnabWtYrnOj9XBnuphm+81zKdV99BUsjjSOqHLMU7sUoBljUmoAdBatAiQ8DnyvEjgy7cwEW6qnatx3Xeb1wQMVUe1lElgrFyZnxr0+a0cJxKNAWhjHpJBarNHf1WpEB+YisnJNLqM71TSX4qB6ZKl03+BRYX9KYZ3NZIGBVYVi7E/sfx5bRZiLfCVRuAiMjHxVbZufBo1Eu2OnCK2YWjJEXDUP+qSp346KPs/jkU/30yH/4DfzwYLhDwpoolv7+2AD807vKlqTJfzlHPnGkbyw8NcjwtZ3VW/m9gPfJWkz8cok9OIlDaSupbHgwaF0TcaRF3yUoazA7Jeevo+MeoiDonrR/tgBjaLp42x2QqexIbSJGzclOF1jdgObOS+mUz8mhiXnaXG7m8D+om5kpY8Cee30lFyYaHtXxpk7tm09w== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:SI2PR01MB4227.apcprd01.prod.exchangelabs.com;PTR:;CAT:NONE;SFS:(13230040)(376014)(786006)(1800799024)(366016)(13003099007)(38070700021)(11063799003)(18002099003)(8096899003)(56012099003);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?HyEpkeE1oX0vnbFU3mLHREKru3TbuAEsrIk+DOsWv2dpAFv7sXZqihPx2f?= =?iso-8859-1?Q?CrK2Fyj29M2Fyf+RTkv2dySYPmXZZSluhfZ3fn/svTCyXCxntMVn60PKcP?= =?iso-8859-1?Q?T48aXFhfLBqw4/fEQg6EM0HELT8Q3TAYBlgDpb8RsPFP19aVhmdlXky0vA?= =?iso-8859-1?Q?6wtb1RhL9RpcAJxZv3BbjVdMgH8mJDv1U8oz2r+DFySwgUpFfJ/Cq04yRw?= =?iso-8859-1?Q?a9IsRnUEUmAIv0pzR8ceNbl0cvDzyGnYfzMbkrXVI9JapDNQDaMaLzaEW4?= =?iso-8859-1?Q?0ZQEX37gy7mvvu8RSRaZnuFXEge7sQtpSmd/Wqv1luDY/1KnuwdijQJSV2?= =?iso-8859-1?Q?7EKZJI6Njxx5yghbZ5A0Dddl63tJP3K71zfZA+bM79w1WgMWp+0V7JUmAJ?= =?iso-8859-1?Q?pE9qPbOK+Du4m9cu+5m1IzOLyG7qn0M42Cpg3Oanj/XaqHwAHdlv8q02cx?= =?iso-8859-1?Q?WRhQdDhVPJGNblJ/o7jFWIWAzjruL5IR7dB/wnjkT0CWDS2pBwIFNKMrzc?= =?iso-8859-1?Q?aHsFcMqOuwPMSJJPCdn0sQ+6XprCVuVuckCW0XyvYZRhv14v3ZXKxW/y+g?= =?iso-8859-1?Q?FKwM7+FXjL1+8qtIKxnVfHRkSsi9ofXK6idGlMVO+oTr3y0cyAIOx9bMjW?= =?iso-8859-1?Q?LDU8zypD2lMcwMEb+cGTrlN3WiEPctS8fl4XoYsMt+BlkXhkEvSrCjiFpM?= =?iso-8859-1?Q?oaQ0eVr08wzUKsdqcN12O94wSO0VrvNmU3UQ4w9AeWAwJdm/qzm72P63uy?= =?iso-8859-1?Q?XeeeZhMW9rK6c21KGsf7WvUSkYJNfEEe76Siz4tVIn/d7DXR/UzqrK07F6?= =?iso-8859-1?Q?KvhNbv7By8PZV7Rz0onI3MxkXUjZslEspRPT0RhTM8BSoujGNM+aiPyJbg?= =?iso-8859-1?Q?pYD3K/f4EDg1KcQ9q36K+NS6+mLqKVYdTeSJahc+ibEq1csp2kdmPJ7dNO?= =?iso-8859-1?Q?D5E96i1e5ojFnsP/b8muys6vMmPWVNXp7Xhm2rvAFoj2cP50HkHGFKGyEN?= =?iso-8859-1?Q?6MG0q0kq2VLHIEjxY3lXxMgu6y5lV/AThEm8tZol6J80DsU14NEi26m/XZ?= =?iso-8859-1?Q?CXA7GYpcrU04VT8gVSz7lDu9QamYZR3YDPZ4wZ8dc0l8vw4F0WvJmo66uM?= =?iso-8859-1?Q?RqOVdfkxi8th49YIkWunKoqXRGYCJ6pYDGbXbqfTIhuWZiObJG6Or6MJDb?= =?iso-8859-1?Q?J1qccB9yjsyZVBKbbju9QzgLitx7RgSkZHdnpcgYiwvUF1gkTwYDrsyXTh?= =?iso-8859-1?Q?zHYuiBTreDa89T9HIK+7RP+61MPW6sYsT1SOII3B6bLFJydn+TN4Xv5Noy?= =?iso-8859-1?Q?/AxChz43HOCG1L8T5+5rHM6keFJlQnzoIlGNmhM6KXapEsp0pw+RvjAVn7?= =?iso-8859-1?Q?DcW4RWXB3CgXVWwXqeBhzQnIA4CjvaCdp5Lt2wKr9+8gp0N0ih7BQrPrpA?= =?iso-8859-1?Q?ExZWhSE+6eKiffwCApdLr75IMDAfSG0sFrsBsGfRLUTDulBLzITaF2KOxO?= =?iso-8859-1?Q?lg/jmcDv5pgspfFCnxLwo4euNlmDqs63N7Em0KFmyGP54WtCCITQptVxwL?= =?iso-8859-1?Q?x6v4Pn9OBZK/q4AMs2amiQBfCsx8P/1WdUVPBjxW9mMi60H43xd0NcBhpj?= =?iso-8859-1?Q?W4utkcSEmA9xYCn/1A3zw5I1qo2fguxMntt+5ntgfBIJn0cRSvVL0bEIRZ?= =?iso-8859-1?Q?tWz6VgOYuuF/FJ24KcHw+MP6MsbvF1ZxCq2+2wnL6u9GHYeh46p+NtGycJ?= =?iso-8859-1?Q?nwA9Zc/AclOIEtoQRQ3aSy/urKI5I29X/X7+MREW9zkTpnSnMxgv++S6fn?= =?iso-8859-1?Q?3ttymAD8kX5bFmAYoNCap5WM+sGJnZs=3D?= Content-Type: multipart/alternative; boundary="_000_SI2PR01MB42277B8E0026082C92C9D8A3D8002SI2PR01MB4227apcp_" MIME-Version: 1.0 X-OriginatorOrg: ntu.edu.sg X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SI2PR01MB4227.apcprd01.prod.exchangelabs.com X-MS-Exchange-CrossTenant-Network-Message-Id: fee7467f-fecd-4895-3935-08deb54b390d X-MS-Exchange-CrossTenant-originalarrivaltime: 19 May 2026 02:06:21.7065 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 15ce9348-be2a-462b-8fc0-e1765a9b204a X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: lQF10NyiMUtH1l9fBmYhgc/VfR2GI8nLC1Ju6+XPvYEtteHyPLkZDo9UIyZRh1sugTGTgV+FWEvTaMI8GqWKpEpdN0ws0EnOXGMMe6YSkH3uDxdLJV9EU5dsQRlSxV7f X-MS-Exchange-Transport-CrossTenantHeadersStamped: SEYPR01MB4416 X-Validation-by: conrad.watt@ntu.edu.sg Subject: [Caml-list] PLMW @ ICFP 2026: Funding Call Reply-To: Conrad Watt X-Loop: caml-list@inria.fr X-Sequence: 19508 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: --_000_SI2PR01MB42277B8E0026082C92C9D8A3D8002SI2PR01MB4227apcp_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable APPLICATION FOR PLMW TRAVEL FUNDING Applications for travel funding to PLMW @ ICFP are now open - we will begin= awarding funding starting from June 1 AOE until all funding is committed. = So long as funding remains, we will continue to consider applications submi= tted before June 30th AOE. We advise all interested to apply as soon as possible, especially if a visa= is required. https://icfp26.sigplan.org/home/PLMW-ICFP-2026#Call-for-Participation The application can be accessed directly at the following URL: https://forms.gle/adtuWjLAbBtGTcCNA PLMW is a workshop co-located with ICFP 2026 (the International Conference = on Functional Programming) in Indanapolis, US, from August 24-29. The purpose of this mentoring workshop is to encourage graduate students an= d senior undergraduate students to pursue careers in programming language r= esearch. This workshop will bring together world leaders in programming lan= guages research and teaching from academia and industry to help students im= agine how they might contribute to our research community. Topics will rang= e from the abstract (e.g., what is PL research and how does one become invo= lved in it) to the concrete (e.g., how to navigate an academic conference, = how to pick a research area) as well as technical talks on cutting-edge top= ics. See the link below for more details: https://icfp26.sigplan.org/home/PLMW-ICFP-2026 ________________________________ CONFIDENTIALITY: This email is intended solely for the person(s) named and = may be confidential and/or privileged. If you are not the intended recipien= t, please delete it, notify us and do not copy, use, or disclose its conten= ts. Towards a sustainable earth: Print only when necessary. Thank you. --_000_SI2PR01MB42277B8E0026082C92C9D8A3D8002SI2PR01MB4227apcp_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
APPLICATION FOR PLMW TRAVEL FUNDING

Applications for travel funding to PLMW @ ICFP are now open - we will begin= awarding funding starting from June 1 AOE until all funding is committed. = So long as funding remains, we will continue to consider applications submi= tted before June 30th AOE.

We advise all interested to apply as soon as possible, especially if a visa= is required.

https://icfp26.sigplan.org/home/PLMW-ICFP-2026#Call-for-Participation<= br>
The application can be accessed directly at the following URL:
https://forms.gle/adtuWjLAbBtGTcCNA

PLMW is a workshop co-located with ICFP 2026 (the International Conference = on Functional Programming) in Indanapolis, US, from August 24-29.

The purpose of this mentoring workshop is to encourage graduate students an= d senior undergraduate students to pursue careers in programming language r= esearch. This workshop will bring together world leaders in programming lan= guages research and teaching from academia and industry to help students imagine how they might contribute t= o our research community. Topics will range from the abstract (e.g., what i= s PL research and how does one become involved in it) to the concrete (e.g.= , how to navigate an academic conference, how to pick a research area) as well as technical talks on cutting-edge to= pics. See the link below for more details:


CONFIDENTI= ALITY: This email is intended solely for the person(s) named and may be con= fidential and/or privileged. If you are not the intended recipient, please = delete it, notify us and do not copy, use, or disclose its contents.
Towards a sustainable earth: Print only when necessary. Thank you.

--_000_SI2PR01MB42277B8E0026082C92C9D8A3D8002SI2PR01MB4227apcp_--