coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [Call for participation] TFPiE and TFP online events March 16-18

From: Peter Achten <P.Achten AT cs.ru.nl>
To: coq-club AT inria.fr
Subject: [Coq-Club] [Call for participation] TFPiE and TFP online events March 16-18
Date: Sun, 13 Mar 2022 12:04:03 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=P.Achten AT cs.ru.nl; spf=Pass smtp.mailfrom=P.Achten AT cs.ru.nl; spf=Pass smtp.helo=postmaster AT smtp1.science.ru.nl
Ironport-data: A9a23:+v5X6K7MQz8KBCC79Pw5PAxRtO3BchMFZxGqfqrLsTDasY5as4F+v jQaCGiBOveNNDegKY8lYYTlpkkBuMLWyYM2TVRqr3s9Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOK6UYYoAwgpLeNeYH5JZSlLxqho2uaEvfDjW1nX4 Yir+JWGULOY82cc3lw8u/rrRCxH56yaVAMw5jTSstgW1LN2vyB94KM3fcldHVOgKmVnNrLSq 9L48V2M1jixEyHBpT+Suu2TnkUiGtY+NOUV45Zcc/DKbhNq/kTe3kunXRYRQR8/ttmHozx+4 NVz9pGWRTUSB/eWgd0xTStpT3xsBaITrdcrIVDn2SCS51bDb2O1he5lDUwwNoBe4PsxB2UmG f4wcWtUKEnc26TvnvTiFrIEascLdKEHOKsn/FhrzS3UC94tWtbZXuPM4be02R9q25ATRK2AN 6L1bxJFaz7MeCBQN2tLK5QRsMzrqEKmYRlh/Qf9Sa0fuDSMk1EsidABKuH9cduTAM5Rg0ywv XPD522/AxcANdXZxyDtz563rvTKgTuiHpkZFbC+/fMsmkDVwGh75AAquUWTocf6h2iyaelmc RYNwwYwn5luqV6TQYyoN/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:sdwHNazRDmUFwHwQchKwKrPwPb1zdoMgy1knxilNoHtuA6mlfq GV7ZYmPHrP4gr5N0tNpTntAsm9qBDnmqKdg7N9AV7KZmCP01dAR7sSjrcKrQeAJ8SzzIBg6Z s=
Ironport-phdr: A9a23:Plmz8hWycgiPymXYe3gVATBdUPfV8Kz5XzF92vMcY1JmTK2v8tzYM VDF4r011RmVB9+dsqgawLCM+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtWiDanfL9+M hS7oQrPusUInIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3Q rJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6 bpgRxj1hicaLD456H/YhdBsjKxVpxKhogZww4/SYIqIMPZzcafQcdYcSGFcXMheSjZBD5u/Y YUBAOUOM/hWoYngqVQSohWzHhWsCeD1xzNUmnP706833uI8Gg/GxgwgGNcOvWzOotrrKKcdT /q1x7TUwDrfb/NWxSny6I7VeR0mu/+AR659ftbRyUkzCQzFiE6dppD+Pz+PzOQNrnKX7+xkV e+2jWMstg5+rCS1yMg2lonJmpwaykrC9Shhzos4OdK2RU17b9O6DJZcqT+XOpZ5TM48TW9lp CQ3x70btZO/fSUG1ZsqyRHBZ/GGcIWE/g7vWumRLDtmmn9oZrSyjAu8/0inz+3zTMi00FBSo ypZnNnMrnEN2ALJ5sicVvR9/1mu2TCT2A/N8u1ELkE0lbbbK5482bE8jJsTsUPbEi/shUX6l qmWdkEi9+O16Orneq3rqoKSOoNpkA3yL6Yjl8OlDeglMwUCRXWX9Ouy2bH74EH0TqhGgucrn qTbv53WP9kXqrO3DgNP0osu6RCyBCq83tsCh3kINldFdQqHj4f3P1HOJ+j1Dey6g1SwiDdn2 urKPqb9DZXMMHfDlqvucqhn505G1Qo/19Zf55ZMBrEAJvL8RFPxucTFAhI3LgC42fvrBddy2 48ERG6CA7WVPL7dvFKG/u4vJvODZI4RuDbzMfgl4PvugGcjl1MHYaSmwZsXaGymEfRgOEiWf WHsjs0bEWcXpAY+SujqhEWEUTFIf3myRb4z5iknCIK6CofOXp2hjKSb3CinBp1WenxGCleUH Hj0cIWEQu4AZz6WIs98iTMJTqOhSo8k1RG2rgD20btnLuzO+i0Zr53vztZ15/eA3S01oDdzF oGW13yHZ2ByhGIBATEsj45lpkko8lqf3LIwqvdYCdFVr6dxFC4xNYLRycRxEJboR0THeoHaG x6dXty6DGRpHZoKyNgUbhMhSr1K7zjG1iuuWfoOkqCTQYYz+eTa1mTwIMB0zzDH0rMghh8oW JgHLnWo04h48QWbHIvViwOBja//TeI11y7R+WGrxnHIplweVgojGb7dUyUnb1DN5c/8+luES ravDbo9NQ4U8YirIatWZ9vBhk4AXuqlPtCNK3mplTKIDA2TjqiJcJKse2gZ23DFD1MYlgkI4 XucHRM7Gj/45XnVDTFoHl+peV6q9+0WRGqTaEgywknKakRg0+Dw4RsJnbmGTPhV2LsYuSAno jEyHVCn3tuQBcDS7wxmNL5RZ98w+jIlnSrQqhB9M5q8Lqtjmk9WcgJ5uFnr3gl2DYMImNYjr Xcjxg5/YayC11YJezSd1JH2crrZTwu6tCjpQqXWxlzY+N2NvL0SrvI86h3isAyvCks+4iB/y dAGm3CY55jMEE8TSceoCR9xrkcm4eiEJHBhvNCxtzUkK6S/vz7c1sh8AeIkzkzlZNJDKOaeE wS0FcQGBs+oIehsml6zbxtCMvoBkcx8d86gafaC37ameeh6mzfzx1wByYt9zk+K3yFnDPTVm ZABiaL9vEPPR3LngVGtv9qi07gCTDoSAme54SP/QpRMIKt2N9VDGSKlJMu5wc97jpjmVitD9 VKtMFgB3degZRuYa1GVMRR47U0MujTnnCK5y2YxiDQ1tu+F2yeIxe3+dR0BM2oNRW94jF6qL 5Lmx9wdWUGpaUAumn7HrQ7CgYFQpLhyKUHYWgFSYm7wKyluX7CxubyLf8NUoMpz6GMOD7j6O A7cE+Km6xIBmzvuBW5f2Cw2e1TI8t3ikhp2hXjcZHd/oXzFeN1hkBLW5djSX/lUjXINQCh1j yWSB0DpZoLwu4zLy9Ga7KbnCznyM/8bOTPmxo6BqiahsGhjABnl2uu2hsWiCw8xlynyy9htU yzM6hf6eIjikaqgYocFNgFlAkHx781iF8RwiIw10dson1ERhomY+1IMiiHpLJNd3eitCRhFD S5O2NPT7AX/jQdbaFuCx570UF2W2Y17ep+8ZilFkjJ45MdMBqCO6bVCliYguVu0ozXaZv1ll yscw/8juxt4y6kZ/RAgxSKHDvUODFFVaGbywg+Q4Yn0/+1HIXyier+q2A9ikMC9Wfuc9xpEV i+cGN9qHDcsvJwkaRSVjyG1sdmiIJ6KMZoSrkHGykyZybEKdNRoyLxT33ogYzyY3zVtyvZl3 0Y2hcjo4tHfeTwxpfLrW0cAaG+nIJ1PsifkiaIU9iqP97imBY4pWjACXZ+yCOmtDCpXr/Psc QCHDDw7rH6fX7vZBw6Wrkl8/TrDFJWiNnffI3d8r50qXB6GOElWmxwZRh0hm4IhT0axz83sd kx0oCoMoFj84hdB0eNnMRDjX3yX/VzxLG5rFN7GclwPsloK7lywU4TW9u9pGiBE4pCt5BeAL GCWfUUADG0EXFCFG0G2PrSq4oqI+OyZC+yiavrWNOzV8KoHCKvOnMzpi9c9rFPufo2VM3JvD uM2wB9GVHF9QYHCnikXDjYQnGTLZtKaoxG1/mt2qNq++bLlQlGKh8PHBr1MPNFo4x3zj72EM rvavGBQIjZE25UkzmSO0qVZ2lpY2EQMP3G9VK8NsyLAVveagqhMExsScD9+LuNT6r4kh09WM s/WjNj4kKRlyPgxQQQgNxSpioSiYsoEJHu4PVXMCROQNbiIEjbMxtn+faK2TbADxPURrRC7v iyXVlPyJjnW3Se8TAihaKsf6UPTdAwbooy2dQxhTHTuXM6zIAPuK8d51HU32eFm3yiTczdDb X4nKwUV6efMiEEQyvRnRz4YtSMjdLbY3X/HqbCCetFM77NqGnomzboCuSZkkuMHtX0dFK4sw XOM/Iwp/Q3uhOCLznAPuPtmsTNXnNvNpk5jNKPS+99aRDDC+EBUhY11Ix8R4cF4TNvr6fg4I jfnn7m1MioE9daGpKMh
Ironport-sdr: jXUyUDvNi1mGDWEaJQgzyv/9ODpNG8W/mzntrHfs5jQQVrlZ3x4l4JolnIOZi/18vopdGMiBrJ MLv0unhJgBh89FRBoCJWH9gVA/Tz1nAvt1la1CBP2l/5MCCMx1dRvo2C3hTZg64PqxeaGdj9sg cdbbttE4ez1AeOp07FQvyG/YR5tASgySdofcUDiDZuR5C1qzLALLkGBBnDMK/yaeHg8fUp7ZA2 XhSTaDg5JrvSK0T8rprhCxNFZ/rEpJ1jXkaB2qAVfDdeOyd/5uENyS/d53k+sN+Exlo7i//jyH y7An1aXZy/+KZy6clLNrfvaI

-------------------------------------------------------------------------------
              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

[Coq-Club] [Call for participation] TFPiE and TFP online events March 16-18, Peter Achten, 03/13/2022