[Haskell-cafe] Utrecht Summer School on Advanced Functional Programming 2023

Swierstra, W.S. (Wouter) W.S.Swierstra at uu.nl
Thu Mar 16 10:47:56 UTC 2023

# Call for Participation


     Utrecht, the Netherlands, 03 July – 07 July 2023


**Please register before June 15th **


The Advanced Functional Programming summer school has been running for
more than ten years. We aim to educate aspiring Haskell programmers
beyond the basic material covered by many textbooks.

The lectures will cover several more advanced topics regarding the
theory and practice of Haskell programming, including topics such as:

   * lambda calculus;
   * monads and monad transformers;
   * lazy evaluation;
   * generalized algebraic data types;
   * type families and type-level programming;
   * concurrency and parallelism.

The summer school will be held in Utrecht and consists of a mix of
lectures, labs, and a busy social program.


We expect students to have a basic familiarity with Haskell
already. You should be able to write recursive functions over
algebraic data types, such as lists and trees. There is a great deal
of material readily available that covers this material. If you've
already started learning Haskell and are looking to take your
functional programming skills to the next level, this is the course
for you.


**Registration deadline: June 15th, 2023**
School: 03 July – 07 July 2023


   750 euro - Profession registration fee
   250 euro - Student registration fee
   200 euro - Housing fee

We will charge a registration fee of 750 euros (or 250 euros for
students) to cover our expenses. If this is problematic for you for
any reason at all, please email the organisers and we can try to offer
you a discounted rate or a fee waiver. We have a limited number of
scholarships or discounts available for students that would not be
able to attend otherwise, especially for women and under-represented


Further information, including instructions on how to register, is
available on our website:


More information about the Haskell-Cafe mailing list