From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23 via Mailbox Transport; Thu, 4 May 2023 17:38:07 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23; Thu, 4 May 2023 17:38:07 +0100 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.23 via Frontend Transport; Thu, 4 May 2023 17:38:07 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 344GbL0O003612 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 4 May 2023 17:37:21 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 344GbD41003598 for ; Thu, 4 May 2023 17:37:14 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 May 2023 18:37:12 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BBD79E0D45; Thu, 4 May 2023 18:37:12 +0200 (CEST) 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 9AA4EE0D40 for ; Thu, 4 May 2023 18:37:08 +0200 (CEST) Received: from mail-oa1-f48.google.com ([209.85.160.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 May 2023 18:37:07 +0200 Received: by mail-oa1-f48.google.com with SMTP id 586e51a60fabf-192a0aab7dfso615025fac.3 for ; Thu, 04 May 2023 09:37:07 -0700 (PDT) From: Letterio Galletta To: "caml-list@inria.fr" Subject: [Caml-list] Fully-funded Ph.D. Positions in Software Quality - IMT Lucca, Italy Thread-Topic: [Caml-list] Fully-funded Ph.D. Positions in Software Quality - IMT Lucca, Italy Thread-Index: AQHZfqbO+KNfpT+pxEeM8dXUwmBNYA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 4 May 2023 17:36:55 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Letterio Galletta Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 50a92fe0-def6-4c8a-778c-08db4cbdf079 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a05:6870:b304:b0:18b:1010:f06c with SMTP id a4-20020a056870b30400b0018b1010f06cmr1326653oao.26.1683218226146; Thu, 04 May 2023 09:37:06 -0700 (PDT) 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 x-ironport-av: E=Sophos;i="5.99,249,1677538800"; d="scan'208";a="106322164" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 SU1UIFNjaG9vbCBmb3IgQWR2YW5jZWQgU3R1ZGllcyBMdWNjYSA8aHR0cHM6Ly93d3cuaW10bHVj Y2EuaXQvZW4+IC0NCnJlY2VudGx5IHJhbmtlZCBvbmUgb2YgSXRhbHnigJlzIHRvcCB1bml2ZXJz aXRpZXMgZm9yIGNvbXB1dGVyIHNjaWVuY2UNCmluIHRoZSBsYXN0IG5hdGlvbmFsIHJlc2VhcmNo IGV2YWx1YXRpb24gZXhlcmNpc2UgLSBpbnZpdGVzDQphcHBsaWNhdGlvbnMgZm9yIDEyIGZ1bGx5 LWZ1bmRlZCBQaC5ELiBwb3NpdGlvbnMgaW4gU29mdHdhcmUgUXVhbGl0eQ0KPGh0dHBzOi8vc3lz LmltdGx1Y2NhLml0L3Byb2dyYW0tb3ZlcnZpZXcvc29mdHdhcmUtcXVhbGl0eS1zcT4sIGENCmRv Y3RvcmFsIHRyYWNrIHdpdGhpbiBJTVTigJlzIHByb2dyYW0gaW4gU3lzdGVtcyBTY2llbmNlDQo8 aHR0cHM6Ly9zeXMuaW10bHVjY2EuaXQvPi4NCg0KU3VjY2Vzc2Z1bCBhcHBsaWNhbnRzIHdpbGwg cmVjZWl2ZSB0aGUgZm9sbG93aW5nIGJlbmVmaXRzOg0KLSBhIHN0aXBlbmQgb2YgY2EuIOKCrCAx LDMwMC4wMCBwZXIgbW9udGg7DQotIGZyZWUgZnVsbC1ib2FyZCwgc2VydmljZWQgYWNjb21tb2Rh dGlvbiBhdCB0aGUgc3R1bm5pbmcgSU1UIGNhbXB1cw0KbG9jYXRlZCBpbiB0aGUgaGVhcnQgb2Yg THVjY2EsIFR1c2NhbnkgKGVzdGltYXRlZCB2YWx1ZSDigqwgODAwLjAwIHBlcg0KbW9udGgpOw0K LSA1MCUgc2Nob2xhcnNoaXAgaW5jcmVhc2UgZm9yIHJlc2VhcmNoIHBlcmlvZHMgYWJyb2FkOw0K LSBnZW5lcm91cyByZXNlYXJjaCBhbGxvd2FuY2UuDQoNClRoZSBwb3NpdGlvbnMgYXJlIGZ1bGx5 IGZ1bmRlZCBmb3IgdGhyZWUgeWVhcnMsIHdpdGggdGhlIHBvc3NpYmlsaXR5DQpvZiBhIHNjaG9s YXJzaGlwIGV4dGVuc2lvbiBvZiB1cCB0byBvbmUgeWVhci4NCg0KV29ya2luZyBjbG9zZWx5IHdp dGggSU1UJ3MgU3lTTUEgZ3JvdXAsIHN1Y2Nlc3NmdWwgY2FuZGlkYXRlcyB3aWxsIGJlDQphYmxl IHRvIHB1cnN1ZSByZXNlYXJjaCB0b3dhcmRzIG1ldGhvZHMgZm9yIGFuYWx5emluZyBib3RoIGZ1 bmN0aW9uYWwNCnByb3BlcnRpZXMsIGkuZS4sIHByb2dyYW0gY29ycmVjdG5lc3MsIGFuZCBleHRy YS1mdW5jdGlvbmFsIG9uZXMgc3VjaA0KYXMgdXNhYmlsaXR5LCBhY2Nlc3NpYmlsaXR5LCByZWxp YWJpbGl0eSwgcGVyZm9ybWFuY2UsIGFuZCBzZWN1cml0eS4NCg0KV2Ugd2VsY29tZSBvdXRzdGFu ZGluZyBhcHBsaWNhbnRzIGludGVyZXN0ZWQgaW4gc29mdHdhcmUgcXVhbGl0eSBmcm9tDQpzZXZl cmFsIGFyZWFzIG9mIGNvbXB1dGVyIHNjaWVuY2UsIGluY2x1ZGluZyBmb3JtYWwgbWV0aG9kcywg bWFjaGluZQ0KbGVhcm5pbmcsIG1vZGVsaW5nIGFuZCBzaW11bGF0aW9uLCBwcm9ncmFtIHZlcmlm aWNhdGlvbiwNCmN5YmVyc2VjdXJpdHksIGFuZCBzb2Z0d2FyZSBlbmdpbmVlcmluZy4NCg0KSU1U IEx1Y2NhIGZvc3RlcnMgYW4gaW50ZXJuYXRpb25hbCBlbnZpcm9ubWVudC4gVGhlIHdvcmtpbmcg bGFuZ3VhZ2UgaXMgRW5nbGlzaC4NCg0KVGhlIGFwcGxpY2F0aW9uIGRlYWRsaW5lIGlzICoqSnVu ZSAxOSwgMjAyMyoqLg0KQXBwbGljYXRpb25zIG11c3QgYmUgc3VibWl0dGVkIHRocm91Z2ggdGhl IG9ubGluZSBmb3JtIGF2YWlsYWJsZSBhdA0KPGh0dHBzOi8vc3lzLmltdGx1Y2NhLml0L2hvdy10 by1hcHBseT4uDQoNCkZ1cnRoZXIgaW5mb3JtYXRpb24gYWJvdXQgdGhlIFBoLkQuIHByb2dyYW0g aW4gU29mdHdhcmUgUXVhbGl0eSBpcw0KYXZhaWxhYmxlIDxodHRwczovL3N5cy5pbXRsdWNjYS5p dC9wcm9ncmFtLW92ZXJ2aWV3L3NvZnR3YXJlLXF1YWxpdHktc3E+Lg0KDQpJbnRlcmVzdGVkIGNh bmRpZGF0ZXMgYXJlIHdlbGNvbWUgdG8gZGlyZWN0IGluZm9ybWFsIGlucXVpcmllcyB0bw0Kc3lz bWFAaW10bHVjY2EuaXQuDQo=