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=Obx8ZIlJ; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=kg0fwNM+; 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 3BF7848E3C for ; Thu, 16 Jan 2025 08:35:15 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=TpsuicrHJ1Mj7wkb9YRdBaaZLXbqpWLG/pdbvo1LDfg=; b=Obx8ZIlJcO0uDl5tlsGlKSlRJXru8CSBJ1YLiB/YooCOTA249cr/mMwG SL2CbE9O9AXEVwl+L7bb1936R3QUEpDECdX4qE8Di8mxK6yH9SKZkVruA /0ZHXMQgkTxEvmp9KyhkVmuclupWTR40d/VYdAGocM+FESipj99qok30d 0=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com 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@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="6.13,208,1732575600"; d="scan'208,217";a="203392001" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jan 2025 09:35:14 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3F1BAE0D22; Thu, 16 Jan 2025 09:35:14 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1EE6DE0077 for ; Thu, 16 Jan 2025 09:35:11 +0100 (CET) IronPort-SDR: 6788c4be_WIIFHhQe97Yt+Quhks1w8Drlq5MFOi8s9hZG+hJpujzNqQW xDqBKj+dcEunaYVX+0aH0mbBM4XtvNTggP2Evsg== X-IPAS-Result: =?us-ascii?q?A0GaAgBlxIhngS+hVdFaglyBQYEDfVk0BAtIhFaBI4Isi?= =?us-ascii?q?3+BfwUdk0+DdoUAgVaBQD4PAQMBDTkLBAEBAwEDNwGBVIJ0inYCHgcBBDAJD?= =?us-ascii?q?gECBAEBAQEDAgMBAQEBAQEQAQEFAQEBAgEBAgQGAQIQAQEiGQcOO4V7DYJiA?= =?us-ascii?q?TNxYQIFAzoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBB?= =?us-ascii?q?QINHz84ER0BGx4DEhA3AiMBEQEFASITCBqCYIIvAQMxAxEGpDKCJIEFQos+g?= =?us-ascii?q?RUFAhYUbYINBoEJPgMLAkPYQgoZKA1sA4FhAgEGFIE0hHQpTg6COAMaAQVta?= =?us-ascii?q?gIOh3yBIQ+BVUSBFTWCRDGDHwECggyDLoJpBIEQgSKCQoJxiRuFdIgSFIdCJ?= =?us-ascii?q?ggHFwMHBwkFBBwGBQUCQgkFAQ8SAwQDBAQBAgsJCgkDAwIOAggDAggGGQE/E?= =?us-ascii?q?gQTCg0LBwUfCggMEQooAyISKw8BAgFaBTQBCAcCAgQFAgQMAgkCAggHAhQDA?= =?us-ascii?q?gQEAgEFEgMLAQUGBQEBBAwOAgIGAgIBCAICAQECFAEEAwgCBQMFAwoBAQECA?= =?us-ascii?q?QQUBgMFAwMHAwQCAwIGAgQEBQICAwMCAwEDAwIBAgMJEA8WAgIDBAIGAgIBB?= =?us-ascii?q?CYCARUFAgMEAgIHAgIDAQIBAgICBAIEAgIGAwkIAQICBwECAgIDFQIFAQQJA?= =?us-ascii?q?wMFEgwgAwICAgIDBwoDBQIBAQIEAwMDAwkNBwIDAQIBAwUDAQIBAgkDBgICA?= =?us-ascii?q?wMEEhkFAwIPAwIBBQQCCBALBwEBDxQFBAkFFQMGAgMDFgsEBQMDAwEMDw4CA?= =?us-ascii?q?gsDFwUBAQcBAw0IAwQEAgMDCQIBEAEDBAIJAgQBAgoCAgICAgQBAQUEAgQDA?= =?us-ascii?q?gUCAgEIBAMDAw0EAwgIAwUDDBICAgIJAgMBAgMDAwQNCB0FCRELAgkDBA0CB?= =?us-ascii?q?AICAQYDBgoGFQECGAICBgwEAwMIAwIDAgIBAgICARECAgkIDQUJBQYCFwMCA?= =?us-ascii?q?wgBCQMPAwIUAQYCCAMHAQEEAgIKEQoBAQICAQYmAwEBAhQTBwMIAgICAgYWD?= =?us-ascii?q?AEFBwMHDwUFBAICFgMDEgQEEAICAwMCAQEUBhUBBQIDBgsBBgECBQQCAwQCE?= =?us-ascii?q?gIDDhUDAwQGAwECDBACBAIJCgEFBAMHBQIfAwMCAgULAggCAgUCBQcDCQ4BA?= =?us-ascii?q?gUDBAkCFAIQAgICAggWAgICBQYYAyYCBAMDAwMLAQICDgkDBDwGEQQCAwMCD?= =?us-ascii?q?gECAgsBAgIEAgMBBAcCBwMDCQoHAQoNBwICCggJEAECAg8HAwICAgIGBw4DA?= =?us-ascii?q?hMPBQYGAgoHDQoEAgECAhMCAwkGAwUNAwcECg0CFQIWBQMgAggJCwIHDQUCB?= =?us-ascii?q?RIDDgUDAgIRBAIDBgUDAQcBFwMHCAICDAICAgIFAgUCBRcRAQ0EAwMDAggBB?= =?us-ascii?q?BUGAwkIKh4SAQEBBQEJAgMCAwQIAwMDAgMEDAsCAQcIAwMGCwgJBgMCBwgZA?= =?us-ascii?q?wUEAwcFCyECBgMCBAUEAQUCFQ0CAxkCBgMGFAkMAgYOBwkDBwEBAQICAggBB?= =?us-ascii?q?QUSAgMEAgUEBAEBEgYCAQMCAgMECgECAgoCCAoBCRMEAwgDAwMDAwUBAgIIB?= =?us-ascii?q?BMFBQIBBQwTDAEKBgMGAwQCAgIKAQcCAwMDAgcBCyMCAQMCAgUCAgEFAwICC?= =?us-ascii?q?AQDAgEBCQIDAgkBAgIBAQICAgQBBwELBgEBAgQCAjgCAQMJAgUBAQERAhAdA?= =?us-ascii?q?gkDIw8DCwkIEz0BCwcyBDYBFBQHKyFfmmRrATyEHCM8GRYCgRBOQgyTHygqs?= =?us-ascii?q?jY0B4QegV0GDIkFlmwzixafPZh8o1eFRREjEoEyOoFcTSNQMYI2TwMZD5Ibv?= =?us-ascii?q?XtFMgI6AgcBCgEBAwmGSIlTgUsBAQ?= IronPort-PHdr: A9a23:+Gx/TBeO2bZsfo2M8ju7KID9lGM+wtfLVj580XLHo4xHfqnrxZn+J kuXvawr0ASQG9yFs7kd0reempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb65+I A+roQjQqsUajpZuJrsxxxDUvnZGZuNayH9nKl6Ugxvy/MC88oJ9/S9Nofwh7clAUav7f6Q8U 7NVCSktPn426sP2qxTNVBOD6XQAXGoYlBpIGBXF4wrhXpjtqCv6t/Fy1zecMMbrUL07QzWi7 6NsSB/1lCcKMiMy/W/LhsBsiq9QvQmsrAJjzYHKfI6VNeJ+fqLDctMcWWpBRdtaWyhYDo+hc 4cDE+8NMOBFpIf/ulQOtwOzCgasCu3hyTFGm2H40rEh3us7DQ3LxhYtE84SvHnWqtj+KaccU fqyzKnN1TjNa+5W2TP86IfWdBAqvOyCXbN/ccrXzkkvEx3Kjk6NooHiPTOVy+ANs2mF4OpmT +6vkG8nqw53ojiowscjlJLJi5kaylDB7yp5wYI1KcekR058ZN6pCZ1dvDyVOIVqWM0tWX1ou Dokxb0cv562ZCwHxIgoyRPfa/KJc5SF7g/+WOifLzl1mHBodbGhixuv8Uas1/DxW8a33VpUs yZJjtvBu34N2RLT7sWJSuZx8lmn1D2S2Q7T7eRELlo1lardM5MhzKQwmYAWsUvZByP5hF/6g 7ORdkUh/OWj9ufpYq3+q5OCK4N5jhvyP6cul8ClHOg1MxUCU3KU9Om+0rDo4FP0QLFXjv0tj qnWroraK9kapq+4HQBYypov5hCiBDm8ytsYh2MILFdddRKHkYfpP1bOLej9DfilglSslC5nx /fBPrH8G5nNIHfOnbX7cbZy7E5czwUzzdRB6J5OFr4BJ/fzVlfwtNzeEBA5LxS5z/j7BNh5z I8TWmKCDrWEPK7TrFOE/O0iLuuUaI8Qojn9Kvwl5/D0jX8+nF8QZaup3YYTaHC5APtmJV+VY WHtgtcOF2cKuQ4+Q/LxiFCZXj5TYmy9X6M45j0hFI2mCoLDSpirgLOaxCi7BIFZZnhaClCQF nflb5iIV+8WaC2OOs9hjiAEVb+5RoA9zx6usQv6x6NjLurV4S0YqYnu1MN15u3WjRE97yZ4D 8Wb02GXTmF7hHkERzEs3PM3nUso4V6G1eBcgudEXYhY7vZNFwM7LoL0zupgCtm0VBiXLfmTT 1PzYMiiADw3BukwzNkJZ0tmU4GgkxTC0izsGL4akbuPCYcc/afV3ny3LMF4nSWVnJI9hkUrF 5McfVatgbRyok2KX9aheySxkq+rcf5ZxyvR7CKZymHIukhEUQl2WKGDXHYFZ0KQo86qrljaQ eqIDrIqehBE1dbEMrFDP9/0iVRLQrH4OdvYZGa8gE+/AB+JwvWHa4+5M34F0nDlAVMf2xsW4 W7AMAE/Aim7pGeLDiFqFF/pJVjt/u95rH6gZkAxxgCOKUZm0un94QYb0NqbTf5bxbcYoGEhp jFzSU66xM7TAsGcqhBJeaxdZZY65w4C2z6G8QN6OZOkIuZpgVt2nx1fmUTo2l03D4xBlZJvt 3Y21E9oLqne1lpddjSe1JS2O7vNK2C08gr9I6jRkkrT1tqb4MJtoLwxtknjsQe1F0Ej72Qv0 t9b1GGZ74nLCwxaWIz4U0I+/Rx377/AZSx164TR3Hxqea66112Kk9A0AOoozFC7fthZN6eJD yf9FsQbA46lL+lr01mlYxQYPfxDobYuNpDDFbPO06qqMeB82TO+2D4fscYtjwTVqXM6FrGbu vRNi+uV1QaGSTrm2VKos8St3JtBeSlXBG20jy7tGI9WYKR2O4cNE2anZcOtlbAcz9bgXWBV8 Fm7ChYIwsisLFCQclj80AsWzkUYp3ujlDCQwDl9kjVvpa2aln+roayqZF8cN2hHSXM3x1XxJ Ym5iZYBXUeuaAwkjzOq4E/7w+5Qo6E1fAyxCQ9YOiPxKW9lSK65sLGPNtVO5J0fuiJSSO2gY FqeR9YRujMi2jj4VytbzTE/LXSxv4nh2gZ9gySbJWpyq3zQfYdxww3e7ZrSX6wZ0j0DTSh+w T7ZYzr0d9u0+dSZkdHYs++4UGasTbVcdCDqycWLsy7z6WBxABK5luy+gZW9SVl8gXK9joczE 3mX5B/nB+ujn7y3K+dmYlVlCBfn5sx2F5s/2oo8iZcM2GQL05Cc/H4Ji2D2Yp1Q3aPzamZIR CZemYaEpli4nhQ9dzTVmNGcND3V2MZqatikb3lD3ys865oPE6KI9PlemiAzpFOkrAXXaPw7n zEHyPJo5mRJ5oNB8Acr0CiZBagfWEdCOim53RaV69GzquNMZWmpdry9z2JxmNmgCPeJpQQWC xObMt8yWDR96MlyKgeG0mD364ziPsLRYtQUshCPuxjFhulRbpk2k7BZ4EgvcXK4tnojxekhi BVo1pzvp4mLJVJm+6ehCwJZPDn4NIsDvyvghqFEkoOKzpiiS99/Ty4TUsKiHpfKWHoC8O7qP AGUHHggp2eHTPDBSBSH5h4urmqTQcv2cSjGfD9DkYokHF7HeARemFxGAml8xMViUFn0nIq5N x4og1JZrl/g9kkSlKQxb0O5CiGH413wIjYsFMrBclwMslAEtx+TaYvEtqpyB30Kocfn9VDLc z3BIVwPVDFsOATMBki/bObyo4Carq7AQLL5dqWGYK3S+7UGB7HRms3pgs0+uGzVfsSXYis7U KZ9gxsfGyg/Q4OAxVBtA2QWj36fNZbK4kfhvHQt/obnt620EAP3udnVUuUUbIUpokHsx//Eb r/YhT4le2wBiNVWni6Ok+JZhBlL2kQMP3G7GLAE/0YhVYr2nalaR14eYiJ3bo5T6r4kmxNKM ojdg8/00bhxirg0DU1EXBrvgJPhY8tCOGy7OF7dYSTDfL2bOT3Gxd32aqKgWPVRiutTrRi5p TecFQfqID2CkzDjUx3nP/tLiWmXOxlXuYf1dRgIayCrVNX9dhiyK8N6lxUzyLwww3TNbCsSb Wc6fERKobmdqyhfh7Q3GmBM6GZkMfjRmyud6Lq9SN5euv9qDyJo0uNCtS5imv0FsWcdGqUzx HSBy7wm60urmeSO1Dd9BR9HqzIRwZmOoV0nI6LSsJ9JRXfD+hsJq2SWERUD4dV/WbiN8+hdz MbCkKXrJXJM6dXRqIEeGszVJcTBK3suNx3tFSX8Aw4MTDrtPmbazR848rna5jiOo542p4K50 oIJUaNeXUcpG+kyD01kGJkFJ84yUG9717Gci8EM6Dy1qxybF6A49tjXE/mVB/voMjOQi7JJM gAJzb3PJoMWLoTn2kZmZzGSfazPEkvUGNdK+2hvMlByr0JK/3xzCGY03hC9AutIyHAWHP+w2 BUxj1kmCQzC3Djp6lYzYFHNoXlp+HQ= IronPort-Data: A9a23:nJXLnKsdI2qFWwHr8YYCkO+cCefnVPhaMUV32f8akzHdYApBsoF/q tZmKWuAaK7eN2WmKY90PNi+o0oA7cDVmtBhSAVt+CkxFyxHgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNsMpvlDs15K6v4GpB4ARnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJF0TA6YJx7xKOz4U6 NZEKj1UYiK+pu3jldpXSsE07igiBMziPYdavXY5iD+FUrApRpfMR6iM7thdtNsyrpoWTLCOO oxAN2MpMEuojx5nYj/7DLo8geOpi3+5aDxXrlWRqLEf7G3azQg327/oWDbQUobSHp4ExxfH+ Qoq+UzbHQpdH9rP1ACgySqqoP7gsCb0VLsrQejQGvlC2wDKnjNCVnX6T2CTqvC8jgu6WslDA 1cF/zIn66k07k2iCNfnNyBUu1aBtx8YHt1XSqg0tF7Lxa3T7AKUQGMDS1atdeDKqucqYAIBx 2LToum2XyFF7L+YEH6vy5ab+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOP7l5jESMWGgq w1mvBQDa6MvYdnnPphXEHjCijOo45/OF0s7ulqRUWWi4Qd0IoWiYuRECGQ3D94Qc+51rXHY4 xDofvRyCshTXflhcwTQH40w8EmBvartDdElqQcH82Md3zqs4WW/Wotb/StzIkxkWu5dJmS3M RGO6VMIuM4DVJdPUUORS9LgYyjN5fiwfekJqtiONrKin7AoK1/Xon40PSZ8IUiyzRhzy8nTx qt3ge73UC9CVvU5pNZHb+ga1rAvy2g/w2iVLa0XPDz2uYdykEW9EO9fWHPXNr5RxPrd/G39r YwDX+PUkE43eLOlPUHqHXs7dwFiwY4TXsiu85Q/my/qClYOJVzN/NeKnex4It08x/kJ/goKl 1nkMnJlJJPErSWvAW23hrpLMtsDhL4m9Slnbx8/d02lwWYiaouJ5aISPcl/N7o++eApibY+Q /AZco/SSr5CWxbWyQQ7NJPdlY1FcAj0pASsOyH+XiMzUaQ9TCP0+/jlXDDVyg8wMgSNu/ATn ZicxyLAYJ9aRw1dHMfcM/2u6FWqvEkiouF5XmqWA9wKeEzT75RgcXzhqsAGe+cddBPJnGqc3 SmrHCZC9PXsopA0wvbNl6urv4ekKMogP0t4Tk3wz6e6CjnexUWnmbR/aeeveSvPcU/F44Ogb vVx49ClF9Nfh3dMkY53M4gz/JIE/9G1+oNrlFV1LkvEf3GAK+1GIEDf+eJtq6cU5LtSmTXua 3K14tMAZIm4YpL0ImUwejggQP+Ij8wPuz/o6v8wHkX2yQl38JeDUmRQJxO8szNcHpQkLLIax fodh+BO5zydkhYKNvO0vhJQ/UmILV0CVPwDnbMeC4nJlAEq6w9jZbrxNyzI26yMOu58ahQSH jyphaT5l+t9wGjGeCENDnTj57dWqqkPnxFo92U8AWq1tODLvdIN5y0Jww8LFlxU6j5lz9NMP nNaMhwpBKeWoBZtqstxf0GtPABjAhem1FT74AYLnjeBTm2DdG/EHEsiM8mjoWEb9GN9eGBA3 be6kWzKbxfjTPvT7AATB3F3iqXEZsNj0yH/g+abJtShM7hmRCv6k4msSHEtqRC6MfguhUbCm /ZmzNxwZYL/KyQUha8xUKue6pg9VzGGI35kU9h63aZUA1zZRi6+6QKOJ2+1ZMlJAf7Aqm28K s52I/NwRwaM7zmPoh8bFJwzDedNxtBx3+U7e5TvOWIimJmcpGAwsJvvqw7PtFVySNBqycsAO ofdcgyZKVOphFxWpnTsqfdVMW/pcPgGYwzBhNqOytsrLK5aku9QchAV6ICW7lG1Kwps+iyGs DzTP5H2y/NQ8qUyvo/OPJgaOSCKB4LdaOC6/jq3kexyVvLUEMKXtwoquljtZAtXGr0KWuVIr 7eGsf+p/UbJoIcJV3v9nr+fHZJo/uS3ZvJcaejsHUlZnAyDec7i2AQC8GaGMq50kMtRy82kZ gmgYu6ySIIxd/JC4kZKMg5yPg04CavlSovB/waGsOWqGBwR9SflPeGX3yblQk8DfxBZJqCkL BH/vsifw+xxraNOIUQhLO5nCZopG23Tc/IqWPOpvAbJE1TypE2Jv4bjsh8S6TvrLH2gO+Si6 LLnQinOTjiDiJvq/vp47bMr5gY2CUxji9YeZkgeot56qw6rBV48cNgyD880NYF2oAfTirfDe zD/XEkzA37cXBNFUynGzvbNYwO9PtEKa/DFfmEH3kXNZymPUdbKRPMr8yp7+H55dwfy1Ozte 5lU5nT0OQP32Z1zA/oa4vugm+p82/fG3TQy9Fvgl9DpSQMraVnQOKeNwCIWPcAGLy3MqKkPD W08RGQBR0biDECtToBvfHlaHBxftzTqp9ntgeFj3/6H07h3DsUZoBE8Bw03+rIGZcUOYrUJQ BsbgkOTtnuO1CV7VbQB4roUbGwdNR5PNse/Ja7nAwYVmslcL4jh09wqxUIycS3pxOKT/54xW NVhD7jSyXlp8Hxs5YA= IronPort-HdrOrdr: A9a23:llj9gqOjAgxqO8BcTuyjsMiBIKoaSvp037BL7TEJdfUxSKalfq +V7ZYmPHPP+VUssRIb+exoWpPwJU80nKQdieIs1NyZLW7bUQWTXedfxLqn7TmlNCH36/JH2b 0ISdkaNPTASXZ/yej1iTPWLz/i+rW6GWKT6Ns2A00CceiiUcBd0zs= X-Talos-CUID: 9a23:2ULZYWH/if517FEgqmJ70XA/C/1/T0eClmr6f021UGpbdZyaHAo= X-Talos-MUID: =?us-ascii?q?9a23=3AAa86bgyp/gq92PCGFqQlzev9aW2aqIaxEwcml8U?= =?us-ascii?q?bgey/bSpWKhiwiTu7e7Zyfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.13,208,1732575600"; d="scan'208,217";a="203391977" X-MGA-submission: =?us-ascii?q?MDE++UUA0FRg6oi9FM0MRPrmfNwynSeEREJOCt?= =?us-ascii?q?IVurZPsm0lKFfdZYtRYcirLDE2iTTCxpcwE28tMAbp5242ziykCPkuIf?= =?us-ascii?q?AUrkZpvK9HLPregNub8glVrdhzAF1WRCd+vUq+jru58unX73n746xJAm?= =?us-ascii?q?K2qd4Gzyp3lC2fYtfSCxzt9g=3D=3D?= Received: from mail-oo1-f47.google.com ([209.85.161.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Jan 2025 09:35:10 +0100 Received: by mail-oo1-f47.google.com with SMTP id 006d021491bc7-5f2e2608681so370835eaf.1 for ; Thu, 16 Jan 2025 00:35:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737016509; x=1737621309; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=TpsuicrHJ1Mj7wkb9YRdBaaZLXbqpWLG/pdbvo1LDfg=; b=kg0fwNM+7sAVLYUXehtlitw3UaLvC7mXE5bnky9tX5Qe6P3PzTNfEqw4Qh3WEDdlcm aEsCIirfWTXzCH4XJNiTtIaeHWrpWZSGNPkWOHa8IdD9pd/JhUnPkp2x8HcP6gNd7LxL ej0W9Ct+vzl/2jCXw3WX8r9tT60byphiUkwobRZvUwIkin9TshNtD82FupBblhFmlgkl z9/A4r2K6TUjcz6OnHexu+woJakDY5RjscgnFyAD1gvM4o7/tfLI6Y/H2CYn7bkhJj3B /6oz8y40/0ZGNZkiNsuRdZzZKR8kBK1yFahI5i9y4aWWT3MaIZL6QPsOj6B9yCldp+qG 6fHw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737016509; x=1737621309; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=TpsuicrHJ1Mj7wkb9YRdBaaZLXbqpWLG/pdbvo1LDfg=; b=v6XvNAscgQqtSt78xzmkgqXsAhb20txo4d6tCMRkSCSJeQrgrKTTD4V0rxsFx9D2vq x9s7gFMfYclfdRP6f80+vVOv4mq9Djo0GCVqrxZtPUqXhSnAeDC7kTTTOWSyKaNv6K1w HWzuLqAxBPn6tpnyExa+71J5jdP7Jya+sKD2FMWl0nqRrOInA6w2pPPvpkK6it5fgq77 VDH2rnTvwbSO6SNZVQZkOwbHHj+CC64PxZVySpEIWLeoKH3Y9HocU5S28S5N9+5uDH0p 6R0D0uFJvx/AWzDduHB4evYv7b5RkEBqnDP2DsOM6rDmu8OXq9t5bRjvKTfPStaQa620 woHQ== X-Gm-Message-State: AOJu0YzjQ3JJrcsPrxNiPFJe56lWrJnb5PStbdEzalsNPglm6elHi2TX L4ND21T+vX8muzszDSvC2Fu8fvK8UBByGIN9e1wpX+V3kbfl9PhAR/EBPpFgxsFowjFjEdji2sS 9BA9Kx3Re2Wl7i73W2ZFi4HbPFyb4CnMq X-Gm-Gg: ASbGncuFJNtoQHng2iqMqMvWXIrMA/YfCD/ghBm/i/qstY6Xxvy4BHDgexLfZQDKy8V KcDpbGESbVTz1IZ8ccFrTD4mWRl60bb6zHnf4nmc= X-Google-Smtp-Source: AGHT+IHnjAFKjryhqe6we/qTvlgtV6q3nvA1o40DpKfSbXvuTTnBzXAJeIfLTj7fE5P1Z3X3i64TaDeA6v8bAJI0HPw= X-Received: by 2002:a05:6870:e07:b0:29e:49b3:c527 with SMTP id 586e51a60fabf-2aa067209e1mr17959568fac.24.1737016508663; Thu, 16 Jan 2025 00:35:08 -0800 (PST) MIME-Version: 1.0 From: Julien Signoles Date: Thu, 16 Jan 2025 09:34:58 +0100 X-Gm-Features: AbW1kvZOZFqh2vGNPHtOeagJe_3_tFK8F6M3ICEpfYAZC5SWCK_77TulwfeTmIk Message-ID: To: Caml List Content-Type: multipart/alternative; boundary="000000000000f7ce0e062bceab77" Subject: [Caml-list] New PhD position in the Frama-C team, Paris-Saclay, France Reply-To: Julien Signoles X-Loop: caml-list@inria.fr X-Sequence: 19254 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: --000000000000f7ce0e062bceab77 Content-Type: text/plain; charset="UTF-8" Hello, The Frama-C team is opening a new PhD position on E-ACSL, the runtime annotation checker of Frama-C. The team is part of Software Safety and Security Lab of CEA List, located at Paris-Saclay, France. More details available online: https://www.frama-c.com/jobs/2025-01-20-multistate-rac.html Feel free to contact me for any question. Best regards, Julien Signoles Research Director | Scientific advisor CEA List, Software Safety and Security Lab | Department of Software and System Engineering Julien.Signoles@cea.fr | tel:(+33)1.69.08.00.18 --000000000000f7ce0e062bceab77 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
<= br>
The Fr= ama-C team is opening a new PhD position on E-ACSL, the runtime annotation = checker of Frama-C.
The team is part of=C2=A0Soft= ware Safety and Security Lab of=C2=A0CEA List, located at Paris-Sacl= ay, France.

Feel free to contact me for any question.

Best regards,
Julien Signoles

=

Research Director                           |  Scientific advisor
CEA List, Software Safety and Security Lab  |  Department of Softw=
are and System Engineering
Julien.Signoles@cea.fr<=
/a>                      |  tel:(+33)1.69.08.00.18


--000000000000f7ce0e062bceab77--