From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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= Authentication-Results: plum; dmarc=fail (p=none dis=none) header.from=gmail.com 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=YtMOsC3s; 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=BedwoMj1; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 1B99DB80123 for ; Tue, 23 Apr 2024 08:11:25 +0100 (BST) 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=AgleKil6FXHZn7iErU7R/2e1FWcWIkiDYMW+QEAKjrw=; b=YtMOsC3s5ygNjBckHpur1V4mKuVFCxOwweY0ECo4IsZN8WxUW7w/tjeO QGl9KaXab51EYsYUYkuWZfMkP+tnuhR/7EpPe1W+imfb8GZ1XX6f+B8fd KDcHZOFlfAP6bCIL66OQS6vN8yT2U0uI6pEBsHEs7wUtp6uCrQb7ZPKTn w=; 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: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.07,222,1708383600"; d="scan'208,217";a="162854969" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Apr 2024 09:11:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 89F42E013D; Tue, 23 Apr 2024 09:11:24 +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 0ACAFE0035 for ; Tue, 23 Apr 2024 09:11:19 +0200 (CEST) IronPort-SDR: 66275f16_2sIxjTs2i6cmTicVOfQQS1g/s/2c/PYPeg8/YmeEF42GuPw W7CztYyiCcW6VhWjVxiJxXJNwaMyE8CSdplSSUA== X-IPAS-Result: =?us-ascii?q?A0GWBAAJXidmgDCgVdFagliCRHxWNAQLSIRWgSOOI4Iik?= =?us-ascii?q?0U5gzkDg22CZRSBLD4PAQMBDT0HBAEBAwQ3AYFTgnSIJAIeBwEEMAkOAQIEA?= =?us-ascii?q?QEBAQMCAwEBAQEBAQgBAQUBAQECAQECBAYBAhABASQXBw4OKYVwDYJnAYEeY?= =?us-ascii?q?QIFAzsBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAg0fU?= =?us-ascii?q?yIRHQEbHgMSAwUBBzcCIwERAQUBIhMigl+CLwEDMQMRBpsMjRGCIYEFQos7g?= =?us-ascii?q?RUFAhaBAYINBoFHAwsCBQ8v2EAKGSgNbAOBXgIBBhSBNIRmJYMGHQGBVQICh?= =?us-ascii?q?2mBIQ+BVUSBFTWCRDGCfSIBAoElZ4MugkYiBIESgSEQjFOJB4I7PoEvRxSFU?= =?us-ascii?q?wgHFwMHBwcEBQQcBgUFAkIJBwEPEgMEAwQEAQILCQoJAwMCDgIIAwIIBg4TA?= =?us-ascii?q?T8SBBMLDQQCAgMCAQEBAQICBAMBDgcCAwUFAgEFCQMDAgIEAwECAgICAgMBB?= =?us-ascii?q?AUUAwQCBQoDCAICBwIOAwEFAgEBAgICAgEBAgIDCAISBAIBAgMCAggCAgcBA?= =?us-ascii?q?QIKBwMBAQIGBAMGAgIFBA0DCAUBAQICBAEKAgkPBQICAwMCAwEBAQIKAwkBB?= =?us-ascii?q?QICAQMCAgQEBwEGAwUDAwQEAgMDAgwBBQEFAQUBBQQCBgETAhQCAgsFBgMGD?= =?us-ascii?q?gMLBAQBAgIFBAYMCQQCAgIGAQIRAwECAQcBAwMCCgEEAQILCAEFCAIMBAIBB?= =?us-ascii?q?AIDBhACCAUGBQICAQECAgIBCAYPAwYHAgMCBgMFBQMDAgICBwQEAgECAgIBE?= =?us-ascii?q?wYEBAIDAgMEAQUEBAMCFwgNAgUHAQkKCAwBBAYCBAIEBwMGBQUEAgMEBBEHC?= =?us-ascii?q?wMCAwQCAgQDEQIDBAIKAgQEBwIDAQQNBgQECgILAwcBAQIFAwMJBwYCAwMFB?= =?us-ascii?q?AYCBQMDAwIDAgoCAgIBCQEBAQISAgMOAgQCAQIFBQwEEwICAwIGCAICAgcDA?= =?us-ascii?q?wQCAwYLAxADAgICAgUDBAICFAMJAwECBAYCBAEGAwMCBAYFCgQCAgUCAQECC?= =?us-ascii?q?gIBDwoEAwQDBQMHCQIFBQMCBAICBQkBAQICAgMDAwMCAwICAwMCBwMDAwcDB?= =?us-ascii?q?QMEAgMGBQcDBQUDAgICFAEGAgUKBgMHBgsFBQcCBgIECAMFAgIDAwMDAgYKC?= =?us-ascii?q?AMDAwIFAgIDAwECCAMPBgICAwUGAwMDAwYIAwMCBgMDAgMCAwIDAwEDAgMCA?= =?us-ascii?q?gMCAgIIAgIDAgUEBQICAwQCCBoCAgICAwMIAwMKBAICBAEEAgQCBAIGAwQCA?= =?us-ascii?q?gEHAgUDAgMCBwICBAICAgIDAgYIAgIDAwMCAgIBCQIFAQEGAgQDAgMFAwkDB?= =?us-ascii?q?AUCAwgBAQICBwcDAwQDAQIBBQQCAgYFAgMCAgQEBAUDAgMCBgYCAQMCCgYDB?= =?us-ascii?q?QMDAwMCAwMCAwMCBQIIAgIEBAUEAgUEAgQDAwMBCgIGAwICBQEBAgIFAwIEB?= =?us-ascii?q?AcCAgIHDwMCBwUCBQcCCAEGBQICAwIIAQICBgEGAgQBAgINAQECAgIDBAMDB?= =?us-ascii?q?wIEAwIIAgMDEQEDAwkGBQQFBAMJBA8CBAEIAwEBBAgCBAMCDAICIQIFCwQEA?= =?us-ascii?q?RIKCAMBAQMBAQICAgICDgMCAwICAwoCAwIKAwYEAgIGAQEBBAYBBAIBAgcED?= =?us-ascii?q?gkFCAgBAwIBCgECEAUPAgkDAwYEAhAGCgUDAgMFAQIFFQMIAwIJAgQMAw0CA?= =?us-ascii?q?wMCBgMGAgYBBgMHCwEBBwgFAwMDAhcBAgIQCAQGDwcCAwMEBAwDEgIGDgMDA?= =?us-ascii?q?gMCAQICAgMFBAUCBwMDCgUCCAMCCAUDBwkECgIIBAECBgMCAgICBQ0BAQEBA?= =?us-ascii?q?gMCBQMHCQgIBAUEAwEBBgYMIwICAwQPAwkDBgsBBQUBAwICAg4DBQMCAwYGA?= =?us-ascii?q?QkEAQUECQIFBwYFAgEUFgcFAgoCBwICAgMBAggLCAIDAgoEAQ4EGgIFAQICA?= =?us-ascii?q?wIDBwIBAgICFAMDBQQGAwICAgIDAgEKCwMCAgMDAwMFBQMDAhoCAwMCAQoFA?= =?us-ascii?q?gwFBAMEAgIBAh0DAQUCAwoBBQkDBgICAwIFAgMGBQIEAQoOAQEBAwYLBwQXA?= =?us-ascii?q?gICDAgDCQUDBQ0CDQIDBQICCwU9CwUBAQMCAwEBBAgBFzACCQIHDAEBAQIDA?= =?us-ascii?q?wYCAgIWBQcDBQMIAQMBAkMdAgkDIw8DCwkIEz0BCwcyBDQBFBQHJwEGIV+dY?= =?us-ascii?q?gGDPiNrAoFeQgzFUTQHhBYFgVYGDJV4iEqBFzOqNJhiqHQRIxKBLzqBXE0jU?= =?us-ascii?q?DGCNk8DGQ+SGppXRDICOQIHAQoBAQMJhkiCWoFIAQE?= IronPort-PHdr: A9a23:FI7tbxVk01LmO8lalHj8nOhVY9vV8KyNXDF92vMcY1JmTK2v8tzYM VDF4r011RmVB9SdsqMcwLOP7OjJYi8p39WoiDM4TNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sK Bi6txjdu80KjYdtN6o91xnEqWZUdupLwm9lOV2ckxHg68mq+5Jt7zpesO87+c5aVqX6caU4T bhGAzkjLms4+s7luwTdQAWW/ncTXXkYnRROAwje8RH1RYzxvTfgtup8wyaVI8v7Rq0pVDu47 qdrTBjoiDobNzM87WrahNB8gL5drRm8vBF03ZLab5+JO/p/ZqPdfM0VRWxdXsZKSidNBpqwY 5YTA+YdOOpVqZT2qVkTohukHQSjC+PhxDFLiHHrw6M1z/8sHhva0AE6Bd8CrGjYodfzOawPU e611q7IzTDbYv1SxDf97InIfQ4nofqRQLxwcMXRyU8oFwPBkFqQspHuMjSX1uQQt2ib7vRvV eS1h248qgFxrT6vxsAoiobXnYIY0V/E9SBjz4Y0Id20UlJ0YdmhEJZJsSyRKoR5TN84TW5yp CY61qMJuYS9fCUSzJkr2xHRZvyHfYaI/h/vSfudLzl2in95er+yhAi+/FWgxOHhS8S531VHo jRYntXQtH0A2Rzd5MiDR/V940utxzCC3B3d5OFDJEA7j6vbK5g5z74+jJocq0HDETXvlErql qOZakIk+u2u5u/6YbvmvoeRO5Fohgz6KKgjmcyyDf4lPgUPQ2SX4+ux2b7l8EbkXrhKiuA2k rLFsJ/EP8QVu6+5Ag5L3Ys79xqyCSqt3s4CknkdNl1FfQqKj4j3NFHKJ/D1FfK/jE6tkDdv3 vzGOafuDojUInjNn7rsfqxx60FbyAo0wtBf44xbBqsdL/L0X0/9rN3YDhknPAyo2+vrFslx2 4cEVW+MAqKVKr7evF6U6u41LOSBZ5cZuDPnJPgk4/7ug2U5mVgYfaSx35sXdXS4HvV4LEWfe 3bsmdYBEWgMvgo5SOzllkaCXCVcZ3a3Ra085zU7BJi6AofEQ4ChmLqB0zyjEZ1Mem9GEkyME Wvvd4icRvsAcDiSLdN5kjwYSbihTJcs2g20uw//z7prN+7U+iwDtZL/z9V1/O3SlRQq9TNuF cid0meNT3t1nmwSXTM20rp/8gRBzQKo2K18y9hZDsAbs/hAVwN/MZ/H08R7DcrzU0TPZIHaZ kyhR4CEHDUwQ9R5+N4BZUF5Fs7q2hLe2yunBfkOlrONA5g56YrT2nHwI4B2zHOQh/pptEUvX sYabT7uvaV47QWGQteRyy1x9o6vfKUYh2vW8XubiHGJpAdeWRJxVqPMWTYeYFHXpJL3/BCKV KegXJIgNAYJ0sueMu1ScNS8j0hCRfrlfs/fbGS2n2qrLRmNz7KIKoHtfjZVxz3TXXANiBtb5 nOaLU47DyalrXjZCWlsCFbubkWq6uhxrnS/Q1QcwASDbkkn3L2wqVYOnfLJbfQV0/ofvTs57 TV5GFHox9XNF9+JvBZsZo1ZaNI5pVBOjCfX61w7MZunIKRvwFUZdmybpmvI0BN6QsVFmMku9 zYxyRZqbLmfyBVHfi+Z2pb5PvvWLHPz9Vahcfye3FaWy9uQ9qoVjZZw41z+oAGkEFYj+HR7w pFU1XWb/JDDEAsVV9r4TE828xFwo7ySbDM64svY0nhlMK/8tTGnuZphBvYhyxumOcxeP6WDE ALpO8IfDsmqbuctnhnhbx4JOvxT6L9hJ9mvJJ7kkOagOOdtmi7jjHwSutgslBLRsXMiEqiUj 8VgobnQxAaMWjbigU30t8n2ndsBfjQOBi+kzjCiAodNZ6p0dIJNCGG0IsTxyM8t4vylE3Ne6 lOnAEsLncGzfh/HJV7g2Qxd0wIMoHOhni+11BR7ljgoquyU2ymEkIGAPFIXf3VGQmVvlwKmI 5Wwjt0cGlOpYA4ukBa+zUn/zqlf4q94KiOAJCUANzizJGZkXKyqs7OEaMMa85IkvxJcV+Gka EybQLrwy/cD+xvqBHAWhDUydjXx/478gwQ/k2WFanB6sHvef8h0gxbZ/t3VA/BLjHIKQyxxi D+fAVbZXZHh/8iQlprF9Pu/WGSmUpBIWSbuxIKE8iC84CVmDAa+kPa6htD8WVJigGmrip8zC 32O8Ea0a5KOtezyKe99e0h0GFLwo9F3HI1ziMp4hZ0d32QbmoTA+HMGlWnpNtAIkan6bXcLW XsK24uPuFmjiBAldyzRgd6pBRD/ioN7atK3Y30bwHc45sFOU+KP6aBc2DByuhy+pB7QZv50m nEcz+Ev4TgUmbJs2kJlwyODD7QVBUQdMzbrkkHC7c26rahRIn2ufr630Edltd+kBbCG5ApbX TyqH/VqVT819ch5PF/WhTfx94Xldd+WdtMcsBqQngzogO1cKZZ3nf0Pz3kCWyq1rTguzOg1i gZr1Jexsd2cKmljy6m+BwZRKjz/Y85AsiGol6tVmdyampy+Bpg0UCteR4PmFLj7dVBa/eSiL QuFFycw72uWCaaKVxHK819o9jrOC8z5bCzRfShBi48+G1/FYxYDyAEMAGdkwthjTVvsnZK5N h8+v2F0hBawqwMQmLw2cUCnCCGH4l/vMG98SYDDfkQIqFsetgGFaYrGqbgrVyBAos/+9krUd irCNl4OVSZQCinmTxjiJuX8uoWGqrLFQLL4d7yXP/2PsbAMDq/Yg8vwjc02uW7LbJzHP2E+X aRkgQwaDCw/Q4KB3GxRLk5f3yPVM5zB/Eb6qnAx95rvtqysAV2n5JPTWeELb5Myq1bv0P3Fb 6nJ1W54MWoKjMpSgyWTmf5EhhhKzHg/ElvlWaIJsSqHJE7JsolQCRNTKyZ6Nc8Tqrk5whEII snDzNX8yr9/iPcxTVZDT13o3M+zN4QMJCmmOVXLCVzuVvzOLCDXw8zxfaK3SKFBxORSuRqqv D+HEkjldj2dnjjtXhqrPKlCliaedBBZvYi8dF5qBw2BBJr+bQanNdZskTAs6bg9h3ePMmdFd DYgIwVCqbqf6S4eifJ6WiRA4ndjMeiYinOZ4u3fefN0+bNgBiV5kf4f4WxvkeMEqnEZAqUrw G2O/o0LwRnuiOSExzt5XQAbrz9KgNnOpkB+IeDC8YEGX3/Y/RUL5GHWChIQptIjBMe83sIYg tXJiq/3Ly9PttzO+s5JTcrJLMOKNjw6MBXvHzrZFyMKSDeqMSfUgEkXw5TwvjWF64M3rJThg s9EUrhASFk8De8XEGxgFd0GZZB+B3Yqze7dg8kP6n6z6hLWQY8J2/KPHuLXCvLpJjGDiLBCb BZd2rL0I7MYMYjj0lBjYF139GwlM0XVVNFJ5CZma11tyK2s2H13T2l23Eu8Lw3xsDkcEvm7m hNwgQx7M7xFHNLE7FI+J16Mryw1whFZpA== IronPort-Data: A9a23:6y8Czq7GianRFAhKSE24NAxRtKDDchMFZxGqfqrLsTDasY5as4F+v mMbX26Pb/aCZmvzKogjbYS38xwCvceEz9YxGQM4/CBkZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsbQr414rZ8Ekz5Kio4mtD1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj6893PEYyJaYpw8d2KFF32 v0BKRdOQjnW0opawJrjIgVtrsEqLc2uO4pG/388nXfWCvEpRZ2FSKLPjTNa9G1o14YeQLCHO ZJfNWoHgBfoO3WjPn8VFZY/keHunXjwdTpcpUm9qq8+4myVxwt0uFToGIqIJozVHZQO9qqej m7HoVTiIRIdDoag4jie41+strXzpAquDer+E5Xjq6cy3wzNroAJMzUdXF6/5P24kVKWQMNaM 0VS+yw0rKF0+lbDczXmdxixoXrBuRdFHtQMQ6s17waCzqeS6AGcboQZctJfQOY/hMgyXRcb7 36ItuPQKj12sZrWZVvIo994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHokL/Emd3oKdJN3g/ w1muhTSkFn6sCLm/6Cy/FSChDv145aVHkg64QLYWm/j5QR8DGJEW2BKwQmDhRqjBN/GJrVkg JTis5XOhAzpJczc/BFhuM1XQNmUCw+taVUwe2JHEZg77CiK8HW+Z41W6zwWDB42a51UIGe2M ROD4FI5CHpv0J2CPfAfj2WZW5RC8EQcPY27PhwpRoMSPMMgL1HflM2QTRLIhj62+KTTrU3PE czGKJ7zXChy5VVPwz2xSOMQmb4tzWZW+I8gbcGT8vhT6pLHPCT9Ye5dbjOmN7llhIva+lm92 4gEbaOilU4PONASlwGNoeb/23hRcilkbX03wuQLHtO+zv1OQT1/WqeOnuJ4JuSIXc19z4/1w 510YWcAoHKXuJENAVzihqlLMeu1B8RMvjggMDYyPF2l/XEmbMz9pO0cbpY7N/1vvuBq0fc+H bFPdtSiE8Z/bG3N2w0cSp3h861kVhCg3jyVMwSfPTMQQp9HRi7ywOHCQDfBzic1IxSSidofu JyljwPSfooCTV9tDeHQc/Oe8Gmytnk8xsN3BkvBHcZPch/B4KxVGnTWpaIxKZtdLx/s+yarj VeKIBYHpNvip50+38nJiJul8aaoMbpaNWhLE1bL6Y2ZMXHhwVOi5otbQcC0fTz5f0HlypWIP Ol64an1D6waoQxsrYF5LYdO8Ys/wNne/5lh0QVuGSTwXWSBU79PDCGP4phSi/dr2LRchAqRX 3CP8Pl8PZGiGpvsMHwVFTofQtWz79MmsRiM0q1tO2T/3jF9w5SfW0YLPxWstj1UHIEoDKwbm 9UeqOwkwC3hrCE1M+S2rDFerEWNCX0ib58JlL8nBK3Ttw567W0aPLL9DHft7YCteud8FBAgA gWpiZrog5VewUv/cEQPK0Xd4NoFu7MwvEFl8VxTAXWIhdvPudEv1jJz7zkcb1pY3zdH4c1JK 0lpMExHf/yO9gh3mfkZDnyNGh5ANjKd6Efe21sEr0yHbkiKB0jmDnwxBvaJx28dq1ljRzl8+ KqJ7lrqShP4VZjV8hZqfHV6utvPaMdU9DzSvOyGROO7R4IbZxjhiY+QPVs4kQPtW54NtReWt NtU8/ZVQoylEDwbvIkQKZSQjJYUQzC6fF1ye+lrpv41LDuNaQOJ+Ga8Lm6qcZlwPN3My0izD vJuKu9pVxiT0CWvrCgRNZUTIo1bzeIY294fRozFfWI2kaOTjj5MgqLi8iLTgGwKQdI3te0fL ojXVSyJE03OpH9ytlLOkvJ5OTuDUYFZXDH/4eG7y/VWNpQhtOo3T1o+/IHptFqoMSxm3Smug iX9W4HswddP879cx7nXLv0bBiGfC8/Ca+CTwQXi7/VMdYzuNOnNhSM0q37mHQJcApUJUf8ql 77X6N/T92HGtYYQTGr2tcSgFa5IxMPqR8tREJv9A0d7lBu4ev3HwkU86UHhDrdWgvZx29KBe zKoTOeRKfsERMZ7xlBOTipVTiYmFKX8a5n/qROHr/ijDgYX1SrFJoiF8UDFQH56dCgaHY/XE S7x5uiT4+5HoLR2BBMrA+9sB7l6KgTBXYokb9jAiimKPFK3g1+tuqrQqjR40GvlUkK7Kcfd5 Y7JYjPcdx7o4aHB84x/grxI5xYSCC5wvPk0ckcj4OVJsjGdDlMdDOEjIJ4DW4B1kCvz6cnCX wvzTlAeUAfzYTcVVi/HwoXTbl/KTKhGcNL0PScg8E6oej+7TtHISqdo8iB7pWx6YH3/xeWgM ssT4WD0IgP3+JxyWOIP/bautI+LHB8BKq4goigRUvAeAiryxZ0P3X1lWQ1EDGnJT5GLm0LMK mw4A2tDRSlXjKI3/dlIIxZo9NMx5VsDDAnEqQ+Axd/ev8OQy+goJDjXJbToyrNaBCgVDOdme J40LldhJ0iZ33USve0ivNdBbWqYzx6UNpDSEZIPjjH+U019BqrL8i/CcecyoBkexTNi IronPort-HdrOrdr: A9a23:dYMxpawcHxkKDVkMKBvIKrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo= X-Talos-CUID: 9a23:pnSIBW26/J3soEiayvtY8bxfINkVdXnF50bpAk6ROV9GSaSUbhy80fYx X-Talos-MUID: 9a23:T2r3fwu8kFgPTp2Bi82niDA8BNxL4KOUUn8mk44Xlsm0bxBJEmLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.07,222,1708383600"; d="scan'208,217";a="85487093" X-MGA-submission: =?us-ascii?q?MDE4+eOLtVqxEI1nW3uD08NzCrEiNbdYgnt1kV?= =?us-ascii?q?++7X99Lq7jZGcxlA5IPdvpYEMGf2F/ErRVDZgA10541oZ9zPurJSgBi1?= =?us-ascii?q?CMNmvCdm7GX1IgxDMss2DrB8TTgvhyK9eu3u9cEIuhDLo1s9lyNDWzSR?= =?us-ascii?q?WrwQbpnZ5jUxf+PwVp5rUjwQ=3D=3D?= Received: from mail-oa1-f48.google.com ([209.85.160.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 23 Apr 2024 09:11:18 +0200 Received: by mail-oa1-f48.google.com with SMTP id 586e51a60fabf-222a9eae9a7so2708717fac.3 for ; Tue, 23 Apr 2024 00:11:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1713856276; x=1714461076; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=AgleKil6FXHZn7iErU7R/2e1FWcWIkiDYMW+QEAKjrw=; b=BedwoMj1HYEk1Rk0j6fkfUmi7HOTf/7GOGSaSdd5JSIlT28xC9MSRpg7BEdcpFRJO2 JM9sUkqRxp5my5/5UuQG8m4knrs5IiQui4SmrNeXC+8OI3lGX/Gdtq0Bj68u4gqBX9qW J1aQ3cvNgq1E+FMnqPI4bnof5c6A2xA+t1DFrya+qfHLxU44CK/KuI6v4bljIvD5fjxz PLTZRFcbOlQ5V4j2hV9y669+dkQfo3U/ST8sfVfWEfXNqAxto03TREQDNrN3NZwkZzOl aYThPM4UKdNJW19UmqtN1nrkfWmn2Kz/lyDROdYq6OIwILxUQUQS/wUfGssFFm9YugYl GI5w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713856276; x=1714461076; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=AgleKil6FXHZn7iErU7R/2e1FWcWIkiDYMW+QEAKjrw=; b=TEgn4sawd/pBlYmTK8mNse3Swb0p/2yc7rFasK1PDlXoWUXNyXx+azOPObexVfLID8 lQL8gc18rlojxuBeCkVIQbDaryAPvu1w91mradxqQYVx4FLhtWjAR+HUlABRhI7f8vl6 Pxd2o2kg3RcBdjLMLOEzk9uSGHmIV4eD9TkLJQjBZDSggcEi47fwV30X/PBiTGjj6aO9 ns69txlIH7iuPxxUimgftpUkcLCRC46SPufXBd6HoCbXJUTo7XwjHHXoMzwh23yZu7o4 hBSs1qZ7hdx45/a1U1PKyA3G306RkAMvumE11Hz0ADCmKgmcRxrtSHoOoGN06mPM1/lh uIJw== X-Gm-Message-State: AOJu0Yz0sKDmseId6lVau9Iq69FcodUbGKjx74gc2tPmL3JjETggcTiJ OVJAryS4wkIDvSBMqv4KXcukeMECpcRZV48ViMMvba34DIfnRh+GOJGG3J3GbA9goUKjOxMe6y2 YvEanmkzCsE02QWNMD4yQQXa3c5rjIApU X-Google-Smtp-Source: AGHT+IEN/E/NUR/wpOCrtIPjctMjOcqFb9IuewxTz05mig0BKk+pI7iIF0SxX4PU8GDVuDf+htZPN5cNqBdiM+7ld2w= X-Received: by 2002:a05:6870:4708:b0:239:700d:61cd with SMTP id b8-20020a056870470800b00239700d61cdmr15351958oaq.8.1713856276104; Tue, 23 Apr 2024 00:11:16 -0700 (PDT) MIME-Version: 1.0 From: Julien Signoles Date: Tue, 23 Apr 2024 09:11:05 +0200 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary="000000000000888df70616be421b" Subject: [Caml-list] New postdoc position on Frama-C at CEA List, Saclay, France Reply-To: Julien Signoles X-Loop: caml-list@inria.fr X-Sequence: 19116 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: --000000000000888df70616be421b Content-Type: text/plain; charset="UTF-8" Dear all, The Software Safety and Security Lab at CEA List opens a new postdoc position on E-ACSL, the runtime assertion checker of Frama-C: https://www.frama-c.com/jobs/2024-04-22-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.html Do not hesitate 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 EngineeringJulien.Signoles@cea.fr | tel:(+33)1.69.08.00.18 --000000000000888df70616be421b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

The Software Safety and Security Lab at CEA List opens a new postdoc=20 position on E-ACSL, the runtime assertion checker of Frama-C:

=C2=A0=C2=A0=C2=A0=C2=A0 = https://www.frama-c.com/jobs/2024-04-22-designing-compilation-techniques-fo= r-improving-efficiency-of-e-acsl.html

Do not hesitate to contact me for any question!

Best regards,
Julien Signoles
--=20
Research Director                           |  Scientific advisor
CEA List, Software Safety and Security Lab  |  Department of Software and S=
ystem Engineering
Julien.Signoles@cea.fr       =
               |  tel:(+33)1.69.08.00.18
--000000000000888df70616be421b--