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; Mon, 3 Apr 2023 14:21:29 +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; Mon, 3 Apr 2023 14:21:28 +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; Mon, 3 Apr 2023 14:21:28 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 333DKgxJ002854 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 3 Apr 2023 14:20:42 +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 333DKYwD002834 for ; Mon, 3 Apr 2023 14:20:34 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Apr 2023 15:20:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C9C8CE02DC; Mon, 3 Apr 2023 15:20:32 +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 C2A5BE00CE for ; Mon, 3 Apr 2023 15:20:29 +0200 (CEST) Received: from mail003.nap.gsic.titech.ac.jp ([131.112.13.103]) by mail3-smtp-sop.national.inria.fr with SMTP; 03 Apr 2023 15:20:01 +0200 Received: from 172.22.40.205 by mail003.nap.gsic.titech.ac.jp with Mail2000 ESMTP Server V7.00(19171:0:AUTH_RELAY) (envelope-from ); Mon, 03 Apr 2023 22:19:57 +0900 (JST) Received: from mail001.nap.gsic.titech.ac.jp (mail001.nap.gsic.titech.ac.jp [131.112.13.101]) by drweb08.nap.gsic.titech.ac.jp (Postfix) with SMTP id 36B27EB for ; Mon, 3 Apr 2023 22:19:57 +0900 (JST) Received: from 209.85.210.177 by mail001.nap.gsic.titech.ac.jp with Mail2000 ESMTPA Server V7.00(11895:0:AUTH_LOGIN) (envelope-from ); Mon, 03 Apr 2023 22:19:54 +0900 (JST) Received: by mail-pf1-f177.google.com with SMTP id q20so7970546pfs.2 for ; Mon, 03 Apr 2023 06:19:54 -0700 (PDT) From: Youyou Cong To: "caml-list@inria.fr" Subject: [Caml-list] TyDe 2023 - Call for Papers Thread-Topic: [Caml-list] TyDe 2023 - Call for Papers Thread-Index: AQHZZi8zExuND5tJ7kW0pqOHy16EEg== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 3 Apr 2023 14:18:00 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Youyou Cong 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: 373e334d-546a-4f66-139b-08db34465578 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:6a00:23d3:b0:62a:424b:2af0 with SMTP id g19-20020a056a0023d300b0062a424b2af0mr17068509pfc.0.1680527988461; Mon, 03 Apr 2023 06:19:48 -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.98,314,1673910000"; d="scan'208,217";a="52018478" 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: Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08YnI+DQombmJzcDtDQUxMIEZPUiBQQVBFUlM8YnI+ DQo8YnI+DQombmJzcDs4dGggV29ya3Nob3Agb24gVHlwZS1Ecml2ZW4gRGV2ZWxvcG1lbnQgKFR5 RGUgMjAyMyk8YnI+DQombmJzcDtDby1Mb2NhdGVkIHdpdGggSUNGUCAyMDIzIChTZWF0dGxlLCBX YXNoaW5ndG9uLCBVU0EpPGJyPg0KPGJyPg0KJm5ic3A7PGEgaHJlZj0iaHR0cHM6Ly9pY2ZwMjMu c2lncGxhbi5vcmcvaG9tZS90eWRlLTIwMjMiIHRhcmdldD0iX2JsYW5rIj5odHRwczovL2ljZnAy My5zaWdwbGFuLm9yZy9ob21lL3R5ZGUtMjAyMzwvYT48YnI+DQotLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLTxicj4NCjxicj4NCiMgR29hbHMgb2YgdGhlIFdvcmtzaG9wPGJyPg0KPGJyPg0KVGhlIFdv cmtzaG9wIG9uIFR5cGUtRHJpdmVuIERldmVsb3BtZW50IChUeURlKSBhaW1zIHRvIHNob3cgaG93 IDxicj4NCnN0YXRpYyB0eXBlIGluZm9ybWF0aW9uIG1heSBiZSB1c2VkIGVmZmVjdGl2ZWx5IGlu IHRoZSBkZXZlbG9wbWVudCA8YnI+DQpvZiBjb21wdXRlciBwcm9ncmFtcy4gQ28tbG9jYXRlZCB3 aXRoIElDRlAsIHRoaXMgd29ya3Nob3AgYnJpbmdzIDxicj4NCnRvZ2V0aGVyIGxlYWRpbmcgcmVz ZWFyY2hlcnMgYW5kIHByYWN0aXRpb25lcnMgd2hvIGFyZSB1c2luZyBvciA8YnI+DQpleHBsb3Jp bmcgdHlwZXMgYXMgYSBtZWFucyBvZiBwcm9ncmFtIGRldmVsb3BtZW50Ljxicj4NCjxicj4NCldl IHdlbGNvbWUgYWxsIGNvbnRyaWJ1dGlvbnMsIGJvdGggdGhlb3JldGljYWwgYW5kIHByYWN0aWNh bCwgb24gYSA8YnI+DQpyYW5nZSBvZiB0b3BpY3MgaW5jbHVkaW5nOjxicj4NCjxicj4NCi0gZGVw ZW5kZW50bHkgdHlwZWQgcHJvZ3JhbW1pbmc7PGJyPg0KLSBnZW5lcmljIHByb2dyYW1taW5nOzxi cj4NCi0gZGVzaWduIGFuZCBpbXBsZW1lbnRhdGlvbiBvZiBwcm9ncmFtbWluZyBsYW5ndWFnZXMs IGV4cGxvaXRpbmcgPGJyPg0KJm5ic3A7IHR5cGVzIGluIG5vdmVsIHdheXM7PGJyPg0KLSBleHBs b2l0aW5nIHR5cGVkIGRhdGEsIGRhdGEgZGVwZW5kZW50IGRhdGEsIG9yIHR5cGUgcHJvdmlkZXJz Ozxicj4NCi0gc3RhdGljIGFuZCBkeW5hbWljIGFuYWx5c2VzIG9mIHR5cGVkIHByb2dyYW1zOzxi cj4NCi0gdG9vbHMsIElERXMsIG9yIHRlc3RpbmcgdG9vbHMgZXhwbG9pdGluZyB0eXBlIGluZm9y bWF0aW9uOzxicj4NCi0gcGVhcmxzLCBiZWluZyBlbGVnYW50LCBpbnN0cnVjdGl2ZSBleGFtcGxl cyBvZiB0eXBlcyB1c2VkIGluIHRoZSA8YnI+DQombmJzcDsgZGVyaXZhdGlvbiwgY2FsY3VsYXRp b24sIG9yIGNvbnN0cnVjdGlvbiBvZiBwcm9ncmFtcy48YnI+DQo8YnI+DQojIFByb2NlZWRpbmdz IGFuZCBDb3B5cmlnaHQ8YnI+DQo8YnI+DQpXZSB3aWxsIGhhdmUgZm9ybWFsIHByb2NlZWRpbmdz LCBwdWJsaXNoZWQgYnkgdGhlIEFDTS4gQWNjZXB0ZWQgPGJyPg0KcGFwZXJzIHdpbGwgYmUgaW5j bHVkZWQgaW4gdGhlIEFDTSBEaWdpdGFsIExpYnJhcnkuIEF1dGhvcnMgbXVzdCA8YnI+DQpncmFu dCBBQ00gcHVibGljYXRpb24gcmlnaHRzIHVwb24gYWNjZXB0YW5jZSwgYnV0IG1heSByZXRhaW4g PGJyPg0KY29weXJpZ2h0IGlmIHRoZXkgd2lzaC4gQXV0aG9ycyBhcmUgZW5jb3VyYWdlZCB0byBw dWJsaXNoIGF1eGlsaWFyeSA8YnI+DQptYXRlcmlhbCB3aXRoIHRoZWlyIHBhcGVyIChzb3VyY2Ug Y29kZSwgdGVzdCBkYXRhLCBhbmQgc28gZm9ydGgpLiA8YnI+DQpUaGUgcHJvY2VlZGluZ3Mgd2ls bCBiZSBmcmVlbHkgYXZhaWxhYmxlIGZvciBkb3dubG9hZCBmcm9tIHRoZSBBQ00gPGJyPg0KRGln aXRhbCBMaWJyYXJ5IGZyb20gb25lIHdlZWsgYmVmb3JlIHRoZSBzdGFydCBvZiB0aGUgY29uZmVy ZW5jZSA8YnI+DQp1bnRpbCB0d28gd2Vla3MgYWZ0ZXIgdGhlIGNvbmZlcmVuY2UuPGJyPg0KPGJy Pg0KVGhlIG9mZmljaWFsIHB1YmxpY2F0aW9uIGRhdGUgaXMgdGhlIGRhdGUgdGhlIHBhcGVycyBh cmUgbWFkZSA8YnI+DQphdmFpbGFibGUgaW4gdGhlIEFDTSBEaWdpdGFsIExpYnJhcnkuIFRoaXMg ZGF0ZSBtYXkgYmUgdXAgdG8gdHdvIDxicj4NCndlZWtzIHByaW9yIHRvIHRoZSBmaXJzdCBkYXkg b2YgdGhlIGNvbmZlcmVuY2UuIFRoZSBvZmZpY2lhbCA8YnI+DQpwdWJsaWNhdGlvbiBkYXRlIGFm ZmVjdHMgdGhlIGRlYWRsaW5lIGZvciBhbnkgcGF0ZW50IGZpbGluZ3MgcmVsYXRlZCA8YnI+DQp0 byBwdWJsaXNoZWQgd29yay48YnI+DQo8YnI+DQojIFN1Ym1pc3Npb24gRGV0YWlsczxicj4NCjxi cj4NClN1Ym1pc3Npb25zIHNob3VsZCBmYWxsIGludG8gb25lIG9mIHR3byBjYXRlZ29yaWVzOjxi cj4NCjxicj4NCi0gcmVndWxhciByZXNlYXJjaCBwYXBlcnMgKDEyIHBhZ2VzKTs8YnI+DQotIGV4 dGVuZGVkIGFic3RyYWN0cyAoMyBwYWdlcykuPGJyPg0KPGJyPg0KVGhlIGJpYmxpb2dyYXBoeSB3 aWxsIG5vdCBiZSBjb3VudGVkIGFnYWluc3QgdGhlIHBhZ2UgbGltaXRzIGZvciA8YnI+DQplaXRo ZXIgY2F0ZWdvcnkuPGJyPg0KPGJyPg0KUmVndWxhciByZXNlYXJjaCBwYXBlcnMgYXJlIGV4cGVj dGVkIHRvIHByZXNlbnQgbm92ZWwgYW5kIGludGVyZXN0aW5nIDxicj4NCnJlc2VhcmNoIHJlc3Vs dHMsIGFuZCB3aWxsIGJlIGluY2x1ZGVkIGluIHRoZSBmb3JtYWwgcHJvY2VlZGluZ3MuIDxicj4N CkV4dGVuZGVkIGFic3RyYWN0cyBzaG91bGQgcmVwb3J0IHdvcmsgaW4gcHJvZ3Jlc3MgdGhhdCB0 aGUgYXV0aG9ycyA8YnI+DQp3b3VsZCBsaWtlIHRvIHByZXNlbnQgYXQgdGhlIHdvcmtzaG9wLiBF eHRlbmRlZCBhYnN0cmFjdHMgd2lsbCBiZSA8YnI+DQpkaXN0cmlidXRlZCB0byB3b3Jrc2hvcCBh dHRlbmRlZXMgYnV0IHdpbGwgbm90IGJlIHB1Ymxpc2hlZCBpbiB0aGUgPGJyPg0KZm9ybWFsIHBy b2NlZWRpbmdzLjxicj4NCjxicj4NCldlIHdlbGNvbWUgc3VibWlzc2lvbnMgZnJvbSBQQyBtZW1i ZXJzICh3aXRoIHRoZSBleGNlcHRpb24gb2YgdGhlIHR3byA8YnI+DQpjby1jaGFpcnMpLCBidXQg dGhlc2Ugc3VibWlzc2lvbnMgd2lsbCBiZSBoZWxkIHRvIGEgaGlnaGVyIHN0YW5kYXJkLjxicj4N Cjxicj4NClN1Ym1pc3Npb24gaXMgaGFuZGxlZCB0aHJvdWdoIEhvdENSUDo8YnI+DQo8YnI+DQom bmJzcDsgPGEgaHJlZj0iaHR0cHM6Ly90eWRlMjMuaG90Y3JwLmNvbSIgdGFyZ2V0PSJfYmxhbmsi Pmh0dHBzOi8vdHlkZTIzLmhvdGNycC5jb208L2E+PGJyPg0KPGJyPg0KQWxsIHN1Ym1pc3Npb25z IHNob3VsZCBiZSBpbiBwb3J0YWJsZSBkb2N1bWVudCBmb3JtYXQgKFBERikgYW5kIDxicj4NCmZv cm1hdHRlZCB1c2luZyB0aGUgQUNNIFNJR1BMQU4gc3R5bGUgZ3VpZGVsaW5lczo8YnI+DQo8YnI+ DQombmJzcDsgPGEgaHJlZj0iaHR0cHM6Ly93d3cuc2lncGxhbi5vcmcvUmVzb3VyY2VzL0F1dGhv ci8iIHRhcmdldD0iX2JsYW5rIj5odHRwczovL3d3dy5zaWdwbGFuLm9yZy9SZXNvdXJjZXMvQXV0 aG9yLzwvYT48YnI+DQo8YnI+DQpOb3RlIHRoYXQgc3VibWlzc2lvbnMgc2hvdWxkIHVzZSB0aGUg bmV3ICdhY21hcnQnIGZvcm1hdCBhbmQgdGhlIDxicj4NCnR3by1jb2x1bW4gJ3NpZ3BsYW4nIHN1 YmZvcm1hdCAobm90IHRvIGJlIGNvbmZ1c2VkIHdpdGggdGhlIDxicj4NCm9uZS1jb2x1bW4gJ2Fj bXNtYWxsJyBzdWJmb3JtYXQpLjxicj4NCjxicj4NCkV4dGVuZGVkIGFic3RyYWN0cyBtdXN0IGJl IHN1Ym1pdHRlZCB3aXRoIHRoZSBsYWJlbCAnRXh0ZW5kZWQgPGJyPg0KQWJzdHJhY3QnIGNsZWFy bHkgaW4gdGhlIHRpdGxlLjxicj4NCjxicj4NCiMgUGFydGljaXBhbnQgU3VwcG9ydDxicj4NCjxi cj4NClN0dWRlbnQgYXR0ZW5kZWVzIHdpdGggYWNjZXB0ZWQgcGFwZXJzIGNhbiBhcHBseSBmb3Ig YSBTSUdQTEFOIFBBQyA8YnI+DQpncmFudCB0byBoZWxwIGNvdmVyIHBhcnRpY2lwYXRpb24tcmVs YXRlZCBleHBlbnNlcy4gUEFDIGFsc28gb2ZmZXJzIDxicj4NCm90aGVyIHN1cHBvcnQsIHN1Y2gg YXMgZm9yIGNoaWxkLWNhcmUgZXhwZW5zZXMgZHVyaW5nIHRoZSBtZWV0aW5nIG9yIDxicj4NCmZv ciBhY2NvbW1vZGF0aW9ucyBmb3IgbWVtYmVycyB3aXRoIHBoeXNpY2FsIGRpc2FiaWxpdGllcy4g Rm9yIDxicj4NCmRldGFpbHMgb24gdGhlIFBBQyBwcm9ncmFtLCBzZWUgaXRzIHdlYiBwYWdlOjxi cj4NCjxicj4NCiZuYnNwOyA8YSBocmVmPSJodHRwczovL3d3dy5zaWdwbGFuLm9yZy9QQUMvIiB0 YXJnZXQ9Il9ibGFuayI+aHR0cHM6Ly93d3cuc2lncGxhbi5vcmcvUEFDLzwvYT48YnI+DQo8YnI+ DQojIEltcG9ydGFudCBEYXRlczxicj4NCjxicj4NCi0gU3VibWlzc2lvbiBEZWFkbGluZTogVGh1 cnNkYXkgSnVuZSAxLCAyMDIzPGJyPg0KLSBBdXRob3IgTm90aWZpY2F0aW9uOiBUaHVyc2RheSBK dW5lIDI5LCAyMDIzPGJyPg0KLSBDYW1lcmEtUmVhZHkgRGVhZGxpbmU6IFRodXJzZGF5IEp1bHkg MTMsIDIwMjM8YnI+DQotIFdvcmtzaG9wOiBNb25kYXkgU2VwdGVtYmVyIDQsIDIwMjM8YnI+DQo8 YnI+DQojIFdvcmtzaG9wIE9yZ2FuaXphdGlvbjxicj4NCjxicj4NCk9yZ2FuaXppbmcgQ29tbWl0 dGVlOjxicj4NCi0gWW91eW91IENvbmcgKFRva3lvIEluc3RpdHV0ZSBvZiBUZWNobm9sb2d5LCBK YXBhbik8YnI+DQotIFBpZXJyZS1FdmFyaXN0ZSBEYWdhbmQgKElSSUYgLyBDTlJTLCBGcmFuY2Up PGJyPg0KPGJyPg0KUHJvZ3JhbSBDb21taXR0ZWU6PGJyPg0KLSBSZXluYWxkIEFmZmVsZHQgKEFJ U1QsIEphcGFuKTxicj4NCi0gU2FuZHJhIEFsdmVzIChEQ0MtRkNVUCwgUG9ydHVndWFsKTxicj4N Ci0gU3RlcGhlbiBDaGFuZyAoVU1hc3MgQm9zdG9uLCBVbml0ZWQgU3RhdGVzKTxicj4NCi0gTWFn bnVzIE1hZHNlbiAoQWFyaHVzIFVuaXZlcnNpdHksIERlbm1hcmspPGJyPg0KLSBWaWN0b3IgQ2Fj Y2lhcmkgTWlyYWxkbyAoQ2hhbm5hYmxlLCBOZXRoZXJsYW5kcyk8YnI+DQotIEpvbmF0aGFuIFBy b3R6ZW5rbyAoTWljcm9zb2Z0IFJlc2VhcmNoLCBVbml0ZWQgU3RhdGVzKTxicj4NCi0gTWFyaWFu bmEgUmFwb3BvcnQgKEFtYXpvbiBXZWIgU2VydmljZXMsIENhbmFkYSk8YnI+DQotIENocmlzdGlu ZSBSaXprYWxsYWggKFVuaXZlcnNpdHkgb2YgTWVsYm91cm5lLCBBdXN0cmFsaWEpPGJyPg0KLSBG aWxpcCBTaWVjemtvd3NraSAoSGVyaW90LVdhdHQgVW5pdmVyc2l0eSwgVW5pdGVkIEtpbmdkb20p PGJyPg0KLSBBYXJvbiBTdHVtcCAoVGhlIFVuaXZlcnNpdHkgb2YgSW93YSwgVW5pdGVkIFN0YXRl cyk8YnI+DQotIFBldGVyIFRoaWVtYW5uIChVbml2ZXJzaXR5IG9mIEZyZWlidXJnLCBHZXJtYW55 KTxicj4NCi0gTmluZ25pbmcgWGllIChHb29nbGUgQnJhaW4gLyBVbml2ZXJzaXR5IG9mIFRvcm9u dG8sIENhbmFkYSk8YnI+DQo8L2Rpdj4NCjwvYm9keT4NCjwvaHRtbD4NCg==