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 09:55:00 +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 09:55:00 +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 09:55:00 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3788sJxr009556 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 8 Aug 2023 09:54:19 +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 3788sCot009535 for ; Tue, 8 Aug 2023 09:54:12 +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 10:54:12 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1EF63E0141; Tue, 8 Aug 2023 10:54:12 +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 E658FE0145 for ; Tue, 8 Aug 2023 10:54:02 +0200 (CEST) Received: from smtp1.science.ru.nl ([131.174.16.143]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Aug 2023 10:54:02 +0200 Received: from [131.174.113.47] (vpn113047.science.ru.nl [131.174.113.47]) (authen=peter88) by smtp1.science.ru.nl (8.15.2/5.32) with ESMTPSA id 3788s0ks031983 for ; Tue, 8 Aug 2023 10:54:00 +0200 From: Peter Achten To: "caml-list@inria.fr" Subject: [Caml-list] [Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA Thread-Topic: [Caml-list] [Call for submissions TFPiE 2024] Trends in Functional Programming in Education - January 9 2024, Seton Hall University, USA Thread-Index: AQHZydYDX5MR4SaI00WQlKH3HZqNKQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 8 Aug 2023 09:54:00 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Peter Achten 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: 4d17a922-0a88-4d24-f1b3-08db97ed2614 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: mimedefang version 2.83 on 131.174.16.143 131.174.16.159 (smtp1) 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="63169544" 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: Content-Transfer-Encoding: base64 MIME-Version: 1.0 VEZQSUUgMjAyNCBDYWxsIGZvciBwYXBlcnMNCmh0dHBzOi8vd2lraS50ZnBpZS5zY2llbmNlLnJ1 Lm5sL1RGUElFMjAyNA0KKEphbnVhcnkgOXRoIDIwMjQsIFdlc3QgT3JhbmdlLCBOSiwgVVNBLCBj by1sb2NhdGVkIHdpdGggVEZQIDIwMjQgYXQNClNldG9uIEhhbGwgVW5pdmVyc2l0eSkNCg0KVEZQ SUUgMjAyNCB3ZWxjb21lcyBzdWJtaXNzaW9ucyBkZXNjcmliaW5nIHRlY2huaXF1ZXMgdXNlZCBp biB0aGUgY2xhc3Nyb29tLA0KdG9vbHMgdXNlZCBpbiBhbmQvb3IgZGV2ZWxvcGVkIGZvciB0aGUg Y2xhc3Nyb29tIGFuZCBhbnkgY3JlYXRpdmUgdXNlIG9mDQpmdW5jdGlvbmFsIHByb2dyYW1taW5n IChGUCkgdG8gYWlkIGVkdWNhdGlvbiBpbiBvciBvdXRzaWRlIENvbXB1dGVyIFNjaWVuY2UuDQpU b3BpY3Mgb2YgaW50ZXJlc3QgaW5jbHVkZSwgYnV0IGFyZSBub3QgbGltaXRlZCB0bzoNCg0KIMKg IEZQIGFuZCBiZWdpbm5pbmcgQ1Mgc3R1ZGVudHMNCiDCoCBGUCBhbmQgQ29tcHV0YXRpb25hbCBU aGlua2luZw0KIMKgIEZQIGFuZCBBcnRpZmljaWFsIEludGVsbGlnZW5jZQ0KIMKgIEZQIGluIFJv Ym90aWNzDQogwqAgRlAgYW5kIE11c2ljDQogwqAgQWR2YW5jZWQgRlAgZm9yIHVuZGVyZ3JhZHVh dGVzDQogwqAgRlAgaW4gZ3JhZHVhdGUgZWR1Y2F0aW9uDQogwqAgRW5nYWdpbmcgc3R1ZGVudHMg aW4gcmVzZWFyY2ggdXNpbmcgRlANCiDCoCBGUCBpbiBQcm9ncmFtbWluZyBMYW5ndWFnZXMNCiDC oCBGUCBpbiB0aGUgaGlnaCBzY2hvb2wgY3VycmljdWx1bQ0KIMKgIEZQIGFzIGEgc3RlcHBpbmcg c3RvbmUgdG8gb3RoZXIgQ1MgdG9waWNzDQogwqAgRlAgYW5kIFBoaWxvc29waHkNCiDCoCBUaGUg cGVkYWdvZ3kgb2YgdGVhY2hpbmcgRlANCiDCoCBGUCBhbmQgZS1sZWFybmluZzogTU9PQ3MsIGF1 dG9tYXRlZCBhc3Nlc3NtZW50IGV0Yy4NCiDCoCBCZXN0IExlY3R1cmVzIC0gbW9yZSBkZXRhaWxz IGJlbG93DQoNCkluIGFkZGl0aW9uIHRvIHBhcGVycywgd2UgYXJlIHJlcXVlc3RpbmcgYmVzdCBs ZWN0dXJlIHByZXNlbnRhdGlvbnMuIA0KV2hhdCdzIHlvdXINCmJlc3QgbGVjdHVyZSB0b3BpYyBp biBhbiBGUCByZWxhdGVkIGNvdXJzZT8gRG8geW91IGhhdmUgYSBmdW4gd2F5IHRvIA0KcHJlc2Vu dCBGUA0KY29uY2VwdHMgdG8gbm92aWNlcyBvciBwZXJoYXBzIGFuIGVzcGVjaWFsbHkgaW50ZXJl c3RpbmcgcHJlc2VudGF0aW9uIG9mIGENCmRpZmZpY3VsdCB0b3BpYz8gSW4gZWl0aGVyIGNhc2Us IHBsZWFzZSBjb25zaWRlciBzaGFyaW5nIGl0LiBCZXN0IA0KbGVjdHVyZSB0b3BpY3MNCndpbGwg YmUgc2VsZWN0ZWQgZm9yIHByZXNlbnRhdGlvbiBiYXNlZCBvbiBhIHNob3J0IGFic3RyYWN0IGRl c2NyaWJpbmcgdGhlDQpsZWN0dXJlIGFuZCBpdHMgaW50ZXJlc3QgdG8gVEZQSUUgYXR0ZW5kZWVz LiBUaGUgbGVuZ3RoIG9mIHRoZSBwcmVzZW50YXRpb24NCnNob3VsZCBiZSBjb21wYXJhYmxlIHRv IHRoYXQgb2YgYSBwYXBlci4gSW4gYWRkaXRpb24sIHRoZSBzcGVha2VyIGNhbiANCnByb3ZpZGUN CmNvbW1lbnRhcnkgb24gZWZmZWN0aXZlbmVzcyBvciBzdHVkZW50IGZlZWRiYWNrLg0KDQpTdWJt aXNzaW9ucw0KDQpQb3RlbnRpYWwgcHJlc2VudGVycyBhcmUgaW52aXRlZCB0byBzdWJtaXQgYW4g ZXh0ZW5kZWQgYWJzdHJhY3QgKDQtNiANCnBhZ2VzKSBvcg0KYSBkcmFmdCBwYXBlciAodXAgdG8g MjAgcGFnZXMpIGluIEVQVENTIHN0eWxlLiBUaGUgYXV0aG9ycyBvZiBhY2NlcHRlZA0KcHJlc2Vu dGF0aW9ucw0Kd2lsbCBoYXZlIHRoZWlyIHByZXByaW50cyBhbmQgdGhlaXIgc2xpZGVzIG1hZGUg YXZhaWxhYmxlIG9uIHRoZQ0Kd29ya3Nob3AncyB3ZWJzaXRlLg0KUGFwZXJzIGFuZCBhYnN0cmFj dHMgY2FuIGJlIHN1Ym1pdHRlZCB2aWEgZWFzeWNoYWlyIGF0IHRoZSBmb2xsb3dpbmcgbGluazoN Cg0KaHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPXRmcGllMjAyNA0KDQpB ZnRlciB0aGUgd29ya3Nob3AsIHByZXNlbnRlcnMgYXJlIGludml0ZWQgdG8gc3VibWl0IChhIHJl dmlzZWQNCnZlcnNpb24gb2YpIHRoZWlyDQphcnRpY2xlIGZvciB0aGUgZm9ybWFsIHJldmlldy4g VGhlIFBDIHdpbGwgc2VsZWN0IHRoZSBiZXN0IGFydGljbGVzDQpmb3IgcHVibGljYXRpb24NCmlu IHRoZSBFbGVjdHJvbmljIFByb2NlZWRpbmdzIGluIFRoZW9yZXRpY2FsIENvbXB1dGVyIFNjaWVu Y2UgKEVQVENTKS4gDQpBcnRpY2xlcw0KcmVqZWN0ZWQgZm9yIHByZXNlbnRhdGlvbiBhbmQgZXh0 ZW5kZWQgYWJzdHJhY3RzIHdpbGwgbm90IGJlIGZvcm1hbGx5IA0KcmV2aWV3ZWQNCmJ5IHRoZSBQ Qy4NCg0KSW1wb3J0YW50IERhdGVzDQoNClN1Ym1pc3Npb24gZGVhZGxpbmU6IERlY2VtYmVyIDI2 dGggMjAyMywgQW55d2hlcmUgb24gRWFydGgNCk5vdGlmaWNhdGlvbjogYnkgRGVjZW1iZXIgMzB0 aCAyMDIzIChOb3RlOiBzdWJtaXNzaW9ucyB3aWxsIGJlDQpldmFsdWF0ZWQgb24gYSByb2xsaW5n IGJhc2lzLCBzbyBlYXJsaWVyIHN1Ym1pc3Npb25zIHdpbGwgcmVjZWl2ZSBhbg0KZWFybGllciBy ZXNwb25zZSkNClRGUElFIFJlZ2lzdHJhdGlvbiBEZWFkbGluZTogVEJBDQpXb3Jrc2hvcDogSmFu dWFyeSA5dGggMjAyNA0KU3VibWlzc2lvbiBmb3IgZm9ybWFsIHJldmlldzogQXByaWwgMTl0aCAy MDI0LCBBbnl3aGVyZSBvbiBFYXJ0aC4NCk5vdGlmaWNhdGlvbiBvZiBmdWxsIGFydGljbGU6IE1h eSAyNHRoIDIwMjQNCkNhbWVyYSByZWFkeTogSnVuZSAyOHRoIDIwMjQNCg0KUHJvZ3JhbSBDb21t aXR0ZWUgLSBUQkQNCg0KIMKgwqDCoMKgwqDCoMKgIFN0ZXBoZW4gQ2hhbmcgKENoYWlyKSAtIFVN YXNzIEJvc3RvbiwgVVNBDQoNClJlZ2lzdHJhdGlvbiBpbmZvcm1hdGlvbg0KDQpTZWUgaHR0cHM6 Ly93aWtpLnRmcGllLnNjaWVuY2UucnUubmwvVEZQSUUyMDI0IGZvciB1cGRhdGVkIGluZm9ybWF0 aW9uLg0KDQpSZWdpc3RyYXRpb24gYW5kIGF0dGVuZGFuY2UgYXJlIG1hbmRhdG9yeSBmb3IgYXQg bGVhc3Qgb25lIGF1dGhvciBvZiANCmV2ZXJ5IHBhcGVyDQp0aGF0IGlzIHByZXNlbnRlZCBhdCB0 aGUgd29ya3Nob3AuIFByZXNlbnRlcnMgd2lsbCBoYXZlIHRoZWlyDQpyZWdpc3RyYXRpb24gZmVl IHdhaXZlZC4NCg0KT25seSBwYXBlcnMgdGhhdCBoYXZlIGJlZW4gcHJlc2VudGVkIGF0IFRGUElF IG1heSBiZSBzdWJtaXR0ZWQgdG8gdGhlDQpwb3N0LXJldmlld2luZw0KcHJvY2Vzcy4NCg0K