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; Thu, 6 Apr 2023 02:04: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; Thu, 6 Apr 2023 02:04: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; Thu, 6 Apr 2023 02:04: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 33614A3d032483 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 6 Apr 2023 02:04:10 +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 336141gk032465 for ; Thu, 6 Apr 2023 02:04:01 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Apr 2023 03:03:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 03290E03AB; Thu, 6 Apr 2023 03:04:00 +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 1924EE0157 for ; Thu, 6 Apr 2023 03:03:55 +0200 (CEST) Received: from mail-pl1-f173.google.com ([209.85.214.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 06 Apr 2023 03:03:52 +0200 Received: by mail-pl1-f173.google.com with SMTP id c18so36049969ple.11 for ; Wed, 05 Apr 2023 18:03:51 -0700 (PDT) Received: from mail-pj1-f52.google.com (mail-pj1-f52.google.com. [209.85.216.52]) by smtp.gmail.com with ESMTPSA id iz7-20020a170902ef8700b001a1c721f7f8sm120474plb.267.2023.04.05.18.03.47 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 05 Apr 2023 18:03:48 -0700 (PDT) Received: by mail-pj1-f52.google.com with SMTP id h12-20020a17090aea8c00b0023d1311fab3so39074562pjz.1 for ; Wed, 05 Apr 2023 18:03:47 -0700 (PDT) From: "Sato, Ryosuke" To: "ecoop-info@ecoop.org" , "caml-list@inria.fr" , "seworld@sigsoft.org" Subject: [Caml-list] APLAS 2023 first Call for Papers Thread-Topic: [Caml-list] APLAS 2023 first Call for Papers Thread-Index: AQHZaCPNDjG/FzQhEk6SDR/KoDjoGA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Thu, 6 Apr 2023 02:03:32 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: "Sato, Ryosuke" 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: 7c81fbf2-7534-4088-fd86-08db363af012 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:90b:4109:b0:23d:4e9b:8f90 with SMTP id io9-20020a17090b410900b0023d4e9b8f90mr3028651pjb.4.1680743027433; Wed, 05 Apr 2023 18:03: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="5.98,322,1673910000"; d="scan'208";a="52293983" 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: <8116368CE95ABD4EAFAA38D9B2B0EE1F@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PQ0KQ0FMTCBGT1IgUEFQRVJTDQoNCjIxc3QgQXNpYW4gU3ltcG9zaXVtIG9u IFByb2dyYW1taW5nIExhbmd1YWdlcyBhbmQgU3lzdGVtcyAoQVBMQVMgMjAyMykNClRhaXBlaSwg VGFpd2FuLCBTdW4gMjYg4oCTIFdlZCAyOSBOb3ZlbWJlciAyMDIzDQoNCmh0dHBzOi8vY29uZi5y ZXNlYXJjaHIub3JnL2hvbWUvYXBsYXMtMjAyMw0KPT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQoNCklNUE9SVEFO VCBEQVRFUw0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KU3VibWlzc2lv biBkZWFkbGluZTogVGh1IDE1IEp1biAyMDIzIEFvRQ0KQXV0aG9yIHJlc3BvbnNlOiBNb24gMzEg SnVsIDEyOjAwIC0gV2VkIDIgQXVnIDEyOjAwIDIwMjMgQW9FDQpBdXRob3Igbm90aWZpY2F0aW9u OiBNb24gMTQgQXVnIDIwMjMgQW9FDQpGaW5hbCBwYXBlciBkZWFkbGluZTogV2VkIDYgU2VwIDIw MjMgQW9FDQpDb25mZXJlbmNlOiBTdW4gMjYg4oCTIFdlZCAyOSBOb3YgMjAyMw0KDQoNClNDT1BF DQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQpXZSBzb2xpY2l0IHN1Ym1p c3Npb25zIGluIHRoZSBmb3JtIG9mIHJlZ3VsYXIgcmVzZWFyY2ggcGFwZXJzDQpkZXNjcmliaW5n IG9yaWdpbmFsIHNjaWVudGlmaWMgcmVzZWFyY2ggcmVzdWx0cywgaW5jbHVkaW5nIHN5c3RlbQ0K ZGV2ZWxvcG1lbnQgYW5kIGNhc2Ugc3R1ZGllcy4gQW1vbmcgb3RoZXJzLCBzb2xpY2l0ZWQgdG9w aWNzIGluY2x1ZGU6DQoNCi0gKiogcHJvZ3JhbW1pbmcgcGFyYWRpZ21zIGFuZCBzdHlsZXMgKiog Og0KICAgIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmc7IG9iamVjdC1vcmllbnRlZCBwcm9ncmFtbWlu ZzsgcHJvYmFiaWxpc3RpYw0KICBwcm9ncmFtbWluZzsgbG9naWMNCiAgcHJvZ3JhbW1pbmc7IGNv bnN0cmFpbnQgcHJvZ3JhbW1pbmc7IGV4dGVuc2libGUgcHJvZ3JhbW1pbmcNCiAgbGFuZ3VhZ2Vz OyBwcm9ncmFtbWluZyBsYW5ndWFnZXMgZm9yIHN5c3RlbXMgY29kZTsgbm92ZWwgcHJvZ3JhbW1p bmcNCiAgcGFyYWRpZ21zOw0KDQotICoqIG1ldGhvZHMgYW5kIHRvb2xzIHRvIHNwZWNpZnkgYW5k IHJlYXNvbiBhYm91dCBwcm9ncmFtcyBhbmQNCiAgbGFuZ3VhZ2VzICoqIDoNCg0KICBwcm9ncmFt bWluZyB0ZWNobmlxdWVzOyBtZXRhLXByb2dyYW1taW5nOyBkb21haW4tc3BlY2lmaWMNCiAgbGFu Z3VhZ2VzOyBwcm9vZiBhc3Npc3RhbnRzOyB0eXBlIHN5c3RlbXM7IGRlcGVuZGVudCB0eXBlczsg cHJvZ3JhbQ0KICBsb2dpY3MsIHN0YXRpYyBhbmQgZHluYW1pYyBwcm9ncmFtIGFuYWx5c2lzOyBs YW5ndWFnZS1iYXNlZA0KICBzZWN1cml0eTsgbW9kZWwgY2hlY2tpbmc7IHRlc3Rpbmc7DQoNCi0g KiogcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UgZm91bmRhdGlvbnMgKiogOg0KDQogIGZvcm1hbCBzZW1h bnRpY3M7IHR5cGUgdGhlb3J5OyBsb2dpY2FsIGZvdW5kYXRpb25zOyBjYXRlZ29yeQ0KICB0aGVv cnk7IGF1dG9tYXRhOyBlZmZlY3RzOyBtb25hZHMgYW5kIGNvbW9uYWRzOyByZWN1cnNpb24gYW5k DQogIGNvcmVjdXJzaW9uOyBjb250aW51YXRpb25zIGFuZCBlZmZlY3QgaGFuZGxlcnM7IHByb2dy YW0NCiAgdmVyaWZpY2F0aW9uOyBtZW1vcnkgbW9kZWxzOyBhYnN0cmFjdCBpbnRlcnByZXRhdGlv bjsNCg0KLSAqKiBtZXRob2RzIGFuZCB0b29scyBmb3IgaW1wbGVtZW50YXRpb24gKiogOg0KDQog IGNvbXBpbGVyczsgcHJvZ3JhbSB0cmFuc2Zvcm1hdGlvbnM7IHJld3JpdGluZyBzeXN0ZW1zOw0K ICBwYXJ0aWFsIGV2YWx1YXRpb247IHZpcnR1YWwgbWFjaGluZXM7IHJlZmFjdG9yaW5nOyBpbnRl cm1lZGlhdGUNCiAgbGFuZ3VhZ2VzOyBydW4tdGltZSBlbnZpcm9ubWVudHM7IGdhcmJhZ2UgY29s bGVjdGlvbiBhbmQgbWVtb3J5DQogIG1hbmFnZW1lbnQ7IHRyYWNpbmc7IHByb2ZpbGluZzsgYnVp bGQgc3lzdGVtczsgcHJvZ3JhbSBzeW50aGVzaXM7DQoNCi0gKiogY29uY3VycmVuY3kgYW5kIGRp c3RyaWJ1dGlvbiAqKiA6DQoNCiAgcHJvY2VzcyBhbGdlYnJhczsgY29uY3VycmVuY3kgdGhlb3J5 OyBzZXNzaW9uIHR5cGVzOyBwYXJhbGxlbA0KICBwcm9ncmFtbWluZzsgc2VydmljZS1vcmllbnRl ZCBjb21wdXRpbmc7IGRpc3RyaWJ1dGVkIGFuZCBtb2JpbGUNCiAgY29tcHV0aW5nOyBhY3Rvci1i YXNlZCBsYW5ndWFnZXM7IHZlcmlmaWNhdGlvbiBhbmQgdGVzdGluZyBvZg0KICBjb25jdXJyZW50 IGFuZCBkaXN0cmlidXRlZCBzeXN0ZW1zOw0KDQotICoqIGFwcGxpY2F0aW9ucyBhbmQgZW1lcmdp bmcgdG9waWNzICoqIDoNCg0KICBwcm9ncmFtbWluZyBsYW5ndWFnZXMgYW5kIFBMIG1ldGhvZHMg aW4gZWR1Y2F0aW9uLCBzZWN1cml0eSwNCiAgcHJpdmFjeSwgZGF0YWJhc2Ugc3lzdGVtcywgY29t cHV0YXRpb25hbCBiaW9sb2d5LCBzaWduYWwNCiAgcHJvY2Vzc2luZywgZ3JhcGhpY3MsIGh1bWFu LWNvbXB1dGVyIGludGVyYWN0aW9uLCBjb21wdXRlci1haWRlZA0KICBkZXNpZ24sIGFydGlmaWNp YWwgaW50ZWxsaWdlbmNlIGFuZCBtYWNoaW5lIGxlYXJuaW5nOyBjYXNlDQogIHN0dWRpZXMgaW4g cHJvZ3JhbSBhbmFseXNpcyBhbmQgdmVyaWZpY2F0aW9uLg0KDQoNCkdFTkVSQUwgSU5GT1JNQVRJ T04NCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NClN1Ym1pc3Npb25zIHNo b3VsZCBub3QgZXhjZWVkIDE3IHBhZ2VzLCBleGNsdWRpbmcgYmlibGlvZ3JhcGh5IGluIHRoZQ0K U3ByaW5nZXIgTE5DUyBmb3JtYXQuIExhVGVYIHRlbXBsYXRlIGlzIGF2YWlsYWJsZSBhdDoNCg0K ICBodHRwczovL3d3dy5zcHJpbmdlci5jb20vZ3AvY29tcHV0ZXItc2NpZW5jZS9sbmNzL2NvbmZl cmVuY2UtcHJvY2VlZGluZ3MtZ3VpZGVsaW5lcw0KDQpUaGUgYWNjZXB0ZWQgcGFwZXJzIHdpbGwg YmUgYWxsb3dlZCB0byB1c2Ugb25lIGV4dHJhIHBhZ2UgZm9yIHRoZQ0KY29udGVudCB0byBhY2Nv bW1vZGF0ZSBmZWVkYmFjayBmcm9tIHRoZSByZXZpZXdzIGluIHRoZSBmaW5hbCBwYXBlcg0KdmVy c2lvbnMuDQoNClBhcGVycyBzaG91bGQgYmUgc3VibWl0dGVkIHZpYSBIb3RDUlA6DQoNCiAgaHR0 cHM6Ly9hcGxhczIwMjMuaG90Y3JwLmNvbS8NCg0KVGhlIHJldmlldyBwcm9jZXNzIG9mIEFQTEFT IDIwMjMgaXMgZG91YmxlLWFub255bW91cywgd2l0aCBhIHJlYnV0dGFsDQpwaGFzZS4gSW4geW91 ciBzdWJtaXNzaW9uLCBwbGVhc2UsIG9taXQgeW91ciBuYW1lcyBhbmQgaW5zdGl0dXRpb25zOw0K cmVmZXIgdG8geW91ciBwcmlvciB3b3JrIGluIHRoZSB0aGlyZCBwZXJzb24sIGp1c3QgYXMgeW91 IHJlZmVyIHRvDQpwcmlvciB3b3JrIGJ5IG90aGVyczsgZG8gbm90IGluY2x1ZGUgYWNrbm93bGVk Z21lbnRzIHRoYXQgbWlnaHQNCmlkZW50aWZ5IHlvdS4NCg0KQWRkaXRpb25hbCBtYXRlcmlhbCBp bnRlbmRlZCBmb3IgcmV2aWV3ZXJzIGJ1dCBub3QgZm9yIHB1YmxpY2F0aW9uIGluDQp0aGUgZmlu YWwgdmVyc2lvbiAtIGZvciBleGFtcGxlLCBkZXRhaWxzIG9mIHByb29mcyAtIG1heSBiZSBwbGFj ZWQgaW4NCmEgY2xlYXJseSBtYXJrZWQgYXBwZW5kaXggdGhhdCBpcyBub3QgaW5jbHVkZWQgaW4g dGhlIHBhZ2UgbGltaXQuDQpSZXZpZXdlcnMgYXJlIGF0IGxpYmVydHkgdG8gaWdub3JlIGFwcGVu ZGljZXMgYW5kIHBhcGVycyBtdXN0IGJlDQp1bmRlcnN0YW5kYWJsZSB3aXRob3V0IHRoZW0uDQoN ClN1Ym1pdHRlZCBwYXBlcnMgbXVzdCBiZSB1bnB1Ymxpc2hlZCBhbmQgbm90IHN1Ym1pdHRlZCBm b3IgcHVibGljYXRpb24NCmVsc2V3aGVyZS4gUGFwZXJzIG11c3QgYmUgd3JpdHRlbiBpbiBFbmds aXNoLiBUaGUgcHJvY2VlZGluZ3Mgd2lsbCBiZQ0KcHVibGlzaGVkIGFzIGEgdm9sdW1lIGluIFNw cmluZ2Vy4oCZcyBMTkNTIHNlcmllcy4gQWNjZXB0ZWQgcGFwZXJzIG11c3QNCmJlIHByZXNlbnRl ZCBhdCB0aGUgY29uZmVyZW5jZS4NCg0KDQpQT1NURVJTIGFuZCBTVFVERU5UIFJFU0VBUkNIIENP TVBFVElUSU9ODQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNCkFQ TEFTIDIwMjMgaW5jbHVkZXMgYSBQb3N0ZXJzIHNlc3Npb24gYW5kIGEgU3R1ZGVudCBSZXNlYXJj aA0KQ29tcGV0aXRpb24uIEZvciBtb3JlIGRldGFpbHMsIHBsZWFzZSBzZWUgdGhlIHdlYnNpdGUu DQoNCiBodHRwczovL2NvbmYucmVzZWFyY2hyLm9yZy90cmFjay9hcGxhcy0yMDIzL3Bvc3RlcnMt YW5kLXNyYw0KDQoNCk9SR0FOSVpFUlMNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0NCg0KR2VuZXJhbCBDaGFpcjoNCg0KICBTaGluLUNoZW5nIE11LCBBY2FkZW1pYSBTaW5p Y2EsIFRhaXdhbg0KDQpQcm9ncmFtIENoYWlyOg0KDQogIENodW5nLUtpbCBIdXIsIFNlb3VsIE5h dGlvbmFsIFVuaXZlcnNpdHksIEtvcmVhDQoNClB1YmxpY2l0eSBDaGFpcjoNCg0KICBSeW9zdWtl IFNhdG8sIFVuaXZlcnNpdHkgb2YgVG9reW8sIEphcGFuDQoNClByb2dyYW0gQ29tbWl0dGVlOg0K DQogIFNvaGFtIENoYWtyYWJvcnR5LCBUVSBEZWxmdCwgTmV0aGVybGFuZHMNCiAgWXUtRmFuZyBD aGVuLCBBY2FkZW1pYSBTaW5pY2EsIFRhaXdhbg0KICBSb25naHVpIEd1LCBDb2x1bWJpYSBVbml2 ZXJzaXR5LCBVU0ENCiAgSWNoaXJvIEhhc3VvLCBOYXRpb25hbCBJbnN0aXR1dGUgb2YgSW5mb3Jt YXRpY3MsIEphcGFuDQogIFJhbGYgSnVuZywgRVRIIFp1cmljaCwgU3dpdHplcmxhbmQNCiAgT2hh ZCBLYW1tYXIsIFVuaXZlcnNpdHkgb2YgRWRpbmJ1cmdoLCBVSw0KICBKZWVob29uIEthbmcsIEtB SVNULCBLb3JlYQ0KICBKaWV1bmcgS2ltLCBJbmhhIFVuaXZlcnNpdHksIEtvcmVhDQogIFJvYmJl cnQgS3JlYmJlcnMsIFJhZGJvdWQgVW5pdmVyc2l0eSBOaWptZWdlbiwgTmV0aGVybGFuZHMNCiAg T3JpIExhaGF2LCBUZWwgQXZpdiBVbml2ZXJzaXR5LCBJc3JhZWwNCiAgRG91ZyBMZWEsIFN0YXRl IFVuaXZlcnNpdHkgb2YgTmV3IFlvcmsgYXQgT3N3ZWdvLCBVU0ENCiAgV29vc3VrIExlZSwgSGFu eWFuZyBVbml2ZXJzaXR5LCBLb3JlYQ0KICBIb25namluIExpYW5nLCBOYW5qaW5nIFVuaXZlcnNp dHksIENoaW5hDQogIE51bm8gUC4gTG9wZXMsIFVuaXZlcnNpdHkgb2YgTGlzYm9uLCBQb3J0dWdh bA0KICBDaGFuZHJha2FuYSBOYW5kaSwgQ2VydG9yYSBhbmQgVVcsIFVTQQ0KICBMaWFtIE8nQ29u bm9yLCBUaGUgVW5pdmVyc2l0eSBvZiBFZGluYnVyZ2gsIFVLDQogIEJydW5vIEMuIGQuIFMuIE9s aXZlaXJhLCBUaGUgVW5pdmVyc2l0eSBvZiBIb25nIEtvbmcsIEhvbmcgS29uZw0KICBKaWh5ZW9r IFBhcmssIEtvcmVhIFVuaXZlcnNpdHksIEtvcmVhDQogIENsw6ltZW50IFBpdC1DbGF1ZGVsLCBF UEZMLCBTd2l0emVybGFuZA0KICBNYXR0aGlldSBTb3plYXUsIElucmlhLCBGcmFuY2UNCiAgS29o ZWkgU3VlbmFnYSwgS3lvdG8gVW5pdmVyc2l0eSwgSmFwYW4NCiAgVGFybW8gVXVzdGFsdSwgUmV5 a2phdmlrIFVuaXZlcnNpdHksIEljZWxhbmQNCiAgSm9obiBXaWNrZXJzb24sIEltcGVyaWFsIENv bGxlZ2UgTG9uZG9uLCBVSw0KICBEYW5mZW5nIFpoYW5nLCBQZW5uIFN0YXRlIFVuaXZlcnNpdHks IFVTQQ0K