[Agda] Dutch FP Day - Call for participation

Swierstra, W.S. (Wouter) W.S.Swierstra at uu.nl
Wed Dec 7 10:28:41 CET 2022

                          FP Dag 2023

           30th Netherlands Functional Programming Day

                    Friday, 06 January, 2023

                     CALL FOR PARTICIPATION


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.

Participation is free of charge, but registration is required:


There is a soft registration deadline of Fri 23 Dec 2022.

We are thankful for the sponsoring by Sioux Technologies and the
Software Engineering & Technology group of TU Eindhoven.


You will find a preliminary schedule on the website:


Details will be added as speakers become known.


The morning session of this FP Dag will be held in the Auditorium,
Lecture Hall 04 of Eindhoven University of Technology. You can find
detailed instructions for traveling to TU Eindhoven here:


The lunch and afternoon session will be held at Sioux Labs:



Tom Verhoeff (Overall & Content) <T.Verhoeff at tue.nl>
Anges van den Reek (Logistics, TU Eindhoven) <A.K.M.v.d.Reek at tue.nl>
Duncan Stiphout (Sioux) <Duncan.Stiphout at sioux.eu>

More information about the Agda mailing list