coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation

From: Jesper Cockx <J.G.H.Cockx AT tudelft.nl>
To: "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "fp-nl AT lists.science.uu.nl" <fp-nl AT lists.science.uu.nl>, "ipalist AT listserver.tue.nl" <ipalist AT listserver.tue.nl>, "haskell AT haskell.org" <haskell AT haskell.org>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>, "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation
Date: Fri, 3 Nov 2023 12:20:44 +0000
Accept-language: en-US, nl-NL
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=J.G.H.Cockx AT tudelft.nl; spf=Pass smtp.mailfrom=J.G.H.Cockx AT tudelft.nl; spf=None smtp.helo=postmaster AT mailservice.tudelft.nl
Dkim-filter: OpenDKIM Filter v2.11.0 amavis 3C932CC00C8
Ironport-data: A9a23:gj2IIKmMV/W+gfPuOBUwXLDo5gxtIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIdWWmObq6CMGXyft90bYnl8UwDuJ+GxtBkTAtu/y4wQVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajl8B56r8ks1562r4GhA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN0zPX45D9Ff3twnDGwT7 fg4Dzo1NTWM0rfeLLKTEoGAh+wmJcjvJ44FpHBrwHfFEPorRZ7fBaPOjTNa9G5r3oYXQ6+YP pFAL2cHgBfoO3WjPn81Tr14vKGDgXL8YxVEtV6YoaQrpW7XpOB0+Oe1bIaJJYzSLSlTtkun+ X+W20HjOUE1OfeH7BO092O9rfCayEsXX6pLS+zhrKY36LGJ/UQYDwRTXl+mq9Gim0umUpReL VYV82wgt8APGFeDS9D8Wwa1umCFtRNaR8dcHuk09EeLzsI4/jp1GEBZfwFOWoBhkPVmSDF3z lupuNnRXhlg5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3+QPsL3fnTqSFI0zSvLdYsndRWGhk mziQD0W3u1L5fPnwZlX6njhp1qRSnXhSwc04h7aRHyk5Q4/eJOpaoim9R7d6Z6szbp1rHHe5 hDoeODHsoji6K1hcgTRG43h+5n1vZ643MX02wIHInXY323FF4SfVY5R+ipiA0xiL9wJfzTkC GeK51IBtcMCbCfxM/cpC25UNyjM5fW+fTgCfq2EBueinrAoLF/vENxGNRXOhzm8yiDAb4lhY szBKq5A8kr2+Yw+k2vvHb9AuVPa7jsj3227eHwI50rP7FZqX1bMEe1tGALXNogRtfrYyC2Lq Iw3H5XRlH1ivBjWP3O/HXg7dw5adBDWxPne9qRqSwJ0Clc/QD59W6aPmtvMueVNxsxoqwsBx VnlMmcw9bY1rSSvxdyiOy8/OoD8F41yt2w6NiEKNFOlkSprK4W24atVM9N9cbA7/aYxhbR5X tsUSfWmW/5vczXg/yhCTJ/fqIc5Sg+nqzjTNAWYYR8+XaVaeSr3xvHecDDCzhI+VhiMiZNmo pmL9B/qfp4YdgEzUOfUcK2Oyn2yj1g8mcVzfRPEHeNXcmreqKxvdjfQj+A2Ee4IOx7s1juX7 CfIIBY69M3mgZ45z8nNvo+A97yWKupZGlFLOVXb4ZKdFzjozkD6zaBuCO+3LC3gDkXq86CcV MBp5vDbMsxfum1VsoB5Qo1Z/Yhn6/TB/7ZlnxlZRlPVZFGWC5RlEHmM/e9LkoZvnrZ5mw+Ha nijy+lgG4eiGZ3aSQYKBQ8fcO68++kemWDS4dQLMUzK3nJL04TdY3pCHSunqXJ7F6R0ArMH0 O16mc8x6i6DsDQIHOuCrBhp8zWrEiRdfYQh7ooXEa36uDoNk1tiW6HROgXywZOIauhPDHUUH y+ptPLCqYhxlkvmWFgvJEfJxttY1MgvuggV7VosJGapu9vih90r7SJV6j9tcBVZyxFF4dkuY mRUDUl/CpfW2zI1n+lCQGGeNAVTDzKJ+kHK6gUolU+Ia2KKR2DyPGkGFuLVx38g8kVYZSp+0 IiD7WTYDQbRY8D62xUtVX5fq/DMScJ78ivAkpuFG/upMoYbYz2/pIOTfksN9gXaBP0uiH39p eVF+Ph6bYv5P3Uyp4w5E4yr6qQCeiubJWBtQeBTw41RJDvyIAqN4DmpL1y9XuhvJPaQqE+xN JFIF/J1Dh+70H6DkyAfCasyOIRLpf8O5ucZW7bVNGUD4qq+rD1ojcrqzRLAplQXGvdgrcVsD bnqVWOmMneRjn5qiWPyvJF6Gm6nU+IlOiz4/s6IqdssKbxSnt1oQ08I1pmMg060KypiphKdg xPCbfTZzstk0oVdoLHvGaRiWSSyE4rBe9qTwgaKrt5LctLrGuXNvjMztVPIEVl3P7wQetIvj pWLkof9833ktYYMcVLyuse+BYgQwuvqR8tREMb8DEcCrBu4QMW2vicyoTGpG6JGgPZ2x5eBR TLhTOCSaNRMedNW5EMNWhhkCxxHVpjGNPbxlxic8caJJAMWizHcDdWd8nTsU2FXWwkIN7D6C S72o/ye3c9ZnqsdGC47A+xaPLEgLG/BQacGc/jDhQucBESsgXKAveLGvjgk4jfpFHKFMZjb5 bToexvATymx6Zr4lIxhj49PvxMpVSc3xaF6e08G4Nd5hgyrFGNMf6xXLZwCDYoSiSDoko3xY DbWdmY5FCHhRnJ+fA7h5Mj4FBKqbgDU1gwV+hRyl69VV8u3OG9EKL5o9yN77m1oezDuiv26J dwa9GG2OBzZLlSFgwoMzqTTvAul7qqyKrE0FYTVj9H+DhIQHfMM0BSN2SJTADffHZileFrjf AAIqKMtfK1/YVLsHctkdWITHhVxUPYDCdk3RX/n/eszcLl3AAGNJDMT9g0zPnA+gBw2GYMz
Ironport-hdrordr: A9a23:UhDR5q/x038BdFksn1Vuk+AgI+orL9Y04lQ7vn2ZESYlDvBw5P re48jzsiWE+wr5OUtQ6expWsG7K080kKQZ3WB/B8bZYOCLghrOEGgA1/qR/9SDIVyCygc178 4JGNkceb+AaCkfsS+Q2njALz9U+qj9zEnev5an854Cd3ANV0gq1XYGNu/SKDwGeOCqP/UE/Y Cnh/Zvln6bYHwSKv6wAGIINtKsmzTUrvLbiME9ayIa1A==
Ironport-phdr: A9a23:X0jevx2DdIAtToXLsmDO8AwyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaPo6w13BSSA82bs6sC17CI9fi4GCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajYr5+N gi6oRnSu8UZj4ZvK7s6xh/VrndVYehbyn1kKFOJkxrg+su8+YNo/jhNtf4m68NOS7jxcb4iT bxfAjQmMmQ169PuuBLeUwaB5WYSX3sPnBZQDAfL8B/1XpHqsivnreV9wzWVPdf3Tb8vRzuv6 bpgRQLyhycGMz4593zXitB1galGrh+tuwBzzojJa4yTKfFwfL7SfckCSGRBQMhfSjBBDI2/Y YQTAOQOMv1Vr5Xkp1sMsReyGRWgCP7pxzRVhnH2x6o60+E5HA/CwgMgBMoOv2rOrN7oKqoSV vy6zKrHzD7eaP5Y3S3x5onSfh4ju/2BQ7VwftbSyUggDA7FkkiQppH7MDOR2OQNr3KX7+xkV e+2jWMstg5+rCS1yMg2lonJmpwaykrC9ShhxIs7JcC0RkF0bNOmFJZdtiOXOotrT84sTGxkp To2xLMYtJKleCUExpAqyh3dZvGZb4WF/xDuWeaQLDl2mn5ofLSyjAu8/0inz+3zTMi00FBSo ypZj9nDq24C1xjd6sibUPd9+EOh1S6V2A/J7OFEJF47la7GJJE/2L48jJwTsUDbEiLyhkn7i LGael8i+uis8+jnZK7mqoWaN49wjAz1L6cgmtSnDOglPAUCQ3KX9fm92bH+50H1XbtHguAsn qTZqJzWOMoWqrOjDwNI0Ysv9wyzAja83NgGknQKKk9OdgidgIjzIV7OJej1DfehjFSolzdm3 /XGMafgApXJNXjMjq3hfah860FA1gU/18xf549JBb4fJPLzVFPxuMbeDh89KwC0wuDnB8th1 o4GRG6CDLOVPLnPvVKJ++4jOfSAaYEItDrnK/Up//vugmU4mV8Zc6mpx5wXaHWgE/piOUmXY GDgjNUbHWoUuQoxUO/qiVKZXD5Pena9Qrwz5jU1CIK6F4vDQIStjKSH3CigBpJWfHxJCkiQE Xf0cIWJQ+oAZDqIIsB9ijwESaShS4g52B6ysw/60qNrIfbQ+i0Frp3uz8N15u3WlREq7zN4F cWd02eXT2F1hGwEXTE23Los6XB6nx2fwLB1mLlRE9pU+vVCXy8+NIXA1KphBtnpHB/Zc9GPD luqX5/uVS0gVt8qhtYIZUFgHd6vphTCxDaxRaQYnqfNGYQ59KSa0nTscYI1gXjeka8lp10nW ddUc3ath6N5/AWVGpOPlUHT3/KkbeEa2AbJ9Xyf1iyVt0BVVgV9F7jYG3YbMA+e59Xh70fDV KOGDbU8LhBM09CPMO1Wd9Cvi1EMDKPiIN3aYnmts2OxHgqTy6mSYZCsZ3gQmiPZXgxM2QAa5 nWLMQwWBi66oG/aCHppD12lKxfs+PJ9pXe/Zk891AKHa0kn0KC6rFpdz/WTR/o72rMfpDxno DV9GFOwxcmQENfK715oc6lVSdc8+0tck2nZvgh4M4a7abtv0BpWOQ9wpgbl0wh9IoRGi8kj6 n0whkImIqWBlVhFajmw3JbqO7SRJHOkrz61bKuD+FzFyNuMsowI4/co4wHB+i7vNgwJ9H5kw /FJzneR4pvWSgwWB8GiGn0r/gR38umJKhI24JnZgCUE2cictzbD34lsH+450lO7eM8ZNqqYF Qj0GslcBs60KeVslUL6JgkcMrV086g5d9ija+PAwLSiacQms3SGy09A64Nt+l6R+yd4RPKO2 ZJWi+qA0F6/XiznxEykrtixnIlFYT8IGW/q627LQq4XTap5fpYjFXqiLsm52pN4g82lQGZWo XikAV5Ow8q1YVySYlj6iBVXzlgSqGe7lDGQyjV1lyoktLSe1yGI3/nueR4JJihNQAGOlH/KJ o65x5AfVUmsNE0ykQe9oF393+5drbh+KG/aRQFJeTL3JidsSPn4sL3KeMNJ5J4y1EcfGO2hf VCXTKL8qBoGwmviGWVZ3jUyazCtvN3wgRV7jGuXKHs7omDefIl8whLW5dqUQvA0vHJOZm9Xz xmRLV+3PMmB4ciYmpPNrqa4UyPpV5FedzXq0ZLVrDGytggISVW0m/G+nMGiEBBviHSjkYA0D GOR90+6P9qOtezyK+9sc0h2CUWp7sN7Hto7iY4snNQL3mBcgJyJ/H0BmGO1MNNB2Ku4YmBeI FxDi9PT/gXh31Vua3yTwIesHFfb7Y1BIfK9aWAG8j4g481OBrvS6rgOzk4X6hKo6BncZ/Rwh GJX670Brl5cqOYCuxoF0jiRD7QcAQ9eOWa/8nbAp8D7p6JRamG1dLG230crhtGtAoaJpQREU Wr4cJMvdcNpxv12K0mEkHj664W/PcLVccpWrRqM1RHJk+lSLps10PsMnytuf2zn7zUpzOsyj Bom2p/f3sDPCSNCuoL/KRlTNS3de94f9zXjkeBYmo6a0puuEZNoBjgQFMKzFbTxTmtU7K++c VvGGSZ0snqBHLvDAQKTjSUu52nCFZymLTDfJXUUy8ljWAjIIUVehA4OWzBp1pU9Fw2s2Inga BIgvWhXvwCh7EIXk6Q1ZHydGi/FqQylayk5Us2aJRtStURZ4lvNdNeZ9qR1Fj1Z+ZuoqEqML HaabkJGFzJsOATMClb9M72p/dSF/fKfA7/0Db3hJ5XIgutVVOeg2Y+j349o43CKMo/cWxsqR +1+wUdFUX1jTo773RpJa2o8kCnOf+aHuRux/iNr6Ma7uqeOOkqn9c6EDL1cNs9q8ha9jPKYN uKesy1+LC5RypIGwXKbgKhaxlMZjDtiMiW8CblV/zCYV7rew+UEanxTIzM2LsZD6LgwmxVAK dKOwM2gzaZ217Y0EwsXDAe43Jj5PYpSZTn6bQ2PBV7XZu3dfXuSnZixOeXkDuQO6Ycc/xyo5 WTHTQm4Z3Lax2mvCkrnMPkQ3nvCZloO48fnKkcrUDmzBNP+Nk/haYUx3WZwm+VlwCmSaQt+e XB9dUhJs7GdvzhAjLNnAWtd43F5LO6C3SGE8+3fLZVQuvxuSiVynOZH7Hlo0KNbqihKTeczn y3Wr9hjxjPu2uiXlmg2DFwX9m0N3tvS+x86Z+3Y7sUSCCqCpU5Wqz/JUlJQ/4QAaJWnuqZbz sXDmfDoMDkE6d/f59YdG83dKcbBO30keRvvEzrJAAZXVialcGiZm1FRnfWc6juTqtAso5zo0 vLiU5d9U1o4XrMfA0VhR5kZJYtvGygjifidhdIJ4ny3qF/QQt9bt9bJTKDaB/KnMzufgbReA nlAibrlMYQeMJH60E1+exF7morNAU/ZQdFKpGVocAY1pExH9HU2QHc03grpbQak4XlbEvDR/ FZ+kgxlfeEk7yvh+X8yL1vOvyYqjkg6lJP5nDycdDDtaqG0HMlXByfyq0ktI8b7TgJyPmjQ1 QRvMDbJQa4UjqM1LDszzlaC4N0WQqcaEP4hAldY3/ycavQ23E4JryymwRQC/u7ZEd55kxNsd 5ewrnVG0gYlbdgvJKWWKrAaqzoYzq+IoCKs0fg8hQEEIENYukHUV2go/mcPPbo2Dza18uFo5 xDEnT8JKw1uH7I65+ln8E8wIbHK1yX7z7tKMVy8LcSaJqKdoGXai8+DTxUsy08Fk0dZu75ym 5RGEQLcRwUky72fEA4MPMzJJFRObsZcw3PUeD6HreTHxZ8d12CVCv3kQOuAqOAShhD8dO7IN 4EF78AaE4Oy0UrVa9v6ILMBxwlr4gC5fD1t49xVZR6GlDkb5ce7nsYf4A==
Ironport-sdr: 6544e5a1_U/HMbA+K+c7L+i5m6bfOj1ZIc5dhlAJ9tY5oGOTKAYl8xIz 4EU6o99nfr7tryT77quqAQhT51AaFEDZ5qCIfFA==

