coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [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>, "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: Re: [Coq-Club] 31st Netherlands Functional Programming Day (FP Dag): Call for Participation
Date: Sat, 16 Dec 2023 14:27:49 +0000
Accept-language: en-US, nl-NL
Authentication-results: mail2-smtp-roc.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 CAF836400CB
Ironport-data: A9a23:gcp6gq/3xl4JDuOsCuiNDrUDkHuTJUtcMsCJ2f8bNWPcYEJGY0x3y zQZXmmPOvrYYmGkfNx+aIrjoEMCup6HydJnSgM+qyFEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYoWo4ow/jb8kg25q2s4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TEk+9LD3EMO4gi+utYHk5jr toza2tcR0XW7w626OrTpuhEg80iKNLmJp0esXwm0SzVAPIoXdbFR80m5/cBh292354XW6+FP oxEAdZsREyojxlnGBE4TrJ4t+CjhWnXbyBUpVabuewx5wA/ySQojOKzb4aIIIbiqcN9m1m49 jKa/0XCLVJHaoGj+Ryb12vzr7qa9c/8cMdIfFGizdZhh0TWzWgOAjUNRF6jqL+4jFS/UpRRM SQpFjEGqKEz8FemVMf8VBD+vGOIsxoSR5xWF4XW9T2w90Yd2C7BbkBsc9KLQIVOWBYeFGN2h Gya1cjkHyJuu7CzQHeQvOXc5zCrNCRfaSdIaSYYREFXq5PusaMivCLpF9xDKa+SisGqODfSx zvRkjMyqY9OhuE21oK632v9vRSSmrbzQDQIuzrnBlCe0lshZaqORZCZ1lzA3PMRcKebVgagu VYHqei/7ccPL8mBqxaJSso/RJWsuu2kMSLds3FrDZIO5zSgwF/9XIFysRVVBlZlDdYAQhDtO HTsgAJ24IRCGkeqYYtcQZODO+5zwYfOTd3aB+3pNPxQaZ1PRSq71SBJZ3/I+VvykUIpwJoNC b3CfemCVX8lWLlalhyoTOIg0Jgu9CA05UXXYbvZlx2H876vVES5eIc/EmmlT74GtfufgQDv7 dxgGdOAyExfXM3AcyDny9MvAm5QH0crJ6LdipJxTfGCEDpECWt6Kv72wJEdQaJHsZlRtN/1+ iCaZhcF5nv53WbKOCebWEBFMbnPZ6tynVg/HC4rPGur5UQdXJaS3P8fWacaLbgD385//MFwV MgAKpmhAOwQazHp+AY9TJjara5+RSuvngnUATupZTw9TaU9HwD2wNvuUTm30CxTFQu2qsoMj Lmy3SzLQZc4ZlpDDeSHTNmN3l+OrXwmt+YqZHTxI/5XY1fJ3LFxDi7M0s8MPMAHLCvcygug1 wq5BQkSoc/PqdQX9OblqL+lrYDzNcdDBWtfQnfm6IipORng/maMxZFKVMCKd2v/UEL24KCTW vVH/crjMfEonEd4jKQkKuxFlZkB3trIo6NW6i9GH3+RNlSiNe5GE0m8hMJKsvVA+69dtQ6IQ Xmww9h9O4iSGcbbAVUUdRsEbOOC6KkuoQPsz88JeWf02Cwm24C8cxR2HwKNgyljPrdKINsb4 eM+ivU3tS27qDQXa+ijsA4F1l6iDHI6V4cfiqo7G67u0woi9UFDa8fTCwjw+5C+VO9POUgLf B6SvvPwqIpH9Ez7bnA2Cnnp9shejKQopxpl4gIjJVOIu9ydnd4x/kRb3goWRzRv7Cds8rxMK EkyEGMtPoSI3TNjpPYbblCWAwsbWSGooB3g+WUGhEjybheOVFWUCEYfJOzU3kQS01wETwhh5 LvClVrUC2f7TvrQgBk3d1Vu8cH4bNpL8QbHpsCrMuKFE7Q+YhvnmqWeXnUJmTS2HfIOgFD7m scy8NZScaHbMQsik58/AaSe1pUST0mgD05GSvdD4qgIPD/9fBef5DuwEH2yK/h9f6HyzUyFC sJQf5MFE1z00SuVtTkUCJIdO7I+zrZj+NMGfaitPmIc9aeWqj1yqp/L6yzinykRTs5zldomY JbkH95Y/rd8WVMP84MMkCVFBoZ8SdwNZQnn0fqr8e4EUY4evOxof1101L/cU7B59ud410r8g e8BT/a+Iy9eJUBEg5bgH6FNG0OyLbsfkcyWpRurvY0mgcznaK/zWsB8lrUjFxhLMbYVVcgxk 7DlXBsbGq/alO5ebl01UKVt20WECQtekQaX3g/KwKFmoBa/
Ironport-hdrordr: A9a23:E/iqK63wGvIG92/9KMFp7gqjBEwkLtp133Aq2lEZdPUMSL3nqy ncpoVr6faUskdiZJlD8errBEDkex7hHPFOkPMs1NuZLW7bUS6TXf5fBOjZskjd8k/Fh5NgPM 5bGsAUeb6Abyke/KLHCUuDYqodKbK8gdmVbJLlvgxQpHZRGtldBmlCe2Cm+wZNNXl77NICZe mhDyd8yAZIY053Uu2LQkMdV+yGndfMj56OW3A77gAciDVmUgnF1ILH
Ironport-phdr: A9a23:peaTXROgCtpVQA2sbagl6nZnAhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6Ur1geVFtuAo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtLiTanf79+M Bq7oQrQu8QYnIBvNrs/xhzVr3RHfOhb2XlmKVWPkRji+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi8 6JmQwLmhSsbKzI09nzch8pth6xZvR2hvQRyzY7Kbo+IKPpwcKDTfd0YSmVdUclcTDZODp++b 4YVE+YNIftUoo/grFUOtxu+AgysCfvrxDBWnX/2xbM10/48GgzY2wwvA9EOsXvJp9jyMKkeS +G7wLPKwznZcf5W3ivy6IvHcx06vfGMQK9/ftTVyUkhCwPJlFOQqYj8Mj6Ty+8CvHSV4fB6W uKzl24otRtxoj63y8oijoTEiY0bxFDE+yh63oo5Od61RVJnbNO4E5Zcqj+WOpdrTs8/QWxlp iY0x7MbtZOlYCQHypQqyh7RZvKIb4WF5A/oWuiWITd9nn1lebS/ig6u8Ui91+LzSM200FhWr iZflNnMsmgB2AbJ5ciBT/ty4EOh1iuR2ADJ8O1EJ0Q0mbLfJpI/xrM8iIAfsULHHiPunkX2l 7WadkMg+uWu9u/pYa3mq4eBO4J6lg3yKLkil82iDegiLwQDUXWX9f682bH74EH0TqhGgucrn qTarJzWP8UWqrSnDwJa1Iso9giyDzO70NQDgXkIMkhFdg+Gj4noJV7DOOz0APGiiFq2ijhr3 erJPrj5D5XNMHfDlLDhcK5460FGyQozyctf6IxOCrEfIfL8RlH+uMbEDh8kLgO73eLnCNth1 o8EX2KPBreVMKLUsVCW+uIiO/SAaYEJtDrnNvQo5uPigWUklVITYKWlx5saZGi9Hvt8IkWZZ XTsgs0GEWcPpgcwSPbmhlyYXTBRfXq/QaU86S04CIOpForDWp2tj6Gf0ye/EJ1WenpKClaIE XvwcYWLQO8DaDiOLc95jjwESb+hRpc82R22rg/116JnLvbI+i0frZ/syN915/TKmR4u8Tx0E t+S3nqWT2B0m2MIXyU50Lp+oUx70FeD0LJ3j+ZWFdxJtLt1VVJwKY/Ewvc/Atb0XR/HddqhT Fe9Xs7gGjw4VZQs29IIZQBwF8joxkTfzjKnGPockbqMGZo//4rY3mPtPIBmxn/dkrQ5gl8gB MZDKDvizuRx703VA6bNkl6FjOCxfqUR2iXAsnqei2yK9gkMXhY1V6HtWXEEelCQtt/460XJQ vmzFPIhNl0FgYSCI7BJZ9ntpVVPX/TuPNCYZHi+0S/kBR+Txb6IaKLqcn4e0SHZTk8enFZXt TyPOgQ3LiOguH7FSjduHFbqbln3t/Jz4jvvR0A4ximOblZ9zPy++hcRgPGGULUI0+RA8G0qr CwxF1Kg1frXDcCBrkxvZu8UNdg6+RJM0X/Tnw17JJ2paa540A0waQNy6mHjzA16EM1rlsMpv Dt+7kxdb4Le+1RKdCOwwY38N7nZNi/0+Eb8OObtxljC3YPOqe804/MipgC71OnIPk8r8nE9l sJQz2PZ/JLBSgwbTZP2VE8zsRl8vbDTJCcntMvPzXM5F66yv3fZ3s4xQvM/w0OCOfgZEOWvE wTxA+UGGsSjLOI23V6tPVofJO4HzKcvJIu9cueenquiPeJuhjWj2EYBz8ZdlGmL/ClsYvLV0 5sBze3e2A/UHyzkggKHtcb60ZtBeSlUHme7zn38A5VNY6RpYYsRIWKnIsmsy89ghpXgHWJF+ FOnCU9A3svBlQO6SVv70EUQ0E0WpSbigi6k13lulDpvqKOD3SvIyuCkdRwdO2cNSnMwxVHra ZO5idwXRi3KJ0AgiQel6EDmxqNauLU3Lm/dRl1NdjT3KGcqW7W5t76LacpCoJ0ytiAfXOO5a FGcArnzxnlSmwGlMC1+ghs8fDK6konkkxF+hn7bKnIy5HvVdMdsxAvOscTGTK00vHJOTy15h D/LQ1mkaoDypZPNyc6F67vnET/yM/8bOTPmxo6BqiahsGhjABnl2uu2hsWiCw8xlynyy9htU yzM6hf6eIjikaqgYocFNgFlAkHx781iF8RwiIw10dsyn1dcptO++nEEgU/vLNlW3aziKnwJD 21uoZad8E3+1UtvI2jcjaC/eTO9hOBmbNqqSn8L1i854dwMDqPev9km1WNl51G/qwzWe/10m DwQnOAv5HAtiOYMoAMxzy+ZD9j+BGFgNDf331SN5tG69uBMYXq3NKK33wx4lMygC7eLpkddX mz4c9EsB3044sJ6OVPKmHr9j+OsMPuWQpQz8DaTmBTQp/RIJJ81mOZMgy4vNW/mvHIjwvI2l lQ3hsn85dbebTw2peTkShdDfiX4fcYS5i3ggcM81o6N0oajE48gUjQHUZ30TO65RTcbtPDpL QGLQ3U3rnaWH6aaHBfKsRw+6SuRStbybCjReSp8r50qXhSWKU1BjRpBWTw7msR8DQW23In7d 0w/4DkN51n+ox8Ky+RyNhC5XH2MwWXgIjoyVpWbKwJbqw9Y4EKAe+7YwaRTWQpf9Z6xhBCQJ mGfaRgOC2VDCSnmTxjze6Kj49XN6b3SJKyRaduISrKFqvx2S+qEyJahzs1g+3zfU6fHdmknB Po91E1ZWHl/EMmMgDQDRRsckCfVZtKarhOxqWVn69qy+/PxVEfz9JOCXvFMZM539Un80sLhf 6aAwTx0IjFC2tYQyG/UnfIBiUUKhXgmdiHxQ+1b7WiUEvuWw/QOSUNTajsvZpITt+RlgFALY J6DzIiQtPYwj+ZpWQ4eDBq4ypnvOpBMejvtcwmYTEeNP7CbKTCZ2Nn5J7umTqFdh/lVsBv2v iuHF0jkPXKIkDyMNVjnMPkQ3n3FekcH/tjtIlAwUyDiVI60METhdo8sy2dukPtt1yOCNHZAY 2IlKQUd9fvKtXIe2K0jfg4JpntjJu2ZlyvL9PHWbJ8YuOAtBSJwluRXqHUil+kEsGcdGKczw nKL6IQ2/RmnirXdm2YhCUYV7GwS3cTR5RoHW+2R959LXWvI8UAW9WvWERkBvcZkFtjmuqQWw d/K3KPrdGUerZSPpI1AV46Mb5jeVRhpeRvvEzrJAAZXVialc33Yn0BQi/LU8HCJ5pk8oZzxl JdcUadVElI8D+8dEFUjGthnQt8/XzUvlaOXgZwBo02ltBeXTt9bsZDbTeqbCvipIzGcxbhcO 0lRmu2+dNhPcNSqigo4OjwY1MzLAxaCBIsT5HQ9Mklu+hsLqyI2T3VviR26LFzxpiJPU6Ttw FY3klcsPL5rqWaqug5uYAOX/k5S2AEwgYm322nKNmSpcuHqBtsQU22u6AAwKs+pGlYoK1Tpw wo6aHGdHeIW1eQFFygjiReA68IfRLgFFvMCPkJWnKvHIK93mUJVriHtraNezc3CD5Yq1A4jc Jr26mlFxxomdtk+Y6rZOKtOyFFUwKOIpC6hkO4rkkcYIA4W/WWedTRt2gRAP6Q6Jyeu4u1n6 BCT0zpFdm8WUvM2o/VsvkojMuWExijk3vZNMEe0f+CYKqqYvSDHm6vqChso0VgUkkBe4bVs+ cIqck6PWloxzbCcUQgUOcfGJx0Tac4TvHnfcCCSsPnclJJ4O4Luc4KgBeSKtasSngelBFNwR NxKt5pYWMD3iQeFfqKFZPYfxB4g5RrmPgCABfVNIleQlSsf5tu4x9lx1JVcITcUBSN8Nz+27 /DZvFxP4rLLUdEob3MdRoZBOGgxXZjwuWh2+VQGJz680fIx1BWO4jvyumLWCHOvCrgrLOfRf h5qBNysrH8n9LOqjFfM7pjED2TzNNB5t8XR6OgX4YqaB/5QQ6U7tUOWyOw6DzS6FmXIF9CyP Z35bYIhOMf1BniNWVu6kzspTs31Mb5FwYCUnA3lQYhI9o+fjmlL3S6VEzgfHwx9vf8C7686e RAPbp41fVjus1ZmX0RaCBuF3tiqTXrrLz8EF5Fi
Ironport-sdr: 657db3f3_jc5CirxJgyRWKitMiv0JFf97hICAi+wjjPC9SraiLzagk+P xdmxAC/E95v82Aiu9R1BJgtdPnSZNAFLOHloQbA==

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

           31th Netherlands Functional Programming Day

                    Friday, 05 January, 2024

                FINAL CALL FOR PARTICIPATION

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

Soft registration deadline: 22 December (upcoming Friday)

We still have a couple of open slots for speakers, please consider proposing a talk by sending an email to Fpnl-ewi AT tudelft.nl

## General description

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)

From: Jesper Cockx
Sent: Friday, November 3, 2023 1:20:44 PM
To: types-announce AT lists.seas.upenn.edu; fp-nl AT lists.science.uu.nl; ipalist AT listserver.tue.nl; haskell AT haskell.org; agda AT lists.chalmers.se; coq-club AT inria.fr
Subject: 31st Netherlands Functional Programming Day (FP Dag): Call for Participation

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

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