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.27 via Mailbox Transport; Tue, 8 Aug 2023 01:04:40 +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.27; Tue, 8 Aug 2023 01:04:39 +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.27 via Frontend Transport; Tue, 8 Aug 2023 01:04:39 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 37803xsG011576 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 8 Aug 2023 01:03:59 +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 37803nxq011560 for ; Tue, 8 Aug 2023 01:03:49 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Aug 2023 02:03:49 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E25B5E0141; Tue, 8 Aug 2023 02:03:48 +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 6E9BDE0138 for ; Tue, 8 Aug 2023 02:03:40 +0200 (CEST) Received: from mail-il1-f172.google.com ([209.85.166.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Aug 2023 02:03:39 +0200 Received: by mail-il1-f172.google.com with SMTP id e9e14a558f8ab-3492ef885ffso18854015ab.2 for ; Mon, 07 Aug 2023 17:03:37 -0700 (PDT) Received: from mail-io1-f48.google.com (mail-io1-f48.google.com. [209.85.166.48]) by smtp.gmail.com with ESMTPSA id c3-20020a92c8c3000000b003460b8505easm3093550ilq.19.2023.08.07.17.03.35 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 07 Aug 2023 17:03:35 -0700 (PDT) Received: by mail-io1-f48.google.com with SMTP id ca18e2360f4ac-790ba9cf42aso182896239f.3; Mon, 07 Aug 2023 17:03:35 -0700 (PDT) From: "Sato, Ryosuke" To: "caml-list@inria.fr" , "types-announce@lists.seas.upenn.edu" , "coq-club@inria.fr" , "haskell@haskell.org" , "agda@lists.chalmers.se" Subject: [Caml-list] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023 Thread-Topic: [Caml-list] Second Call for Submissions: Student Research Competition and Posters, APLAS 2023 Thread-Index: AQHZyYvt+5QKwYIQZE6gwOBPZXCD8Q== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 8 Aug 2023 01:03:23 +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: 0b29e667-52c0-4439-2abc-08db97a30f79 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:6e02:963:b0:348:e4a7:7bff with SMTP id q3-20020a056e02096300b00348e4a77bffmr11395283ilt.21.1691453015041; Mon, 07 Aug 2023 17:03:35 -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.01,263,1684792800"; d="scan'208";a="63146557" 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: <944310094CD19F44838C52C801571AAF@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PQ0KQ0FMTCBGT1IgU1VCTUlTU0lPTlMNCg0KMjFzdCBBc2lhbiBTeW1wb3Np dW0gb24gUHJvZ3JhbW1pbmcgTGFuZ3VhZ2VzIGFuZCBTeXN0ZW1zIChBUExBUyAyMDIzKQ0KU1RV REVOVCBSRVNFQVJDSCBDT01QRVRJVElPTiBhbmQgUE9TVEVSUw0KDQpUYWlwZWksIFRhaXdhbiwg U3VuIDI2IOKAkyBXZWQgMjkgTm92ZW1iZXIgMjAyMw0KDQpodHRwczovL2NvbmYucmVzZWFyY2hy Lm9yZy90cmFjay9hcGxhcy0yMDIzL3NyYy1hbmQtcG9zdGVycw0KPT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQoN ClRoZSBBUExBUyAyMDIzIHN0dWRlbnQgcmVzZWFyY2ggY29tcGV0aXRpb24gKFNSQykgYWltcyB0 byBwcm92aWRlDQpvcHBvcnR1bml0aWVzIGZvciBzdHVkZW50cyB0byBwcmVzZW50IHRoZWlyIG9u Z29pbmcgd29yayB0byB0aGUNCmNvbW11bml0eSBhbmQgcmVjZWl2ZSBmZWVkYmFjay4gVGhlIGFz c29jaWF0ZWQgcG9zdGVyIHNlc3Npb24gYWxzbw0Kd2VsY29tZXMgY29udHJpYnV0aW9ucyBmcm9t IHRoZSBlbnRpcmUgY29tbXVuaXR5Lg0KDQoNCklNUE9SVEFOVCBEQVRFUw0KLS0tLS0tLS0tLS0t LS0tDQoNCiogTW9uIDIxIEF1ZyAyMDIzOiBTdWJtaXNzaW9uIERlYWRsaW5lIGZvciBFeHRlbmRl ZCBBYnN0cmFjdHMNCiogRnJpIDIyIFNlcCAyMDIzOiBOb3RpZmljYXRpb24NCg0KDQpTVUJNSVNT SU9OIENBVEVHT1JJRVMNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQoqIFN0dWRlbnQgUmVzZWFy Y2ggQ29tcGV0aXRpb246IHVucHVibGlzaGVkIHdvcmsgYnkgYSBzaW5nbGUgc3R1ZGVudA0KaHR0 cHM6Ly9jb25mLnJlc2VhcmNoci5vcmcvdHJhY2svYXBsYXMtMjAyMy9zcmMtYW5kLXBvc3RlcnMj c3R1ZGVudC1yZXNlYXJjaC1jb21wZXRpdGlvbg0KDQoqIE5vbi1TUkMgcG9zdGVyczogdW5wdWJs aXNoZWQgb3IgcHVibGlzaGVkIHdvcmssIG5vdCByZXN0cmljdGVkIHRvIHN0dWRlbnRzDQpodHRw czovL2NvbmYucmVzZWFyY2hyLm9yZy90cmFjay9hcGxhcy0yMDIzL3NyYy1hbmQtcG9zdGVycyNu b24tc3JjLXBvc3RlcnMNCg0KDQpQUklaRVMgQU5EIEFXQVJEUw0KLS0tLS0tLS0tLS0tLS0tLS0N Cg0KKiBGaXJzdCwgc2Vjb25kLCBhbmQgdGhpcmQgcHJpemVzIG9mIHRoZSBTUkMNCg0KKiBBdWRp ZW5jZSBhd2FyZHMgKGJhc2VkIG9uIHZvdGluZyBieSBjb25mZXJlbmNlIHBhcnRpY2lwYW50cykg Z2l2ZW4gaW4gdGhyZWUNCmNhdGVnb3JpZXM6IFNSQyBwb3N0ZXJzLCBub24tU1JDIHBvc3RlcnMs IGFuZCBTUkMgZmluYWxpc3QgcHJlc2VudGF0aW9ucw0KDQoNClNVQk1JU1NJT04gSU5GT1JNQVRJ T04NCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KRm9yIGJvdGggc3VibWlzc2lvbiBjYXRlZ29y aWVzLCBzdWJtaXQgYW4gZXh0ZW5kZWQgYWJzdHJhY3QgZm9sbG93aW5nIHRoZQ0KaW5zdHJ1Y3Rp b25zIG9uIHRoZSB3ZWJzaXRlOg0KDQpodHRwczovL2NvbmYucmVzZWFyY2hyLm9yZy90cmFjay9h cGxhcy0yMDIzL3NyYy1hbmQtcG9zdGVycyNzdWJtaXNzaW9uLWluZm9ybWF0aW9uDQoNCkEgc2Vs ZWN0aW9uIGNvbW1pdHRlZSB3aWxsIHJldmlldyB0aGUgZXh0ZW5kZWQgYWJzdHJhY3RzIGFuZCBw cm92aWRlIGZlZWRiYWNrLg0KDQoNCk9SR0FOSVNFUlMNCi0tLS0tLS0tLS0NCg0KU1JDICYgUG9z dGVycyBDaGFpcjoNCg0KKiBIc2lhbmctU2hhbmcgJ0pvc2gnIEtvIChBY2FkZW1pYSBTaW5pY2Es IFRhaXdhbikNCg0KU2VsZWN0aW9uIENvbW1pdHRlZToNCg0KKiBKYWNxdWVzIEdhcnJpZ3VlIChO YWdveWEgVW5pdmVyc2l0eSwgSmFwYW4pDQoqIEplcmVteSBHaWJib25zIChVbml2ZXJzaXR5IG9m IE94Zm9yZCwgVUspDQoqIENoaWgtRHVvIEhvbmcgKE5hdGlvbmFsIENoZW5nY2hpIFVuaXZlcnNp dHksIFRhaXdhbikNCiogT2xlZyBLaXNlbHlvdiAoVG9ob2t1IFVuaXZlcnNpdHksIEphcGFuKQ0K KiBBa2ltYXNhIE1vcmloYXRhIChVbml2ZXJzaXR5IG9mIFRva3lvLCBKYXBhbikNCiogRG9taW5p YyBPcmNoYXJkIChVbml2ZXJzaXR5IG9mIEtlbnQsIFVLKQ0KKiBUYXJvIFNla2l5YW1hIChOYXRp b25hbCBJbnN0aXR1dGUgb2YgSW5mb3JtYXRpY3MsIEphcGFuKQ0KKiBDaHVuZy1jaGllaCBTaGFu IChJbmRpYW5hIFVuaXZlcnNpdHksIFVTQSkNCiogWW91bmdqdSBTb25nIChNUEktU1dTLCBHZXJt YW55KQ0KKiBUYWNoaW8gVGVyYXVjaGkgKFdhc2VkYSBVbml2ZXJzaXR5LCBKYXBhbikNCiogQ2h1 YW5namllIFh1IChTb25hclNvdXJjZSwgR2VybWFueSkNCg==