From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 950232E03 for ; Sun, 31 Jul 2022 07:38:24 +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=E9XLksZzkhoLHMn41aNtmzlQPX8nHwBWgpJIcBimklc=; b=maoZHmH8ObRXzu4RDBEZLhaWiA66nmdNWVM0+Ubmt7u9TkEsPI9GD1I5 t7B4bWc9MO4qG/ckyH94evoI6JQqwjwcJsb7ePQz/v7tklFOpikv3tM5s f3L5SCRL7fPPRFiWpMPFIvMbBscqFkJNr5ZNcVohzZmbzsLTJObi3hztb 4=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 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 ip4:192.134.164.0/24 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=SoftFail 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="5.93,205,1654552800"; d="scan'208,217";a="47505544" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 31 Jul 2022 09:38:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9925EE00C1; Sun, 31 Jul 2022 09:38:23 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A2D42E00C0; Sun, 31 Jul 2022 09:38:16 +0200 (CEST) IronPort-SDR: YkD+GtJTQcPFI63/fgPH7AuY5FHso269JzFqTBBdeKDNfnqrrMg4ZvpyDczICkrPKNzh9jSwJ9 9A/con+Ywmo9WaYjd0eqLjKlcEiqoCaK8lJLJc71yek0q5AJ7vXm2dT7h/akYUcFFG7RSF526L gfBBM1SaHcDZRQm7C57/o+Jk6pHRRHAH6Tk4ZJ6Y8gSFDo4Zx5fz9sKrJn0oBLbBD7KlNVQsTK zKiXui7/OoOphF4osqlMx2V8Dqoc2Sg+q+OhwWppXF4A3Li+V5eFBQnLV0IkATVGR2//p1LTXm hLPY8NY9e9fnMJrxVDjo6gJ8 X-IPAS-Result: =?us-ascii?q?A0BfBAAoMeZify/QVdFaDoNrgQMzAU1WLwQLRYROgSOPa?= =?us-ascii?q?Iw8iXyIQAsBAwENLAEGDwQBAYUGhHYCHQcBBDQTAQIEAQEBAQMCAwEBAQEBA?= =?us-ascii?q?QMBAQUBAQECAQECBAQBEwEBDQsJBwgKBw4OBWABYQMBQwGBTgGBTyoGAwEwD?= =?us-ascii?q?YI1KQGDZgUBEBEdARMIHgMSAw03AgIiAREBBQEiARIcBoJbAYJkAQMyA4tWj?= =?us-ascii?q?xyBBEKLMoEVBReBAYIJBoROChkoDWqBWQIHEoErhFqCeRABAYMZhCInHIINg?= =?us-ascii?q?RU2ggU/hV+DKYJDIgSXLwQHAwQFAQYOAwMCIQECAUQeAgkDJREDCxAVFRgEC?= =?us-ascii?q?AEEAwEBAQ4CBQcCBgMDAgICAgUBAgoCAQIEAwYGAgMQAQIEAQoEAgMIAgcDA?= =?us-ascii?q?gYECgQCBwICBAEFAw0BAwUCAwEBAwMCBAECAQEDCAEDAgMDAgICAgUCAwICA?= =?us-ascii?q?gkDBAEHAwIDAQQDAQIKBAQDBAICBwIHAgQHAgECBgMFBgEBAgEHAQEECgQDA?= =?us-ascii?q?wMDAgUCAgMCBhIGBgIEAQMEAgoCAgsCBwEBAgEBAQECAgECBwULAQEBAwIDB?= =?us-ascii?q?gUCAQEDCAYCAQQBBQMBBAUDBwIBBQYCCQMDCQMBAQUBAwEGAwMDAgcDAQIMB?= =?us-ascii?q?AgDAwIDBAICAgIBAwIHBQgEAgkCAgIBAgIGAgEDGgECAwUCAgkLAQQCAgMBA?= =?us-ascii?q?wEBAggECQQCAwQCAQEDAgECAgEFAg4GAQEBAQIDAwECAwEGAwQCCAIcCgEDA?= =?us-ascii?q?wMCAgUCAgECAwICDAEBBAIBAgECBgEDAQICAwEDAQICAwIGCQIEAQUDAwICA?= =?us-ascii?q?wEBBQ4FAgQCAQIGBQIBAQEEAQMEBAYCAgEDAwIOAgQBBAECAQEjAwQCAwEDF?= =?us-ascii?q?wECAQIDAwMEBgcFAgECEwECAQEBBQECAQEDBAQHCgMCAgQDAwUBAQIDAgEBA?= =?us-ascii?q?QcMAgICEwITAwEGAQ4FFAMCBAICAQICCgMBAgIBAwIJAgECAQUgAwEBDyQBA?= =?us-ascii?q?QICAgIDBAcCAQQGAw0CAgEBAQUGCgMDAgMIDQIHAwIBAwUDAgIEAQIECgkBA?= =?us-ascii?q?gIBAgQFBwIBCAYFDQUJCwEBAgEDBwQDAg8CBQMFBQMDAgEKBQIDAQIBAQMEA?= =?us-ascii?q?QMEBgEBAgMCAgEGAgIBAQMDBAMBAgYCAgcCAwIBBAIDAwEBAQQCAgICAgMDC?= =?us-ascii?q?AMCCAcFAQYBAgEEAwICAQIHAQQBCAIBAwMFAwQBCgMPAwUDAQMDAhQGBAUBB?= =?us-ascii?q?QgGCQIEBQIFAwIEAgMDAgIIAwIEAwILAwIGBAIHBA8HAgMCAgUCAgICAgUEA?= =?us-ascii?q?wECAgICAgIFAgQCAQUBAgIBAgICBAECAgcEAgMBAwQBDQMDBAICBwECAgEGA?= =?us-ascii?q?gcDAQIBBAMBAQQCAgQBAgUCAgEEAQMBAgYCBAMKAgIDAgICBggDAwwJAgMFA?= =?us-ascii?q?gYBAQIHBAICCwEGAgcCAgECAxEBAwIBBAUFAwMDCQICAwIEAgIKAQEBAQICA?= =?us-ascii?q?QUFAgQHDwICAgQCAgIBAgMCAgEBAgIEBAkSAQECAwYEBgUDAggYAQYCAgEBA?= =?us-ascii?q?gICAwMCBgIBAggCBAEEBQIBAgICAgQBAwYCAwEBAgECAgMDAgMCBAMDAQECA?= =?us-ascii?q?QICAgMCAgIDAgIBEAIGBgECAgICAgMCAgECBQECAQIEAgcCAgQDAgECAgUCA?= =?us-ascii?q?gIDAQEGAgIECwEDAgcGAQMCBwUCAwEEAwQDAwsFDAgBBQEDAQUvAQZklXaBG?= =?us-ascii?q?YFLYimBCyZjkjOvJGGCeoQchwaRW4MbMYN2gVCKdJgtlnwgjRiaDBAjEoFDg?= =?us-ascii?q?X5wgQGCNwlFAQIBAQENAQIBAQMBAgECAQgBAQIBkg6FFIJmgh8IPkMxOwIGA?= =?us-ascii?q?QoBAQMJjwYBAQ?= IronPort-PHdr: A9a23:LX5ssRIKAaZSzfiye9mcuARrWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrM31geCBN+Co9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/689pHJfQlEmiaxbbxvI BmosAnaq9Ubj5ZlJqst0BXCv2FGe/5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q 7pYDC87M28u/83kqQPDTQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uim54 qx1VBHnljsINz8h8GHWlMNwir5boAm8rBB72oLYfZ2ZOOZ7cq7bYNgUR3dOXtxJWiNOAo2yY YgBAfcfM+lEtITyvUcCoAGkCAWwGO/iyDlFjWL2060g1OQhFBnL0gMjH90UrHTbss/1NKYUU e+v0aLGyDLDb/ZI1jf79YfHaBYhoe2XXbJza8XQyVMgHB7Cg1WTrozlOi2a1uIQvGeB6epgS fmvi209pABxuDei3cgsiozTiYIUzlDI7zl2wIEwJdChTkNwfNGrHodKuS6AK4t2Xt0tQ3tuu CsiyrMLpIK2cTYKxpk7xhPTdv6KfouH7B/gVeudPDl2in17db+7hhu//0iux+LhW8SpzVtHo DdIn93DuH4N2RHd5M6KQeZz8Eem3DaAzQHT6udcLEAwj6XbKoAhzqQtlpoQqUjDAyz2mF/3j KOMcUUk4Oeo5/z8YrXivZCQLZN7igb7Mqg2hsOwG/g4PRIKX2eB4Oi80Kfs/Uv2QLlQif02i KbZvZbHLsoYvq60GxFZ3pon5hqlDDqr0M4UkWcbIF9GYh6KgIrkNlfTK/7iF/i/mU6jkDJzy vDGILLhBpLNI2DGkLj7fLZ971dQxxQuwtxC/p5UBL4MLfDpVk/+s9zYCRA5MwiqzOr9FNp90 YYeVXqOAq+fLqzSrUeF6vwzL+SIfoMYuzbwJ+I76/LyjnI1g1AQcKux0ZsScn+4H/BmI0uDY Xrrh9cMCWQKvg07TOP0jl2NTCRcZ3CuX6In5TE0EoKnAp3YS4CihbyOxia7HplMam9aDVCMF G/kd4OfVPgUciKdPtdhkiAYVbimU4ItywmitBXmxLp/MurU5ioYuIr/29dv4u3TkQg+9Th1D 8SGz2GAVHp0n2MNRz8uxq9zu019ylGZ0ah5mfNUD9JT5+lRXgcgKZHc1/B6C8z1Wg/ZYtiJT 0+mTsy6DjE1U9I+2MQDY119GtWnlhDMxTCmA74Tl7yRBZw76LjQ33brJ5U193GTyLg5gkJjR spUKUWih7Vj7E7ICofS1ViBmqCsM6kQwWqF9G6YzmeKuARTWQB9eaXMRnMSYk+Qqs72ogveX qejEpwjMxBd0oiJKqJOb9DzlhNdSbOrM9XXZCesgGqqHj6DwrKUaIPgPWIH02GVA0EBl0gO5 nucLkBqDS6kpyfaDSdyPVPpeULlt+dk/jfzQ1UwxgeFKlR82qGp+xkTntSRUfca2L1Cvz0u7 31dJmn49PXzLvu8mydMVKFdf94n+FBA0STQvEpgPdjoJKQnh0UXeQlzu06ryg56EJ5olckxs GhsxwN3b6uTlk5CM3uE1J/YJ6HTK3Lu51ayd6PG00qY3dqLvu8F7/MjtxDiuh2kDEc5711j0 sJJyD2W4ZLREEwVS521Gm8s7B9xprjGYy47r43TzzVXIKy+tTvD0JoNA+QkwV70dsxbGL2ND xT7CYsXC9X4bKQnhVWvcjoFOqZO6es/O8q7bOeG0artMOsk1Cq8imsC5Il73WqA9ilhDOLLm 94MzeqV1SOOWSzxhxGoqdqxkoZefnccBC730iXvGZRQerxac4EQAGvoJNe4gp1xi4SoWntw+ 1K5QlIDnsGzPVKdcxnj0BdR2wEPrGaikC21ySBvuz4ltO+e2WrA2aCqaBMIEmVQAnR+gEflO s65g81eFFCsZg4kiBi/zUXgga9Bq+A3IWzSSlxgfi7sLmhmSqar8LSYJ4ZJ94s09CRRXuOUZ VGBVqW7ohwRlS7uWyNCxD08bSCspr39ngdmk2+HMjB1q3bQeod9yQqbrNfbQPsUwjoLQzNpo TjaC1X6OMOmuZ2Llr/Ks+60EX+nV9hQeDPv1pmdtCb96WAuSRy0m+j2hdr9EhM61jfg/8JkS GPDpVK0TrLEn/C2PPp8b1JAAVb38Ix6Bcd3mc0th8dUkWMGnt3B5mYfuWL6Os4d2b24ZXFLW D1dh5b/+gn52VZjZlaOyIPyHl6axs9mfsS7f2Zejig55OhBE+GS66BY2yJ+5Ee7+0aZavFxk x8c1eZo5H1ey+EAowkgyiG1ArkJHkRcOWrrjRvMp9mxoKx/YGe0baP230p3mdWsFqrEuQwYE GroYpo5WCZ26MJiNlnB+Hny8Z3/PsLdZMlVqwWZlRGGguRIbNo6keNPji56M0r8u2ckwqg1l 1gm2Zi7os2OLWNq4aSyDzZdPzbuIcMMvDjmy7td2o6S0Yu0W5RnBjgRUYD0ZfOuHnQfubLuP ECTE3l0sW+fApLbHBSD8wFtonTTVZ+vPjeeLz8EzoZMXh6YcWFciRwZRjQ8l9YaEQWnwsDod lti5TkA7xasqRxJx+RkPh/jSWTWtQ6AZTI9SZzZJx1TuFIRr3zJONCTu7ogVxpT+Yes+UnUc jTzj2VgCGgIXhfBHFX/Jvy14sGG9eGEB+24Jv+IYLOUqOUYWe3bjYm33N5A+DCBft6KImEkF +cyj0lEWH1/F83fhy4MQj0evy3IZs+f4hy7/34/tdixpcziQxmn/o6TE/1XONRr9QqxhPKAM OudgipwLypD1ZodzFfHzbEe2BgZjCQ9PyK1H+EmsijABLnVhrcRDxMfbHZrM9BU6qsnwgRXE cvSi9ew27Ihy/BpVBFKUlvunszvbssPS42kHHXAAkvDdLGPJDmQhtryfbv5UrpIyuNdqxy3v z+fVU7lJDWK0TfzBVipNqlXgSeXMQY72sn1ewtxCWXlUNPtawGqeN5xgzosxLQoh3TMfWcCO Dl4eklJo/We9yRdyvl4HmVA6DJiI4zm026a6OzVLJoft+dwAS1lnspV5X07z/1e6yQFDP15l S3Or8J/9km8m7rqqHIvWx5PpzBXwYOT6B86aOOJq98aASaCoE1eiAfYQw4HrNZkFND17qVZy 9yU0bn2NC8H6NXMu80VG8nTLsuDdnsnKxvgXjDOX25nBXamM3/Sg0tFnbSc7HqQ+9I5rZ3hn pYHTKNAV1UkH9sVD01kGJoJJ5I9DVZG2faLydUF43aztkybR8Jfs5bLX/SOGvbmOT+xgrxNZ h9OyrT9Z9d2VMWzywlpbV90m57PEkzbUIVWoyFvWQQzpV1E7Hl0SmBbN1vNUgq2+zdTEPe1m kVzkQ5ieaE28y+q5V4rJ13MrS92kU8rmNyjjyrDODL2Ka6xW8lRBU+W/wAyNZb2RQp8axGpn kV1PR/LQrtQi/1rcmUjhALHuJRJEOJRVuUeOE5WlazRPa14lwgD4iy8oC0PrfPIE55jiBcnf da3onRM1hgiJN85KKrMJbZYm11Zh6aApCithag6xA4TIVpI8XvHInZZ/hxVcON+d2z0ob8Ji 0TKgTZIdWkSWuB/p/tr8hh4IOGc12f71KYFLEmtNuuZJqffum7alMfOTEljsyFA30RD47Vy1 t8uNkSOUEV6hriWEhkPOcPENRpWZttb3HfWdCeK9+7KxNgmWuf1XvCtVuKIuKsO1winGwMkG YgF6NgaHZC92WnXKM7mKPgOzhBnt2GJbB2VSf9OfhyMijIOpcqymYR20YdqLTYYGWxhMC+z6 +WftkowjfGERttzfmYCU95OKCctQMPj0X083TwIHHyt3+ke0gTH8zLsunGaEmznd9Q6LPaMO UE3VZfvqG15qfTpzwaQqMmWJnmmZ4o+/IWUsqVD+c7BU7QNHNwf+w/dg9UKGSLsCjaVV4bzf 9+qM8EtdYCmVCj8CADuzWJtCZ+2Zo7lL7DU016yA98I9tDKhnZ7cpbtc1NWUxZo+7NcuOQlP 1BFO9xjJke2/wUma/7meFfei4rxBTbrcXwMFrFe1bnoPuMMiXN9MqnijiNnF89fraH/8FZRF stS31eOmLD6PdkYCW+qRTRcY1md/3Nn0TUxcL9jmKFnh0qZ+VgEb2LRLbIvMjcV+YpmQwvVe CQTaCJwUVaYicCrDheE+bcU8mMdmt9V1bYAq33iptrEZyrqXqW3qJLTui5mbN48oqQ3P5axa s2B/IjTmDDSVvyy+kWMTTK6GvxGm9NRPDMQQf9GnnsgMNAHvowJ4FQ4V8M3LbhCQKc2obXiZ T1hBC8UhSgXMuHIlCQFmfu50qDGmw24dZ0jNFkJvMwHjIdCFSFxZSwaqemoUICX326IR24XI RsCuARB4AVT8+04Nuvh4YfOUNpN02sM+6MyAnaNTME4sQekGQT0yRDiRf6skvKkx1dXxfPoi ZwAXQJnTFNa36BQn1cpL7d+L+8RuJTLu3mGbxCf3iqlxe24KV1W0cCReUf/Cd+Ptm35XysQ8 HsIXoxG2Xj3GpEbkg4/Y6Eu7gYpQsjuagPl6jooyp48VaG/Ttyuzk05oGwuQi6rF59MB7gjv g6IHjJiZJ+vpdPuPJAYEQoysNWN7lxelktqKSuwz5FRftpM7jA7Vz9KuTyBvdG2RaWrNud5C pYNJpF0vHKvQcus2bCUqnwy/7HjkzrXp296v1C9yzG+XaS/SrABl4X7MgosLmWa7EIoCrl0m lo= IronPort-Data: A9a23:WykaOayGHQ+e0kYMDWt6t+e+wCrEfRIJ4+MujC+fZmUNrF6WrkUHz DZLWmGAaf2DYDCgc49/PY6/804AsJbcndBrSlBtpFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrVRbrJA24DjWVvS4 ouq+KUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPh97 fsVr7aTdDw0BYLpt84+fQhoFH9haPguFL/veRBTsOSWxkzCNnbgmrBgUB5wMoof9eJ6R2pJ8 JT0KhhXNkHF17/wmurrDLUz7iggBJGD0Ic3uXZlwDfVBPA6WpPKUqzi6tpR3TN2jcdLdRrbT 5BBNGI/MEucC/FJEklQIslkre2pv0ehYiMIiEmzmZYL+GeGmWSd15C0aIaPEjCQfu1el0Oc4 2bH5HjRGQAfLNXZyDyf83vqiPWntSj8QccZEKCy3uV7hUWagG0VEhwfE1WhycRVkWa7UtNbb kEYo28g8fd0+0usQd3wGRa/pRZooyLwRfJcNsNi8iuu95HJ2Cm8KUInYC9xb4I54ZpeqSMR6 neFmNbgBDpKubKTSG6A+rr8kd9UEXhKRYPlTX9UJTbp8+UPs6lo0U2SFocL/Lqdy4yqSWupk lhmuQBn3+1L5fPnwZlX6rwuvt5Bjp3ATwpw6wmOG2z5sUV2Y4mqY4Hu4l/ehRqhEGp7Zgjb1 JTns5LGhAzrMX1rvHLWKAnqNO/yj8tpyBWG3TZS82AJrlxBAUKLc4FK+y1ZL0x0KMsCcjKBS BaN5FILvMIDZiv3NfIfj2eN5yICnfeI+TPNBqC8UzaySsUZmPKvp3wwOxDJhwgBbmB1wf5mZ /93jvpA/V5DUfg9pNZHb+ga1rAvy0gDKZD7FPjGI+Cc+ePGPha9EO9bWHPXN7xRxP7a/W39r okHX+PXmk03eLCvOUH/rN9DRXhUdyRTLc6t8KR/KLXTSjeK7Ul7VJc9N5t6K9I790mU/8+Ul kyAtrhwkwel2iWedF3SNBiOqtrHBP5CkJ7yBgR0VX7A5pTpSd/2hEvGX5doL7Qh6sJ5yvt4E 6sMd8maU6ZATz3G/3IWapyk9N5ucxGihASvOSu5YWhnL8QwGVCRotK0LBHy8CQuDzassZRsr rCl0DTdS8VRSglnCvHQd//ynUi6umIQmb4pUkaReotTdUzg/ZJEMSv0ivNrccgAJQ+SlDSf3 geSRxwfoLCV8YMy9dDIg4GCrpuoQ7MuRBoEQzGD4O/vZyfA/2elzYtRa8qyfGjQBDHu5aGvR eRJ1PWjYvAKmVB9tYAjQbtmyKQJ4cS2++1XwwFiK3X8b1qxD4RmLHTbj9JEsbdAx+MAtAa7B hCP991dNenbMc/pCgRKdg8sb+DG2P1N3zeOsrI6J0L14CIx972CCB0AMx6JgS1bDb10LIJ1n rt76ZBOs1Sy2kgwL9KLriFI7GDSfHYOZKUQqc1ICoHcjAd2mEpJZobRC3Ko7cjXOclMKEQjP hSdmLHG2+ZH3kPHfndvR2LB2/FR2cYHtBxQlgRQIl2Inp/IiqZy0kEOtzswSQtRw1NM1OcqY jpnMEh8JKOv+TZ0hZgcAzr9RVkZXBDJqFbsz1YplXHCSxf6XGL6LFoiZbSH8ncf/j8OZTNc5 ryZlTjoCG64YMHr0yIuckd5sPi/H8dp/wjPlc3P8x5pxHXmje4JQ5NCZFbkbzPiCMI1wUDL/ KxkoLk2Zqr8Oiod5aY8DuF2EFjWpA+sfAR/rTNJpcvl3l0wvBm93DGPLwa6fcYlyzni7xqjE 8I3Ti5Qf03W6ctNxwz3wYYDJrZ1mLgi499qlnYH44IZm+P3kweFe648OsQzaKHHjjmufQsAx lvtSg+/ IronPort-HdrOrdr: A9a23:C2VKmqmzbR/fK1dYBKbGXOUasW7pDfIh3DAbv31ZSRFFG/Fw9v re+8jzsCWftN9/YgBCpTntAsm9qBDnlKKdg7NhX4tKNTOO0ACVxepZnO7fKlPbaknDHy1muZ uIsZISNDQ9NzdHZA/BjjWFLw== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.93,205,1654552800"; d="scan'208,217";a="20508474" X-MGA-submission: =?us-ascii?q?MDFp2fLtS6Jd2Dy/B/0jZjcboHUBtVTifKo6s2?= =?us-ascii?q?RjGxj37Q09dduQzitswobtqJ6EX/pNqDhIareJp7M/SwmFQlaIyuH/31?= =?us-ascii?q?aobosjFJPSFUOWHUeo9rdla1HN8eL1h5grm4SWIRjKZ+l0/Hf7UuYf9B?= =?us-ascii?q?fMh1peEr0vwAX0R/DG/fRtbw=3D=3D?= Received: from mail-ed1-f47.google.com ([209.85.208.47]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 31 Jul 2022 09:37:52 +0200 Received: by mail-ed1-f47.google.com with SMTP id p5so10206302edi.12; Sun, 31 Jul 2022 00:37:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=E9XLksZzkhoLHMn41aNtmzlQPX8nHwBWgpJIcBimklc=; b=TqM4b1RCkSdS0z4Dy1chKAR1BvMg1GJ0w9/Pl+RkAwO0wIz6/bdTs0rTzmENd8vQSZ mfb2fZi0NJx5sdHL2UAE50bjO4c0skjDcOYGjSPx0yYyS0sPOKpYbg/hgix7vxY6KbHI Zwq4MlZtwKjf5Q/qrUYViX9+Tre22eFhIqP4X+5zUXXWS9JquKOvbSuxPgWRp5JX6sbU TpVNdZi1PThlSDi25MOOZQ6KTpyznzn1R07YpgOOK2NJkl81YnjEFFXZhYkAcmJ3mbta TgjUf2dV/lHcM4nmNtAntLl3HB/HX+ouPdB5pXZ1wwsWtvPJfuHTOIeF+bySCzifjOQ9 GBTg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=E9XLksZzkhoLHMn41aNtmzlQPX8nHwBWgpJIcBimklc=; b=p5fGaqwKYa7LQBkPet4707raIcUYIZtRBKqZvjS2GLE9lmJvRNb4CV9t1Zxmna+4ne V5Y3lZ+4BtGHcSB9PJMrQZ7zQeO6tIpOs+Iu4IrZ7lUn4VhJTmuNCXWAGXHuGE1/x4rj RsNZr2MWg4RlblX4J4oTrWtmt+OQ2CsdYTx8+Ijl2xQ/igCK99V7OAVv7wlrUEFK9SOf WRbbRgLimBk8mJaYSkdHZSGX8WdG5Jll6eb2MkUnDKm427C/1294n9FdTDx+zWKPlt5T wJvOWKiD+PrkngK9AJ+s8aQ+EbyqqMWI/uhauRJVXYazjvjm+oQwpTi2Oe1sDc/ZyUl1 xsxg== X-Gm-Message-State: AJIora9oeqVd+naEhGqaKqGla8v9fqAfhu0vv0AuCiy1OCoSecG3TYrB 3S6/cyoocyLMwuHJSSDnBVvCLlxAWMWFPv3S7Ns= X-Google-Smtp-Source: AGRyM1svvx1V+yTtzKeHcNyZsNiI4G0O6ldWlLCsacciT/0lTpq4GKhLVJJgDqRCX2JZ1mYuQUOqKn4BsNnJrrWLhKQ= X-Received: by 2002:aa7:d49a:0:b0:43c:fed4:c656 with SMTP id b26-20020aa7d49a000000b0043cfed4c656mr10351345edr.312.1659253071297; Sun, 31 Jul 2022 00:37:51 -0700 (PDT) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Sun, 31 Jul 2022 08:37:24 +0100 Message-ID: To: types-list@lists.seas.upenn.edu, haskell-cafe@haskell.org, types@lists.chalmers.se, ciao-users@cliplab.org, caml users , erlang-questions@erlang.org, ARW-COMMITTEE@liverpool.ac.uk, cl-isabelle-users@lists.cam.ac.uk, tag@utlists.utexas.edu, boost-interest@lists.boost.org, Association for Symbolic Logic , event@in.tu-clausthal.de, prog-lang@diku.dk, afsec@afsec.asr.cnrs.fr, security@fosad.org, gdr-im@gdr-im.fr, gt-verif-permanents@gdr-im.fr, tag@cs.utexas.edu, planetkr@kr.org, fmics@inrialpes.fr, nwpt-info@lists.ioc.ee, theorynt@listserv.nodak.edu, comm-theory@ieee.org, wi@aifb.uni-karlsruhe.de, iclp-workshops@sfu.ca, DSG , stp , British Logic Colloquium , cade@itu.dk, haskell@haskell.org, agda@lists.chalmers.se, types-announce@lists.seas.upenn.edu, coq-club@inria.fr, laiv-announce@macs.hw.ac.uk, lfcs-interest@inf.ed.ac.uk, spls@lists.cent.gla.ac.uk Content-Type: multipart/alternative; boundary="000000000000e8414e05e514f572" Subject: [Caml-list] PhD and Postdoctoral positions in Formal Methods for AI Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 18829 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: --000000000000e8414e05e514f572 Content-Type: text/plain; charset="UTF-8" The Lab for AI and Verification (laiv.uk) at Heriot-Watt University, Edinburgh is looking to fill one PhD post and one postdoctoral post. We are looking for candidates with solid knowledge of Theorem Proving and/or Functional/Logic programming, and enthusiasm to apply this knowledge in the domain of Artificial Intelligence. The PhD post is for 4 years, starting in October 2022. It covers full stipend and PhD fees and is sponsored by the UKRI (ukri.org) and Schlumberger Cambridge (slb.com). The company will provide additional training and support during the PhD studies. This post needs to be filled in as soon as possible. We are also looking to employ a postdoctoral researcher for a 6-12 months project to formalise Criminal law in the Functional Language Catala . Formalising criminal law for autonomous cars is of particular interest. This project will be in collaboration with Jonathan Protzenko, Microsoft Research and the School of Law, Edinburgh University. This project has a flexible starting date. Please direct all queries to Ekaterina Komendantskaya (ek19@hw.ac.uk) Best wishes, Ekaterina --000000000000e8414e05e514f572 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The Lab for AI and Verification (laiv.uk) at Heriot-Watt University, Edinburgh= is looking to fill one PhD post and one postdoctoral post. We are looking = for candidates with solid knowledge of Theorem Proving and/or Functional/Lo= gic programming, and enthusiasm to apply this knowledge in the domain of Ar= tificial Intelligence.

The PhD post is for 4 ye= ars, starting in October 2022. It covers full stipend and PhD fees and is s= ponsored by the UKRI (ukri.org) and=C2= =A0Schlumberger=C2=A0Cambridge (slb.com). The company will provide additional train= ing and support during the PhD studies. This post needs to be filled in as= =C2=A0 soon as possible.

<= div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;= color:rgb(0,0,0)">We are also looking to employ a postdoctoral researcher = for a=C2=A0 6-12 months project to formalise Criminal law in the Functional= Language Catala. Formalising crim= inal law for autonomous cars is of particular=C2=A0interest. This project w= ill be in collaboration with Jonathan Protzenko, Microsoft=C2=A0Research an= d the School of Law, Edinburgh University. This project has a flexible star= ting date.=C2=A0

<= span style=3D"color:rgb(29,28,29);font-family:Slack-Lato,Slack-Fractions,ap= pleLogo,sans-serif;font-size:15px;font-variant-ligatures:common-ligatures">=
Please direct all queries to=C2=A0Ekaterina Komendantskaya (ek19@hw.ac.uk)=C2=A0=

Best wis= hes,
Ekaterina=C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0



--000000000000e8414e05e514f572--