===================================================================
                          FP Dag 2024

           31th Netherlands Functional Programming Day

                    Friday, 05 January, 2024

                     CALL FOR PARTICIPATION

             http://www.tudelft.nl/fpday-2024
===================================================================

The Netherlands Functional Programming Day (or FP Dag) is an annual gathering
of researchers, students, and practitioners sharing a common interest in
functional programming. The day features talks that cover the latest advances
in research, teaching and applications in the area of functional programming
and (implementation of) functional languages.

Coffee and lunch breaks provide ample opportunity for networking with your
colleagues and meeting new people. Experts and newcomers to the field are
equally welcome.

Colleagues from neighboring countries are more than welcome to attend; the
language of the FP Day is English.

## Registration

Participation is free of charge, but registration is required:

   https://www.aanmelder.nl/fp-nl2024/subscribe

There is a soft registration deadline of **Friday 22 December 2023**.

## Schedule

You will find a preliminary schedule on the website:

   http://www.tudelft.nl/fpday-2024

Details will be added as speakers become known.

## Location

The FP Dag will take place on January 5th 2024, at the Technical University
of Delft. Address Aula Conference Centre:

Mekelweg 5, 2628 CC Delft, The Netherlands

Nearest busstop: Schoemakerstraat (bus 55 from Train Station Delft)
Nearest train station: Delft Trainstation
To plan your travel, visit https://9292.nl/ or https://ns.nl.

## Organisers

- Jesper Cockx (Overall & Content)
- Shelly Dawn Stok (Website & Logistics)
- Bohdan Liesnikov, Lucas Escot, and Jaro Reinders (Local Organization &
Support)

[Coq-Club] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation, Jesper Cockx, 11/03/2023