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=b738kgYQ; 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 68CF540022 for ; Fri, 25 Sep 2026 13:18:48 +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=OCP47Eob/EaRftVMlPNxxA14T3wmMgI19pA0ooP/Z2A=; b=b738kgYQUTU0yAQ5F5GUiOuPhvbGlmHHVLAGfhXCX9UFh0K1jvksidSY Zp6BcReS/5ilSqdUyd/p6hoa9plSJ/7IcYE7J2iJY4OaUDVfVvxYG8hlr vXf2Z69rva56+DDiLS6g9ZVNTVDg1pHrgQSr6PkFZDJlZxE1a2CRHuulp Q=; X-CSE-ConnectionGUID: +MT1/EBrRkOwMYrZ9aBoSw== X-CSE-MsgGUID: aIQOh3AgT/K8YSykD3FvMw== 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.27,122,1787004000"; d="scan'208";a="296939098" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Sep 2026 15:18:48 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 69E9D80E62; Fri, 25 Sep 2026 15:18:48 +0200 (CEST) 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 1583680F08; Fri, 25 Sep 2026 15:18:05 +0200 (CEST) X-CSE-ConnectionGUID: 72nhsf21R8GwTycuTdFZnA== X-CSE-MsgGUID: VrXwWZfGTrCVhm0g1WtDfg== IronPort-SDR: 6ab6748c_0bvddxq8BatRFZ3Mf+MqfjzqYuJy70p21WU4FI7H2jPrfDl oZfd85ft3p5eT6kSN4YIbrQxks05YiPDy0ugskQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EiAwDbc7ZqgUlCZTRaDhABAQsSDIN+U0IBSGIyB1GEW?= =?us-ascii?q?INNAQGFK4h5nEiDUwYJAQMBDTcaBAEBAQIEkwsgBgEENBMBAgQDAgMBAQEBA?= =?us-ascii?q?QEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQE7Bw47hk8NjBOBLIEmAQEBA?= =?us-ascii?q?QEBAQEBAQEBHQIUgRoGFQgBASYSNAImAjMsEgIBARCCbgGCJARMBAK1awICi?= =?us-ascii?q?xWBMoEBggwBAQYEBIJj2QIxFoFrAwYJAYEVLohfAYV5O4ZMRIEVJwsDhDmDF?= =?us-ascii?q?XaDDoJqgiaBDIJdkkGBShwDWSwBVRMXCwcFgTMzAyAKLxQZAhQdEg8EFjIdc?= =?us-ascii?q?AwnEiwXL1gbBgWBHXUrghkjGTZ6gQlegSspYRAXgQlOgTkCBoJOgSVcAgFJQ?= =?us-ascii?q?w4HRVMJJUsSRyYiCBIJARMaMAuBIzpBCSgLbT03BgQLGUGRIx6CXjGBEE82P?= =?us-ascii?q?Qk5k2eQFoE2oXoHhCGMIpU/BhMvoymHRpkII41nlXcJhQ4CBAIEBQIQAQEGg?= =?us-ascii?q?X8jgVwzGjQ/gmdQAxkPWI1KF4hagwqHO7xkA0M0PgEHAgcPAoFzkAA0gUwBA?= =?us-ascii?q?Q?= IronPort-PHdr: A9a23:fnz+cxwv6bSl9CTXCzJGxVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xKZva8m0gKRAM3y0LFttan/i+jYQ2sO4JKM4jgpUadncFsor/tTtCEbRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTS8bL9oM Bm6swrdu8gWjId+Kqs61wfErGZPd+lKymxkIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q 79FAjk4Km45/MLluwHMQgeW+HYSXXgYngJHDAbZ4h76WIzxsjbhuepmxCaaJ8z2QqsqVjmk8 qxmVQXniCYDNz4+7WHXlsl9h79VrR69uxByxZPfbYeIP/R8Y6zdZ8sXS2lPUMlfVyJPH52yY JcAAeUOJutYs4vwqkESoReiGwWhBuXiwSJIiH/s2q061vwsHB/c0ww6BNIOrGrbrNPoP6kST OC1zLLIxijEYvxKwzv95pXIchA6ofyXRr1/asnRxVM1GAzZlFmQtI/lMiqT2+8QvGeV8/BuW vizi247tQ5xuD6vy98ihIfGiY8bylDK+ThlzIs2OdG1R0F1bN2kHpVQqy2XNYh7Tt4tTWxot is31qALtYCmcCQUx5kpyQPTZ+KHfYaH5B/oSeifITB9hH1/ebK/gQ6/8VK9yuHmUMm01FBHp TdGnNnUrn0A1wLf5tKaRvdh40utwzeC2gHJ5uxGL004jbTXJp89zrM+k5cfrFjPETX3lUjzk aOaalso9+2m5uv6Y7jro5qRO5J2hwz4L68ggNawAf4iPQgLR2Wb+fqz1Lnk/UDhTrtFgP45n LPFvp3ZK8kWuKC2DxNJ3oo+8Rq/CCqm0MgDknkAMVJFfg+Ig5LxO1HUJ/D4EemwjEiwkDdqw PDGOKftApLQLnjflLfherF9601GxAUvytBf4opYCrAHIP3tRk/8rNzVAgEjPwCp3+rrFc9x2 4IfVG6VAKKUPrvesVqS6eIuJ+mMapUVuDH4K/U9+/Hil3E5mUIdfamyxpYYc2u3Hvd8L0qDf XXgmMoBEWQSsgokUOPqkEGCUSJUZ3uqQ6084Sg7BJu6AofHW4Cim6eM3Dy7H51TfmBJEEqAE Xbud4WeWvcDcjieIsF7kjAcT7iuV5ch1Q2ytA/907doMvDb+igctZ760Nh15vbTlQ0p+DxvD 8Wd1nmNQHtukmMJQT82xqF/rlZnxleNy6h0m/pYGsdL6PNTTgg6LYLcz/B9C93qRA7NZtiJR 0ihQtulGz88VtE/zdAWb0ZnBdqikBPN0TCyDr8QjbOLBZg0/rva33j2PcZ913bG27c8j1k8R ctPLXOpibR+9gjUAY7FjliVm7q0eagCwCLA9mmOwXCJvEFFTA5/SqLFXW0ZZkTLt9j5/lnCT 7iyCbs5LgRB1c+CKqxMatHzilVGWevjONDZY2K2mGe8HwqHxrSJbIbyZmod3yTdCE0cng4L8 niJOxYwCDu9rmzYFDBhCFfvbFn28eZisH61VlY6wRmFYUF5zLq14hAViOSGRf4Pw7wKpT8tq y5sHFazx93WC8SPpw5mfKhEe90w/EpJ23+K/zB6a4CxN615w1cYdQNquUjj/xF2EZlb19Mnp Whs0RJ/L6Te3V9cM3uT2dXxIbTdJ2328VWycKPMwXna0c2K4eEE4fF+ol6loQLtXnI49HJp7 9lY1GGNzrHLFxYJF7j4TkZx3hM8mpKeKiI6/sbf0WBmGaiyqD7LndwzQKMuwxOkOtNeK7+sF QnoEsRcCdLqYOcukkCBYQgDIfhf7+guMsWva/acnqCxeK5vgHe9hm1D+Khy3ljJ9iR5DODSj LgfxPTN9QKdTCvxih+Pr8Ds0dRPIz8PHnGXwyLnQodaILBxK9VYQVyyKtG6k40tz6XmXGRVo QbL7zIu3caofUDXdFnhxUhK0k9Rp3W7mCy+xjgykjczr6PZ0jadi//6ek8hPWhGDHJnkU+qO ZK92ttcUlWodCAjnhjj7E282qsI7L9nITzrSFxTNzPzM3kkV6KxsrSYZMsa49UmrCVMeO62Y haTQfjgoEhSyDvtSlNX3ytzbDS2otP5khh93XqaN2p2pWHFdNtY6Srt3OaMHtVshmJfAi5ll TPQG16wecGz+smZnIvCteb4UH+9UppUcm/gyoboWDKTw2psDFX/mvmynoeiCg0myWrh0NIsU yzUrRH6a42t1qKgMOshcFM6TFn7o9F3HI1ziO5SzNkZxGQai5OJ/HEGjXa7MNNV3rj7ZWYMQ jhDysDc4Qzs0kluZnyTwIexWnKYy8pnL960BwFekil74d1KE4+e5r8ClCAzv1n55QPdbP5hn ysMnOM04S1SiOUItQwxiySFV+1IWxAAZGqyyVLXtIPbzu0ffmukfLmu2VArmNmgCOvHuQRAQ DPjfZxkGyZs78J5OVaK0Xvp64iidsODCLBb/hCSjRrEiPBYbZwrkf9fzyEhN3/9plUvwe19h BcowJLw7+3lYy19ubm0BBJVLGi/bIUd5zH2paxUnYCf1MayHd8yUiVOV5zuQ/WyFTsUvvmyL AeCHgo3rXKDEKbeFwuSgKt/h0rGCIvjd3SeJX1DiM5nWAHYPktUxgYdQDQ9mJc9UAGs3s3oN kljtHgd4Vvxqx0EzewNVVG3WSHRuQezQj0+S96WJ1xL7UlO6lzUPsqX8u9oV3wCuMT59UrTd CrEPExBFikRV1aBBkz/M7Xm/tTG/+WCR4/cZ7PPbbiIte1CRqKNzJOr3JFh+mXEPcGOM39+S vwjjxcZGykhQoKHxXNQEH9y9WqFdcOQqRai9zciq8m+9K6uQwfz/c6VDLAUN9xz+hewiKPFN uiKhS8/JywLs/FEjXLO1rUb20Yfzi90cDz4W79GuzPNV4rakKwRBhVddiA5Z64qp+osmxJAP 8LWkIa/3fh2k/4uI11PVhrokYe0ZoZZa3H4P1TBCkGRMb2ALjCe2MD7b5S3TrhIhflVvRm96 lP5Wwfzey6OnD7zW1WzIPlB2WuFaQdGttj3IV59THLuR9X8ZlinPc9r2HcolKYsiCqvVyZUM CAgIR8V6OzKq3se2rImRiRA9iY3cbHCwn7GqbGectFP77NqGngmyrgcuSxijeMTtGYdGZkX0 GPTtoI8/gvgy7HVjGIhCF0X9H5KnN7Z4B8kYP2CsMEGATGdo1oM9TnCUkxW4Yc6TIWp4+cJl b2t3OryMGkQqduMpJlFXpGGJp7faChzdka5UD/MUllfRGbyZziG3h5TzKnJpC/S8slfyNCkm YJQGOVSDAVnT6pDWEo5RIdQcM8vBmF21uPCxM8QuyjkpUGIFpwD58LJCqrJU/63cG7L3/4ZP n5qifv5NdpBbISjgh47MwAoktiSQBjeBYgV8H8mM1V85UxJ9DIWonQb40v+cUvt5XYSEaTxh Rsqkk5kZu9r8j7w4lAxL16MpS0qkUB3l8+3yTyWdTfwKu+3U+Q0Q2LssFMtN5rgXwtvRSGPr 3ReZGzveuoJ1v1naHxhjxLatd1XA/lAQKZYYRgWg/aKe/Ev1lcaoSKioC0PrefIEpptkgI2f IXk8igGglo6KoBrY/OLbKNShkBdnKePojOl2qgqzQkSKlxMuGKedSgUuVAZY7krIy37m44ko QeGmjZFZC0NT693+LQzrhp7ZbrGkHmzttwLYlq8POGeMa6D7m3JlMrSB0g1yltNjU5Ou75/z cYkdUOQEUEp1rqYURoTZq+gYUlYadRf8H/LcGOAq+LIlNh+eYugFvvAR+WN8q8fxF+nVlVMf cxE/oEaE5+g3VuNZ9/gN6IAwA4x6R7DCGi3NM4ZIzm2yG9e5cai0JVwwI9RYCkHBnlwOjm24 bCRoRI2hP2EX5E9ZXJQDe5mfjomHca9nSBepXFJCjK6h/kYxAa15Dj5vi3MDTP4YokrdLKOa BhrEt3z5SQn/v38lwvM6puHbTKfV5wqqprV5OgdvZrCF/5EUew3rRLHg4cBD32yDzyTSZjkf d6oLdFrNIG8C27mAADnzWttEIGpeo7qd/bt40mgRJ4I4tTBmml7bYnlUGlZQko4pvlftv8mI 1RbOdxjJ0av7lp2NrTjclrClIz2GCD1b2MRFqY6r63yZqQLnXN0Mqnmlz14CMl9lrb/8FZTF ssD1kiMnK/6NYcCCXChSDsBK2Ct7WI4jzYzbO9qm7VmmUqavwVEaGLZM7A4IG1c4YNmDAvLc ywvUzg2GwfH39qbulb+jfdPpk4/155VybMX6nGm582GOWv+VvDz8sfe63J4P4ph/vQ5MJS9c JGP7MqMx2WGHpeM6lbXXnbiT6gI3YUKaGdRRP0C8YnKEcYMusxI4gwsVZVnT1SqIKMmpfajY nx5DnxKpcf4f6+97gQ40ryX5uOCz1GXbYgoNwECvNNamNwBXiVqYyQY4qi+S4HRkGzCQW8Oc l570A== IronPort-Data: A9a23:Z4C2/aN4lX+/0wjvrR3RnMFynXyQoLVcMsEvi/4bfWQNrUpw1jxUy WAcD2yAM/7cZWTwctxzOtng8RlS6pPRy4RmTQZtpSBmQlt09fbIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVqicfHw3Hlc+IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kkw1BjOkGlA5AJmNKoW5Aa2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk b2hhrTpIesdBZAgrcxBO/VuO3EnbPceoNcrFlDk2SCb5xWun3IBWJyCBmluVWET0r8f7W2ja ZX0gd3CB/yOr7ve/V61dgVjrpt5KsnwMtlGgCFP0g3IBusaTb7xRYyfsLe03B9o7ixPNdrjV fIjOWFEUUyYOltIJ0sdD484kKGwnH7jfjZEqVWT460q/2zUyw8327/oWDbXUoHQA5wNxwDG+ CSZpAwVATlCXDCb4THD/G+sncfFlyC9UYlUCb7QGvtC2gzNlzdDV0FMPbe9icejulGBadxwF 1Y/xCor9adry1CHQNaoCnVUp1bf5URABLK8CdYS4waUj6HQ/gyxHXkBVjcHado8tcZwSyZC/ lSAmtesAT10rJWOWHeF//GVqymzMG4bNwc/iTQsSAIE55zlp5svjh/SVNF7HaenidusQGmqm WjV9245mqkZitMN2+Oj51fbjjmwp5/PCAko+gHQWWHj5QR8DGK4W2C2wQeB6/ZbItzAdAmuo 0QVkNWi4M48C7jYwURhX94x8KeVC+GtERC0vLKCN5wo9jDo/Xm5YYBd/St5PEpgIMECIGaxO hWL5lgX44JPNny3a6Mxe5i2F8kh0annE5LiS+zQad1NJJN2cWdrHR2Ch2bAhwgBc2B1zMnT3 Kt3l+7xUR727ow6l1KLqx81i+ND+8zH7Tq7qWrHI+ubPUq2PyXPFeht3Kqma+Ey9qSfpwvJu 91YLdPi9iizpNbWO3GNmaZKdQ5iBSFiWfje9ZYLHsbdeVAOMD96VJfsLUYJId0Nc1J9zb+Qp inVt44x4AaXuEAr3i3RMSozNuKzBMgvxZ/5VAR1VWuVN7EYSd7HxM8im1EfJNHLLcQ6laIuH coWMd6NGOpOQTnh8jEQJ8u15o97eRjhwUrEMyO5aXJtN9RtVi7YyO/CJwHPzSgpCjbolM0cp 7b76BjXb6BeTCtfDeHXSsmV8XWPgVYnltlfYW70M/hIWUC18IFVOy371fA2BMcXKCT8/DiR1 ifIIBQim9bJibQS3P/lu5ytsKKSTvVyLnBbFTLl8ISdaDbR+zv787BmCO+3LC35UTKt9Iqye +8P1OzNaqwbvVdVsrhTF6Rg4rI+6uDO+Z5b7FVAN1faY2u7DohPJiG94vBOkalW1Jp1hBCTW H/T3vVrYpK3YNjEFnwVLyobNtWz7+kewGTu3K5kMXfE6z9S15vZdFdZID2nqjFXdZlxO6Mbm dYRgtYcsVGDu0B7I+S9r35m8kqXJSY9SIQhjJYRBbHrhicNyl1vZZ/9CDf80KqQaudjY1UbH TuJuJXs37hs5FLOU34WJ0j/2eBwgZcvuhcT6HQgI1+PuMTOh95p/Rl33Ak0cD9ozUR847ouA lRoCkx7HrXR3jFKgMMYYXugNTscDzKk+2vw6WAzqkvnc2eSWFbwcVINYdS2wBhB8kZ3XCRqw 7WD+WO0DRfoZJ7Q2wUxa25Eqtvib95V8z+bkeCBNvWAPYMeZBTnpqmQf0sJtBrVLscjj2LXp eRR3bhRaI+qEQUysqEEG42h+rBIcy+9JUtGWuBHwKMFOUr+aQOC82GCBG7pc/wcOsGQ11GzD vJfA/5mVjO85X6olS8aD6tdGI1Etqcly/Rac4y6OFNclaWUqwdol5fi9iLeomsPaPc2mOYfL rLhTR6zIlayt1B1xVCU9NJlP1Cma+YqfAf/heC50NsYHqI57d1DTxsA7auWjV60bi1c4BOmj CHSbfT3zstj67hWsanCL6FhPziwePTPDLmm0QbrqNlfT8L9AeGXvSMvl1TXFQB3P7wQZtdJq YqwoOPHhEPogbJnfF3ayr+gFrZI7/qcROB4ENz6B1gEkDqgWP3D2Qoi+We5GI0Uld9i5tuea Cm5Ydrtde8EBo5U1VxOSi1kCx1GIb/GXqThgiKfg8W8KAoR/jLaDf6VrHbJSGBVTTAJMJvAE T3Ju+6iy9RbjYZUDjoGOq1WOIB5K1rdRqcWTd39mj2GBG2OgFnZmL/duTc/yDPMUF+oLd3b5 M/bex3AaxiCgqHE49VHuYhUvBdMLnJcg/E1T30N6exNlDG2I24XH9szaaxcJMlvrRXz85Xka BXmTmgoU3z9VAsZVyTM2o3oWwPHC9EePtv8GCcSwHqVTCWLH6KFPqpq83ZxwnVxewa79tqdF /MlxiTSMCSyk7ZTfsRC1szj1K0jjrnfy2kT8E/wr93qDlxMSf8W3XhmB0xWWTaBD8jJk17RK HMoQXxfBnu2UlP1Dd0qbks99Mv1Z98z525AgeazLNfjV0Gz4NBy8MevYMrOiuVaKsMXOLQJW HX7AXOX5Hyb0WASvq1vvM81hahzCrSAGc3SwGrLW1gJh6/pgog4F5pqoMbNZJhKFM1j/5f1n DOvpXE1QlmGQKyU8KPD0h0HovqdTVpVZwwkT2fDSfvumxY6idHSPQWppO4+xVcctIC713hlr PwugIp9brFYWPYIZdWzixjDmmG6PA== IronPort-HdrOrdr: A9a23:JOAILaFNsSMCTxetpLqFEpHXdLJyesId70hD6qkvc3Fom52j/f xGws5x6faVslkssQIb6LW90c67MAvhHP9OkPAs1NKZMDUO11HYT72KgbGSpwEIeBeOi9K1t5 0BT0EWMrSZYzlHZK7BkXOF+r0bsb66Gc6T9IHjJjtWPGNXg/YK1XYDNu/XKDwCeCB2Qb4CUL aM7MtOoDStPVwRc8SAH3EAG8zOvcfCmp7KaQMPQ0dP0nj4sRqYrJrBVzSI1BYXVD1ChZ8k7G j+igT8ooGuqeuyxBPw33Laq75WhNzi4N1eA9HksLlgFhzcziKTIKhxUbyLuz445Mmp9VYRid HJ5ywtOsxigkmhDl2dkF/I4U3NwTwu43jtxRuzmn34u/H0Qzo8Fo5omZ9ZWgGx0TtqgPhMlI Zwm06JvZteCh3N2A7n4cLTah1snk2o5VI/jO8oiWBFW4d2Us4YkWUmxjIZLH48JlO31Gh+e9 MeQ/00pcwmOG9yVkqp9FWGm7eXLzoO9hTveDlyhiXa6UkWoJlD9Tpn+CUupAZ9yHsDceg62w 3lCNUaqFgcdL5lUUs6PpZ2ffeK X-Talos-CUID: 9a23:5RPDCGF/2V+z1ws5qmI4rkgUAc5/K0eN42jsMkSlNWpHeru8HAo= X-Talos-MUID: =?us-ascii?q?9a23=3AoBdo4Q1WolNcoB/Ro11O7E5nMDUj3b6eF38/n7o?= =?us-ascii?q?6oeK6NSkoNG6ikBi5Tdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,122,1787004000"; d="scan'208";a="296938742" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHEVttxuTpYXAn+zuqUIakpXwewn2pPp66CyU?= =?us-ascii?q?JUJ8fSBso5xwhwtezo+iZVinEsCSpzO/sNlFirl420TZFet0yay9zKL5?= =?us-ascii?q?5nQ6DIOHBkeA+P1A+qb/iWYgGypXuHZ9bno6DfFwdQoHo71PBGGmJuL6?= =?us-ascii?q?k0Ap2dClqkXyzwPvLUl6K7QQ=3D=3D?= Received: from mail-northeuropeazon11022073.outbound.protection.outlook.com (HELO DUZPR83CU001.outbound.protection.outlook.com) ([52.101.66.73]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 25 Sep 2026 15:18:04 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=kMpVTSPIqk6++atJeOxweBvLHpWtltxBpl1xe6tki8lbEW91/KUbp4HxwPSZ+mfz2OevOxj9KHQgLHUfp7xjRkJqEjzMQZiAVEEAf1DaP6DU6lbmnRMsbA9sgNudCBw70pFhbQ0b38Cfc4ZvAQwd7BOAHJD512foeW4Zaxj/ymjXtDOVY0LamBPXNJLOAbcUUo9zB+QkNcAEn3OiBJ3vUgbL4myIdGOSaf1vUVuXeRzZJmSUIe2DtePCEYBaBKLbEVrO8p0i0oZJxsF/jGiDX4IgcYXKak6s20zixLH37K4hJA5tY3Muz7Iao5/VGjHRWvnxU0+55Es6W8e1LKpfTg== 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=OCP47Eob/EaRftVMlPNxxA14T3wmMgI19pA0ooP/Z2A=; b=HCrwBTMv8vvnhwtUR17coxv6JhCmBo4zfYTS07lPVOtLjEzTYNgzITR/SwfGatjUy8BvNVIM8Y1qYj8mCA4JtQzRJWWmwAkTsmpDCw4s440FLGjQjfr+RGwJebwb89R56U3YriIkp3+HoUIbrQwnUl02cpcGxqdL9BgYEZPNZRIBm/RI2XCsZjNtDTjvfFYPZvzGrN1nZLjtAVFtHknXw99Fd29xv1BBqzyRpVDsB7PxCPGdoae76Pw2FOeCILFcEra1wRsKfF4U6vx+RAOKTOr63ePKnBCkkMYBRI10GyNqZD/ng+NNhuokObDKXyCjOLC/xNlEBtI2bEoPa+Tgyw== 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 PA6PR02MB10592.eurprd02.prod.outlook.com (2603:10a6:102:3d6::17) by PA1PR02MB11982.eurprd02.prod.outlook.com (2603:10a6:102:567::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.451.18; Fri, 25 Sep 2026 13:18:02 +0000 Received: from PA6PR02MB10592.eurprd02.prod.outlook.com ([fe80::9802:8409:a66b:9227]) by PA6PR02MB10592.eurprd02.prod.outlook.com ([fe80::9802:8409:a66b:9227%6]) with mapi id 15.21.0451.014; Fri, 25 Sep 2026 13:18:02 +0000 Message-ID: Date: Fri, 25 Sep 2026 15:18:01 +0200 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, ProofTheory@Lists.Bath.Ac.UK, coq-club@inria.fr, caml-list@inria.fr, clap@groupes.renater.fr, gt-scalp@gdr-ifm.fr Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-ClientProxiedBy: FR2P281CA0091.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:9b::10) To PA6PR02MB10592.eurprd02.prod.outlook.com (2603:10a6:102:3d6::17) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: PA6PR02MB10592:EE_|PA1PR02MB11982:EE_ X-MS-Office365-Filtering-Correlation-Id: 118aee24-9bf0-4f9a-454a-08df1b076d30 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|10070799003|23010399003|376014|786006|366016|1800799024|10067099003|56012099006|11063799006|18002099003; X-Microsoft-Antispam-Message-Info: kK1jY6etp/mxj97ILjO7Fz/rGPMODsFTeztBoc/l7tTRwMWB59RmYWKSxdMyT0ctN7FgocXXOfjNqakj2zWgGIzW7k3uQmgNaX0y/RmtkL3cgO0/OBkjRMSFMLxsHD7Zlejf7kUbNKNgGaQ6C3jA+ywGqs4xDUTtvsGbgUz5TR54DwLRDpN20bIFzSxmaFvUoabhlQhm4gJ30iZmloUSWQPf5OtxcJmSLret4ZYyA6aRhfv357ExuG1YBt0rQ0/ymMW3H2aHAEyGMpvY2ewZRpwcvLigD+Hafzw0HIPV3TVEUrswmvyCZ3VUJGkVz6LHGk6+9NGomh8qCH3FpWhXd6ddmUfpEDJeqbffHaK91pCErQnXyT6rrL3RiIiUtyLihnw2jhfS1VapgJL6NdaeLPrif4YYhLLFv+8ms6M0buf3FRj6w7MYwc8Sg1JXgYVkMu3Bv8NVk1I+vRQVVTLSKDFfR0J4rC6zGjJreD0P6qVrK3oiQ4i5e6g6htcA9FkGxYUaC7227eCASjRAvyRz+YIjrSWlJPTPu4VGTVH3c1qYx6vAtCEaNn0JKJUmVIGhJKv27bRSwqZ6OWgaUuhyfoL05SJgrWSX8dOEos4Ge14= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PA6PR02MB10592.eurprd02.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(10070799003)(23010399003)(376014)(786006)(366016)(1800799024)(10067099003)(56012099006)(11063799006)(18002099003);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?ckpXTHQ2NWJHbVFYRmhKcGt1Nzk0ZFd3WGRSbTVVdG94UGhJeHp0M3pDWmlJ?= =?utf-8?B?anFJT2xKSzZ5blFmZjBLbjVxbzEwWlJ0MGlsZ3doUlQzTjBkRnlYWkpxdFVk?= =?utf-8?B?Z1ZDREpZUXNOV0pxRkV5Ry9rVk9mY1RaY0o5TzZsOTVUMGZZK1NsRW9GYVkz?= =?utf-8?B?cUVSZzRmdXV2T1FreFkrVk54TkJzeS9kRFpmRUxUYUNiZGZJVGRIc29Wa2wy?= =?utf-8?B?QXYwTDZWTEU0N2tnRldXQk1LUENBM1lUZ2xlR01sTGhTZTU2RE52TVBwTERV?= =?utf-8?B?aDNFRkVqTVdsM09uUTVjRDh0bjFSRUZKQlpTNXZvUzRId3R1TXVqRUtOWURm?= =?utf-8?B?c1FJVjB2QVUxcHJ2QVJub2srVDV3Vldickw4bjVYa2t5dkc0cVU1TUtLUHZm?= =?utf-8?B?ckFTNGNxUExPam5HSksvSWIrYWdqdmY1QUljV0NWS3VUeDJtZlh3N1I0d0xY?= =?utf-8?B?OFFDVHhrcUtpQ0pkQUM1Wks3eDI4MThaVjVqU00wTXNVRWJEUEZObGY3MkJk?= =?utf-8?B?VjE4U3lQb0NKd05wRU5lTExmUnlEbnY0T0p1Rjg5akRDcXhhaHlkbTMwRi9V?= =?utf-8?B?bHBTNFk3aDczZ1pqQWRhWWlSSERhLzBYRnhMTUVWVW5FL08rVytvVlNSRzF2?= =?utf-8?B?QlQvOFNROGdjL2lHZHNlTE9zNDQ0dEd1YkJkSkNvbUM4VzRnSmd1dzRGWkZ2?= =?utf-8?B?RDl2U0pnamRzUFJaQ3FpaW9TMThNbmJIeVUrbVNEbWtyeGlqOFkvL2J2VXE0?= =?utf-8?B?cjgwcGN4alpaSjliNVNKRW9vbExlV1NndW5oYVA4Q2FJSkVub1JXRzlpR3Y3?= =?utf-8?B?aDhzZ0FTczZrU1Z1QjJuYTk2d2ZPRjM4bExVeTlZbUlrT2RtUmhPc3NJekVH?= =?utf-8?B?V3hBZmZKSVE5RVU1Q1Z4VG1RZnBXZWtLbjIxb2VoRU9ROHpYTTNNSCtrQmZ0?= =?utf-8?B?UVJIZjgxRlFiOTVyYk9iaGdCTkNpUnZHcUR3Y1FPejIrVDRVOGJoQW1jb2Z0?= =?utf-8?B?TFU1ZmtlR3I4ZFVTZCtBTE1KRGlwa1JOT2h2VmQ4emFMckcyR2toaWRsZGta?= =?utf-8?B?RDdQUmxZcXZ2eFIvN1l1STdKMGZ5ZjBhLzh1bzVOb2hsdUloV2F6bDJ1SXpW?= =?utf-8?B?cjBGNG0weFp1dEFLOHNoSlQrbUV2VDkvNlJhUDZ1RHVoUEk3UENTYnVaTW1B?= =?utf-8?B?TWc1WTljRTRMRXVTS2E2ZlAyQW4vS2t1SkY4SmowdnNpTWJjZDFvZmhyUFZ3?= =?utf-8?B?Ly91endscGt0VGlmLy9nS1BJYUE3cTZTaGtVTkNmRjhYdm1CR3A5cXRpRU9y?= =?utf-8?B?bHhvTGFYYUtxT3VXekZXNnp6TENLTmtEaWY3djUwcDVOcW94SVQ2SENpS0t0?= =?utf-8?B?Q1BiUFRvMXgyaEZVUllKdnJHaDBXNU4xdUxnTDZDRVM3UlU3V0NYeTN0RzNn?= =?utf-8?B?UmZweHo3U2lqRUtkTlpSMEFaRHJxTWE3dk1Ha3lHRFBSeTlJbTVwd1Jjd2NV?= =?utf-8?B?WHcyenBLd3hWSCtmM2VoazdVdVJrUDRDUEJJRGRUNXczMFJiYkRvK2p6TUwv?= =?utf-8?B?U0FuOGpCcXowd0tZOGU1MGxDNGxQN1dyZjFOSldFUForVk1WQTFCb0dqQkFP?= =?utf-8?B?L21DSC9Hbi93OEt3clJKVGdGVnFEU1psUFYrekpxTU1LNk1QY2ZZaW9waUFh?= =?utf-8?B?NXJ5THRQQjBiS1d2T2V3S0Q4TVJINzRDcXA1WW5CdVBCRmxzZmRXbng3NWli?= =?utf-8?B?OTRXem1qOUNEQlJoTGhsejArR0l1RGRydUZibTdBMEdmYnZGQTBmMVJFMnBN?= =?utf-8?B?UGN0M2pVQlc2cGRZeWFacCtrakVsNEc1cHREL3o1bEVVemhySU5sV0Q3R1pJ?= =?utf-8?B?YUlLbmI1d215MXYrS09mWnAwVGQ2LzZFa0NsRXRkR2h4c2pBdkxmYmN5Vytn?= =?utf-8?B?YVFCRGo5K3Q1QjBid2E4N2o4cWV6MzVZcktUeGVCYUJuMksrUmVtNVREa3dU?= =?utf-8?B?U3hhaXB3K1RVTW1IYlJQNFFua1lyUlRXYlhsZlZOSnFpTGpMZjdvb2t2aEU5?= =?utf-8?B?QkRHRnBGamE2dTduYS9TeGl0Tm9OamZNcFJhaXk4VUt3ZmcvK3V0dkxWTkJx?= =?utf-8?B?Qm4wM2xhQkhuNjdFd1BZYk5tN3ZEN3c3Z2RBTWFCM1BmQmlKakxFVktqZDAx?= =?utf-8?B?dlBOY0hZUi9wdlpKNyt0QTZSM1VZVExia0l0NzlFN2t0MVVmNFlmMHY4WXgz?= =?utf-8?B?WmgxUlN6V0MybXhsdDNiRHFFV1lWRU5KbVoxZDNyckNsOHpZVHpVNXR5OEJC?= =?utf-8?B?NXh6cHBpZmVBQ3ZXS29rVkgxMWZCWWczZitSY2xyMC9FemZCNlFIMm03SDVw?= =?utf-8?Q?5bfGQ9A+c95ruiMXYgeZshBzwpi6CqhMetrDc?= X-OriginatorOrg: bbk.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 118aee24-9bf0-4f9a-454a-08df1b076d30 X-MS-Exchange-CrossTenant-AuthSource: PA6PR02MB10592.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 25 Sep 2026 13:18:02.1536 (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: Th7P9Uj2vkJolQKglxRdEqJYw5NW6y+cqb7hmbA89IiSkzA5i8oqOkwtniwQffHyGTncYs+hvpEoBJ/5NY8O/w== X-MS-Exchange-Transport-CrossTenantHeadersStamped: PA1PR02MB11982 X-Validation-by: c.fuhs@bbk.ac.uk Subject: [Caml-list] FSCD and CADE 2027 Call for Workshops Reply-To: Carsten Fuhs X-Loop: caml-list@inria.fr X-Sequence: 19588 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: ------------------------------------------------------------ FSCD and CADE 2027 Call for Workshops Sat 21 -- Thu 26/Fri 27 August 2027 Nijmegen, the Netherlands https://fscd-cade.science.ru.nl/ ------------------------------------------------------------ CADE and FSCD 2027 will take place in Nijmegen from 22nd to 26th August 2027. We invite proposals of interest to either community. Proposals must be limited to three pages, and should be submitted to Cynthia Kop . Proposals should include: * the workshop's name and URL if already available (or from previous years) * which conference you mean to affiliate with (CADE, FSCD or both) * a short scientific summary of the workshop's topic * a list of workshop organisers with contact information * procedure for selecting presentations (e.g., contributing talks, speaker invitations) * proposed duration (e.g., 1/2, 1, 1.5 or 2 days) * expected number of in-person participants, providing some data on previous years if the workshop has already been organised in the past * special resources that may be required (e.g., a room for posters) * preferred dates (see below) * any other relevant information and special wishes about the schedule (e.g., avoiding overlap with certain other workshops or business meetings) Proposals for other colocated events, such as poster sessions or competitions, should be submitted in the same way. The available dates are in principle: * Saturday 21 and Sunday 22 August for FSCD workshops, with an option for 27 August in case there are many workshops. * Saturday 21 and Thursday 26 August for CADE workshops, with an option for 27 August in case there are many workshops, or two-day workshops. However, on request, we may also schedule workshops / poster sessions / competitions /during/ their affiliated conference (22-25 August for CADE and 23-26 August for FSCD) instead of before/after. *Workshop proposal submission deadline:* 4 December 2026 *Notification:* January 2027