From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 973B0E0045 for ; Sun, 13 Mar 2022 12:01:57 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=P.Achten@cs.ru.nl; spf=Pass smtp.mailfrom=P.Achten@cs.ru.nl; spf=Pass smtp.helo=postmaster@smtp1.science.ru.nl Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of P.Achten@cs.ru.nl) identity=pra; client-ip=131.174.16.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="P.Achten@cs.ru.nl"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of P.Achten@cs.ru.nl designates 131.174.16.143 as permitted sender) identity=mailfrom; client-ip=131.174.16.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="P.Achten@cs.ru.nl"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:131.174.30.0/24 ip4:131.174.16.128/26 ip6:2001:610:1418:1106::/64 ~all" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@smtp1.science.ru.nl designates 131.174.16.143 as permitted sender) identity=helo; client-ip=131.174.16.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="P.Achten@cs.ru.nl"; x-sender="postmaster@smtp1.science.ru.nl"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:131.174.30.0/24 ip4:131.174.16.128/26 ip6:2001:610:1418:1106::/64 ~all" IronPort-SDR: K4EkyPZXwtIexDBB7qeY8lm0HXepRNd4sMs2bzepxK1m++639LSUjNyEKsjsVLe3xTiNdWmHhc WCxvhllUhKZwy5xBFTkeVE3anrbav3vi4tS51zwygk4qh6XhtmItgnUmIjO8v458WfEIK7mn6c b005EbzlvZWv7QXj/83AobXbhB4u4r21BSQpqjewldDXTCiktRhCk6VdU3q8F1g5gq9YO59f9b 2YNy+TqJrwcS0RtmVzhOwimsb5rr+0JMRYyj8TfyUCOd8Az9SUzfzkrxlu0c9qZcdMtfJgkuj4 YslcZyoOV99/+jVYCDrQQ/Nx X-IPAS-Result: =?us-ascii?q?A0B0AQC4zi1imI8QroNagQmEAn5XKwcIRIRUkRiSDot5A?= =?us-ascii?q?1QLAQMBDTUMBAEBiS0CHgYBBDQTAQIEAQEBAQMCAwEBAQEBAQMBAQUBAQECA?= =?us-ascii?q?QECAwQBEwEBAQEBAQEBCRQHBgwFEA40ZHEDgUwDgXoGAwEwDYI1DIQlBg8BB?= =?us-ascii?q?QgBATgYHAImAmwIAQESgm4BgxYPkj2cDIExgQGCCAEBBoJcgyuBWwmBECyOS?= =?us-ascii?q?CeBZUSBPAwDgkSBcwGBXQIBgT0BAW2CTYJll2NlFgITRQ4qATELBBcrVQ+SC?= =?us-ascii?q?64ZB4NMiwqUTAZChUGRDYElkESWV40TizmOL4F4gX4zGi+DLQlFAQIBAQENA?= =?us-ascii?q?QIBAQMBAgECAQgBAQIBjjMChj2CDIVvQDQCNgIGAQoBAQMJkmUBAQ?= IronPort-PHdr: A9a23:bIStBB28Oa8ZIA/XsmDOoQ4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaFo6w30hSTB83y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsipyey+4YDfbxtJiTayf79+M gi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr8zRDqi8 rxrSAf2hygbKz43/mbXislqg6JaphKquhhzzoHQbY2QMvd1Y6HTcs4ARWdZXchfWSNODY2iY YUPEuQOIelWopLhp1YNtxayGRWgCe3txzJOm3T43bc60+MkEQzexgIvAc4Ov2rOrN7oKKodT eC1zLXWwjXFcvhb3i3z5JLUfx89ofGMQax/cczKxEYzDAPJlE+QqZH/MzOT0uQAqm6W5PdvW uyzkWAosR1xoiSxycc2jInEnowYx0zL+yh6wIg4O8G1RFBlbNO5H5VdqS+UOpd0T84iXm1lv Cc3xqAJtJC0YiQHyZcqywLDZ/KIc4WE/AzuWfiXLDxlinxlf7e/iAyz8Uim0uD8Sse00E5Lr iVbiNXMrWwC1x3N5ciBVvRy4F+t2TmO1wDP6uFEPFs7mbDaK54m2rIwjIcTvV7FHi/ynkj9k ayYdl089+S15enrf6/qqoKeOoJ7kA3yL6UjltaiDek3PAUCR3WX9Oqh2LH54EH0QrpHgucrn qXEvp3WP8QWq6y/DgRIyIgs8Qy/AC2j0NkAnXkIMlZFeBWfgojyPlHOPOj4Aeqlj1S3jDhrx u7JPrv9DZrTNHTDiqrhcax7605Y0AYzzNZf6IxICrwZPf7+VFL9uMbFAhI7PAG42fvrBdRn2 o8DVm+CDLeVMKbIvl+J4uIvLfOMZIgQuDvlMfYp/eLjgmM5mV8BY6ap24AaZ2yjHvh8OUWZf GDggtEFEWsSuAoxV/TliEeeXj5Le3ayQ6U86ykmBI6+F4fMWpitgKCd3Ce8BpBZenpJClWIE Xvxc4WEWuwMaD6JL896kj0EUKChRJU72RGvsg/60btnIfDO9i0Wr5KwnORysubakBV38T1vE +yc1XuMRid6hDAmXTgziZhyvUFngn6I0bR1hbQMLZp67PNVXwESPoWa1fE8DdSkCVGJRcuAV FvzGobuOjo2VN9kn45miydVHtyjikuGxC+2G/oOkKTNApUo86Xa1ny3JsBnyn+A2rNyx0I+T J5pMmurzrV66xCVH5TAxn3fvq2qaaka9CXWsn2ei2yK7wlDSAAlaazeRjgEY1fO69Hw50fMV birXIxhGwBB1cOEAqBRLMf0y1NCF7/4INqLW2uqgC+rAAqQgLOBaI2/Y2IGwCDUE1QJiSgI+ GqebE4lDSaspWnTSiZzU1TrC6/12c95rn7zDko9zgXRKlZky6Lw4RkNw/qVV/IU2LsA/iYns TR9WlinjZrQDJKbqgxtcb85A5t16Upb1W/fqw12P4CxZ6FkiFkEdg1rvkTonxxpA4REmMIuo Tsk1g13Ya6f1VpAcXuf0/WScvXvbED5/AyibYbdwRfEzZCQ/uZH6fg1rUnioBD8DlAroD1s1 9hY1WfZ542fVVFLF8uuDgBuqV4j++qJB0t1r5nZ3nBtL6Su5zrL2tZyQfAg1g7lZNBHdqWNC A71FcQeQcmoMu0j3VazPXdmdKhf8rA5O8S+er6IwqmuaaxY2hutjXhK5qh2yQSW6mx6TqSbu vRNi+HdxQaBWzrm2R2Z9On8mZxJYxkZBSyl1G7iAMQCLr03doENB2C0JsSxzdgrnJ/hVUlT8 1u7Dk8H0sukEfaLR2T0xhYYlUEeoHj83DC90yQxiDYx6KyWwC3Jxe3mMhsBIG9CAmd43x/gJ o29jtZSW0bNDUBhrF2M7kbmyq5zr785NXSVR0MAcyXtLm5kW7e9rfLbOJcJscx093wJFr3gO hiTUfblrgEf0j//Emc7pnhzbDystpjj3lR7hG+bMHdvvS/ccMB0yw3Y4Y+UTvpQ0zwaAShg3 GCMXx7lYIXvpIvSzsuY4YXcHyq7W5ZecDfm19aFvSq/vihxBAGn2uu0gpvhGBQ71iny059rU z/JpVDyeNqOtezyPOR5c01vHFK55dB9H9Q0qs0Zj5EM1H4yjY7T52dBl2O5YrA5keruKWEAQ zIG2Yuf2E7M001/I3ShzJm/TGjbxM8rNJGqJ2gR3Cw69cVDDqyZuadFkSVCqV29tQvNYPJ5k 2R4q7Nm+DsAjuoOogZo0jSFD+VYAxxDJSK13UfA/5Wkoa5QfmrqbbWgyB80g4W6FL/bx2MUE HfhJsV7RnY2t5ojdgmUliW0sN2secGMP4tI71vNzEuG1rYTcchh0aBU4EgvcWPl4y9/k7Zi3 0I3hcPj4NHXeTw0pPzrUFkGanXjbscXsFkBlI5ml92Nl8CqF5RlQXAQWYfwCOmvCHQUvOjmM ACHFHs9rG2aEPzRB13X5EBjpnPJW5elUhPfbGEe1slnTQKBKVZ3mwUIRGx8hZU4GwahyYr7b QF/4ngd60X5pR1F1u9zf0CkCyGG+1vuM2lyEcTEZBNNi2MKr1/YK8mf8v5+E2lD85utoRbMY m2XagJUDH0YD0yJA1ewdrKq5NTG762ZHr/ndKKIOOrS77UAEa7UnsHKsMMu5TuHO8SRM2M3C vQ63hEGRnVlA4HCnC1JTSULliXLZsrdpRGm+yQxoNrslZajEA/p+4aLDKNfdNt1/BXjy5/FH uWQmCt/AT1DkIkRg3nMgut6vhZam2R1ej+hHK5V/zbKV77Vk7RLAgQzcCZvLJIO9Kk90w9GN IjBl5Xz0vQr65x9Q0cAXlvnlMazYMUMKGzoL1LLCnGAM7GeLCHKycX6MuusDKddh+JOu1isq C6WRgX9ay+bmWCjBHXNealcyTuWNxtEtMShfwZxXCL9Gcn+ZETzMccr32RtmPtt2S+MbjZaa X8mLyYv5vWR9X8K264mXTUesjw8c6/dwXbetbeQK45I46EzWn0mybsCsi1mkusHtXgcGq4n3 3WO5shnp1Xs+gFq4jF8FgBT7DBP1trjVapKMr6f7IQGX3KWpXrlDE2LDggS/p1+Adzivatdj MLS0qT3em4qzg== IronPort-Data: A9a23:Xp93aq5Z57WcX8UmlTWprgxRtO3BchMFZxGqfqrLsTDasY5as4F+v mIdWGnVa/uIZmP1e4t1a9+z9BwGupfUx4QxTwtkqXhhZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOK6UYYoAwgpLeNeYH5JZSlLxqho2uaEvfDjW1nX4 Yir+JWGULOY82cc3lw8u/rrRCxH56yaVAMw5jTSstgW1LN2vyB94KM3fcldHVOgKmVnNrLSq 9L48V2M1jixEyHBpT+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRYRQR8/ttmHozx+4 I8Sh4CJUiwKBI+SqsZBD0NpQgZ/JbITrdcrIVDn2SCS51bDb2O1he5lDUwwNoBe4PsxB2UmG f4wcWtUKEnc26TvnvTiFrIEascLdKEHOKsn/FhrzS3UC94tWtbZXuPM4be02R9g3ZEVR6iAD yYfQSdUTQ7nQRZ/BnZULLNgm8iG3HX7KiIN/Tp5ooJsvzeMkVEouFT3C/Lec9mOAMFUhVqwv XPD522/AxcANdXZxyDtz563rvTKgTuiHpkZFbC+/fMsmkDVwGh75AAquUWT+6aLlnelcPFlC RIm2HZy95lj002zUYyoN/Gnm0KsshkZUttWNuQ17gCR16bZizp14EBYElatj/R676cLqSwWO kyhwoq2XWQ32FGBYS/MqejLxd+nEXJNRVLucxPoWiMjx7EPSqkcgxTJQ84L/EWd0ICkQFkcL xiurS00mq8c5fPnOo2g+Ezf2nS3rZnESAU4oB/KGGShhu+YWGJHT9H1gbQ4xa8eRGp8crVnl CJZ8yR5xLpeZaxhbATXHI0w8EiBvp5pygH0j191BIUG/D+w4XOldo04yGggeBgwa51eJGOxP BW7VeZtCHl7YSfCgUhfPt3ZNijW5fG4RbwJq9iEMoAfMsItHON51HA+PxH4M5/RfLgEyv1gZ srGKK5A/F4BFL5phDDwWaF17FPY7n5W+I8nfriil07P+ePHPBa9EO5VWHPTPrFRxP7V+239r ocAX+PUkE83eLOlPUHqHXs7cApiwY4TX86m8qS6t4erf2JbJY3WI6SIkO17JNA9wfg9eyWh1 ijVZ3K0AWHX3RXvQThmoFg6AF82dZog/389IwI2OlOkhyoqbYq1vPUUbN0tYP8h8LU7n/JzS vAEfeSGA+hOG2+Ypm5DMcGlodwwbgmviCKPIzGhMWo2cJNXTgDU/sPpI1n0/y4UAyvr7cYz+ uXy1g7STZcZaR5lCcLaNKCmw1+r7SoWg6RoQg3OJoALKknr9YFrLQ33j+M2cppTdE+dmmPC2 l/PUxkCpOTLr4sky/XzhPiJ/9WzDu9zPktGBG2Kv7+5OB7T8nen3YIdAv2DeirQVT+s9aivO bdVwvX7PKFVlVpGqdMtQa1u0bpnocDkprJcxQkiBmiNaVDyUuFsJXyP3M9usKxRx+4C5lbsB B7XotQKa6+UPM7FEUIKIFR3ZOq01cYLxGvY48M1F0P3uX1s972dXEQPYRTV0H5BLKF4OZ8Oy Ps6vJJE8BS2jxcnboScgiZP+zjeJ3AMSfx25IofHJeyzBEgy1xEapGaEDKw5pXWM4dANUwjI zm1gqvehuUHmReYLSZrTXWdj/BAgZkuuQxRyAFQLVq+mu3a2K090ipRxjI6E1ZOxRJd3uMuZ GUybx9pJb+D9itDjdRYWzz+ABlIARCU9yQdEbfSeLE1m6VpaoDMEIH5Ef2I4FhAtXlXfzVd9 7ze0nujVzKCkATZwH4pQUA8wxD8ZYUZy+EAsJnP8we5810SaiGjmLLoY25gR97PH5YqnEOez QV11L8YVEA4XBL8Z4UwEM+AyPIWTHho4YCEre5JpMs0II0XRN1+NfVi5ax8lgOh6sEmKXOFN vE= IronPort-HdrOrdr: A9a23:H4hh+aqwY0Tnphv2iyA3Db4aV5o6eYIsimQD101hICG9Ffbo8v xG/c5rtyMc7Qx6ZJhOo7y90cW7IU80lqQb3WByB9qftWDd0QPCEGgI1/qA/9SPIUzDH6Jmu5 tdTw== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,178,1643670000"; d="scan'208";a="8393266" X-MGA-submission: =?us-ascii?q?MDEi5FDGJX+zZoLIMBxdvnIbDCJnloA7V+R8Lp?= =?us-ascii?q?M9z7iJwtZpiioUX200GZCNKxTZT7SbAZTOoloU9Lcm2teh2Immub+QGi?= =?us-ascii?q?3VXcjFi1+vNKv4OTZmPDR9I+Joh3s86J8z6wIkGf52ydBbTgArjDI51c?= =?us-ascii?q?nQbMR8SZCnPzL5ORJCpkpryA=3D=3D?= 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; 13 Mar 2022 12:01:57 +0100 Received: from [131.174.113.57] (vpn113057.science.ru.nl [131.174.113.57]) (authen=peter88) by smtp1.science.ru.nl (8.15.2/5.32) with ESMTPSA id 22DB1tcK016744 for ; Sun, 13 Mar 2022 12:01:55 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=cs.ru.nl; s=cs20200203; t=1647169315; bh=294xAXpI3IF0/RNxTuflT1nU85Qcws9RThtAvQYteN4=; h=Date:To:From:Subject:From; b=I+ZaPvIV0/TtrI7rLr/v1aS2J/RCAFIVjhEY0zDeRGedcv1aLzFEbtwuPrcFP4xjg Mcn8Mcq5dhk3qHs9wuvkquwU/GQImIaud4l76pMuxZ8VFrS7HbTlPYcsrHXfeLIjOZ y/JksssrCjoIRiYsim1u6sK0gCWvJ4JGsGxwG1gwuGrZCUMxPCPortmAOh12mWw+F2 WKprK5EVPVFakYojNuTdK/mKRiBozRictGhVOO/DFkGRvtR+4rlyHHzf70XeIgG0iz jmpk9zKoq6qouaZGbTk75KlVAjrUSIi+rm0HwLuiiKMZZmoeP4Cs0jXXWIcFjdzOsy Ee2xTKDzMSM+Q== Message-ID: Date: Sun, 13 Mar 2022 12:01:53 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.6.2 To: caml-list@inria.fr From: Peter Achten Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] [Call for participation] TFPiE and TFP online events March 16-18 -------------------------------------------------------------------------------               C A L L  F O R  P A R T I C I P A T I O N  11th International Workshop on Trends in Functional Programming in Education                                   +            23rd Symposium on Trends in Functional Programming                          16 - 18 March 2022                  wiki.tfpie.science.ru.nl/TFPIE2022                          trendsfp.github.io ------------------------------------------------------------------------------- The programmes for TFPIE and TFP are online (all times are UTC+0): - TFPIE: https://wiki.tfpie.science.ru.nl/TFPIE2022 - TFP:   https://trendsfp.github.io/schedule.html Registration is free. Prior to the events you receive a mail with the links to the Zoom meetings. The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. We aspire to be a lively environment for presenting the latest research results, and other contributions. The Trends in Functional Programming in Education workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. We foster a spirit of open discussion by having a review process for publication after the workshop. The program has a lot of interesting talks, possibilities for interaction, and keynote presentations: Trends in Functional Programming in Education keynote speaker: --------------------------------------------------------------- Peter Achten: The Perfect Functional Programming Course Trends in Functional Programming keynote speaker: ------------------------------------------------- Christiaan Baaij: Building a Haskell-to-Hardware compiler: Theory & Practice