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; Fri, 2 Jun 2023 14:02:56 +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; Fri, 2 Jun 2023 14:02:56 +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; Fri, 2 Jun 2023 14:02:56 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 352D2B1M005299 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 2 Jun 2023 14:02:11 +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 352D23VZ005285 for ; Fri, 2 Jun 2023 14:02:03 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jun 2023 15:02:00 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 68DE7E0CD0; Fri, 2 Jun 2023 15:02:01 +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 A6E9DE0094 for ; Fri, 2 Jun 2023 15:01:55 +0200 (CEST) Received: from mail002.nap.gsic.titech.ac.jp ([131.112.13.102]) by mail2-smtp-roc.national.inria.fr with SMTP; 02 Jun 2023 15:01:51 +0200 Received: from 172.22.40.204 by mail002.nap.gsic.titech.ac.jp with Mail2000 ESMTP Server V7.00(32958:0:AUTH_RELAY) (envelope-from ); Fri, 02 Jun 2023 22:01:51 +0900 (JST) Received: from mail002.nap.gsic.titech.ac.jp (mail002.nap.gsic.titech.ac.jp [131.112.13.102]) by drweb07.nap.gsic.titech.ac.jp (Postfix) with SMTP id 70048542A for ; Fri, 2 Jun 2023 22:01:51 +0900 (JST) Received: from 209.85.210.182 by mail002.nap.gsic.titech.ac.jp with Mail2000 ESMTPA Server V7.00(32962:0:AUTH_LOGIN) (envelope-from ); Fri, 02 Jun 2023 22:01:48 +0900 (JST) Received: by mail-pf1-f182.google.com with SMTP id d2e1a72fcca58-64d247a023aso1419041b3a.2 for ; Fri, 02 Jun 2023 06:01:48 -0700 (PDT) From: Youyou Cong To: "caml-list@inria.fr" Subject: [Caml-list] TyDe 2023 - Second Call for Papers and Deadline Extension Thread-Topic: [Caml-list] TyDe 2023 - Second Call for Papers and Deadline Extension Thread-Index: AQHZlVKMatrKbyZE9U2cyGsQLUflcw== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 2 Jun 2023 14:00: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: ebccde63-746f-43e5-fad4-08db6369af3c 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:a17:902:d508:b0:1b0:e0a:b7ab with SMTP id b8-20020a170902d50800b001b00e0ab7abmr1678936plg.31.1685710907451; Fri, 02 Jun 2023 06:01:47 -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="6.00,213,1681164000"; d="scan'208,217";a="110954898" 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+VEw7RFI6IFRoZSBzdWJtaXNzaW9uIGRlYWRsaW5lIGZvciBUeURlIDIwMjMgaGFzIGJlZW4g ZXh0ZW5kZWQNCjxkaXY+dG8gVGh1cnNkYXkgSnVuZSA4Ljxicj4NCjxicj4NCi0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tPGJyPg0KJm5ic3A7Q0FMTCBGT1IgUEFQRVJTPGJyPg0KPGJyPg0KJm5ic3A7 OHRoIFdvcmtzaG9wIG9uIFR5cGUtRHJpdmVuIERldmVsb3BtZW50IChUeURlIDIwMjMpPGJyPg0K Jm5ic3A7Q28tTG9jYXRlZCB3aXRoIElDRlAgMjAyMyAoU2VhdHRsZSwgV2FzaGluZ3RvbiwgVVNB KTxicj4NCjxicj4NCiZuYnNwOzxhIGhyZWY9Imh0dHBzOi8vaWNmcDIzLnNpZ3BsYW4ub3JnL2hv bWUvdHlkZS0yMDIzIiB0YXJnZXQ9Il9ibGFuayI+aHR0cHM6Ly9pY2ZwMjMuc2lncGxhbi5vcmcv aG9tZS90eWRlLTIwMjM8L2E+PGJyPg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08YnI+DQo8YnI+ DQojIEdvYWxzIG9mIHRoZSBXb3Jrc2hvcDxicj4NCjxicj4NClRoZSBXb3Jrc2hvcCBvbiBUeXBl LURyaXZlbiBEZXZlbG9wbWVudCAoVHlEZSkgYWltcyB0byBzaG93IGhvdzxicj4NCnN0YXRpYyB0 eXBlIGluZm9ybWF0aW9uIG1heSBiZSB1c2VkIGVmZmVjdGl2ZWx5IGluIHRoZSBkZXZlbG9wbWVu dDxicj4NCm9mIGNvbXB1dGVyIHByb2dyYW1zLiBDby1sb2NhdGVkIHdpdGggSUNGUCwgdGhpcyB3 b3Jrc2hvcCBicmluZ3M8YnI+DQp0b2dldGhlciBsZWFkaW5nIHJlc2VhcmNoZXJzIGFuZCBwcmFj dGl0aW9uZXJzIHdobyBhcmUgdXNpbmcgb3I8YnI+DQpleHBsb3JpbmcgdHlwZXMgYXMgYSBtZWFu cyBvZiBwcm9ncmFtIGRldmVsb3BtZW50Ljxicj4NCjxicj4NCldlIHdlbGNvbWUgYWxsIGNvbnRy aWJ1dGlvbnMsIGJvdGggdGhlb3JldGljYWwgYW5kIHByYWN0aWNhbCwgb24gYTxicj4NCnJhbmdl IG9mIHRvcGljcyBpbmNsdWRpbmc6PGJyPg0KPGJyPg0KLSBkZXBlbmRlbnRseSB0eXBlZCBwcm9n cmFtbWluZzs8YnI+DQotIGdlbmVyaWMgcHJvZ3JhbW1pbmc7PGJyPg0KLSBkZXNpZ24gYW5kIGlt cGxlbWVudGF0aW9uIG9mIHByb2dyYW1taW5nIGxhbmd1YWdlcywgZXhwbG9pdGluZzxicj4NCiZu YnNwOyB0eXBlcyBpbiBub3ZlbCB3YXlzOzxicj4NCi0gZXhwbG9pdGluZyB0eXBlZCBkYXRhLCBk YXRhIGRlcGVuZGVudCBkYXRhLCBvciB0eXBlIHByb3ZpZGVyczs8YnI+DQotIHN0YXRpYyBhbmQg ZHluYW1pYyBhbmFseXNlcyBvZiB0eXBlZCBwcm9ncmFtczs8YnI+DQotIHRvb2xzLCBJREVzLCBv ciB0ZXN0aW5nIHRvb2xzIGV4cGxvaXRpbmcgdHlwZSBpbmZvcm1hdGlvbjs8YnI+DQotIHBlYXJs cywgYmVpbmcgZWxlZ2FudCwgaW5zdHJ1Y3RpdmUgZXhhbXBsZXMgb2YgdHlwZXMgdXNlZCBpbiB0 aGU8YnI+DQombmJzcDsgZGVyaXZhdGlvbiwgY2FsY3VsYXRpb24sIG9yIGNvbnN0cnVjdGlvbiBv ZiBwcm9ncmFtcy48YnI+DQo8YnI+DQojIFByb2NlZWRpbmdzIGFuZCBDb3B5cmlnaHQ8YnI+DQo8 YnI+DQpXZSB3aWxsIGhhdmUgZm9ybWFsIHByb2NlZWRpbmdzLCBwdWJsaXNoZWQgYnkgdGhlIEFD TS4gQWNjZXB0ZWQ8YnI+DQpwYXBlcnMgd2lsbCBiZSBpbmNsdWRlZCBpbiB0aGUgQUNNIERpZ2l0 YWwgTGlicmFyeS4gQXV0aG9ycyBtdXN0PGJyPg0KZ3JhbnQgQUNNIHB1YmxpY2F0aW9uIHJpZ2h0 cyB1cG9uIGFjY2VwdGFuY2UsIGJ1dCBtYXkgcmV0YWluPGJyPg0KY29weXJpZ2h0IGlmIHRoZXkg d2lzaC4gQXV0aG9ycyBhcmUgZW5jb3VyYWdlZCB0byBwdWJsaXNoIGF1eGlsaWFyeTxicj4NCm1h dGVyaWFsIHdpdGggdGhlaXIgcGFwZXIgKHNvdXJjZSBjb2RlLCB0ZXN0IGRhdGEsIGFuZCBzbyBm b3J0aCkuPGJyPg0KVGhlIHByb2NlZWRpbmdzIHdpbGwgYmUgZnJlZWx5IGF2YWlsYWJsZSBmb3Ig ZG93bmxvYWQgZnJvbSB0aGUgQUNNPGJyPg0KRGlnaXRhbCBMaWJyYXJ5IGZyb20gb25lIHdlZWsg YmVmb3JlIHRoZSBzdGFydCBvZiB0aGUgY29uZmVyZW5jZTxicj4NCnVudGlsIHR3byB3ZWVrcyBh ZnRlciB0aGUgY29uZmVyZW5jZS48YnI+DQo8YnI+DQpUaGUgb2ZmaWNpYWwgcHVibGljYXRpb24g ZGF0ZSBpcyB0aGUgZGF0ZSB0aGUgcGFwZXJzIGFyZSBtYWRlPGJyPg0KYXZhaWxhYmxlIGluIHRo ZSBBQ00gRGlnaXRhbCBMaWJyYXJ5LiBUaGlzIGRhdGUgbWF5IGJlIHVwIHRvIHR3bzxicj4NCndl ZWtzIHByaW9yIHRvIHRoZSBmaXJzdCBkYXkgb2YgdGhlIGNvbmZlcmVuY2UuIFRoZSBvZmZpY2lh bDxicj4NCnB1YmxpY2F0aW9uIGRhdGUgYWZmZWN0cyB0aGUgZGVhZGxpbmUgZm9yIGFueSBwYXRl bnQgZmlsaW5ncyByZWxhdGVkPGJyPg0KdG8gcHVibGlzaGVkIHdvcmsuPGJyPg0KPGJyPg0KIyBT dWJtaXNzaW9uIERldGFpbHM8YnI+DQo8YnI+DQpTdWJtaXNzaW9ucyBzaG91bGQgZmFsbCBpbnRv IG9uZSBvZiB0d28gY2F0ZWdvcmllczo8YnI+DQo8YnI+DQotIHJlZ3VsYXIgcmVzZWFyY2ggcGFw ZXJzICgxMiBwYWdlcyk7PGJyPg0KLSBleHRlbmRlZCBhYnN0cmFjdHMgKDMgcGFnZXMpLjxicj4N Cjxicj4NClRoZSBiaWJsaW9ncmFwaHkgd2lsbCBub3QgYmUgY291bnRlZCBhZ2FpbnN0IHRoZSBw YWdlIGxpbWl0cyBmb3I8YnI+DQplaXRoZXIgY2F0ZWdvcnkuPGJyPg0KPGJyPg0KUmVndWxhciBy ZXNlYXJjaCBwYXBlcnMgYXJlIGV4cGVjdGVkIHRvIHByZXNlbnQgbm92ZWwgYW5kIGludGVyZXN0 aW5nPGJyPg0KcmVzZWFyY2ggcmVzdWx0cywgYW5kIHdpbGwgYmUgaW5jbHVkZWQgaW4gdGhlIGZv cm1hbCBwcm9jZWVkaW5ncy48YnI+DQpFeHRlbmRlZCBhYnN0cmFjdHMgc2hvdWxkIHJlcG9ydCB3 b3JrIGluIHByb2dyZXNzIHRoYXQgdGhlIGF1dGhvcnM8YnI+DQp3b3VsZCBsaWtlIHRvIHByZXNl bnQgYXQgdGhlIHdvcmtzaG9wLiBFeHRlbmRlZCBhYnN0cmFjdHMgd2lsbCBiZTxicj4NCmRpc3Ry aWJ1dGVkIHRvIHdvcmtzaG9wIGF0dGVuZGVlcyBidXQgd2lsbCBub3QgYmUgcHVibGlzaGVkIGlu IHRoZTxicj4NCmZvcm1hbCBwcm9jZWVkaW5ncy48YnI+DQo8YnI+DQpXZSB3ZWxjb21lIHN1Ym1p c3Npb25zIGZyb20gUEMgbWVtYmVycyAod2l0aCB0aGUgZXhjZXB0aW9uIG9mIHRoZSB0d288YnI+ DQpjby1jaGFpcnMpLCBidXQgdGhlc2Ugc3VibWlzc2lvbnMgd2lsbCBiZSBoZWxkIHRvIGEgaGln aGVyIHN0YW5kYXJkLjxicj4NCjxicj4NClN1Ym1pc3Npb24gaXMgaGFuZGxlZCB0aHJvdWdoIEhv dENSUDo8YnI+DQo8YnI+DQombmJzcDsgPGEgaHJlZj0iaHR0cHM6Ly90eWRlMjMuaG90Y3JwLmNv bSIgdGFyZ2V0PSJfYmxhbmsiPmh0dHBzOi8vdHlkZTIzLmhvdGNycC5jb208L2E+PGJyPg0KPGJy Pg0KQWxsIHN1Ym1pc3Npb25zIHNob3VsZCBiZSBpbiBwb3J0YWJsZSBkb2N1bWVudCBmb3JtYXQg KFBERikgYW5kPGJyPg0KZm9ybWF0dGVkIHVzaW5nIHRoZSBBQ00gU0lHUExBTiBzdHlsZSBndWlk ZWxpbmVzOjxicj4NCjxicj4NCiZuYnNwOyA8YSBocmVmPSJodHRwczovL3d3dy5zaWdwbGFuLm9y Zy9SZXNvdXJjZXMvQXV0aG9yLyIgdGFyZ2V0PSJfYmxhbmsiPmh0dHBzOi8vd3d3LnNpZ3BsYW4u b3JnL1Jlc291cmNlcy9BdXRob3IvPC9hPjxicj4NCjxicj4NCk5vdGUgdGhhdCBzdWJtaXNzaW9u cyBzaG91bGQgdXNlIHRoZSBuZXcgJ2FjbWFydCcgZm9ybWF0IGFuZCB0aGU8YnI+DQp0d28tY29s dW1uICdzaWdwbGFuJyBzdWJmb3JtYXQgKG5vdCB0byBiZSBjb25mdXNlZCB3aXRoIHRoZTxicj4N Cm9uZS1jb2x1bW4gJ2FjbXNtYWxsJyBzdWJmb3JtYXQpLjxicj4NCjxicj4NCkV4dGVuZGVkIGFi c3RyYWN0cyBtdXN0IGJlIHN1Ym1pdHRlZCB3aXRoIHRoZSBsYWJlbCAnRXh0ZW5kZWQ8YnI+DQpB YnN0cmFjdCcgY2xlYXJseSBpbiB0aGUgdGl0bGUuPGJyPg0KPGJyPg0KIyBQYXJ0aWNpcGFudCBT dXBwb3J0PGJyPg0KPGJyPg0KU3R1ZGVudCBhdHRlbmRlZXMgd2l0aCBhY2NlcHRlZCBwYXBlcnMg Y2FuIGFwcGx5IGZvciBhIFNJR1BMQU4gUEFDPGJyPg0KZ3JhbnQgdG8gaGVscCBjb3ZlciBwYXJ0 aWNpcGF0aW9uLXJlbGF0ZWQgZXhwZW5zZXMuIFBBQyBhbHNvIG9mZmVyczxicj4NCm90aGVyIHN1 cHBvcnQsIHN1Y2ggYXMgZm9yIGNoaWxkLWNhcmUgZXhwZW5zZXMgZHVyaW5nIHRoZSBtZWV0aW5n IG9yPGJyPg0KZm9yIGFjY29tbW9kYXRpb25zIGZvciBtZW1iZXJzIHdpdGggcGh5c2ljYWwgZGlz YWJpbGl0aWVzLiBGb3I8YnI+DQpkZXRhaWxzIG9uIHRoZSBQQUMgcHJvZ3JhbSwgc2VlIGl0cyB3 ZWIgcGFnZTo8YnI+DQo8YnI+DQombmJzcDsgPGEgaHJlZj0iaHR0cHM6Ly93d3cuc2lncGxhbi5v cmcvUEFDLyIgdGFyZ2V0PSJfYmxhbmsiPmh0dHBzOi8vd3d3LnNpZ3BsYW4ub3JnL1BBQy88L2E+ PGJyPg0KPGJyPg0KIyBJbXBvcnRhbnQgRGF0ZXM8YnI+DQo8YnI+DQotIFN1Ym1pc3Npb24gRGVh ZGxpbmU6IFRodXJzZGF5IEp1bmUgOCwgMjAyMyAoZXh0ZW5kZWQpPGJyPg0KLSBBdXRob3IgTm90 aWZpY2F0aW9uOiBUaHVyc2RheSBKdW5lIDI5LCAyMDIzPGJyPg0KLSBDYW1lcmEtUmVhZHkgRGVh ZGxpbmU6IFRodXJzZGF5IEp1bHkgMTMsIDIwMjM8YnI+DQotIFdvcmtzaG9wOiBNb25kYXkgU2Vw dGVtYmVyIDQsIDIwMjM8YnI+DQo8YnI+DQojIFdvcmtzaG9wIE9yZ2FuaXphdGlvbjxicj4NCjxi cj4NCk9yZ2FuaXppbmcgQ29tbWl0dGVlOjxicj4NCi0gWW91eW91IENvbmcgKFRva3lvIEluc3Rp dHV0ZSBvZiBUZWNobm9sb2d5LCBKYXBhbik8YnI+DQotIFBpZXJyZS1FdmFyaXN0ZSBEYWdhbmQg KElSSUYgLyBDTlJTLCBGcmFuY2UpPGJyPg0KPGJyPg0KUHJvZ3JhbSBDb21taXR0ZWU6PGJyPg0K LSBSZXluYWxkIEFmZmVsZHQgKEFJU1QsIEphcGFuKTxicj4NCi0gU2FuZHJhIEFsdmVzIChEQ0Mt RkNVUCwgUG9ydHVndWFsKTxicj4NCi0gU3RlcGhlbiBDaGFuZyAoVU1hc3MgQm9zdG9uLCBVbml0 ZWQgU3RhdGVzKTxicj4NCi0gTWFnbnVzIE1hZHNlbiAoQWFyaHVzIFVuaXZlcnNpdHksIERlbm1h cmspPGJyPg0KLSBWaWN0b3IgQ2FjY2lhcmkgTWlyYWxkbyAoQ2hhbm5hYmxlLCBOZXRoZXJsYW5k cyk8YnI+DQotIEpvbmF0aGFuIFByb3R6ZW5rbyAoTWljcm9zb2Z0IFJlc2VhcmNoLCBVbml0ZWQg U3RhdGVzKTxicj4NCi0gTWFyaWFubmEgUmFwb3BvcnQgKEFtYXpvbiBXZWIgU2VydmljZXMsIENh bmFkYSk8YnI+DQotIENocmlzdGluZSBSaXprYWxsYWggKFVuaXZlcnNpdHkgb2YgTWVsYm91cm5l LCBBdXN0cmFsaWEpPGJyPg0KLSBGaWxpcCBTaWVjemtvd3NraSAoSGVyaW90LVdhdHQgVW5pdmVy c2l0eSwgVW5pdGVkIEtpbmdkb20pPGJyPg0KLSBBYXJvbiBTdHVtcCAoVGhlIFVuaXZlcnNpdHkg b2YgSW93YSwgVW5pdGVkIFN0YXRlcyk8YnI+DQotIFBldGVyIFRoaWVtYW5uIChVbml2ZXJzaXR5 IG9mIEZyZWlidXJnLCBHZXJtYW55KTxicj4NCi0gTmluZ25pbmcgWGllIChHb29nbGUgQnJhaW4g LyBVbml2ZXJzaXR5IG9mIFRvcm9udG8sIENhbmFkYSk8YnI+DQo8L2Rpdj4NCjwvZGl2Pg0KPC9i b2R5Pg0KPC9odG1sPg0K