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=WVx6yOTP; 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 C552940098 for ; Fri, 5 Jun 2026 09:43:16 +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=Ot9hq2r4oI0PY9Ki6q4CuS68pYoK4Qtb1Q4MxRK2cF0=; b=WVx6yOTPaX6QmN1JW+66w0w2LZ+/T6vyVBEHToSg2N7KZPX/bYYG1+E3 UXf2f9zWS7m8LZGW17BZLE007YXpDlU89jC55nw8rnp8oJLy+nTdxPf8e /BUyw8IQADIgo5AFFsAIKUW4VMhqmOL6Ul0AQrLT7ERif0SluKoW6EA9w U=; X-CSE-ConnectionGUID: k7XhY0r+RaqF1Vq7lwBDdw== X-CSE-MsgGUID: J/mRNG5wR0yP8A/Jbx80AQ== 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,188,1774306800"; d="scan'208";a="279973216" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Jun 2026 11:43:15 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 9A46881AAA; Fri, 5 Jun 2026 11:43:15 +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 672B881862; Fri, 5 Jun 2026 11:42:33 +0200 (CEST) X-CSE-ConnectionGUID: BNxT94gpR7OR8e4ypMW52Q== X-CSE-MsgGUID: 2vQUFUJcQQCU5jobE2uRhg== IronPort-SDR: 6a229a09_zEj99LhvunCAHZGYAwbQle03hJ48pw1LtRsALZK7ZHuaC9s 7c9sER4K/XliGMEq0iVF7zpGrY7FUamK56hs8pQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HSAgDumCJqgUpGZTRaDhABAQsSDIIFC4FuU0IBR2AyB?= =?us-ascii?q?1GEWINNAQGFLKVCgWmBagYJAQMBCwI9FAQBAQECAQOSNiAGAQQzBg4BAgQDA?= =?us-ascii?q?gMBAQEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQE7Bw47hk8Ngls7c?= =?us-ascii?q?YElAQEBAQEBAQEBAQEBAR0CFC0qOAsGFQgBARIUEjQCJgIzLBQBAR6CYAGCJ?= =?us-ascii?q?ARLBAIOpgMBgT0CAosigTKBAYIMAQEGBASBAIFi2H8vFoFpCQkBgRUuiFoBh?= =?us-ascii?q?XUBO4RAggtEgRUnCwOHQQESAW6DDoJpgiZ6EoJXgWOBSIR8hVqBShwDWSwBV?= =?us-ascii?q?RMXCwcFgTMzAyAKLxQZAhQcARIPBBYJKR1wDCcSLBczWBsHBYFKgV1WgQSFE?= =?us-ascii?q?iMfAzmBF4F8CoEeZ2kVMToQAgELbT03BgMLG0GNIRcPgnR9ZpRrkWaheQeEH?= =?us-ascii?q?4whlT8GEy+qagGIA4MujVUijWeWAIUMAgQCBAUCEAEBBoF+JGxwMxo0gyYJR?= =?us-ascii?q?wMZD44hhUCDVYJmhzu2SEQ0PQEBBwIHDgMLgWiQNIFLAQE?= IronPort-PHdr: A9a23:G7CTVBzfo3uigNLXCzLZxFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xGZva0m1Q6RBd+Tq6odzbaN7+a4AS1IyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/AdjUKgcXJ 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYgYZuMLo9xgfGrndVf+la2X9kKUyOlBr4+su84YRv/itetv8u7cJMTbn2c6ElR rFEEToqNHw468LsuRTfVwWE+2ESUn8RkhpGAgjF6A/1U5LsuSbkteRzxTeXM9TuQb47QTqt4 L5nRQHnhikaLzI2/33ZhcJ2jKJAvRKuvAd/zJLOYIGUL/VxYKXQds4HSGVbX8ZRUytBAp6gb 4YKEuEMM/pUo5X7qlATqxa1GAuiC/71yjJQhXH406M13eQ8Hw/YwAMuEN0BvW/IrNj3LqoeT fy5wLfKwDjFcvhY2S396I/Nch05v/yDR6hwcdHNyUYxEQPOk1WeqZHlPzOOy+8AtHSU4/BuV eKyi24nsBp8rSO0yccvkIXGnJ4axkrZ9SV62Ys4I8CzR0Fnb9C+CpRQqz2aOJVsQsMkW2xkp SU3xL0CtJKlYSQHzIoryhDQZfGbbYWE/wzuWumSLDpkmn9ofL2xigiy/EWjzuDxSsi53UtEo CRLjtXBqm0A2hrO4caJTft9+12u2TeJ1w3L5OFEOlw7mrfCJ5E9xb4wkJQTvlrZHiDonkX5k LGZel8j+uiy5OTqZKjtqJyEN4JsigzyLL4iltGjDeglKAQDXXSX9f6+2bDs5UH1XrRHguE4n 6TcrZzWOd4Uq6+8DgNIzoou7hmyAyqi3dkdmHQLMVFIdRSahIbzIV7OOur3DfKnjlSsjjhrw /fGM6X9D5vQLXXNiqvvcapy5kNCxgU/0cxT6pZOBrEGPfLzRlT+tNvFDh8/LgO42f7nCM961 oMCR22AHrOZMKLVsV+O/O4vJPSMZJMRuDb6LPgl5OTigmM+mV8YZaWp3J0XZ26kHvl+I0iVf 2DgjsodHWsXpAYzTvDmhEeAXDNcf3qyWrgz5jA/CIKoF4fDQYWtjaSd0yuhEJ1We2BGCkuXH HjzbIqEWO0AZziOLcN7jzwEVqCtS5U92hG2qA/6171nI/LI9S0frJLvzcR65+nOlR4p7jF0F MSc02SVT25uhG8IRjk23Lp+oUNn0FuD37J4j+RCFdNP//NJThs6NZnEwuNmEd/yXwbBcs6NS FanWdWmHSo8Tskxwt8Le0ZyAc+ujhHF3yqwAr8ajaaHBJIu8q7E2Xj+PN5yy2za26k5k1kmX sxPOHW4iqJn+AjcGYnJnUaDmauybaoS2jbB9H2dwmqQv09WShZ9UaDfUnAeYkvatNr46V3ZT 7+yF7snLxFBycmaKqRUcNLojFJGRPH+NNjDf269hXq8CQqKy76DdobqfHgd3DnGB0gDjgAT+ 2uJORImBie7pGLeECJhGk7zY0Pt9ul+rmm3TkgpzwGWa01h0L21+h0PifOATPMT26oItzoiq zV1GVawx8rYBdWOqAR/YKtRfdUz7E9a2mLcrQN9JICvIrh6iFAHawp5sFvi1w5vCoVOicUkt m8nwhdvJ66Ay1NBbz2Y0ojwOrLJLmny+wiiZbTK11/DzdjFspsIvegps1j4+QivEE0/9X5q+ 91UyGeHoI7HBRFUTIr8VEBx+hRn4/nRZmw8/Ire2HloPOypqTLYwPotBfA50VCrdtIZOajCC Qy2W9cXGNKvNO0slHCkaAlBOPFV8ug6JYfuT+GB36CXPOtnhiOOqWVc/Js7+EuQ92xVQaj1/ NJNyPaBmwCDSj3UjVG7s8mxl5oALTobG276zSn/GKZQYLdzdMAFEyPmKMm+3v1xnZnwQ3NDs kSuAVoa1dXvdwDWJ1PhmBZb3EAPiXOrg265wTkynStt5pGl8RTq+MzAVSEsH0dqYC9LphHRA tualdcfCWOhdRM1mR3ty1v63OAPr+JxMmnIaU1CfG7/JCd/Uf3j5fK5f8dT5cZw4m1sW+Omb AXCIlacix4T0ie5WnBb2Ch+bTah/JPwgx19jmuZand1tnvQP89qll/E/NKJY/lX03IdQTVgz yHNDw23ede0/c68nZ3A9Om1EX+iBdVIaSe+9Yqbr2Og4HFyRxi2nvS9gNriRAN83zL7zPFgX yaOpR26f4q4n7+iP7dfd1JzTET599I8Gox6ld4og4oM3HEBmpiP1VM8wV/JaYlw5PqmPTwKW CIBxMPT7E79wkp/I3mVxoX/EHKA3s9mYNr8aWQTss4kx+ZNDqrcrLlNnC8v50G9sRqUe/922 DEU1fop7ncexeAPogskiCuHUPgUGgFDMCrgmg7tjZj2pbhLZGupbbm71VZv1dGnAraYpwhAW XH/Mp48FC505897PRrCynr2oo3jfdDRa5oUuHj221/LyeZIKIkZnPAJwyNsf3/+/DUkx+M9k R1yzMSipoHUY25p/a+/HltZLmioPYVKomir0v4YwZrFuuLnVo9sETgKQpbyGPehETZI8O/iK x7LCjo37HGSBbvYGwabrkZgtXPGVZ6xZBT1bDEUy8tvQB6FKQlRmgcRCX8x2JAkFhuCzsbiN k5yoC0SrA2dyFME2qdzOh/zX32K7gzuZCo0U7CVJhkQ5woE+kSfYoSOq+l0GS9f5JioqgeAf 3eaawp/BmYMQkWYBlrnM9FC/PH4+vODTqq7JvrKO/CVrPBGEu2PztSp25dn+DCFMoOOOGNjB rs1wBgLUXd8EsXf0zIBLk5f3ymLYdObvz+28C4xp8v57fejVA/05ISJAqdfKp0yoVbv2f7Fa LbW23oxIC0Qzp4WwH7U1LUTlEUfjS1jbXjIc/xItCLASr7Rhr4CChcaby1pM84bp6k43wRLJ YvakoaojPgh1qdzVA8DCgCy/6PhLdYHKGy8Kl7dUUOCNbDcYCbO39mye6S3D7tZkORTsRS0/ zedCU7qeDqZxFyLH1iiN/9BiCaDMVlQooa4J1xmT2b+TMnOYBe4dtZ8yyA1i+5R5DuCJSsHP D5wflkY5LbW4z5Ymd11EW8H53EjMOrOyG6JquLfLJgRq/5iBC95wvlb7HoNwLxQ9ChYRfZxl Xi3zJYmsxS8n+KI0DYiTAtWp2MBmteQpUs7c/aR5txaVH3D5h5I8WiAF0FAuY5+EtO23sIYg tnXyPCvcHETqZSMu5NbXpWcKdrbYiZ5d0OxR3iMSlNCFGDjNHmD1REH1qjKrjvN6MB988WJ+ tJGS6cHBgFvUKpCUAI9WoRFeck/Xyt4w+PBypdQvjzm6kGWHZoSv4ibBKvKXbOzd3DBy+EDP kRto/uwLJxNZNfygxUwMwAjzoqWQxKCD5cR8mVgdlFm+kwVqSonFzRh1R69MVH/pyNCcJz81 h8u1FkkaLx0pm61ugU5egKR9ntoyBFjy5K42HiQaGCjdq7oBNMPUnOmuRRpacHwG14tP1/1w BUBVn+MRqoP3eFpLTk50VaF65UTQaUOQ/UcOE1CgqzNL7Ah1VAWwsm+7XdO/vCNSZ5rlQ9wN IWps2oFwQVoKtg8Oa3XIqNNiFlWnKOH+CGyhKg9xwoXJkBF9233GmZAoEsTKrwvPDal5MRF0 ly6oWMfU1VUD6tspe92/EQgPejG1zjnz7NINkG2MaqYMr+dvG/D08WPRzZSngsEmlJE8r5/z co4OxfOERl3lf3OT1JWaYLLMklNYtBX9WTPcCrGqujLzZ9vfs28Gu3uUe6SpfMUj0ajT2NLV 8wH6sUMGIXp0VmNcJ2hdeZcj0p1olu3dzDnRLxTdRmGkSkKuZS6xZ5zh8xGIy0FRH96OmOx7 6rWoQkjhLyCWs03azEURNhhVDp+Vcuklipep3kFAiOw17dTw06M8j/nji7aD3/1ZJx+Z73HA HEkQMHz4jg5/6Ws3BTP9Y7CImjhKdl4kvb0udsg/8qsNqsMHP96rlvWnJReSzqySWnTHNWpJ p/2LY4xcdjzDXX8WVu6wWFQLY+5LJOmKa6GhhvtTIBfvdyA3TwtAsS6EykXBxZ6o+xQrLI5f wAIZIA3JAL5rwlrfbLqOx+Wi5/9JgTlYSsTVfRUyv+2IqBa3zZ5JPHv02MuF9k717XlrRZLF ctM1leGgq/+L4hGDXqvQjoEI1qJ/Wxh0DE/U4R6iuYnnEGV6x9Fa2jNLKoxLzUZ99AkWQHPe zMvUjB+HxnEytOdqg+0g+JPpW0Ex40Siasd9yGh2/2XKDO0BP7y8cmT73VmNZ5+5PQueY37f JncvcuHzGWGFcve7lXdAnz9S6o/+JAYIToGEqNBwTh3YJVf64QdsRFjBIBidvROEPd+/LnyM Gg9VHdAw3NBDNHQhGRa0LX7huK/9F/YcYx8YkYN6MwQ24JEASAqOnhMr/f7D9eE0DLdAmkTf lVJ5FwVtltZz91+Iri+soSQFMcemXkL+boxWy/PXPGAEnPxQGLQiFO+Vfbzy4RBMipYxvGq2 9JdRR0tUCC1Js5/rRsQEukrAJRI5t+MtSKUf0Tnum6r0PGhOFRa1czTcRv/EZbBsm3/FCYb/ C9NLbI= IronPort-Data: A9a23:Pl5LoKw0mOOzRKRP6St6t+ddzSrEfRIJ4+MujC+fZmUNrF6WrkVTm GQfWG6GOvneNGHwc49/b9vi8xlTuMCHzNdlGgQ4/i00HyNBpOP7WeiUfxz6V8+wBp2aHRg/t 63ySfGZcZtqFieEzvuJGuK8xZWp/fjQHtIQMMadZGYpA1MiEH5/4f5as7ZRqpZyhtSkCB+6t 9r3osnOUHeowDcc3lg8sspvkzsx+q6u0N8klgZmP64T4geCzyN94K83fMldEVOoGuG4IcbhH 44v/JnhlkvF8hEkDM+Sk7qTWiUiXr7IMAGSvWFdUq6kjwIqjnRaPnETaZLwwW8O49m4t4gZJ Odl7PRcei9wVkH4o9nxZjEEe81IFf0fqeWfeRBThuTIp6HOWyOEL/yDlyjaN6VAkgp8KTgmG fD1tFnhx/1M7g676OvTdwViuigsBOPNLL9O5n54927+N6YrHYHbZpqXv+YNiV/chugWdRrfT +MiOQJVNEjrXkUXaxEQFY40m/quij/naTpEpVmJpK0xpW/O0Ah217urO93QEjCIbZgP2B/A/ ySZpyKmXnn2N/THodaB2nnqiPLPhgvxUoFUHbb+6/0CbFi7nDNCWUJMBADqyRW/ohSgYu9xF m4fwxMFkPUw80aGFMTHXxLt9RZouTZHAIAMTIXW8jqlwa3Npg2dG2IsVS9EcNVgtcksRDVs2 EXht9jgADgqtLyOVVqG57KMpHWzPzIUJCkMf0c5oRAt5tDipMQsgwnTQ8t5F7a4h8/yH2ipm 2rT9HdiwbIOkcQMyqO3u0jdhC6hrYTISQhz4RjLWmWi7UVyY4vNi5GUBUbzx9BQENfFQUG74 18+y8XC/fgrMszXrXnYKAkSJ41F8cppJxX6pTZS83QJ8j2s/zu8cJtM7SxkI19kO9QDf2awO BWK4VwNophOIHGtcKl7JZqrDNgnxrThEtKjUe3Iat1JYd56cwrvEMBSiay4gDGFfKsEyP9X1 XKnnSCEUCpy5UNPkWbeegvl+eV3rh3SPEuKLXwB8/hY7VZuTCXOE+taWLd/RuU457mDuwLb7 55UMNGSoyhivBnFSnCPq+Y7dAhURVBiXMyeg5INKoarfFE8cEl/UKC5/F/UU9Y090ijvryQp inlMqKZoXKj7UD6xfKiMSg9Oem2Acgm9hrW/0UEZD6V5pTqWq73hI93Snf9VeJPGDVLlKYoF as2aI+bD+5RSz/K3T0YYNOv5MZhbRmnz0bGdSasfDF1LdYqSh3r6+3UWFLl1BAPKS6r6uo4g bmrjT3ATbQ5Gg9NMcfxadCU9W2Xg0QzouxJcnXtHshyY2TpqYhjFDzwhKQ4IuYKMhTy+QGZ3 Ae3XzYbi9XqjaUO1fXzqZ64hpiOKLZgEnpgHmOA06uEHnTF9W/ymb1/dr6BQmHAcGaloamNd ftflerhAadWgHdLrItOPLJ5xo0u59bUhuF7zyY1OF7pfliUGrdbDX3e5vZ2t4pJ3a18lTatf 0Cypv12CO6uBpv+MVgzIAEFULyy5csMkGOP0cVvcVTI2iBn2ZGmD2BANAaoow5AJuJXNIgF/ 78QiPQO4VbititwY8e0tQEKxWGiNXdabr4GsKsdC4rVigYG7FFOTJjfKy3u6qG0dNR+HRg2E wCQmZb9qexQ9mjaf1o3MEr97+5XqJANmRJNlXspBVCCnPjbjf4WgjxV1xkKTTpu8xYW6NIrZ 1BXNHB0K56eoBZupsxIBF63Fy97WRa2x03WynkyrlP/cXWGbGL2AVcGCb6/x3xBq2N4VRpHz Y6c01fgAGrLftmu/y4cWnxFiv3ETP5z0gjwwcmHOe20GrsgRT/LgIuoW3ApqgTmM+w1lkbot elnx8cuSK7dNSUWhfUJNNWV77IuTxuVBj1matNw8JwZGVrzfGmJ5gGPDESqa+VxJ/Du2m2pO fxEf85geUy363eTk2o9G6UJHY5RoNcow9gzIpXQOm8MtuqknApD6Z7/2HD3uz42fo9Ij804F 4L2cgCCGEy2gV9/uTfEjOtAC1qCTeg0Xi/O98Hrz7xRDLMGiv9mTm8q2Ljtv3m1DhpuzyjJg Cz9PZ3p385Q4qUyubDzE5dzJRS+cvLyc+WqzDqdkfpzafH3DMOfkD9N93fGOVxNMKozSuZHs +2HkOTK0XPvuJc0VGHkmKe9KZRZ2PXqYs1pNpPYEXoLuwqDR87m3DUb8U+aN5FisY1Q9+und SSCeeqyct8kSopYyEJVeRFxMRcUGvn3X7a9/Cqsju+tDyIF2lftN+KX9n7ObEBaeBQXOpb4N BTGhva26v1cr6VOHBUhBcw6M6RnIVTmZ7QqR+fxuRacEGOspFGI4ZnmqjYN9hDJDSOiPPvhw JeYWCX7Sgu+iJvIwP5drYZ2mB8dV1R5oOsoe3Mi68xEsC+7AEEGPNYiH80/UL8MqRPL1bb8e D3pR0khA3+kXT17LDPN0O66VQKbXuEzKtP1IwIyxHytagC0OZihBYVw/SIx8lZ0fTrelNucE +88wUGpHBaNwcBOf90xt8yL2bItgruQw38T4knynvDjGxtUU/1AyHVlGxELTiDdVd3EkELQP 2UuWGRYWweBRFXsFdp7MWtgcP3DUOgDEx1zBctO/Dreh2lf5MR7mMXFY73Y7+VbPYINOaIEQ m7xSy2V+WeK13cPuKwv/dU0natzDvHNFc+/REMmbRNHhLm+swzLIOtb9Rfjjul7kOKcL78Zv jOm4D43DwKYKyi9HZWInB4R9csZvm0kVln0Yc2WmdMCuRYzzJ7QcF63z2oX7H02R7fL5y1lf dvZUKpdT5B6etcpSfmSe8n3fmC6PPw= IronPort-HdrOrdr: A9a23:yqWfb6B9R3d7UMjlHem/55DYdb4zR+YMi2TDtnoBKyC9F/byqy nApoV+6faZslcssRIb6LO90de7MBbhHPdOiOF6UItKOjOHhILCFu5fBOXZrwEIYxeRytJg X-Talos-CUID: =?us-ascii?q?9a23=3AyUbv72mHTxkt9hdFE8zefesyTKzXOVf73EuBf0C?= =?us-ascii?q?gMzlOcu2YFU6I3Zw5yfM7zg=3D=3D?= X-Talos-MUID: 9a23:VzofpQb6ra5BLOBT7SHVuR9fFsxR2o+TVUIKm7hcpvOEOnkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,188,1774306800"; d="scan'208";a="279972939" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGWRhX+kJY5vMLjWkvVq2yBTZwPfEkJ8G9xqt?= =?us-ascii?q?njszocrFMV5JNkUfH8lDLHKazxYXpVAuaCFNqKIRzeR3qxZPJLowz6rz?= =?us-ascii?q?Cr3RWPTNTPThVg7KgkOs1WQvjQXrOLIiqI7x2csB1HF0WPw/oNwP1X5K?= =?us-ascii?q?fZMy2Fba7GCE5tY+WyVVfv3g=3D=3D?= Received: from mail-westeuropeazon11021074.outbound.protection.outlook.com (HELO AS8PR04CU009.outbound.protection.outlook.com) ([52.101.70.74]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 05 Jun 2026 11:42:33 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=nTdifsTOfjXI0b8c2gfIIU/9fIlDrXDCcPl4JaZNriYZYI06M61q7YID5SGDfdfRoLKy7L/GemZzQGVp33KPIkqm98VpJINF4kBSG1EgnTGzjxZ/cy+CEMRkXBthemXOP+z0r7VtogdxzJdR594AS6CAQ3ZmkrsoeToQlZkG9yQJ4YJDVW0NcK0bOYoKyoYOOWx3v7gcoc9/CawDwwQXk7KmTWLcrsltdP8iKOfMl51KxsAfbxqxA2O1HM/SMT2KzNSwbtyWBalwvW5DcU8OAnLFEr8wOwOq/jTy7IlVcaq5UfopLBYQiaAoUyULWYedbpaDlBNocWJikoxeC7d2vw== 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=Ot9hq2r4oI0PY9Ki6q4CuS68pYoK4Qtb1Q4MxRK2cF0=; b=vsratNG48DWacXANyIYpMXtPEUU3gQUWqcsHUF3CIWBCfE4XNlK5U0NeJkb3FrVlcZEyGxVq3icQHJiS9nlajiXS78Y99XmrA1ippSWCyHfsp67RqLMWWTNzBkrTGcRGfAvT/IHnua9/6sM63WpW7jrXDcoTiptl+z3fVK2ct2uSo6frXODpeAxmO5zrQyZNNjdDBhYYg+xRfIzNvzZ6yAef/T6mHvs6uG5WDL3dBEroEEBYujgDhoJY1+QJa7JR5U5Ohak0PoYkJqBPY63+dt8okPQ3wCTQOL6Pr+05fLj78OQ6oDy7t4ZSQuZEj044911/dB8B8oweLaWdhRZ+tA== 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 AM0PR02MB11658.eurprd02.prod.outlook.com (2603:10a6:20b:73f::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.92.8; Fri, 5 Jun 2026 09:42:31 +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.0092.007; Fri, 5 Jun 2026 09:42:31 +0000 Message-ID: <3d77e25b-c4fa-4f7f-8040-d2aa4fd4a954@bbk.ac.uk> Date: Fri, 5 Jun 2026 10:42:29 +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: 7bit X-ClientProxiedBy: LO4P265CA0319.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:390::7) To DU0PR02MB9465.eurprd02.prod.outlook.com (2603:10a6:10:419::18) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: DU0PR02MB9465:EE_|AM0PR02MB11658:EE_ X-MS-Office365-Filtering-Correlation-Id: 6bfb1eb2-1719-4bc9-d09a-08dec2e6c30d X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|366016|1800799024|376014|786006|18002099003|11063799006|56012099006; X-Microsoft-Antispam-Message-Info: FuzOCQ2AYkw7bIiYsSeIPRseKx1hVRuLuMZziHjOaahXefCnuayQCvsfYmrbUG1I5vZ0u6IJFuyYVJmnsczTNTWNYP1z/CeN0TdYQ3a7LiatLrbw91qtJFMP+C8gmfh4nyLdfiHI4EGi/wuDBOWAQUUvhXBD6GEYrEHE8FibL8jpK0fwuy2IEUWXz4pbNt9CU3TqA4d+AOO6EL51jY12/UDZgzX9gxWJ3TYS1u6SYzuFl4s4m12fPAeauV+MJ3ixKuSCr9kKWFQ3pK7GLdWSBC/TZW9OVSqSc1wdehlMWCXdWSdn80Vpq5AKdPk1mp2t90Hh+ZvPU8lIQq2S0MCnhVtOtoAzD93xHVoZ3s5y/7HL3DvC73lQP2v8dqcw8Qn0kNgOKHjqM6T9yQ7UeWI6Yyblru6MLTd9TLaKOuSsejYGHExOVaSkiai7VhYIEtd9W44jA9tx1MrIzkTM9W56n7V44++IU6FLT1du7FEK7RoJX7Zs5+jx7P0JrX9WfvhcPhzPgPrmd6Jnn9BA/x5m4ZKYKIdycoi5EbvpxTntOUjj8UVGkpL6HxneCwjVXvhIe8vKWDFQOcZwyEUcdwEAwWGivVIPciX5EE4YE38S0GyMwSn5HF1MLwaAbarZTD2S9jLINBwLl5OYXmWP6lGehrA3J6VDYJi48qLZneu4ZQ5YqVChAh7JPdGb0/7As80T 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)(366016)(1800799024)(376014)(786006)(18002099003)(11063799006)(56012099006);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?SGtnSmNsZWcxNHlSMms3YmFtS3gyeHM5Kzl5eEpPdURSOVJWN1o2U1hXQzlt?= =?utf-8?B?NEtsUk96ZWdYbVd0Qk93eUVZT0lBVjR4V2dNSjZJRkxoSnJIVDhYK2hOclB3?= =?utf-8?B?cVJqL1RxcWQwaWZKQ1h0ekU1R2lDOFU1TmhRVW14anBxN3F2ZlJZaUt1WEk5?= =?utf-8?B?ck1TeG1tV1dZUy9DMDlkMDZRV2xPcFdXODl1cnZlZmFva2dIbDE3WjZFbXFm?= =?utf-8?B?Sy8wenhNOWtOc2RjbytXa0lEaWxoMXl5Y2E5V2pKVUhpWFNQSW5DTnQ4MEZh?= =?utf-8?B?SWJ4ZDVQZlRDZ0p3TlhEVks2T2M0WG1uOXVZWC9IelBZVTJmcUFldTBkK0Q4?= =?utf-8?B?RWlCb2sreDAzQS9ZaU9NRm5OODlhNEp4MTNpTVdWUWM0Y0xWbXVTZWdlZHhQ?= =?utf-8?B?cGhjYmFYeHJPYmlkUTNVdVpGNURrVzR5cjBYMGFiSEp1b0ZuY3ZGQ1htbWxH?= =?utf-8?B?cG1UQUJsOU9PM3FsQ21CL2xKS3g4amc1Sk5jZmhJaXVVZXJkeDZDSmwveFZJ?= =?utf-8?B?OGc0UEp5WURFTjhMU1dvb1hiOWdXR2xCY25DNDBidHZId1JkdEFXbXJyb3FX?= =?utf-8?B?dHBZcDRIWkgxODdQeDhzRTZzc2xFSnMyVUpHay9YbWU3S21PRkdGb0x6K2VH?= =?utf-8?B?N2FBWjFLdkFCNHlQbnhDTjlFdU54VWNtRnFWU3Q5dnJDbEUranhIV2VTazFN?= =?utf-8?B?SjRqYTd4YzN1OFl4bkRWaUFta0xjOU40Vm9LR3NKc2JyNHd5M2EyQ3hEK3dR?= =?utf-8?B?S3JwV1J5VDZHQVhVYVNrUEJ3Z1R5NUtvNVVPWlpQQW5PN3N3Si9jOUhxMlJ4?= =?utf-8?B?MmRTTFExN2ppMkZtaGZaY2JveWdud1UvVThVS2MrZVpMMVZaY3ExQStSbTFr?= =?utf-8?B?Z2lDSG9XM0F3OEM2Y1hGQTZLWnFnLzZjekZHdUhzV0lHbEtsWEdaYjNQU3Rv?= =?utf-8?B?U2d3cXlHWVJDYjFiUGZIWXVlYWhialQ1TmFvOXViTG5qNU5HcmxFSUtDTlNn?= =?utf-8?B?RmNOQTF0NUo1SVpLazBUK2pzNTl1TG4wNEgvK2l3b2hRajJOOXRTajhtTTcx?= =?utf-8?B?RUxmaXpTT0JpVmVTcGttb0Jta3RacmIrQnJUdG4vV0RIRTgvZGhKZU5HbUw5?= =?utf-8?B?RHRqbWhuc25Oa0VGdGJPbjkvdWwyNEJpSUJ3cnplRmNobHhFYXhwdWRYeVpO?= =?utf-8?B?K0hKelRIL2NaQktOeGx1VkxSNzkraVUydmRhdVFpUG5FeVhaUW93dFZnek9p?= =?utf-8?B?cjBWcng2OW9XakRmMWxWc3JSZGVJdEExWFBDMGx1ZEQrdEpNa3RUb3U1emdy?= =?utf-8?B?ampQUkNyMVkxbDlnci9qNmZuYkp2OXBqamZwZ3RiZ0pGeElybmlObFZrVSt0?= =?utf-8?B?aUNNekRLZkh6bFZORkNZT2ljajJSUmtLNGRVREFxVzVZSzN4cFVCYUo0OTRt?= =?utf-8?B?RFp6VUJIVTRkcEoxcDJiblBJTUNHM0xvaEJIRTlrc0o1aFMzVXhKZ2JKTEh2?= =?utf-8?B?Z2N6TW8rUm5JbXdDdG5TWnpKc3ROTWJTWVR4M21GdlJ5SFJmTVlQKzI3eGdJ?= =?utf-8?B?aUh3UEJLWnY4dWpQYkNEc1laY2JqS0l2amhJQy8yb2RtNit6ajJjUUJueWUz?= =?utf-8?B?cStzbk9hbVhuakJIMUk1U29SVVpiMEplV2VBNEJ0QS9uYTYrMXFvck9keEl1?= =?utf-8?B?aTZ1VEVSRS92ZW5hVHN5eWFrWEllSDcxTzlEVjE5L0RITm5iZ3E5Y2taNk9a?= =?utf-8?B?SnB3enY1anVSbHlQV1E4emhqbThvclZFWXdUNmtCWDlrZHBuNXR1WHZqNmpk?= =?utf-8?B?WUdVWEc3aVJqWG0xZWcrbmhiOXplSzFxWjc5SE1TL0NHSzFWU0ZZalFmWU1E?= =?utf-8?B?S09oVGsvS3dmaVlQN3drSmtDMjVIcTJhWE1YUzVNN0tOM29MVmZhSC9MaXV4?= =?utf-8?B?Tm1wNlovMHkyUE1WVnA2VzQwelZ4QldWbGpsRDkvUnRFVjFYd3YzbzRrTFQ1?= =?utf-8?B?OVVraUJkbE5QbXJzMDVFZjZjd3FMUHVrc1NsL1A1QXd4QjlZQ2cvWUJtMkNC?= =?utf-8?B?S1B5Z3F6U1J2RXB0ZGkrMEZSTkpIaG02bDViWEpxWU9FUjFwSjF1QTRSekFW?= =?utf-8?B?eml1dEtRNVUrbHJXUUxQOVNaczI5L3lqanJIVjNKdjlsU1RudTUxTjY0eCtl?= =?utf-8?B?cG1tazlvZDVBR2RmVlVjay9Oc3NPRUlYSWRxcEl3eFhTMWNOUnJBTlFwRi9l?= =?utf-8?B?NlF0bmZ1MHpQdTQvZUZ4WWpUcjQ5b1huY3BJNStUSHRob1NGTlI4c1lMT1Uy?= =?utf-8?B?Tm1LUWlrTTRtT1JlR1RZb3lpMDl4YUp3OGI0VFVRRmc3RTZXV2Zudz09?= X-OriginatorOrg: bbk.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 6bfb1eb2-1719-4bc9-d09a-08dec2e6c30d X-MS-Exchange-CrossTenant-AuthSource: DU0PR02MB9465.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 05 Jun 2026 09:42:30.7355 (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: ZwtVrLiToIPvU2dO9yhqpcB0pbcRGSjVWKNqAhcOgunWDP00nSBYvxYl8pO4vXr7J0LJrTMnwsA0vN0PoARazQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM0PR02MB11658 X-Validation-by: c.fuhs@bbk.ac.uk Subject: [Caml-list] CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2026 Reply-To: Carsten Fuhs X-Loop: caml-list@inria.fr X-Sequence: 19524 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: Formal Structures for Computation and Deduction (FSCD) Steering Committee Membership Election 2026 CALL FOR NOMINATION The FSCD SC consists of the SC Chair, 6 elected members, PC Chairs of the last 3 years, the Publicity Chair, Workshop Chair and former SC Chair. Every year the outgoing elected SC members are replaced by new members elected by a secret ballot. Each SC member normally serves for 3 years, unless exceptions apply (see the FSCD Rules of Business https://fscd-conference.org/organization/rules-of-business/ for details). Note that past SC members are allowed to run for SC membership again. The current steering committee composition, together with the serving time for each member, is available here: https://fscd-conference.org/organization/steering-committee/ Candidates for SC membership are requested to email the FSCD SC Chair an election statement (including a brief bio) on one a4 page, preferably in PDF, no later than * Tuesday 30 June 2026 (AoE) * The election statements will be posted on the FSCD webpage before the start of FSCD 2026. The election will take place at the General Meeting of FSCD 2026, 20-23 July 2026. Patrick Baillot patrick.baillot at univ-lille.fr FSCD SC Chair