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=L/awLrmx; 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 73CC440098 for ; Mon, 21 Sep 2026 20:55:55 +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: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=wBeQvQDsFWEN4tNX/VnhA8aBuz1uGA34hrzXv+8C2fw=; b=L/awLrmxmestR9Y7xIOaCGB5RiFxLc4x/CYEMGssOpiwhzR1Yp5dRIjy +yZDWEBh9BJ3CVdPgy+ApQRsnM/DSyZT5/97SAlL4MeNIRZ+Gx9VcCi18 5dNbVjWItcYyPom6/3PL2aWSZA7yKYpvMIePUJs2jtFwtbe+ouwUqe4xS I=; X-CSE-ConnectionGUID: pBH314ccROur70AdBeL78Q== X-CSE-MsgGUID: wS0/AaHzQrSpaT5HbUpAbQ== 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,115,1787004000"; d="scan'208";a="296151733" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Sep 2026 22:55:55 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 51AD981EBC; Mon, 21 Sep 2026 22:55:55 +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 8E94C8060F for ; Mon, 21 Sep 2026 22:55:45 +0200 (CEST) X-CSE-ConnectionGUID: 1+JUin9PRTuuDV/hhfTYow== X-CSE-MsgGUID: nfVzo4fzTGCVagljRocm6A== IronPort-SDR: 6ab199d0_7Bye6uuJ/juyzA5N6Z+NPqAUkBY1JU2dktS8Lk8WAgYZFak YBCSHAuvVQms4nYcq8UVwsaCBMK4y6qdhUcZoag== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0F+BABrmLFqfI3jfUpahRpaMWA0BAtJhFiPUoIhknqJT?= =?us-ascii?q?4FpgSs9Ag8BAwENRA0EAQEBAgSEfo4KAh4HAQQ0EwECBAMCAwEBAQEBAQEBA?= =?us-ascii?q?QEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw4SKYZPDYwTgSxhAgUDOwEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCFBg/SR0BGw8GA?= =?us-ascii?q?wYDEgMNDwIfBwIjAREBBQEjEoMDgiIBBhABAzcDEaolkCyLcoEVBQIWgQGCD?= =?us-ascii?q?QbaawoZKA1yA4FoAgEGFoEJLoR4Kk8OgkAfAYFwhAcBO4NHgSGBA4ElgRU1g?= =?us-ascii?q?kUxgUOBXAGBJ084gw6CagSCIoEMgkgZKySBNI9RJggBBhcDBwcJBQQcBgUFA?= =?us-ascii?q?j8JBgUKEgMEAwQEAQILEwkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMFAooI?= =?us-ascii?q?hICKQoBAgEpLAMUGQEIBgICBAQCBAwCAwYCAgUHAhEDBAEBCAICLQMBAxkIC?= =?us-ascii?q?QgCCwURGAwLBQIKJwMPAQkDHxcWCBE0CAYWARoGBQYLNxUFDBEBAhsCHwQdE?= =?us-ascii?q?QgDARsEAgEJAwQWBAIUCiACAwMGAwoJAgUDGxgEAQICAwIBAggDBwgDDQMEA?= =?us-ascii?q?gMDAwQBAgIBAQECAwEDAwQDAQYCAQMHAgIDAwMLAQIDAwUDAwUFAgIFBQMFA?= =?us-ascii?q?gIKAgMDAwIBAwIaCAMGAxIBEAMDBgEDBwMHAgQDCQIIAwMICAMXAwMFAQICB?= =?us-ascii?q?AMDCAgEAwMEAgIDDAUDAgMDBQMDBwIEAgQDAwEFAQIHAgMHAgEYAwIECAcHB?= =?us-ascii?q?QILBAIIBA0JBAIEAgIPBAYDAwcBAQIBBwUGAwICEAEICgUGAgICHAMeAw0GA?= =?us-ascii?q?QkFAgEFDgcFAgIYAwYCAwYFAQMBCgsBAQMKAQIEAgUDAwEDAgMCBgMDAgUFB?= =?us-ascii?q?QMJBwUOCQEDAwYFAgIDAgMBAggEBgUDAgIDBQEEAwQDCgMCCAMDCAMMAhoCB?= =?us-ascii?q?QMDAwYJAwcHAgMHAwIFAgcFAwMFAwYBAwIBAwMICxUfAwMBBQMDAgEDAgUDA?= =?us-ascii?q?xgCAgQFAwMDAwMIBAICAQcGBAICAgEFBQUEBQYCBAMIAQEFAwMKDQECBwwDD?= =?us-ascii?q?AYDBwMDBAQDAgUKAgQBBw0HCQcDAgMIAQELBAEDAwoDAwUCAQEHBQMGAwcCA?= =?us-ascii?q?wMDBQQFAwILAwcCAgMDAwIpAQEBAwMDAwMEAwEDAQMDBwMFAwIQBwEBCgMCB?= =?us-ascii?q?gMHBgMFAwMCAQIDAwURAwYEBQYZAgYROgEIAgMDARQEBAUCBRUCCAEDAwUDA?= =?us-ascii?q?wMDAgUDAQUBAQMDBQMDAwMDAwQBAwQCAwcGCAEBAQIIAwMCBQMDAwQDAwIBD?= =?us-ascii?q?QQCBQMGAgIEAgQBBwMBAgIBAwMDAwECBAQCBwQFAg8DBAIDAwUCAwIDCwYCE?= =?us-ascii?q?QQCAwMDAwMQCQgTPQELBzIENgEGDxQFKSE9Io9UGR+DBl8ZGFCBD0IGBTLGU?= =?us-ascii?q?weEIYFmijyVVDOEBI0UmVWIBIwEhQAjjWeVNIV0ESQSgUkjgVwzGiOBAYICA?= =?us-ascii?q?TNQAxkPWI1hJ4NEh3nEIUYyPQEBBwIHDgMLgWiQNG9dAQE?= IronPort-PHdr: A9a23:Qoa4TB84a8LEz/9uWeW1ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Y gqHv74w0AOXFazgqNt6yMPu+5j6XmIB5ZvT+FsjS7drEzIjt4A9sjdkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFijuwbaluI BmoognctsYbjIRjJ60s1hbHv3xEdvhZym9vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68PlrRbMQRKR63UTT2saihVHDRTL4xH8RZfxrzD1tvFh1ymAPM35Vq47VDK/5 Kp2UhDoiSMHNzkk8GHLj8F7kaxWrA69qxF53oXZZpyeOvhjcaPHZd4VSmpPUMhSWSJcHI2zc 4QBAvEdPeZBtYTxu0cCoQe8CASqGejhyiVIhnjz3aAiz+khFxzJ3BY+ENIPrX/attL1NL8MX uCu0KbI0CjIYvRM1jf79YfIaA4uofCWUbJwa8bR0U4vFxvbgVWLtYPlIiiY1usIs2eB7upgU fijhHIgqwF0uzWiwNonhYbViIwP0F/E6Tl5z5gvJd2+UEN1b8OpHIZfuiyaOYZ7XMwvTm52t CsmzrALuJy2cSYJxZkn2RPTd/6Kf5SV7x/+SOqcPTh2iW57dbyxhRu//0iux+vhXce611ZKq zBKktjKtn0VzBzT6taISvVz/kegxzmP0x3c5vteLk8oj6bbNp0hz7gtnZQQqUTOBi37lUrsg KOLaEkp+vKk5/r5brjkvJOQKoB5hhz4P68zgMKwG/44PRILX2WD+eSzyrnj/UrhTbVPlPI2k 63ZvInCJcQZuKK1GgFV3pst5hqlADem19MYnXYDLF1bYh6Ik4/pO1TWLPD5C/ewnUisnS9py v3JJLHtH4vBI3jZnLv/Y7pw6VRQxBc8wNxC/55UD6sOIPP3Wk//rtzYCRo5PhSuzObhFdp9z J0RWWOVDq+ZKq/SqViI5voxLOmXeIAVpS3wK/cg5/H0jH85nUURcrWu3ZsScHy4BOhpI12FY XrwhdcMCXsFsRA7TOzukVGCVT9TZ22uX68n/TE6CIemDZ/ZSYy3gbyB2j27HpxMaWxcBFCMC 2/kd4OfVPgUciKdPtdhkiAYVbimU4ItyAmitADkxLpgLeTa4DUVupz+2tRt/e3ciw8y+z9uA cmF1mGCVWB0nmcRSz8u3qBzv1Vxylme3aV2mfBYGttT5/RGUgc+K5HQ1fB1C9f3Wg7ZY9iJS 1emQtC+DD8pQdw+zcEAbVphFtuklhzMwi+qDKUPl7OXHJE66rvS0WD+Kcpl0HbGzKchgkE8T MZTKGOom7Zz9xPLB47Hi0qZl7ildaAb3CPV7GmN1HKAsk4LGDJ3BKXMRnMSYk+Tpt3362vCR qStBLAjdAxbxorKKqJRadDtiX1GTezgNdDaJWWrlCP4Dh+NwvaIbZH2U2QbxiTUTkYewC4J+ nPTHA4yHCqg61rZFDF1Hk+nN0rq/fNzqTW7CFcz1wyRZFBJ2L+8+xpTjvuZHaBAlokYsTss/ m0nVG222MjbXoLoT2tJeaxdZYh4+1JbzSfCsBQ7OJW8Lqdkj1pYcgJtvkqo2Q8kQp5Yn50Mq 3UnhBF3NbreyElIIjqe0Yr9O/vXbHH15B20YLP+1VTX0dLQ8aAKu7wjs1u2hAiyDQI59ml/l dxc0n+S/JLPWQMUXYj8UwA3sQB9v7zBaTQV6Ibd1HkqOq6x4XfZw9x8Iuwjx167estHdqOJE AinC8oBG82nM/AngXCsZxMAefhQrus6ZpjgePyB16qmeu1nmVpKlExh54ZwmgKJ/it4EavT2 oodhuqfxk2BXiv9i1Gotob2n5pFbHccBDj3zy+sH4NXaqBoGORDQW6zP826wMl/jJ/xSjZZ8 lCkHVYPxM6uf1KbcVX82QRa0Ulfr2agnGO0yDl9kjdhqaT6vmSGyuLubhcGfG4NXG56gEznP KC7itkbWA6jaA1o3Bqp6EDmxrRK8bxlJjq2Iw8AdCz3Imd+F6qo4+XeJZcVtdVy63oRCbjlM jX4AvbnrhAX0j3uBT5bzTE/LHSxv4nh2gd9kCSbJWpyq3zQfYdxww3e7ZrSX600vHJOSS9mh D3QHlX5McOu+IDenpHPqO2/EWLnTppLfDLg0KuPsSK64SthBhj1zJXR0pX3VBM31yP2zYwgX CPEthv9JImtz6OiPPlsY2FnAVb974xxHYQ0we5SzNkAnHMdgJuS538Ol2z+ZM5a1azJZ30IX TcXwtTR7WAJwWVbJ2mSj8L8X3SZmY56YsWiJ3gRwmQ75txLD6Gd6PpFmzF0qxy2t1CZbf94l zYbgfwgjRxSy+gPtBAgz2OdRKgVBURDNjHEmBGB7tT4p6JSLGqiarm/0kNikMvpU+3E+1sBH iyjJdF7QXY4594aUhqEyHDp74D4ZNTcJckesBGZiVaIjuRYLo4wiutfgCNmPWznunh2roxzx Rdq3Jy8oM2GMzAyoOTgWEMebGeqIZpPo2KI7+4WhMud0oGxE480HzwKWMCtVve0CHcJsuyhM Q+SETo6o3PdGLzFHAbZ5l01yhCHW52tKXyTI2EUiNt4QxzIbkVZjBoZXXM62IY+Dg2xz9HJf 0Jw5zRX7Vn94EgpqKogJ1zkX2HTqR39ID4yRIKSLVxWqBlF/0rOOtG24ed6HiUe9Zqk5l/oS CTTd0FDCmcHXVaBDlboM+y15NXOxOOfA/K3M/rEZbjd4fwbTfqDwoijl5d35zvZfNvaJWFsV rdovygLFWA8AcnSnC8DDjAahz6YJdDOvw+yo2V2tpztr6itAViyo9PJU/wLb51u40zk2//Sc b7Nwn8jeXAAkcpToB2AgLkHggxI03k3JWX9T+xS6X6TEPCC3fIJRx8DNXEpaJMUvfxshlEfZ Z6F1oGnkeMm65x9Q1ZdCw67xJn2N8JaKTnvaAOZWBTZc+nYbTzTnZOtMfvkG+Ze1LcI50Ps6 2TcThGGXHzLliG3BUqmabke1X3GZE4C6N/hIEQqVDarTcq4OEewaNElgzdrme9o1i2WZzxbb GY0ZUpJqvf4ATpwpPJ5FiQB63NkKbLBgCOF96zDLY5Qt/J3AyNynuYc4XIgyrIT4jsWDPpy0 DDfqNJjuTTE2qGG1yZnXRxSqz1KmJPDvENsPr/c/4VBXnCM9QwE7GGZARAH79V/Ddint6dVw 9nJ3KX9TVUKu8rT5tcZDtPIJdivNXMgNV/xGmSRAlJeCzGsMm7bigpWl/TTvnyZo54mq4T9z ZoDTrgIMT59XvgeC0ljAJkDOMIoAnV9y+Pd1pRXoyPi9Uq0Jo0SpJ3MW/OMDO+6LT+YieIBf B4U2fbjKpxVMITn2ktkY108nYLQGkOWU8oex08pJgIyvkhJ92BzC2Mp3EewIAqr7GUeFLi02 AYxkgZlavkF+zLl4lNxLV3P7nhV8gF5iZD+jDadfSSkZr+3Rp1TAjHoulIZN5r6R0Ntb1f3k xU/cjjDQL1Vgv1rcmUh22q+8dNfXPVbS6NDehoZw/qaMu4p3VproSKi3UZb5OHBBPOKdSMve J+o6mpCgUdtNYVzKqvXK65EiFNXg/DW1sdN/u80yQ4aYU0K9THKEMbnkEMNP7giYSGv+741g TE= IronPort-Data: A9a23:BecUWqJYjnjY9NIjFE+RVJElxSXFcZb7ZxGr2PjKsXjdYENShDFSz DNJXmCBOf6MZGajLtwgbNzlpEICu8CDndFqTARorCE8RH9jl5b5CIXCJC8cHQvCd5yZFBoPA +Y2M4SbcphsFhcwgj/3b9ANeFEljfngqoLUUbCCYmYtA1Q8Ek/NsDo788YhmIlknNOlNA2Ev NL2sqX3NUSss9JOGjt8B5mr9lU145wehBtC5gZgPaER5QeE/5UoJMt3yZ+ZfyOQrrZ8RbbSq 9brlNmR4m7f9hExPdKp+p6TWlEKWLPbIT+VgXNQXaW46jAazsDl+vtT2FI0MC+7uh3R9zxD4 IwlWa+YEG/FCpbxdNE1D3G0JQkuZPwcoOevzU+X6qR/x2WeG5flLm4H4EseZeX08c4uaY1CG GBxxJngoXlvisrvqI9XRNWAiex6b+vWPYVOgktc0Cz1M7EmQZ7/cqLVsIowMDcY3qiiHN7bb ssdLCJtNlHOOkYJNVAQB5Yz2uyvgxETcRUH9BTM//dxuTKMilUtidABM/KNEjCObcxTklyVp yTGuXz+GhwBP8G3xj+M83bqjejK9c/+cNtPS+DmpqM23jV/wEQVBiMEUge1s8WWoXC3VNZdE Usf/3QH+P1aGEuDFYSkB0Lp/hZopCU0UNNVF6g+6RqR4rHF5h6QQGkCVD9ILtI83PLaXhQv3 16N2svrX3lh6ebTRnWa+bOZ6zi1PED5MFPuewddDik44t+ymLsPkw/jcJFjEKCJv9rqTGSYL y+xkMQou1kEYSc2O0iT+FnGh3e0pMKMQFduoArQWW2h40VyY4vNi22UBbrzsqYowGWxFwfpU J04dy62s7hm4XalynDlfQn1NOv1j8tpyRWF6bKVI3Xey9hd0yX+JNgPsW8WyLZBPcEDdjvkK E7VskU52aK/yECCNPctC6roU5pC5fG5SbzNCKqIBvIQOcMZXFHcrElTibu4hTyFfL4Ey/xnY c/znAfFJSpyNJmLOxLvGblFgON2nH1WKKG6bcmT8ilLGIG2PBa9IYrp+nPXBgzgxPrc/luHw MUVLMaQ1RRUXcv3ZySdo8ZZLkkHITJ/Tdr6otBePLzLaAd3OnATO9mIy5MYeqthg/t0kMXM9 SqDQUN28gf0qkDGDgSoUUpdTo3Tc6xxll8FGBA9HE2J3iEjaLm/7a1EeJoQe6ImxdNZzvV1b qckfpyAC8tQVj/o/CU5UqjtiZ0/ch7x1ASEEBe4UWJuY79hWA371dv2dST/9CQ1L3SWtOlvh 5aCxw/kUZ44aAA6N/nvadWr1EKXgXgRvMlQTnn4CIBfV2u0+bc7NhGrqOE8Jv89DCnqxxyY5 l6wOggZr+ycmL0F2oDFqo7cprj4DtYkOFRRGlTayrOENSP62G6H6q0YWcaqeQHtbk/FyJ+AV 850kc6laOYmmWxUubVSC7xolKIyx+X+ro9gkzhLIi/5UESJOJhBfF+9wsh9ho9czOR4uCy3e H611Pt0BLGrAP7hQXktfFcLT+LbzvwFuCjg3dJsKmXA2SJH1r6mU0JTAhqytBJgPIZFaL0C/ +Nwl/MVuiqeiwUrOOmolip71XqBBV1eXrQFtqM1Op7KiA0q+24fYpfZNDfS5Z6SYPodLXsaB D2YuYDEjYty3kDpLng5TyDM+cF/hp0+ng9A43FfBlaOm/vD3uQW2j8I+xsJbw1l9Dd1+MMtB XpKbmpeOv+o7TRzocpyT0SAPh5nOkWC20rTz1ApqjXof3OwXDaQEFxnaPe/wk8J1kl9IB1J9 66840T4W2/IeMrR4HMDaXR9oaa+ce0rpxzwo+H5LcGrBJJgXCHEhJWpbm82qxfKJ8M9qUnEh Oty9tZLdqzJGn8MkpI/FrWl++wceDKcKExGZMNRzqcDMGXfWTO1gBylCUS6fOFTLP3rr268L eFTJfx0ahfv7xbW8wgnBpMNLYRkw98vxt4JIY3wKUA87rCwkztOsbDrzBbYulMFedtVvPwGG tvjTA7aSm20rllIqlDJt/hBazaZY8FbRQjS39KV0eQuFrADuuRWYHMN0aa9lCiKOlBN+xnOm lr6SKPK/tNm0qBpuZXmKYRYJgCOMdiofv+5wAOylNVsR9nKC9b8iAAal3a2IDZmG7kdYPYms Z+vodLIzEf+k7JuaF/gmr6FDLhv2cqpeuhcb+bbDSN/pjSQfePS7z8o2XGKGbYQnPxzvsCYF haFMu2uftsravJh7XxyaQ0FNj0CCq7yP5zSlQnko9uiUhEigBH6dvW5/nrUbEZeRC8CG7v6L iTW4/+OxNRpnL5gNS8+JcNNIsFHeQf4eK4cadfOmyGSDTCojnO8q7LSr0ccxg+ROEaUMvTRw MzjfQf/RiSQqauT7dB+sq5OhDM1Ikt5o9ENehM6x4YrpRG8VWIIFLFIe9FOQJRZiTf725zEd SnAJjlqQzn0WTNfNw7w+pL/VwOYHfYDIcr9OidvxU6PdiOqH8mVNdONLMu7D6teIVMPDd1LK O3yPlX1Nxm1h4lrH6Mdv6f9juBgyffXgHkP/CgRViA07wk2Wd03OL5JRWKhlhAr1+nCkUzKI S4+QmUsrISTVxvqCcg5E5JKMEhxgd4spgnEqQ+Axd/ev8OQy+goJDgT/Q3s+uVrUfnm74Lii Z86q6VhLoxWNrEuVXMVhu8U IronPort-HdrOrdr: A9a23:4CkfaaBTaAJsozTlHelW55DYdb4zR+YMi2TDiHocdfUFSKGlfp 6V9sjzsiWE9Qr5OUtQ4+xoXZPufZqyz+8T3WB8B8bHYOCEghrMEGgB1/qa/9SIIUSXndK1vp 0QC5SWZueAdmRSvILU5hKnG80szNTC3KejnvfG0nthJDsKV4hQqyl8TimWGlBrXwVdbKBJcq a0145oo36Pdx0sH6eG77o+P9QrZeekqHsuW29lOyIa X-Talos-CUID: 9a23:vbllSmzEHj7vdnShNNlhBgVNWeIYc3uM9E3sPlKUNyFpSLOpeFiPrfY= X-Talos-MUID: 9a23:qWPk2gVyyBA+RaXq/DniuiNlaMl634uFNkkClZc8vMKBawUlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,115,1787004000"; d="scan'208";a="157568546" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGZ3D68BkIVN0+gXiF57pnjxJtNMcjwhKe9no?= =?us-ascii?q?mubTJ83axezOn9Kt/sT4i0U4bmwV4tnkRi/cvOAJmuXkXWyYAgD7o5gP?= =?us-ascii?q?2ACm24CQgpHkT9jlxJUzD+oX+q6JJ2tYk8D6afF7gTrMtzHboRdqVDwA?= =?us-ascii?q?8/x/8M+Bs7wIVmKfERXEefHQ=3D=3D?= Received: from mail-pj2-f13.google.com ([74.125.227.141]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 21 Sep 2026 22:55:45 +0200 Received: by mail-pj2-f13.google.com with SMTP id 98e67ed59e1d1-39b2ad83dc6so3012996a91.0 for ; Mon, 21 Sep 2026 13:55:44 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1790024143; cv=none; d=google.com; s=arc-20260327; b=HrzC8tMnOjB1EB8uAl4xuxNf9vVGQ2qT6JKeB2vGzu+HA5PSySVzrPux/BpFaEX7zY F+R33KeGt613QZ8tzyA/ymM6iRfvJ6Fd8pgKZWttXjSISgsz8H3eh3QlPJmzrtoCLheQ OYED/NdEYzslFmwwaRrGZHkye45otp/Gh1XukwKk6nly89g9ROMpnAtZ9HCJKb6po4i1 NXhYYYlXDEIpbaJQ2/u4trx6Ha5OFsLFRb6NtrAZouJ/CqQatUBkyrKtms8ntKu/XDe+ /F63pR+ERr7a4NtKrA4dLow/MppTkJDvMQXFPTbrfSUaMu7HaK8d85cY4+i59FkvHIq9 76EA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=wBeQvQDsFWEN4tNX/VnhA8aBuz1uGA34hrzXv+8C2fw=; fh=6rplrnMBCGEtAZKH2kn+K2m6438B+NcVlXsXKq0+soA=; b=SPXsc6VpM05JOmgjferzQW5FZwI0ttyyLRdyt+IHuQJI/lW99dLEiqRu7+e5teTk0G erj734eboBIkw6rN+NxTxTqxRdnhQFi2clrODVQJgNkqNmhGsK5A9DznCVtGnSp3p8pt uWTOjlUDrx1NHph4KqTkvjSUE08ZbJUDmJIyjLrE/W5Sov+jKemt8L1QOeGsihfHKZd/ YrV7XOWjgvwTCC5RqmBqVxuKqh8bCTKlm17SGUm5GzQIUBdnK6+9x+nBVcMhHSllKph8 zawdhCFs0VrNPJhghS+1qlxDmEMFKh64x44bStrMcq/YDUgsirIUGZ6x/n/pGHvNwECf sNKw==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1790024143; x=1790628943; h=content-transfer-encoding:content-type:to:subject:message-id:date :from:mime-version:x-gm-gg:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to:content-type; bh=wBeQvQDsFWEN4tNX/VnhA8aBuz1uGA34hrzXv+8C2fw=; b=Q3mggINmyzRLiETAwTe6oXqkHwmQ0s04Cd5xDTakGcU2jHudEF4o3UFltlHJupA/hN gEH/ffYl8VHMpfjzZ61+FsVH67CwPOMr0q9n14dcF+LQcucqAdg2+A5lFEclaTBLmfls 3YF9ZfHuul5+JYdgmf7YQQUK0UGKYEpzpULyQ38dNRrLWO7gz4D+A/tfqBT6nIo4Zu15 6rW4bxjjuR1oslxutHVSuJqbCod/808mV2ds2QjDdIbJ5R4fiIwFQ9qVsSSHnsa+YqSo ucw/wUnwKVcq1Xe5On3YFOmH/TJYHVnng+sgF/FN6Z681UsSaWSEDAZG63UqXFm67gm4 FsNA== X-Forwarded-Encrypted: i=1; AKwUvBwHJorW7gcs7LbBJ8Cl5nn1Go0DQA4BP5MWoZSLy6LawxfUkDCk6Mn17MyU/Ta6FFVEUo5N7Z514+U=@inria.fr X-Gm-Message-State: AFuF++kqse16NnLalvYY33WFFaOw7DF6/XIUeh13Ro++TGivNCqD4dEa OyiTM/LFnyAtlEwM/vRwXoHPFxGDZ8b23ev876nulqpxPsrRzQs/5Pqm7dFT2KghkUOzI/PM9F2 PM3x4KcIGWvIOr0y+KDvHaxx7WQHr7Cbghcac X-Gm-Gg: AYBFou332svfwavCPKsNoHUi5VokXoShC17A6/e5R2Q+WtcjncY+c8axtbIlbXkhDnt BLKuKY1wsvFTJPd734qWj/qty0WzpbVVOWdcOmZmjuOD+oMqYn+bTzgBnAa/q0Nac8nOqSxkLtY o6SEwdcvGG7K0FBSwZ00+N1NxbYRGuyCPilj+QWNhCm8d+KUVtKV1I+FRJeQxY4cxZImeIlaEGh 1uASGBX5qgy1/VKtNLVugqMy+qHRnhOYI0rfSBndCDpaAX6jp8e0qoNC3TVZ6KD/JCBhqXbRDJA OXkwGJFrmOolQztm/jKBrcO242tTBA7Nkw3UzxnJE0Hasoclg3SWj0BAM/DNcssNY7WXB2aqgFD yF/TVrNCnC6XfuoH/9Sdh8zpUYp6T01QgOIm3tcEOqSIMrC6nDGbRaFe0jXmfkBFWHwvCZ713l4 SZX7DU8fcjpXahZ7XR8MXu5BfdtbQFiXZsCBkhmNIcPJanNLEaGz45sy/LkwaBHaAECcxDXzgly c1s/KckgzbzFuqk//xvZ0xjZ8o4ZCTOyvwM9IKkxinB7e2Oi8bRwdufvqRNYBE+WC/tHtfU9GsT g9w+X0D9lBxfJoKyg09GhSHn9ucbxUUBXc5tQfcRfG0t1wx5 X-Received: by 2002:a17:90a:da90:b0:39e:6a7f:1dc9 with SMTP id 98e67ed59e1d1-39e6a7f21c5mr12232074a91.37.1790024142649; Mon, 21 Sep 2026 13:55:42 -0700 (PDT) MIME-Version: 1.0 From: Andrei Popescu Date: Mon, 21 Sep 2026 21:55:30 +0100 X-Gm-Features: AcwNN1UdyfVm2VPK81v7qq3nXAswHz-uRWrhxyg0ZvS2VSpgE7yo8tXNiiJgSOY Message-ID: To: haskell-cafe@haskell.org, haskell@haskell.org, caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Research Fellow positions in the Isabelle development and verification of an "Agentic seL4" system -- application deadline 27 September 2026 Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19583 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: Dear Colleagues, We are looking to recruit a Research Fellow at the University of Sheffield, UK, for a new project on formal verification with Isabelle, funded by the Advanced Research + Invention Agency (ARIA). The project, jointly undertaken with the University of Surrey and the University of Melbourne, will develop a formally verified reference monitor on top of seL4 for the secure containment of AI agents, including mechanisms for dynamically controlling agents=E2=80=99 capabiliti= es and information flows. It will also use AI techniques to accelerate large-scale formal verification, trained on the seL4 proof base. The position is at Grade 8 (UK Lecturer level), with a salary of =C2=A353,301=E2=80=93=C2=A358,225, and is initially for 14 months. We have = substantial funding for access to state-of-the-art AI models and computing infrastructure. We are interested in candidates with expertise in interactive theorem proving, formal verification, information-flow security, seL4, and optionally neurosymbolic AI and AI-assisted reasoning. Candidates do not need to cover all these areas. Particular preference will be given to candidates with strong Isabelle expertise (or substantial experience with related interactive theorem provers), and to candidates who are available to start as soon as possible. We would also be very interested in hearing from excellent Isabelle researchers who may be at an earlier career stage than would normally be expected for a Grade 8 position. The formal Sheffield advert and application link are available here: https://jobsite.sheffield.ac.uk/job/Research-Fellow-in-AI-Assisted-Formal-V= erification/3142-en_GB/ The application deadline is on 27/09/2026. If you are potentially interested in the position and have any questions, please feel free to contact me at a.popescu@sheffield.ac.uk . There are also closely related positions at our partner institutions. For opportunities at the University of Surrey, please contact Brijesh Dongol (b.dongol@surrey.ac.uk); for opportunities at the University of Melbourne, please contact Toby Murray (toby.murray@unimelb.edu.au). Best wishes, Andrei