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=fYprkcgp; 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 12B7440022 for ; Thu, 16 Jul 2026 18:15:30 +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=ztIk80+YT74uOH9m0+YhRGYjRHCBhaczfTub1HySRfc=; b=fYprkcgpe3sccu26eVAQ513TitVESNbXL91cvEIM0liS5sufwYlbEofe f5iu1ZIHlSig02STtnENXG0Hi68W9UfA4yBu0bkBFrjT99bMQhC4Hue3N uKvz2BzFXSp3sibweP6z/sA1M3YOYkArtclMKAZJR3Ixad5wyVsPozZGf o=; X-CSE-ConnectionGUID: tB5aHCARQ+eAQb90qsVDsg== X-CSE-MsgGUID: DQcPe/pMST2FHu3/HI5ydA== 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.25,167,1779141600"; d="scan'208";a="286644562" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jul 2026 20:15:30 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id EDC5F81627; Thu, 16 Jul 2026 20:15:29 +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 0AC8F81AEB; Thu, 16 Jul 2026 20:12:43 +0200 (CEST) X-CSE-ConnectionGUID: R5K9BcEBTtubZm3WuOstCA== X-CSE-MsgGUID: 4tYgU++ATY+bzqgeHlrMHg== IronPort-SDR: 6a591f19_zUFvwRqaXHSnO820iKN0s3zorl5YLii9kqXT8HOmrHVqtmm db7TXGpD5dZKLZSRxzGdPPWvXE/fl3cj5ML5x6w== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FyAgCIHFlqgWBFZTRaDoJLgW5TQgFHYDIHUYRYg00BA?= =?us-ascii?q?YUriHmCKZoggVUUgWoGCQEDAQsCNxoEAQEBAgEDhHWNXyAGAQQwCQ4BAgQDA?= =?us-ascii?q?gMBAQEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQEiGQcOO4ZPDYJbO?= =?us-ascii?q?3GBJQEBAQEBAQEBAQEBAQEdAhQtKjgRFQgBARIUEjQCEgETAjMsFAEBHoJgA?= =?us-ascii?q?YIkBEwEArFvAYE9AgKLIoEygQGCDAEBBgQEgQCBYtkAMRaBaQMGCQGBFS6IX?= =?us-ascii?q?AGFdgE7hkxEgRUnCwOCRW+BBYMJARIBaQIDgw6CaoMyiHGJCIFKHANZLAFVE?= =?us-ascii?q?xcLBwWBMzMDIAovFBkCFB0SDwQWMh1wDCcSLBc0WBsHBYEdfzuBAIR2Ix8DO?= =?us-ascii?q?X+BLwprSnctahIXgU6BGgEDAnSBPQIBC209NwYDCxtBjj4jg2EYE31Yk2klk?= =?us-ascii?q?UGhegeEIIwhjg2HMgYTL4NxARKNFJlUCId8kAl7I41nmw4CBAIEBQIQAQEGg?= =?us-ascii?q?Wg6bHAzGjSDJlADGQ+OOIh+gmaHO78GQzQ9AQEHAgcOAwuBaJACMoFMAQE?= IronPort-PHdr: A9a23:o3j5cxellzhPhkeEONCTUzg5lGM+sNDLVj580XLHo4xHfqnrxZn+J kuXvawr0ASXG92CoKgV2ree8/i5HzBbvdDZ6DFKWacPfiFGoP1epxYnDs+BBB+zB9/RRAt+M eJ8EXRIxDWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oL BWxsA7dqtQajZFtJ6s/yxbFuGdEd/lZyW92IV+emxbx7dq08JJ/7ihcof0s+sBPXKngY6g0U blUByk6Pm4o48HmqRbMQQyT63UGT24YiABIAw/L7BH7Wpf+rC73vfdj1SeZIMP7U6k6VSyt4 alzRxDkkTkKOTEk/m3PhcN+kKxUoBS6pxxi2IHUe52aNOB/fqzGY9wXQ3dKU9tLWCxABoO8a JYPD/YEMO1FoYTxu0cCoB2jDgSqGejhyCJHhmXu0KM53eouHwHI0hE+Ed0Sv3rbo874NLsQX O2v0KXE0SvPYvFQ1Dzg6IbIaBchofSUUL9ua8XR01IvFx/bgVWWtIfrPy6V1uQWs2OG6OdvS fiji2A6qwFxuTii3dwjhZLKho4P0F/L6T91wJs2JdChTkNwfNGrHodKuS6AK4t2Xt0tQ3tuu Csi17ELup61cSwUxJg6wxPTdfKKfYeU7x/9SeqcPzh2iXF5db+hgxu8/latx+3/W8SwzFtHr zdInNfCuHwRyxHe986KQeZz8Eem3DaAzQHT6udcLEA6jqrUN4MuzqcsmZoUt0TDEDH5mF/og 6+Qakor5PKk6+P9YrXpoJKXKox6ihnmP6kuhMCzG/k0PhQTU2SB+Omx0Kfv8En4TblSkPE7k 7XVvZ7fKMgGuqK2GQ5Y34M+5xqjCjqr38kUkH0CIV9AZR6KjI7kMEzULv/iF/ewmVGsnS9rx //YOr3hBY3AI2TEnrv9Z7hz901RxQQtwN9R+55YFrEMLOj0Wk/sqNzXFRg5MxGyw+n6Etl9z pkeWWWTAqCHLKzSrV6I5uUpI+WWY48VpSr9K/wi5/7pjn81g0MSfa6s3ZcPaXC4GOppI1mBb HfsnNsNC3oGshYjQODwiVCPVSRfanKzUq4k4zE0EoOmDYPNRoC3h7yB2T+2EYFMamBIF1CME Wzoep6fVPgXayKeONVunSAeWbi8SI8tzQuuuxPiy7p7MurU/TUVuo7k1Nhs/uHciRUy9SFvA MmGyGGMT2R0nnsSSDMs3aB/p1Z9ylaZ3qRijfxYD8Rf5+lVXQciKZ7c0+t6BsjuVQ3be9eJT E+qQtGnATEqUtI82MQOYkZ4G9W6lB/PxSuqA7kPl7yKHpM46Kzc32LpK8Z70HnJzLMhgEU+Q stTKW2mgbZy+xbLC47GjUqZkKWke74E0SDV8mmP1XCOs19GUABzS6vIRXUfaVHXrdT9/0/DQ aGhCa87MgRf1M6CMKxKasX3glpcRfbjP9Leb3+sl2usGxqE2q+AYY7rdmkH2yXdFVQEnBsU/ XabMwgxGz2to3rEDDxpCVLgfV/j8fV/qHO8SE841QaKb1B917qx/R4Vgv+cR+kP0bIDvScts yh7HFW839LTE9eOvwVvc6tCb90h/FpJ03rVuBF4PpO6NaBtmkYTfRxusU322Bt7Ep5AkdAkr H4y1gR/Nb+W3k5ZezODxZDwNKXYKmns8xCrbK7bwkvQ3cqL9KkSu7wErAD/rRmkDQ8r9XNgz t9e3lOY547WF0wJXJvqFFsv+h584bzWf2117IeR1GZlO6SwtjKHxskkHvANzhe7Y8wZO6qBU gb5VdAZQ4C0JfMwmkSoaB0sMeZJsaolOMXgeeHCkJaxO+FuoDKrin5WyKR8yV6XsQB1Vu6O9 p1D/tLclgCATnL3iEqrmsHxg4FNIz8IWiK0wC3gQYpQfbFafIARCG7oLdfzjt56jobFVGRf6 UauHBUc1cmgZReIKVLnmUVfyQEMqnWjgQO3wyYxkj8s6KSFmGT1+cnaUCEvGE9wb0xLrHOqC KPysvNJclKval0CnQG++Uv8j4ZGpL83e2KVT1pIZAD8JWIkW6D2q7nUMJ0H048hrSgCCLf0W ludULOo+3PysgvmFmpannUgci2y/4/+lFp8gX6cK3B6qDzYf9txzFHR/o+UXuZfixwBQiQwk jzLHh6kJdD89pOaipfYmuq0VCSoXdtOcnqj1puO4ROy/nYiGhijh7a2k9zjHxI91Hrwkdd3V T7gphz/JIDgkbm5Yqp8Zkc9PFbn8IJhH51m1Is9gJZFwX8BmpCc5mYKi0/aFI1j4/KlR0dVH WNNxMPJ6g/43kElNmiO24/ySnSaxI1mesW+ZWQVnCk66qimEY+y67pJ1Wtwq1u890fKZORl2 y0awr0o4WIbhOcAvEwsyD+cC/YcBxsQOyukjBmO492kyccfLG+ybbi90lZ/ltG9HfmDpA9bQ nPwZpYlG2d58Mx+NFvG1HC75JvjfZHcatcatxvclBml7aAdI9Q/i/oRrSBtOiT0tjs4yK9zj BBj2427oJnSM39kr+qyBh9VMCGwZttGp2ur1P4H2JjHmdHxTfADUn0RUZDlTOylCmcXvPXjb UOVFSEk722cEvzZFBOe70FvqzTOFYqqPjeZPip8r50qSR+DKUhYmA1RUi89m8tzHUak2cz6W E1z5XYY7RjlqVEfr4Agfwm6SWrZqAqyP30/DpaCLAF+5AtBoU7ed9GdpLE7D2RT+ZuvqxaII 2qQalFTDG0HbUeDAkjqIrik4dSoH/GwPuOlNLOOZLyPrbYbTPKU3de11YAg+T+QN8KJN30kD vsh20MFU2orU8jenjwOTWQQmUevJ4aQ4hmh+jZfpMq8tv3gHh/srYeCELpdN9xz9gv+3P3Fb rbJwngob2cGnpoXjWfF0r0ewEIfh2l1ej+hHK5B0EyFBKPcl6lLDgIKPiZ6Nc9G9aU5jUFGP c/WjM+w16Yt06RzUg8cEwKw3JD3NqloaymnOVjKBViGLuGDLDzPmYTsZL+kDKdXh6NSvgGxv jCSFwniOC6Cnn/nTUPKU6kEgSeFMRhZoIz4fAxqDD2pR5Todx2gGNV9jns/yvsphTmZUAxUe Sg5aE5LorCKuGlTxPtiG3dp5HBma+CP3TuapbqQOtMdtv1lBT5xnuRR7SEhyrdb2ypDQeR8h CrYqtM9xjPu2vnK0DdsVwBC7ypanI/e91s3Ir3Xr9MTEWaB5h8G6n+cTggHt8cwQMO6oLhek 72t3OryMGsQr4qSrJFaX46Mb5vaeHs5bUi1QHiNVFRDFXjzcjiBz01FzKPPrDvM9sB88t603 8NTL90THF0tSqFHUAI8RIZEeNEvGWp62b+D0JxVvzzn9EKXHIMC+cmYHvOKXae2cGrf0eYCP 11QhuqnSOZbfozjhR44YwEjzt2TQhjeAYgV8H8mMl98oV0ToiJ3FjRhghu8OA3xuCRBR7noz 3tUwkN/ebp/rj60ugVufwOYqndoyxthwY2902LWLWe5Lb/uD9tfU3Om7hFoYJ2nG10nZlXqx R42c2qdItAZx7p4KzIxgVeF68IWQKxSEfUfMhFInanFNbJ1ixwZoyGjjyer/MP9AIB53Esve J+o9Tdb3h57KcQyLurWLbZIyV5ZguSPuDWp36Y/2l1WK0EI+WKUMCkG3S5AfqEhPDat9/dw5 Baqsh4bQFJcDNEX+qo3sEQgJ+6H0iTslaZZLVy8PPCeKKXfvHXckcmPQRU70UZt9QEN8bVt0 MglelaZTAhylv3IT01Pa5uEeF8dZtEa7HXJeCeSrejBiYl4OYmwDKGgTOODsroVnlPxHAstG NdpjIxJFZ2t3UfEaMb/eeNfj0x1vUK1dRPUUqcsGlrDijoMrsChwYUi2IBcImtYGmBhKWCt4 b2RoAY2gf2FVdNwY3EAX4JCOGhlPa/y0yNfoXlECyG6l+wDzw3XpTS6qDnQFxH2ZdklbfzSe BAmW7TUsX0vtrO7j1La6MCUP2bhKdFrocPC88szgs6/MaMPZoQl6xqanJRETXu3VWKJCcSyO 5X7d4gra5rzF2q+VVu8zTkySo2iWbTlZrjNigbuS4FOtYCd1z12Ls6xGAYVHBJorv0C7qZxN kUTJoA2ahnyu0EiJrSydU2Gh862TT/nel40B7FPiP+3bLtNw28wY/+mnTE+G4oiwbD/8FZRF s1SyECEg67lP84HDGDyAiAPJ12J/HJm0TAnbqFrnIJdiFvJqQVObmrNLbQxLjQC55ZlWBuTO SkkVzB+HgfGy9KFukn1gfgT53cPwowSiLUe9iC45tiGP1fOEOSqscmH6nJ8K4R55fU3acu6f YOHrM2MxDWHFcuJ61TXXnLiT6gI3YQARUAQCPhQxzN/MJRf69MYsBg/Cp9lde4IVPhkp6j0O 2BtVXdAlHZABY3chGdQ0r/kg+mI0UrJFfZqeB0c7scYi4NEAXcvO3EQ+Pf4BY6OzzfWGC9We U8S9VoevgtYz90pJ7m37taQF81Ck2YO8aAzD3GDU5Bs8xGTooS+i1L7Dvyq1fGqj1o6JBPE+ /xDYCQvUmNgn74L0Ew1NLtwNq8c+JbQtSOFfl/7u2Srz/a6IF5WyovfcFiqVeItWkL2WC5a8 HZSWIwdkRni IronPort-Data: A9a23:YSH+jag9EF2g85gMQkpF2hoPX161CxsKZh0ujC45NGQN5FlHY01je htvWG2FOP3YZDTxc90kb4+ypBhQ68TVmIBgHVdoqXw0Hi0W8JqUDtmwEBvMMnLJJKUvbmo3t pREMoGowOMcFyKH+E/1atANiVEmiMlkk5KlULas1hhZHFEiEGF9z0o6xYbVu6Yw6fChGQSBp NjulMPWPV6hylZcP3kdg065gEoHUM/a5nVC4zTSWdgR5AWAzyZMUspGTU2MByKQrrd8TrbSq 9nrl+nRElPxp38FFt6jm7DnRUwGKpa6FRSOkHdfR5+5iRFEoCEouo5jXBbLQRo/Z52hxrid+ f0V3XCCYV5B0p7kwYzxZyJl/xRWYcWqzpeXeCnl6ZT7I3ruKBMAy902ZK0/0BZxFuxfWQmi/ tRBQNwBg4zqa0tbD9tXR8E17vnPIvUHM6sl51Ix5zr0J8o6XJrxRv71+PhDwBwZ05Um8fb2P 6L1aBJGSUz4WU0UEWpPUM94m/q0jH7idTEesEiSuac8/2nUykp2zaTpN93WPNeNQK25nG7F/ CSfpz2/XEBcZYL3JTmtqhpAgsfE2y3mWJk6Hre7sPdhxkCQroAWIEdGCwXn/aLh1iZSXfoDN 30bx2lthJQDt0a5V9bwfxmihV6L60t0t914SLZgtF7lJrDvyw2eHy0PSiNLQMc3sdc/Az0sz F6A2d3zbRRkubiRDHac7au8tiK3ISFTLGkYZCZCQxFt3jX4iIQ6jxaKUdt4DKOolNrtFDjix DbT9XBk3+1C04gMyrmx+k3Bj3S0vJ/VQwUp5wLRGGW48gd+Y43jbIutgbTG0RpeBLzEbQirt 1Uup9SD5tILVq6QszeRa8xYSdlF+M253CvgbUlHOb1JythA03uqfIQV/zxlOEp0KMEcdDb7Z 0mK4FsLvMcCYj2tcLN9ZJ+3B4Iy16/8GN/5V/fSKN1Tfpx2cwzB9yZrDaJx44wPuBd8+U3cE c7BGSpJMZr8Ifk8pNZRb7pGuYLHPghkmQvuqWnTlnxLK4Zym0J5uZ9eawHSMYjVHYuBoQ7P9 M1YOdfCwBJFSIXDX8UjyqZKdQpiBSFjW/je8pULHsbdeFYOMD96UJf5n+h+E7GJaowPx48kC FnmAhcAkDISRBTvdW23V5yUQOO1DcYj/SpgbUTB/z+AghAeXGpm149HH7NfQFXt3LULISdcF qFZIZezEb5URy7Z+j8QS5D4ocYwPF6onA+CdW7tKjQ2Y5cqFUSD987Gbznf0nAELhO2ks8i/ Jym9AfQGqQYSypYUc35VfOIznGKh0Y7pt5cZUXyH4RsSB3ey7Qycy3Vpd0rEv4IMiTGl2e71 R7JIBI2ptvtgo4S8fvLoaW29o6JNcJPG2hAO2z175KwCzP7/3Wi86BEQu2nbTDQb0Kq2aSAN MF+7eDwD+0Dp3lO67FDKrdMybkvwefvq5tx7BVWLF+SY3uFUrpfc2S7h+9Rvahz95plkAqRW HPX3OJFOL+MafjXIHRIKCULNu28hOwpwB/M5vEIIWL/1i993JyDdW5wZxCsqihsHIFZAbMf4 9UKmZApslSkqx8QLNy5oDhe9D2MIlw+QqwXjMwmL7GxuDU76GNpQML6MTD30qGtet8XE0gNI x2ovoTgqYlY5HL/dysUKSCQ88tb3Y8DqTJb/m8kfl6poOfIttUz/R9W8Ak0cDhr8wV647pzF 1VvZmJIJvSo3jZ3hcJ8cXimNCNfCTa4pEHg6Vs7u1fIbkuvV13ccWgxBuafxW878mtNIzhq7 ezBwXfEShfvRtn6hQEpaH5mqtvib/BAxi/QlO+ZAuWoLcAzQR/kjJSxZGEOlQDVPMMpiGDDp sho5OxVa5CnBRUPoqY+NZaW5Y4QRD+AOmZGZ/Nrp4ENIk3xZxCw3mKoB32qW8YQOcHPz1C0O /ZuKu1LSR668iSE9RIfJKwUJo5LjOwb38UDdpzrNFw5neOm9BQxi63p9w/6mGMPaPdtm5xkK oruKhSzIlbJjn5Qw2LwvM1IP1SjWuY9ZSr+4fuU9dsYHJdSocBudkAPioGPhUu3Czc+3Ryov 1LkXZT0nshC0oVnmrX+HppTXzuULczBb8XW0QSRnekXU/bxH5bvjT4FknjmIAVcApUJUftVi 7mmkYD6zWHFjpkMQkHbnJi4KvFW2OuTAM8PFPzSAFADuS7TAcPDwQUPxD27DZpjgdkG3M2WH DGgYpHsaNROZY9X6yxLYjkDERxHU6XTRYXjrBObsP6jJEU80wvGDdX/7l7vTzhRWREpMq3EK D3fmqiR9PVHir9TFTk4COpAAZQlEGT8WKAjScL9hQOYAkasnFmGnLnozjgk1h3mFViGF9Tc8 7veZx2jaim3hr7E/OtZv6N2oBcTKnR32ss0X0AF/u9JmyKIN3EHIcsdIKc5JMltyAKq767BZ RbJcGcGIgf+V24dcRzDvfLSbj3GDekKYtrENjgl+n2PUBiPBaSCPaBA8xlx6HInaxrhy+Cac eslwEPSBSTo4J9VRrc03MeZ0NdXnqaQgjpC/E3miMX9DioPGbhAhjQrAANJUjeBCM3X0lnCI W8uX21fXUWnUgjLHN19f2JOUgQs1N81I+7EsQ/UqDoeh2ma8AGE4NTaY9nJguYoUZxSefgJW G/9QHaL7yaOwHsPtKA1utUvx6hpFfaMGcv8J6jmLeHXt7/l8XwpZqvuggJWJPzOOiYGe78eq tVoy3I0BwKMIwZM29V6DC0XrolpXCtk4y7h1WbCSPyvrfD959LTeF6jx0TmKvkcbkQlU1pwG F8vUapan7FaWPYIa9WzWjT3a2Fr2f0sKEQ= IronPort-HdrOrdr: A9a23:R8axVahssMSKkUyZd2KkRwQuEHBQXgMji2hC6mlwRA09TyXGra yTdaUguCMc1gx6ZJhAo6H6BEDkexzhHPFOkO0s1NuZLWzbUQiTXeNfBOnZslvd8kTFn4Y36U 4KSdkGNDSfNykDse/KpCe9V/ktyMSa66yz7N2uqEtFfEVFb+VP4W5Cajpz0XcWeOCFP/QE/V Onl6l6mwY= X-Talos-CUID: 9a23:NttwI2D1IggLqaH6ExM61x8+Ee0PTmHAxkXVeHClLn11Y5TAHA== X-Talos-MUID: =?us-ascii?q?9a23=3AbaAQug/xk+1nJ7cBRNOtKWaQf5t00quTSwMkraR?= =?us-ascii?q?FsdudOiFQPy24rDviFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,167,1779141600"; d="scan'208";a="286644304" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDEgD1bAQFmTxDpdIw+XG0ZoXBsDy2sP4zsLkx?= =?us-ascii?q?J5CYXt0Sz0tcbSMkIakRAKXF2+iuLFiQa6n/ATn59wuAtaXX3zO8NZ+g?= =?us-ascii?q?zoSgm7yd+15cwM4Ci5lJWr7m7ojXt66QF+Qb8Hek5qp4GHOOEX5vksDW?= =?us-ascii?q?CbXrI3vZJUnW1JH3915YijIQ=3D=3D?= Received: from mail-westeuropeazon11020096.outbound.protection.outlook.com (HELO AM0PR83CU005.outbound.protection.outlook.com) ([52.101.69.96]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Jul 2026 20:12:42 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=AGB9prw1LdP635yYOBLmJiAXtIHqyalzzkuj2Uj+/AlxavgB5LzTWE732/XQ/kMzbX/aKgq5Z7D8x5/jJIYrGEgB4lhrCjRugsMIuGO1qO6hrWZVG/uPWoq0iL4hwG1DiGObkqSOEX8ztfk/cDF/8Avf9KR8inM0RfBTDW873i8kOMWr0RMH4Msdi3F3GEWOmYKrm1nV7A8z4a8F6/Og4cQ0lHC71XCXRnabL29FBewxtun5F4/zsUETb6/6vgjO6y+8dOb7+nLdL1SOH6CQZ1erpCjOv9LBgBIoZX1N85fj6H4+E/QykoYDfal7m8FffjYFshQUpJdOd5FgcIBnuw== 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=ztIk80+YT74uOH9m0+YhRGYjRHCBhaczfTub1HySRfc=; b=pWG2RReTWbAhwuTqGk7khCYVfVN95ifjHeE5W29BA5a6pdZNkJct3144pOw0CGJRumcirowiNvkUCj/ynT7WrGN7sAYZIZNQFFCnC+33VucIHGHiglrdWp+Zv9f7lUpL7fM7vQDRS8OeFDDiX28iOgR2H7jVc3yIZaA2r6iDLBDdg89WO0H3FuNk7N8sjRTEc1qGVkdfcdI22ThPfKZIxS9Fv1bx5qd+2dwory23CysoMC/bRMAgTdTcn8cTtMAmnKgsTlaRZeBN0pwYpUavns1v5CNXS3At2+Ax6cgi/aBKm4tEv32wdyGQtauIWo5iNxexp5zaHUon5GAF1zSjcQ== 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 DU0PR02MB9776.eurprd02.prod.outlook.com (2603:10a6:10:44c::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.223.12; Thu, 16 Jul 2026 18:12:39 +0000 Received: from DU0PR02MB9465.eurprd02.prod.outlook.com ([fe80::f916:57ca:8c31:b261]) by DU0PR02MB9465.eurprd02.prod.outlook.com ([fe80::f916:57ca:8c31:b261%6]) with mapi id 15.21.0223.008; Thu, 16 Jul 2026 18:12:39 +0000 Message-ID: <3baceae3-8c36-4585-9d8e-2aa175b53206@bbk.ac.uk> Date: Thu, 16 Jul 2026 20:12:37 +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, 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: AS4P192CA0030.EURP192.PROD.OUTLOOK.COM (2603:10a6:20b:5e1::18) To DU0PR02MB9465.eurprd02.prod.outlook.com (2603:10a6:10:419::18) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: DU0PR02MB9465:EE_|DU0PR02MB9776:EE_ X-MS-Office365-Filtering-Correlation-Id: da5246b7-9021-4f5a-a155-08dee365d1e5 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|786006|1800799024|376014|23010399003|366016|18002099003|11063799006|56012099006|10067099003; X-Microsoft-Antispam-Message-Info: bJqK3rS5M27urTVwD/fa5/5YqiwLYM4u5YwU7Fk3PVsCENALMcc530Nv1ECEXDsv1ep5W2VDiS0/h8anVl9mtWpvRV+lCXSK4Am4vWNbNWeW/s/1vlolvAcbcMpM6fVpCOVDU1mCbDcjBlG6vRtNTK8mvAZLCJLXtC8hX2NJkLlBxW+JjQCGtSTluvNYpDjjs/UFPr8e00TpWXfME4TXe2ahVImpVbdx9hAqveLgwevmPj+pqRNHncR3FMAA5tfRzlpH2lhXpm51HkrjqotBKXyE/qxoWDFsjvBeZmfwISGSyuTTwXBd8v61hxmG4e4mu6nlK8JCKGeK2E9jUyWFS2sWJzb6rglrmDKC+ySjhCJN2CDPK6IFFa1mFeDMpXb0+tTNwvVplDesLjn2VZg2IO0bZaWm2xyyq/MPRs3bkhZ025jtZuRVH2qL8ZmFSYWAJzonS1H5qO26AIQsou8C/v4rtDMIuZuqnsix8bGNFVpgEBSIbwStLB19+1FBTKpiSCUVQ7RqLsnyR5JNPQskxb3ESrqM3QdwTRTtoC996uKYZ8HpRsnCL9oGEIfiuxr5d/i2IgdA/Gkc7Jt7BNXGSNG8hsOAGRpztfLjvPpqUY8= 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)(1800799024)(376014)(23010399003)(366016)(18002099003)(11063799006)(56012099006)(10067099003);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?WEk4YlVoVC8yZFZFa0VMaVMxSkxKVFlSYzNuemFHdlFKZ29wK1c1cnhxN2VV?= =?utf-8?B?TGM5NHZJZ2xYdnZSNW5YWEJWOHRiL2VraStmU2VFMGlhdnFKWEFJMUw1NndH?= =?utf-8?B?MlQ2WHhENlhWd3RWN0UxZUxMODcrb3M2cUkwekt6WGpwVmppTC9lcVhXaW9B?= =?utf-8?B?bktScFJ6N05qK3hhL3l3Q2tTd05UR2VmSjIzR3J6M1BJdys5Q3NuMmZqWDQw?= =?utf-8?B?T3JHajZ3Z1R1clNHNFdJaFpJMmw2RlhJQjJpNzhXMTRWZllkZ0dZKzRvRmFU?= =?utf-8?B?N3ViOTAvYUJqWS83ZXkvT3ZOUnpHMFlaV0paTTNwRkxMaU9Yc0FpQjBXUnBo?= =?utf-8?B?OERjNG9xSGEzaCtUanJiekhZalRYdFlMUmZGbXhzVXRmek9WYWx1NFh5S01C?= =?utf-8?B?VVhnN1RLL3g4MEVlVXo2ZDRFSVhHZ3IwVExuNEZ1ZDlHdS93dUNMd0kxOW9u?= =?utf-8?B?MjB3cFZ4TzFydnp2RVAvMDlvcEozdnJ2NG1ONFhUOFJIVW1wdkc2WC9wUnhB?= =?utf-8?B?aTEyQldlSHVkS1FGY0tZZnZ2NzMyektudFM2VGZHdnhrZ2tYMWVUUTFYM1dS?= =?utf-8?B?cmdYVVlta2xKb0tMM0JBV3BGcVBpVGEzR1habis0YWRWMXVDdWcweldNTWR2?= =?utf-8?B?bHRpcFFRZXFjM2JsZHFTbjVOWlg2WG50NnlsZnJBY2s2bVN2NElLNmloYU9t?= =?utf-8?B?QmJMVG5talJ6V2ZCRlJzeGR1cWdYZ0JVbDVEYTFTWnArbkZWYVpLVGd6enFI?= =?utf-8?B?dGNuUlFlVkk3aGQ3d3hCRmZnZERWNXErV2lMNThGQ3dEOXBWTzd6RVh2SXlZ?= =?utf-8?B?VnhBOExISGkveVBZdGpNMUFYWkVaMVRMSWdiMVA1YUJhb3ZOVDBoMWdFL1dz?= =?utf-8?B?WlJkK25uUGhWOTkrS3k1OXdtZE9nNWd1UzlFM1NMYVI5Q1I0dzZzeUx0YW5U?= =?utf-8?B?WGJaU2sxWjc4WXRWTEFHN0IxdDkzQVZPWUdGL1BaYkhSVUh1NzNWWkFLQkpj?= =?utf-8?B?cWhCTXJSQ2xCRG1JZGdUekxPcDBURXhYalRpSk5zcTd4aFg3cUtQbDk1MkJE?= =?utf-8?B?Y1hna0M3VjBFenhuZ3Z6a2JscXdjUTh0SmROT01IMjdvNGpua3F1OVBiZXhE?= =?utf-8?B?Q2ZtUjN5UDlwV28rMWVSYUl0WUZHYndzeHUrczMyZzZXTTZYcFVkWDNWbUFm?= =?utf-8?B?OXpGaEZHRVVxNmh5WkN0cDVaVjdTZ0pBSEV4STZvek5zRk9VcXhJSmpIV1Qr?= =?utf-8?B?c0d0UE80VHpqRExsd1pMNHh0bDhaV1R0a2RJaVBvSG44UHU0QWtqTGgycXRt?= =?utf-8?B?MWlyZEpDdmE2VVBhVUdyOVBrdDZNdFBnSVNFQU9QMWZvMmxHZnA4Z1hjTmVr?= =?utf-8?B?bTVmUGFLbVlCeUVaaWxrSVRwVEhiY1VyeEt2c3RFN2ZDdHBGcStyUGZpeVlm?= =?utf-8?B?THZxZU5ka0dmSGwzV0NyRkQzcGxwMW1NMHZTdk9tYXZnaG1CZjh0cWh1SWdI?= =?utf-8?B?QkErSy9ZRm9tKy83VndRZzlJM0xndkMybEVzb1M4eGQ5aXN4aGtLS0Facm8z?= =?utf-8?B?RGpHL3gzSzUxZHJkYmdMOGtCR3ExT25wcExLNHU5SnJMZTE3c0p2aHpudkNj?= =?utf-8?B?RDJBVzRXZVRhd25OZ0ZJbkdzRW5ibW9sM3pSQ1JQWCt1bmtiNmNGRTJMRzJK?= =?utf-8?B?cExaU0RCeFAxbm9kVUF1Y1o2Y2FZL2FnQ0lxc1VGclJjUm41c0VPOUNtTGdO?= =?utf-8?B?WmhuWUJ6OUNRdjllcnVDa2Vzc3NWajZOR0FRYzJIM0NKRVk0bVpvVVVvSGIz?= =?utf-8?B?dCtBakR2SHNScURTRFp3TjhSL3BiNExobGUvOHlkcXE5aTJBam5LVzRTMlhu?= =?utf-8?B?aEVJVWxkYXZsUjJYaWM1dm4rdWV5S3pKMHFvRU54S1FXeGoxazlsSXRDdEZV?= =?utf-8?B?L0cyNFNVTzhFNFNDbFAzaVp5SkhRTXZVQ0w1eU1SdytFTHNRMEg4c3E3dzFE?= =?utf-8?B?YVdwMEh2RjNWRndXVkdtZ2I1RGVpT2NFNWVlMG56OU1FbVYrVmZHN3lVNzZy?= =?utf-8?B?QlBoSDVlS2VjREt0TWxoZllFQmsyZXRPQnRmL1pTSjljcEUzcTdDa2gvK0tP?= =?utf-8?B?S0JuQzExK1dES3g1U285YUI0MEdNZjh2a013NDlhMGliNGFRYm9QYmNTZXJH?= =?utf-8?B?WG0vY21ZMUhueEtIZkd0WWc0RWMrQnloQ1lmMCtMRWRoWTVpZlcvbVkwODBP?= =?utf-8?B?eHRLMlA4TTdmdE82ZEk5S3ZZVlA5TVFMM0RwalZiTU8vUVZIaTF3NjBMTGhF?= =?utf-8?Q?FhYLsHaxplWSimBXYb?= X-OriginatorOrg: bbk.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: da5246b7-9021-4f5a-a155-08dee365d1e5 X-MS-Exchange-CrossTenant-AuthSource: DU0PR02MB9465.eurprd02.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Jul 2026 18:12:39.0660 (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: PgKwFdJtTqvnYiUMMAh4p7T+ZgjpWwi9BxDbXu5Y+XWyAa3aeFxgANSi3/T5Y5A4LzJZs6EsrBiIaYNr4Lno8g== X-MS-Exchange-Transport-CrossTenantHeadersStamped: DU0PR02MB9776 X-Validation-by: c.fuhs@bbk.ac.uk Subject: [Caml-list] FSCD 2026: Free online participation, 20 - 23 July 2026 Reply-To: Carsten Fuhs X-Loop: caml-list@inria.fr X-Sequence: 19551 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: The organisers of FSCD 2026 are delighted to announce free best-effort virtual participation in the 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026) in Lisbon, 20 - 23 July 2026. Please register your email in advance to receive login information for the live stream. For details, please see the information on the conference website: https://fscd-conference.org/2026