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.21 via Mailbox Transport; Fri, 10 Mar 2023 00:08:51 +0000 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.21; Fri, 10 Mar 2023 00:08:51 +0000 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.21 via Frontend Transport; Fri, 10 Mar 2023 00:08:51 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 32A0852q015229 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 10 Mar 2023 00:08:05 GMT 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 32A07wRJ015213 for ; Fri, 10 Mar 2023 00:07:58 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Mar 2023 01:07:56 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7B28CE00DA; Fri, 10 Mar 2023 01:07:57 +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 546E5E0010 for ; Fri, 10 Mar 2023 01:07:51 +0100 (CET) Received: from mail-yw1-f175.google.com ([209.85.128.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 Mar 2023 01:07:49 +0100 Received: by mail-yw1-f175.google.com with SMTP id 00721157ae682-5384ff97993so66981087b3.2 for ; Thu, 09 Mar 2023 16:07:50 -0800 (PST) From: Andrei Popescu To: "caml-list@inria.fr" , "categories@mta.ca" , "cl-isabelle-users@lists.cam.ac.uk" , "concurrency@listserver.tue.nl" Subject: [Caml-list] PhD or Postdoc Position at LMU Munich about Verified Modal Logics Thread-Topic: [Caml-list] PhD or Postdoc Position at LMU Munich about Verified Modal Logics Thread-Index: AQHZUuR+GPamYgZaHUKgIDEEBGZWFg== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 10 Mar 2023 00:07:38 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Andrei Popescu 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: 0e078cf0-bb81-42ca-5662-08db20fba0fa 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:a81:ad52:0:b0:53e:8e71:12b9 with SMTP id l18-20020a81ad52000000b0053e8e7112b9mr6190150ywk.3.1678406869244; Thu, 09 Mar 2023 16:07:49 -0800 (PST) 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.98,248,1673910000"; d="scan'208";a="96401889" 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: <740308D05EBDE740884AAD2214D66D55@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 V2UgYXJlIGxvb2tpbmcgZm9yIGEgUGhEIHN0dWRlbnQgKDQgeWVhcnMpIG9yIHBvc3Rkb2N0b3Jh bCByZXNlYXJjaGVyDQooMyB5ZWFycykgdG8gd29yayBvbiB0aGUgSXNhYmVsbGUgZm9ybWFsaXph dGlvbiBvZiBtb2RhbCBtb2RlbCB0aGVvcnkuDQpUaGUgd29yayB3aWxsIHRha2UgcGxhY2Ugd2l0 aGluIHRoZSBDaGFpciBvZiBUaGVvcmV0aWNhbCBDb21wdXRlcg0KU2NpZW5jZSBhdCBMTVUgTXVu aWNoIHVuZGVyIEphc21pbiBCbGFuY2hldHRlJ3Mgc3VwZXJ2aXNpb24gd2l0aCB0aGUNCnBhcnRp Y2lwYXRpb24gb2YgdHdvIGV4dGVybmFsIGV4cGVydHM6IENsw6F1ZGlhIE5hbG9uIChVbml2ZXJz aXR5IG9mDQpCcmFzw61saWEpIGFuZCBTb3BoaWUgVG91cnJldCAoSW5yaWEgTmFuY3kpLg0KDQpN b2RhbCBsb2dpY3MgYXJlIGV4dGVuc2lvbnMgb2YgY2xhc3NpY2FsIGxvZ2ljcyB3aXRoIG9wZXJh dG9ycyB0aGF0DQphbGxvdyBmb3IgdGhlIHF1YWxpZmljYXRpb24gb2YgdHJ1dGguIE1vZGVsIHRo ZW9yeSBmb3IgbW9kYWwgbG9naWNzIGlzDQpjb25jZXJuZWQgd2l0aCB0aGUgaW50ZXJwbGF5IGJl dHdlZW4gdGhlIGxhbmd1YWdlIChzeW50YXgsIGkuZS4sIHRoZQ0Kc2V0IG9mIGl0cyBmb3JtdWxh cykgYW5kIGl0cyBtZWFuaW5nIChzZW1hbnRpY3MsIGkuZS4sIHRoZSBzdHJ1Y3R1cmVzDQpvdmVy IHdoaWNoIHRoZSBsYW5ndWFnZSBpcyBpbnRlcnByZXRlZCkuIFRoZXJlIGFyZSwgaG93ZXZlciwg ZGlmZmVyZW50DQp3YXlzIG9mIGNoYXJhY3Rlcml6aW5nIG1lYW5pbmcgZm9yIG1vZGFsIHNlbnRl bmNlcyBhbmQgYWxzbyBzZXZlcmFsDQood2VsbC1lc3RhYmxpc2hlZCkgcmVzdWx0cyB0aGF0IGFs bG93IGZvciByZXN0cmljdGlvbiBvbiB0aGUgc2V0cyBvZg0Kc3RydWN0dXJlcyBiZWluZyBjb25z aWRlcmVkLiBUaGlzIHByb2plY3QgY29uY2VybnMgdGhlIGZvcm1hbGl6YXRpb24NCmluIElzYWJl bGxlIG9mIHRob3NlIHJlc3VsdHMgZm9yIGdlbmVyYWwgS3JpcGtlIHN0cnVjdHVyZXMgZm9yDQpn ZW5lcmFsaXplZCBtb2RhbCBvcGVyYXRvcnMgKGkuZS4sIG9mIGFueSBhcml0eSkuIFRoZSBnb2Fs IGlzIHRvDQpwcm9kdWNlIGEgbGlicmFyeSB0aGF0IGNvdWxkIHRoZW4gYmUgdXNlZCAoYW5kIHBv c3NpYmx5IGV4dGVuZGVkKSBmb3INCnNwZWNpZmljIGFwcGxpY2F0aW9ucywgaW4gcGFydGljdWxh ciB0aG9zZSByZWxhdGVkIHRvIHByb29mIHRoZW9yeS4NCg0KVGhlIHBvc2l0aW9uIGlzIGNhdGVn b3JpemVkIGFzIFRWLUwgRTEzIGFjY29yZGluZyB0byB0aGUgR2VybWFuIHNhbGFyeQ0Kc2NhbGUu IEl0IGluY2x1ZGVzIHNvbWUgdGVhY2hpbmcgb2JsaWdhdGlvbnMuIFRoZSBzdGFydGluZyBkYXRl IGlzDQpmbGV4aWJsZS4gUGxlYXNlIGNvbnRhY3QgSmFzbWluIEJsYW5jaGV0dGUNCihqYXNtaW4u YmxhbmNoZXR0ZUBpZmkubG11LmRlKSBmb3IgbW9yZSBpbmZvcm1hdGlvbiBvciBpZiB5b3Ugd2Fu dCB0bw0KYXBwbHkuIFRoZSBhcHBsaWNhdGlvbiBkZWFkbGluZSBpcyAxNSBBcHJpbCAyMDIzLg0K