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, 8 May 2023 12:59:59 +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, 8 May 2023 12:59:59 +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, 8 May 2023 12:59:59 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 348BxDAf008922 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 8 May 2023 12:59:13 +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 348Bx63b008906 for ; Mon, 8 May 2023 12:59:06 +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 May 2023 13:59:06 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E773DE0D49; Mon, 8 May 2023 13:59:05 +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 797EAE0D40 for ; Mon, 8 May 2023 13:58:59 +0200 (CEST) Received: from loire.is.ed.ac.uk ([129.215.16.10]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 May 2023 13:58:59 +0200 Received: from exseed.ed.ac.uk (hbdkb3.is.ed.ac.uk [129.215.235.37]) by loire.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 348Bwl60016121 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Mon, 8 May 2023 12:58:58 +0100 Received: from hbdat3.is.ed.ac.uk (129.215.235.38) by hbdkb3.is.ed.ac.uk (129.215.235.37) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23; Mon, 8 May 2023 12:58:57 +0100 Received: from EUR04-VI1-obe.outbound.protection.outlook.com (104.47.14.50) by hbdat3.is.ed.ac.uk (129.215.235.38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23 via Frontend Transport; Mon, 8 May 2023 12:58:57 +0100 Received: from DB7PR05MB6155.eurprd05.prod.outlook.com (2603:10a6:10:90::18) by AM8PR05MB7171.eurprd05.prod.outlook.com (2603:10a6:20b:1d9::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6363.31; Mon, 8 May 2023 11:58:56 +0000 Received: from DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::f5aa:62af:31a:ea54]) by DB7PR05MB6155.eurprd05.prod.outlook.com ([fe80::f5aa:62af:31a:ea54%6]) with mapi id 15.20.6363.031; Mon, 8 May 2023 11:58:56 +0000 From: =?utf-8?B?RGFuaWVsIEhpbGxlcnN0csO2bQ==?= To: "caml-list@inria.fr" Subject: [Caml-list] [CFP] Student Research Competition (SRC) at ICFP'23 Thread-Topic: [Caml-list] [CFP] Student Research Competition (SRC) at ICFP'23 Thread-Index: AQHZgaSdm1l2VkncmEyOnE/UkmSh4Q== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Mon, 8 May 2023 12:58:54 +0100 Message-ID: <733d0ee4-c44b-d958-4680-cf023e1822a1@ed.ac.uk> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: =?utf-8?B?RGFuaWVsIEhpbGxlcnN0csO2bQ==?= Content-Language: en-US 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: 778af31b-923a-4709-3feb-08db4fbbbfa1 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.99,258,1677538800"; d="scan'208";a="106828600" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes x-ms-publictraffictype: Email Content-Type: text/plain; charset="utf-8" Content-ID: <68305F26D268E6469541207635A4A302@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 SUNGUCAyMDIzIFN0dWRlbnQgUmVzZWFyY2ggQ29tcGV0aXRpb24NCg0KICAgICAgICBDYWxsIGZv ciBTdWJtaXNzaW9ucw0KDQoNCklDRlAgMjAyMyBpbnZpdGVzIHN0dWRlbnRzIHRvIHBhcnRpY2lw YXRlIGluIHRoZSBTdHVkZW50IFJlc2VhcmNoDQpDb21wZXRpdGlvbiBpbiBvcmRlciB0byBwcmVz ZW50IHRoZWlyIHJlc2VhcmNoIGFuZCBnZXQgZmVlZGJhY2sgZnJvbQ0KcHJvbWluZW50IG1lbWJl cnMgb2YgdGhlIHByb2dyYW1taW5nIGxhbmd1YWdlIHJlc2VhcmNoIGNvbW11bml0eS4NCg0KVGhl IFNSQyBjb25zaXN0cyBvZiB0aHJlZSByb3VuZHM6DQoNCiogU3VibWlzc2lvbiBvZiBhbiBleHRl bmRlZCBhYnN0cmFjdA0KKiBQb3N0ZXIgc2Vzc2lvbiBhdCBJQ0ZQIDIwMjMNCiogRmluYWxpc3Rz JyBwcmVzZW50YXRpb25zIGF0IElDRlAgMjAyMw0KDQpEdXJpbmcgdGhlIGZpcnN0IHJvdW5kIHN0 dWRlbnRzIHN1Ym1pdCBhbiBleHRlbmRlZCBhYnN0cmFjdCBkZXRhaWxpbmcNCnRoZWlyIHJlc2Vh cmNoIHRvIGJlIHJldmlld2VkIGJ5IHRoZSBwcm9ncmFtIGNvbW1pdHRlZS4gVGhvc2Ugc3R1ZGVu dHMNCndob3NlIGFic3RyYWN0cyBnZXQgYWNjZXB0ZWQgYWR2YW5jZSB0byB0aGUgcG9zdGVyIHNl c3Npb24gcm91bmQgd2hpY2gNCndpbGwgdGFrZSBwbGFjZSBkdXJpbmcgSUNGUCAyMDIzLiBXaW5u ZXJzIG9mIHRoZSBwb3N0ZXIgc2Vzc2lvbg0KYWR2YW5jZSB0byBuZXh0IHJvdW5kLCB3aGVyZSB0 aGV5IHdpbGwgZ2l2ZSBhIDUtbWludXRlIHByZXNlbnRhdGlvbg0KYWJvdXQgdGhlaXIgd29yayBv biB0aGUgSUNGUCBtYWluIHN0YWdlIGluIGZyb250IG9mIGEgbGl2ZSBhdWRpZW5jZS4NCg0KIyMj IElNUE9SVEFOVCBEQVRFUw0KDQoqIFN1Ym1pc3Npb24gRGVhZGxpbmU6IDI1IE1heSAyMDIzIChU aHVyc2RheSkNCiogQXV0aG9yIE5vdGlmaWNhdGlvbjogMTUgSnVuZSAyMDIzIChUaHVyc2RheSkN CiogSUNGUCAyMDIzIENvbmZlcmVuY2UgaW4gU2VhdHRsZSwgV2FzaGluZ3RvbiwgVVNBOg0KICAg ICA0IFNlcHRlbWJlciAyMDIzIChNb25kYXkpIC0gOSBTZXB0ZW1iZXIgMjAyMyAoU2F0dXJkYXkp DQoNCiMjIyBTVUJNSVNTSU9OIE9GIEVYVEVOREVEIEFCU1RSQUNUUw0KDQoqIFN1Ym1pc3Npb24g V2Vic2l0ZTogaHR0cHM6Ly9pY2ZwMjNzcmMuaG90Y3JwLmNvbQ0KDQpFYWNoIHN1Ym1pc3Npb24g KHJlZmVycmVkIHRvIGFzICJhYnN0cmFjdCIgYmVsb3cpIHNob3VsZCBpbmNsdWRlIHRoZQ0Kc3R1 ZGVudCBhdXRob3IncyBuYW1lIGFuZCBlLW1haWwgYWRkcmVzczsgaW5zdGl0dXRpb25hbCBhZmZp bGlhdGlvbjsNCnJlc2VhcmNoIGFkdmlzb3IncyBuYW1lOyBBQ00gc3R1ZGVudCBtZW1iZXIgbnVt YmVyOyBjYXRlZ29yeQ0KKHVuZGVyZ3JhZHVhdGUgb3IgZ3JhZHVhdGUpOyByZXNlYXJjaCB0aXRs ZTsgYW5kIGFuIGV4dGVuZGVkIGFic3RyYWN0DQphZGRyZXNzaW5nIHRoZSBmb2xsb3dpbmc6DQoN CiogUHJvYmxlbSBhbmQgTW90aXZhdGlvbjogQ2xlYXJseSBzdGF0ZSB0aGUgcHJvYmxlbSBiZWlu ZyBhZGRyZXNzZWQgYW5kDQogICBleHBsYWluIHRoZSByZWFzb25zIGZvciBzZWVraW5nIGEgc29s dXRpb24gdG8gdGhpcyBwcm9ibGVtLg0KDQoqIEJhY2tncm91bmQgYW5kIFJlbGF0ZWQgV29yazog RGVzY3JpYmUgdGhlIHNwZWNpYWxpemVkIChidXQNCiAgIHBlcnRpbmVudCkgYmFja2dyb3VuZCBu ZWNlc3NhcnkgdG8gYXBwcmVjaWF0ZSB0aGUgd29yayBpbiB0aGUNCiAgIGNvbnRleHQgb2YgSUNG UCBhcmVhcyBvZiBpbnRlcmVzdC4gSW5jbHVkZSByZWZlcmVuY2VzIHRvIHRoZQ0KICAgbGl0ZXJh dHVyZSB3aGVyZSBhcHByb3ByaWF0ZSwgYW5kIGJyaWVmbHkgZXhwbGFpbiB3aGVyZSB5b3VyIHdv cmsNCiAgIGRlcGFydHMgZnJvbSB0aGF0IGRvbmUgYnkgb3RoZXJzLg0KDQoqIEFwcHJvYWNoIGFu ZCBVbmlxdWVuZXNzOiBEZXNjcmliZSB5b3VyIGFwcHJvYWNoIGluIGFkZHJlc3NpbmcgdGhlDQog ICBwcm9ibGVtIGFuZCBjbGVhcmx5IHN0YXRlIGhvdyB5b3VyIGFwcHJvYWNoIGlzIG5vdmVsLg0K DQoqIFJlc3VsdHMgYW5kIENvbnRyaWJ1dGlvbnM6IENsZWFybHkgc2hvdyBob3cgdGhlIHJlc3Vs dHMgb2YgeW91ciB3b3JrDQogICBjb250cmlidXRlIHRvIHByb2dyYW1taW5nIGxhbmd1YWdlIGRl c2lnbiBhbmQgaW1wbGVtZW50YXRpb24gaW4NCiAgIHBhcnRpY3VsYXIgYW5kIHRvIGNvbXB1dGVy IHNjaWVuY2UgaW4gZ2VuZXJhbDsgZXhwbGFpbiB0aGUNCiAgIHNpZ25pZmljYW5jZSBvZiB0aG9z ZSByZXN1bHRzLg0KDQoqIFN1Ym1pc3Npb25zIG11c3QgYmUgb3JpZ2luYWwgcmVzZWFyY2ggdGhh dCBpcyBub3QgYWxyZWFkeSBwdWJsaXNoZWQNCiAgIGF0IElDRlAgb3IgYW5vdGhlciBjb25mZXJl bmNlIG9yIGpvdXJuYWwuIE9uZSBvZiB0aGUgZ29hbHMgb2YgdGhlDQogICBTUkMgaXMgdG8gZ2l2 ZSBzdHVkZW50cyBmZWVkYmFjayBvbiBvbmdvaW5nLCB1bnB1Ymxpc2hlZA0KICAgd29yay4gRnVy dGhlcm1vcmUsIHRoZSBhYnN0cmFjdCBtdXN0IGJlIGF1dGhvcmVkIHNvbGVseSBieSB0aGUNCiAg IHN0dWRlbnQuIElmIHRoZSB3b3JrIGlzIGNvbGxhYm9yYXRpdmUgd2l0aCBvdGhlcnMgYW5kL29y IHBhcnQgb2YgYQ0KICAgbGFyZ2VyIGdyb3VwIHByb2plY3QsIHRoZSBhYnN0cmFjdCBzaG91bGQg bWFrZSBjbGVhciB3aGF0IHRoZQ0KICAgc3R1ZGVudCdzIHJvbGUgd2FzIGFuZCBzaG91bGQgZm9j dXMgb24gdGhhdCBwb3J0aW9uIG9mIHRoZSB3b3JrLg0KDQoqIEZvcm1hdHRpbmc6IFN1Ym1pc3Np b25zIG11c3QgYmUgaW4gUERGIGZvcm1hdCwgcHJpbnRhYmxlIGluIGJsYWNrDQogICBhbmQgd2hp dGUgb24gVVMgTGV0dGVyIHNpemVkIHBhcGVyLCBhbmQgaW50ZXJwcmV0YWJsZSBieSBjb21tb24g UERGDQogICB0b29scy4gQWxsIHN1Ym1pc3Npb25zIG11c3QgYWRoZXJlIHRvIHRoZSAiQUNNIFNt YWxsIiB0ZW1wbGF0ZSB0aGF0DQogICBpcyBhdmFpbGFibGUgKGluIGJvdGggTGFUZVggYW5kIFdv cmQgZm9ybWF0cykgZnJvbQ0KICAgaHR0cHM6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvYXV0 aG9ycy9zdWJtaXNzaW9ucy4gRm9yIGF1dGhvcnMNCiAgIHVzaW5nIExhVGVYLCBhIGxpZ2h0ZXIt d2VpZ2h0IHBhY2thZ2UsIGluY2x1ZGluZyBvbmx5IHRoZSBlc3NlbnRpYWwNCiAgIGZpbGVzLCBp cyBhdmFpbGFibGUgZnJvbQ0KICAgaHR0cDovL3NpZ3BsYW4ub3JnL1Jlc291cmNlcy9BdXRob3Iv I2FjbWFydC1mb3JtYXQuIFRoZSBzdWJtaXNzaW9uDQogICBtdXN0IG5vdCBleGNlZWQgMyBwYWdl cyBpbiBQREYgZm9ybWF0LiBSZWZlcmVuY2UgbGlzdHMgZG8gbm90IGNvdW50DQogICB0b3dhcmRz IHRoZSAzLXBhZ2UgbGltaXQuDQoNCkZ1cnRoZXIgaW5mb3JtYXRpb24gaXMgYXZhaWxhYmxlIGF0 IHRoZSBJQ0ZQIFNSQyB3ZWJzaXRlOg0KaHR0cHM6Ly9pY2ZwMjMuc2lncGxhbi5vcmcvdHJhY2sv aWNmcC0yMDIzLXN0dWRlbnQtcmVzZWFyY2gtY29tcGV0aXRpb24NCg0KIyMjIFBST0dSQU0gQ09N TUlUVEVFDQoNCkRhbmllbCBIaWxsZXJzdHLDtm0gKEh1YXdlaSBSZXNlYXJjaCBDZW50ZXIgWnVy aWNoKSAoY28tY2hhaXIpDQpKLiBHYXJyZXR0IE1vcnJpcyAoVW5pdmVyc2l0eSBvZiBJb3dhKSAo Y28tY2hhaXIpDQpLYXRoeSBHcmF5IChNZXRhKQ0KTGVvIFN0ZWZhbmVzY28gKE1QSS1TV1MpDQpT aGluLUNoZW5nIE11IChBY2FkZW1pYSBTaW5pY2EpDQoNClRoZSBVbml2ZXJzaXR5IG9mIEVkaW5i dXJnaCBpcyBhIGNoYXJpdGFibGUgYm9keSwgcmVnaXN0ZXJlZCBpbiBTY290bGFuZCwgd2l0aCBy ZWdpc3RyYXRpb24gbnVtYmVyIFNDMDA1MzM2LiBJcyBlIGJ1aWRoZWFubiBjYXJ0aGFubmFpcyBh IHRo4oCZIGFubiBhbiBPaWx0aGlnaCBEaMO5biDDiGlkZWFubiwgY2zDoHJhaWNodGUgYW4gQWxi YSwgw6BpcmVhbWggY2zDoHJhaWRoIFNDMDA1MzM2Lg0K