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; Sat, 11 Mar 2023 13:28:43 +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; Sat, 11 Mar 2023 13:28:43 +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; Sat, 11 Mar 2023 13:28:43 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 32BDRvEU015270 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 11 Mar 2023 13:27:57 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 32BDRn30015254 for ; Sat, 11 Mar 2023 13:27:49 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Mar 2023 14:27:47 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 36427E0CA2; Sat, 11 Mar 2023 14:27:47 +0100 (CET) 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 B5A03E0010 for ; Sat, 11 Mar 2023 14:27:42 +0100 (CET) Received: from kirkenes.lirmm.fr ([193.49.104.30]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Mar 2023 14:27:42 +0100 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 C627650D; Sat, 11 Mar 2023 14:27:41 +0100 (CET) From: David Delahaye To: "caml-list@inria.fr" CC: =?utf-8?B?TWF4aWxpbWlhbm8gQ3Jpc3Rpw6E=?= , Olivier Hermant Subject: [Caml-list] First Call for Papers SETS 2023 Thread-Topic: [Caml-list] First Call for Papers SETS 2023 Thread-Index: AQHZVB1m0RttG36zrEClUZ3Uxt/0xw== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Sat, 11 Mar 2023 13:27:41 +0000 Message-ID: <5a7011ce-966a-d255-ea28-a78b67040489@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: cc41a57b-faa3-4ef5-a2d4-08db22348904 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.98,252,1673910000"; d="scan'208,217";a="49883115" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: <59559A0C94FA964FB59285A7E9B0A6BE@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBjbGFzcz0i bW96LXNpZ25hdHVyZSI+DQo8ZGl2Pg0KPGRpdiBzdHlsZT0iZGlzcGxheTpub25lOyI+Ny41Ljgg LSAyNy8wOC8yMDIxIDwvZGl2Pg0KPC9kaXY+DQo0dGggSW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBh Ym91dCBTZXRzIGFuZCBUb29scyAoU0VUUyAyMDIzKTxicj4NCkFmZmlsaWF0ZWQgdG8gQ0lDTSAy MDIzPGJyPg0KPGJyPg0KU2VwdGVtYmVyIDQsIDIwMjMg4oCTIENhbWJyaWRnZSAoVUspPGJyPg0K PGJyPg0KPGEgY2xhc3M9Im1vei10eHQtbGluay1mcmVldGV4dCIgaHJlZj0iaHR0cHM6Ly93d3cu bGlybW0uZnIvc2V0czIwMjMvIj5odHRwczovL3d3dy5saXJtbS5mci9zZXRzMjAyMy88L2E+PGJy Pg0KPGJyPg0KQ2FsbCBmb3IgUGFwZXJzPGJyPg0KPGJyPg0KQWltPGJyPg0KPGJyPg0KU2V0cyBh bmQgY29uc3RydWN0cyBidWlsdCB1cG9uIHRoZW0gbGlrZSByZWxhdGlvbnMsIGZ1bmN0aW9ucywg c2VxdWVuY2VzIGFyZSB0aGUgbWFpbiBtb2RlbGluZyBpbmdyZWRpZW50cyBvZiBmb3JtYWxpc21z IHN1Y2ggYXMgVkRNLCBaLCBCLCBvciBFdmVudC1CLiBTZXRzIGFsc28gb2NjdXIgaW4gdGhlIGZv cm1hbGl6YXRpb24gb2YgbWF0aGVtYXRpY3MsIGFzIGV2aWRlbmNlZCBieSB0aGUgbGFyZ2UgbGli cmFyeSBvZiB0aGUgTWl6YXIgcHJvb2YNCiBzeXN0ZW0sIGZvciBleGFtcGxlLiBJbiBhZGRpdGlv biwgc3RpbGwgaW4gdGhlIGRvbWFpbiBvZiB0aGVvcmVtIHByb3ZpbmcsIHRoZXJlIGlzIGFuIGlu Y3JlYXNpbmcgaW50ZXJlc3QgdG8gYXV0b21hdGUgc2V0IHRoZW9yeSAod2hpY2ggaXMga25vd24g dG8gYmUgYSBkaWZmaWN1bHQgcHJvYmxlbSksIHdpdGggc29tZSBjb25jcmV0ZSByZWFsaXphdGlv bnMsIHN1Y2ggYXMgbXAgKHRoZSAmcXVvdDttYWluIHByb3ZlciZxdW90OyBvZiBBdGVsaWVyIEIp IG9yIGRpZmZlcmVudA0KIGRlY2lzaW9uIHByb2NlZHVyZXMgZm9yIFNBVCBvciBTTVQgc29sdmVy cy4gU2V0cyBhcmUgYWxzbyB0aGUgbWFpbiBmZWF0dXJlcyBvZiBzb21lIHByb2dyYW1taW5nIGxh bmd1YWdlcyBsaWtlIHRoZSBmb3JtZXIgU2V0TCBsYW5ndWFnZSBvciB0aGUgbW9yZSByZWNlbnQg e2xvZ30gbGFuZ3VhZ2UgKHByb25vdW5jZWQgYXMgc2V0bG9nKS48YnI+DQo8YnI+DQpUaGUgd29y a3Nob3AgYWltcyBhdCBicmluZ2luZyB0b2dldGhlciByZXNlYXJjaGVycyBpbnRlcmVzdGVkIGlu IHNldCB0aGVvcnksIGVzcGVjaWFsbHkgdG8gZGVzaWduIHRvb2xzIGZvciBkZWFsaW5nIHdpdGgg c2V0IHRoZW9yeSwgc3VjaCBhcyBpbnRlcmFjdGl2ZSBvciBhdXRvbWF0ZWQgdGhlb3JlbSBwcm92 ZXJzLCBwcm9vZiBjaGVja2VycywgdGhlb3JpZXMgZm9yIGdlbmVyYWwgcHVycG9zZSBwcm9vZiB0 b29scywgY29uc3RyYWludCBzb2x2ZXJzLA0KIHByb2dyYW1taW5nIGxhbmd1YWdlcyBldGMuIFRo ZXNlIHRvb2xzIG1heSBiZSBkZWRpY2F0ZWQgb3IgZ2VuZXJhbCBwdXJwb3NlIHRvb2xzLiBDb250 cmlidXRpb25zIGJ5IHRoZW9yZXRpY2lhbnMgd29ya2luZyBvbiBzZXQgdGhlb3JpZXMgb3IgZnJh Z21lbnRzIG9mIHNldCB0aGVvcmllcyBpbiB0aGUgYWltIG9mIGRlc2lnbmluZyBjb25jcmV0ZSB0 b29scywgYW5kIGJ5IHByYWN0aXRpb25lcnMgdXNpbmcgc2V0LWJhc2VkIHRvb2xzIGFyZSBib3Ro DQogd2VsY29tZS4gV2UgYXJlIGFsc28gaW50ZXJlc3RlZCBpbiBjb250cmlidXRpb25zIHByb3Zp ZGluZyBzb21lIGNvbXBhcmlzb25zIGJldHdlZW4gc2V0IG1vZGVsaW5nIHRlY2huaXF1ZXMgYW5k IG90aGVyIGZvcm1hbGlzbXMsIHN1Y2ggYXMgdHlwZSB0aGVvcnkgKGFuZCB2YXJpYW50cykgZm9y IGluc3RhbmNlLiBGaW5hbGx5LCByZWdhcmRpbmcgdGhlIGRvbWFpbnMgb2YgYXBwbGljYXRpb24s IHdlIG1haW5seSBleHBlY3QgY29udHJpYnV0aW9ucw0KIGluIHRoZSBmcmFtZXdvcmsgb2YgZm9y bWFsIG1ldGhvZHMsIGJ1dCBub3QgZXhoYXVzdGl2ZWx5LCBhbmQgY29udHJpYnV0aW9ucyByZXBv cnRpbmcgZm9ybWFsaXphdGlvbnMgb2YgbWF0aGVtYXRpY3MgdXNpbmcgc2V0IHRoZW9yeSBmb3Ig ZXhhbXBsZSBjb3VsZCBiZSBvZiBpbnRlcmVzdCBmb3IgdGhpcyB3b3Jrc2hvcCBhcyB3ZWxsLjxi cj4NCjxicj4NClRvcGljczxicj4NCjxicj4NClRvcGljcyBvZiBpbnRlcmVzdCBmb3IgdGhpcyB3 b3Jrc2hvcCBpbmNsdWRlIGFsbCBhc3BlY3RzIG9mIHNldCB0aGVvcnkgYW5kIGNvcnJlc3BvbmRp bmcgdG9vbHMuIE1vcmUgc3BlY2lmaWNhbGx5LCBzb21lIHN1Z2dlc3RlZCB0b3BpY3MgYXJlOjxi cj4NCjxicj4NCiogUHJvb2YgdG9vbHMgZm9yIHNldHM8YnI+DQoqIENvbnN0cmFpbnQgc29sdmVy cyBmb3Igc2V0czxicj4NCiogU2V0LWJhc2VkIHByb2dyYW1taW5nIGxhbmd1YWdlczxicj4NCiog QXV0b21hdGVkIHZlcmlmaWNhdGlvbiBpbiBzZXQgdGhlb3J5PGJyPg0KKiBFbmNvZGluZ3Mgb2Yg c2V0IHRoZW9yeSBpbiBwcm92ZXJzPGJyPg0KKiBTZXQgdGhlb3JpZXMgZm9yIFNNVCBzb2x2ZXJz PGJyPg0KKiBVc2Ugb2Ygc2V0LWJhc2VkIHRvb2xzIGluIGZvcm1hbCBtZXRob2RzPGJyPg0KKiBV c2Ugb2Ygc2V0LWJhc2VkIHRvb2xzIGluIG1hdGhlbWF0aWNzPGJyPg0KKiBDb21wYXJpc29uIG9m IHNldC1iYXNlZCB0b29sczxicj4NCiogQ29tcGFyaXNvbiBiZXR3ZWVuIHNldCBhbmQgdHlwZSB0 aGVvcmllczxicj4NCiogRXhwZXJpZW5jZSByZXBvcnRzPGJyPg0KPGJyPg0KQ29udHJpYnV0aW9u cyBhbmQgUHJvY2VlZGluZ3M8YnI+DQo8YnI+DQpTdWJtaXR0ZWQgcGFwZXJzIG11c3QgYmUgNi0x NSBwYWdlcyBpbiBsZW5ndGgsIGZvbGxvd2luZyB0aGUgU3ByaW5nZXIgTE5DUyBmb3JtYXQuIFRo ZXNlIHN1Ym1pc3Npb25zIG1heSBiZTo8YnI+DQo8YnI+DQoqIFJlc2VhcmNoIHBhcGVycyBwcm92 aWRpbmcgbmV3IGNvbmNlcHRzIGFuZCByZXN1bHRzPGJyPg0KKiBQb3NpdGlvbiBwYXBlcnMgYW5k IHJlc2VhcmNoIHBlcnNwZWN0aXZlczxicj4NCiogRXhwZXJpZW5jZSByZXBvcnRzPGJyPg0KKiBU b29sIHByZXNlbnRhdGlvbnM8YnI+DQo8YnI+DQpQcm9jZWVkaW5ncywgaW5jbHVkaW5nIGFsbCB0 aGUgcGFwZXJzIHNlbGVjdGVkIGZvciB0aGUgd29ya3Nob3AsIHdpbGwgYmUgcHVibGlzaGVkIGFz IG9ubGluZSBwcm9jZWVkaW5ncyBpbiB0aGUgQ0VVUiB3b3Jrc2hvcCBwcm9jZWVkaW5ncyBzZXJp ZXMgKENFVVItV1Mub3JnKSB0b2dldGhlciB3aXRoIHRoZSBvdGhlciB3b3Jrc2hvcCBwYXBlcnMg YW5kIGluZm9ybWFsIHN1Ym1pc3Npb25zIG9mIENJQ00uPGJyPg0KPGJyPg0KU3VibWlzc2lvbiBX ZWIgU2l0ZTxicj4NCjxicj4NCkNvbnRyaWJ1dGlvbnMgbXVzdCBiZSBzdWJtaXR0ZWQgZWxlY3Ry b25pY2FsbHkgaW4gUERGIHVzaW5nIHRoZSBTRVRTIDIwMjMgRWFzeUNoYWlyIHdlYiBzaXRlIGF0 IHRoZSBmb2xsb3dpbmcgYWRkcmVzczo8YnI+DQo8YnI+DQo8YSBjbGFzcz0ibW96LXR4dC1saW5r LWZyZWV0ZXh0IiBocmVmPSJodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9 c2V0czIwMjMiPmh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1zZXRzMjAy MzwvYT48YnI+DQo8YnI+DQpDb250YWN0czxicj4NCjxicj4NCkZvciBhbnkgcXVlc3Rpb24gcmVn YXJkaW5nIFNFVFMgMjAyMywgY29udGFjdCB0aGUgd29ya3Nob3AgY28tY2hhaXJzOjxicj4NCjxi cj4NCiogTWF4aW1pbGlhbm8gQ3Jpc3Rpw6EgKDxhIGNsYXNzPSJtb3otdHh0LWxpbmstYWJicmV2 aWF0ZWQiIGhyZWY9Im1haWx0bzpjcmlzdGlhQGNpZmFzaXMtY29uaWNldC5nb3YuYXIiPmNyaXN0 aWFAY2lmYXNpcy1jb25pY2V0Lmdvdi5hcjwvYT4pPGJyPg0KKiBEYXZpZCBEZWxhaGF5ZSAoPGEg Y2xhc3M9Im1vei10eHQtbGluay1hYmJyZXZpYXRlZCIgaHJlZj0ibWFpbHRvOkRhdmlkLkRlbGFo YXllQGxpcm1tLmZyIj5EYXZpZC5EZWxhaGF5ZUBsaXJtbS5mcjwvYT4pPGJyPg0KKiBPbGl2aWVy IEhlcm1hbnQgKDxhIGNsYXNzPSJtb3otdHh0LWxpbmstYWJicmV2aWF0ZWQiIGhyZWY9Im1haWx0 bzpPbGl2aWVyLkhlcm1hbnRAbWluZXNwYXJpcy5wc2wuZXUiPk9saXZpZXIuSGVybWFudEBtaW5l c3BhcmlzLnBzbC5ldTwvYT4pPGJyPg0KPC9kaXY+DQo8L2JvZHk+DQo8L2h0bWw+DQo=