We're still finalizing the schedule. Based on the courses we've taught in the past, we have put together a preliminary program illustrative of the different topics that we intend to cover.

The program consists of a mix of lectures, labs and social activities. The lectures will cover new material; the supervised labs will let you put this new material into practice by tackling several assignments and projects.

Date Time Topics
Monday 21/8 09:00 Registration
09:30 Introduction and welcome (WS) (slides)
11:00 Lambda calculus (SDS) (slides)
13:00 Lunch
14:00 Lab session
15:30 Monads and I/O (WS) (slides)
18:00 Dinner at Theehuis Rhijnauwen
Tuesday 22/8 09:00 Generic programming (JJ) (slides)
11:00 Monads transformers (ASM) (slides)
13:00 Lunch
14:00 Lab session
15:30 Typed lambda calculus (WS) (slides)
18:00 Dinner at Tapasbar El Mundo
Wednesday 23/9 09:00 Applicative, foldable and traversable (WS) (slides)
11:00 Generalized Algebraic Data Types (JJ) (slides)
13:00 Lunch
14:00 Lab session
15:30 Laziness (SDS) (slides)
18:00 Dinner at Pizzaria Il Pozzo
Thursday 24/9 09:00 Parser combinators (SDS) (slides)
11:00 Testing and tools (ASM) (slides)
13:00 Lunch
14:00 Lab session
15:30 Type families (WS)(slides)
18:00 Dinner at Restaurant Djakarta
Friday 25/8 09:00 GHC2JS (Guest lecture: Luite Stegeman)
11:00 Concurrency and parallelism (Guest lecture: Simon Marlow)(slides)
13:00 Lunch
14:00 Haskell in industry (Guest lecture: Atze Dijkstra)
15:00 Awards ceremony and closure