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; Sat, 29 Apr 2023 13:54:24 +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; Sat, 29 Apr 2023 13:54:24 +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; Sat, 29 Apr 2023 13:54:24 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 33TCrcRJ017994 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 29 Apr 2023 13:53:38 +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 33TCrUMK017976 for ; Sat, 29 Apr 2023 13:53:30 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Apr 2023 14:53:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B4AEAE0D49; Sat, 29 Apr 2023 14:53:29 +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 3B0A7E0D40 for ; Sat, 29 Apr 2023 14:53:21 +0200 (CEST) Received: from kirkenes.lirmm.fr ([193.49.104.30]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Apr 2023 14:53:21 +0200 Received: from [192.168.1.32] (anantes-154-1-93-166.w2-9.abo.wanadoo.fr [2.9.132.166]) by kirkenes.lirmm.fr (Postfix) with ESMTPSA id 8DA07153A; Sat, 29 Apr 2023 14:53:20 +0200 (CEST) From: David Delahaye To: "caml-list@inria.fr" CC: =?utf-8?B?TWF4aWxpbWlhbm8gQ3Jpc3Rpw6E=?= , Olivier Hermant Subject: [Caml-list] Second Call for Papers SETS 2023 (Deadline Extended) Thread-Topic: [Caml-list] Second Call for Papers SETS 2023 (Deadline Extended) Thread-Index: AQHZepm5K4e/JdkxtUWgPZk3IsjGsA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Sat, 29 Apr 2023 13:53:20 +0100 Message-ID: <985ae87e-e436-7f48-8a25-98f84a6afbaa@lirmm.fr> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: David Delahaye Content-Language: fr 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: 236b3c1d-0b31-4f41-4095-08db48b0dc0e X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 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,237,1677538800"; d="scan'208";a="105522315" 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: <729F6FE41565324B9BCEC526FBFA7686@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 VGhlIGRlYWRsaW5lIG9mIHRoZSBTRVRTIDIwMjMgd29ya3Nob3AgaGFzIGJlZW4gZXh0ZW5kZWQg dG8gTWF5IDI5LCANCjIwMjMuIFdlIGhhdmUgYWxzbyBhZGRlZCB0aGUgImpvdXJuYWwtZmlyc3Qg cGFwZXJzIiBzdWJtaXNzaW9uIGNhdGVnb3J5IA0KKHBhcGVycyB0aGF0IGhhdmUgYmVlbiBwdWJs aXNoZWQgaW4gYSBqb3VybmFsIGR1cmluZyB0aGUgbGFzdCB5ZWFyIGJ1dCANCmhhdmUgbmV2ZXIg YmVlbiBwcmVzZW50ZWQgYXQgYSBjb25mZXJlbmNlIG9yIHdvcmtzaG9wKS4gUGxlYXNlIGZlZWwg ZnJlZSANCnRvIHN1Ym1pdCB5b3VyIGNvbnRyaWJ1dGlvbi4NCg0KNHRoIEludGVybmF0aW9uYWwg V29ya3Nob3AgYWJvdXQgU2V0cyBhbmQgVG9vbHMgKFNFVFMgMjAyMykNCkFmZmlsaWF0ZWQgdG8g Q0lDTSAyMDIzDQoNClNlcHRlbWJlciA0LCAyMDIzIOKAkyBDYW1icmlkZ2UgKFVLKQ0KDQpodHRw czovL3d3dy5saXJtbS5mci9zZXRzMjAyMy8NCg0KQ2FsbCBmb3IgUGFwZXJzDQoNCkFpbQ0KDQpT ZXRzIGFuZCBjb25zdHJ1Y3RzIGJ1aWx0IHVwb24gdGhlbSBsaWtlIHJlbGF0aW9ucywgZnVuY3Rp b25zLCBzZXF1ZW5jZXMgDQphcmUgdGhlIG1haW4gbW9kZWxpbmcgaW5ncmVkaWVudHMgb2YgZm9y bWFsaXNtcyBzdWNoIGFzIFZETSwgWiwgQiwgb3IgDQpFdmVudC1CLiBTZXRzIGFsc28gb2NjdXIg aW4gdGhlIGZvcm1hbGl6YXRpb24gb2YgbWF0aGVtYXRpY3MsIGFzIA0KZXZpZGVuY2VkIGJ5IHRo ZSBsYXJnZSBsaWJyYXJ5IG9mIHRoZSBNaXphciBwcm9vZiBzeXN0ZW0sIGZvciBleGFtcGxlLiAN CkluIGFkZGl0aW9uLCBzdGlsbCBpbiB0aGUgZG9tYWluIG9mIHRoZW9yZW0gcHJvdmluZywgdGhl cmUgaXMgYW4gDQppbmNyZWFzaW5nIGludGVyZXN0IHRvIGF1dG9tYXRlIHNldCB0aGVvcnkgKHdo aWNoIGlzIGtub3duIHRvIGJlIGEgDQpkaWZmaWN1bHQgcHJvYmxlbSksIHdpdGggc29tZSBjb25j cmV0ZSByZWFsaXphdGlvbnMsIHN1Y2ggYXMgbXAgKHRoZSANCiJtYWluIHByb3ZlciIgb2YgQXRl bGllciBCKSBvciBkaWZmZXJlbnQgZGVjaXNpb24gcHJvY2VkdXJlcyBmb3IgU0FUIG9yIA0KU01U IHNvbHZlcnMuIFNldHMgYXJlIGFsc28gdGhlIG1haW4gZmVhdHVyZXMgb2Ygc29tZSBwcm9ncmFt bWluZyANCmxhbmd1YWdlcyBsaWtlIHRoZSBmb3JtZXIgU2V0TCBsYW5ndWFnZSBvciB0aGUgbW9y ZSByZWNlbnQge2xvZ30gDQpsYW5ndWFnZSAocHJvbm91bmNlZCBhcyBzZXRsb2cpLg0KDQpUaGUg d29ya3Nob3AgYWltcyBhdCBicmluZ2luZyB0b2dldGhlciByZXNlYXJjaGVycyBpbnRlcmVzdGVk IGluIHNldCANCnRoZW9yeSwgZXNwZWNpYWxseSB0byBkZXNpZ24gdG9vbHMgZm9yIGRlYWxpbmcg d2l0aCBzZXQgdGhlb3J5LCBzdWNoIGFzIA0KaW50ZXJhY3RpdmUgb3IgYXV0b21hdGVkIHRoZW9y ZW0gcHJvdmVycywgcHJvb2YgY2hlY2tlcnMsIHRoZW9yaWVzIGZvciANCmdlbmVyYWwgcHVycG9z ZSBwcm9vZiB0b29scywgY29uc3RyYWludCBzb2x2ZXJzLCBwcm9ncmFtbWluZyBsYW5ndWFnZXMg DQpldGMuIFRoZXNlIHRvb2xzIG1heSBiZSBkZWRpY2F0ZWQgb3IgZ2VuZXJhbCBwdXJwb3NlIHRv b2xzLiANCkNvbnRyaWJ1dGlvbnMgYnkgdGhlb3JldGljaWFucyB3b3JraW5nIG9uIHNldCB0aGVv cmllcyBvciBmcmFnbWVudHMgb2YgDQpzZXQgdGhlb3JpZXMgaW4gdGhlIGFpbSBvZiBkZXNpZ25p bmcgY29uY3JldGUgdG9vbHMsIGFuZCBieSANCnByYWN0aXRpb25lcnMgdXNpbmcgc2V0LWJhc2Vk IHRvb2xzIGFyZSBib3RoIHdlbGNvbWUuIFdlIGFyZSBhbHNvIA0KaW50ZXJlc3RlZCBpbiBjb250 cmlidXRpb25zIHByb3ZpZGluZyBzb21lIGNvbXBhcmlzb25zIGJldHdlZW4gc2V0IA0KbW9kZWxp bmcgdGVjaG5pcXVlcyBhbmQgb3RoZXIgZm9ybWFsaXNtcywgc3VjaCBhcyB0eXBlIHRoZW9yeSAo YW5kIA0KdmFyaWFudHMpIGZvciBpbnN0YW5jZS4gRmluYWxseSwgcmVnYXJkaW5nIHRoZSBkb21h aW5zIG9mIGFwcGxpY2F0aW9uLCANCndlIG1haW5seSBleHBlY3QgY29udHJpYnV0aW9ucyBpbiB0 aGUgZnJhbWV3b3JrIG9mIGZvcm1hbCBtZXRob2RzLCBidXQgDQpub3QgZXhoYXVzdGl2ZWx5LCBh bmQgY29udHJpYnV0aW9ucyByZXBvcnRpbmcgZm9ybWFsaXphdGlvbnMgb2YgDQptYXRoZW1hdGlj cyB1c2luZyBzZXQgdGhlb3J5IGZvciBleGFtcGxlIGNvdWxkIGJlIG9mIGludGVyZXN0IGZvciB0 aGlzIA0Kd29ya3Nob3AgYXMgd2VsbC4NCg0KVG9waWNzDQoNClRvcGljcyBvZiBpbnRlcmVzdCBm b3IgdGhpcyB3b3Jrc2hvcCBpbmNsdWRlIGFsbCBhc3BlY3RzIG9mIHNldCB0aGVvcnkgDQphbmQg Y29ycmVzcG9uZGluZyB0b29scy4gTW9yZSBzcGVjaWZpY2FsbHksIHNvbWUgc3VnZ2VzdGVkIHRv cGljcyBhcmU6DQoNCiogUHJvb2YgdG9vbHMgZm9yIHNldHMNCiogQ29uc3RyYWludCBzb2x2ZXJz IGZvciBzZXRzDQoqIFNldC1iYXNlZCBwcm9ncmFtbWluZyBsYW5ndWFnZXMNCiogQXV0b21hdGVk IHZlcmlmaWNhdGlvbiBpbiBzZXQgdGhlb3J5DQoqIEVuY29kaW5ncyBvZiBzZXQgdGhlb3J5IGlu IHByb3ZlcnMNCiogU2V0IHRoZW9yaWVzIGZvciBTTVQgc29sdmVycw0KKiBVc2Ugb2Ygc2V0LWJh c2VkIHRvb2xzIGluIGZvcm1hbCBtZXRob2RzDQoqIFVzZSBvZiBzZXQtYmFzZWQgdG9vbHMgaW4g bWF0aGVtYXRpY3MNCiogQ29tcGFyaXNvbiBvZiBzZXQtYmFzZWQgdG9vbHMNCiogQ29tcGFyaXNv biBiZXR3ZWVuIHNldCBhbmQgdHlwZSB0aGVvcmllcw0KKiBFeHBlcmllbmNlIHJlcG9ydHMNCg0K Q29udHJpYnV0aW9ucyBhbmQgUHJvY2VlZGluZ3MNCg0KU3VibWl0dGVkIHBhcGVycyBtdXN0IGJl IDYtMTUgcGFnZXMgaW4gbGVuZ3RoLCBmb2xsb3dpbmcgdGhlIFNwcmluZ2VyIA0KTE5DUyBmb3Jt YXQuIFRoZXNlIHN1Ym1pc3Npb25zIG1heSBiZToNCg0KKiBSZXNlYXJjaCBwYXBlcnMgcHJvdmlk aW5nIG5ldyBjb25jZXB0cyBhbmQgcmVzdWx0cw0KKiBQb3NpdGlvbiBwYXBlcnMgYW5kIHJlc2Vh cmNoIHBlcnNwZWN0aXZlcw0KKiBFeHBlcmllbmNlIHJlcG9ydHMNCiogVG9vbCBwcmVzZW50YXRp b25zDQoqIEpvdXJuYWwtZmlyc3QgcGFwZXJzLiBUaGF0IGlzLCBwYXBlcnMgdGhhdCBoYXZlIGJl ZW4gcHVibGlzaGVkIGluIGEgDQpqb3VybmFsIGR1cmluZyB0aGUgbGFzdCB5ZWFyIGJ1dCBoYXZl IG5ldmVyIGJlZW4gcHJlc2VudGVkIGF0IGEgDQpjb25mZXJlbmNlIG9yIHdvcmtzaG9wLiBUaGUg YXV0aG9ycyBzaG91bGQgc3VibWl0IGFuIGFic3RyYWN0IGFuZCBhIA0KcmVmZXJlbmNlIGluZGlj YXRpbmcgd2hlcmUgdGhlIHBhcGVyIHdhcyBwdWJsaXNoZWQuDQoNClByb2NlZWRpbmdzLCBpbmNs dWRpbmcgYWxsIHRoZSBwYXBlcnMgc2VsZWN0ZWQgZm9yIHRoZSB3b3Jrc2hvcCwgd2lsbCBiZSAN CnB1Ymxpc2hlZCBhcyBvbmxpbmUgcHJvY2VlZGluZ3MgaW4gdGhlIENFVVIgd29ya3Nob3AgcHJv Y2VlZGluZ3Mgc2VyaWVzIA0KKENFVVItV1Mub3JnKSB0b2dldGhlciB3aXRoIHRoZSBvdGhlciB3 b3Jrc2hvcCBwYXBlcnMgYW5kIGluZm9ybWFsIA0Kc3VibWlzc2lvbnMgb2YgQ0lDTS4NCg0KU3Vi bWlzc2lvbiBXZWIgU2l0ZQ0KDQpDb250cmlidXRpb25zIG11c3QgYmUgc3VibWl0dGVkIGVsZWN0 cm9uaWNhbGx5IGluIFBERiB1c2luZyB0aGUgU0VUUyANCjIwMjMgRWFzeUNoYWlyIHdlYiBzaXRl IGF0IHRoZSBmb2xsb3dpbmcgYWRkcmVzczoNCg0KaHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZl cmVuY2VzLz9jb25mPXNldHMyMDIzDQoNCkNvbnRhY3RzDQoNCkZvciBhbnkgcXVlc3Rpb24gcmVn YXJkaW5nIFNFVFMgMjAyMywgY29udGFjdCB0aGUgd29ya3Nob3AgY28tY2hhaXJzOg0KDQoqIE1h eGltaWxpYW5vIENyaXN0acOhIChjcmlzdGlhQGNpZmFzaXMtY29uaWNldC5nb3YuYXIpDQoqIERh dmlkIERlbGFoYXllIChEYXZpZC5EZWxhaGF5ZUBsaXJtbS5mcikNCiogT2xpdmllciBIZXJtYW50 IChPbGl2aWVyLkhlcm1hbnRAbWluZXNwYXJpcy5wc2wuZXUpDQoNCg==