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

[Jesper Cockx]

===================================================================
                          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)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: publickey - jesper at sikanda.be - 0x42DD5655.asc
Type: application/pgp-keys
Size: 644 bytes
Desc: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231103/35cb0bc9/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 249 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231103/35cb0bc9/attachment.sig>