Schedule


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.


Most lectures will be in the Buys Ballot Building (BBG); the labs will be in the adjacent Koningsberger building (KBG).

Date Time Topics Location
Monday 27/8 09:00 Registration BBG 5th floor coffee room
09:30 Introduction and welcome (Wouter) - slides BBG 023
11:00 Lambda calculus (Doaitse) - slides BBG 023
13:00 Lunch Coffee room
14:00 Lab session Koningsberger Building 228
15:30 Monads and I/O (Wouter) - slides BBG 023
18:30 Dinner in Theehuis Rhijnauwen
Tuesday 28/8 09:00 Laziness (Doaitse) - slides and breadth first labelling algorithm BBG 023
11:00 Monads transformers (Alejandro) - slides BBG 023
13:00 Lunch Coffee room
14:00 Lab session Koningsberger Building 228
15:30 Typed lambda calculus (Wouter) - slides BBG 023
18:30 Dinner in Tapasbar El Mundo
Wednesday 29/9 09:00 Generalized algebraic data types (Alejandro) - slides BBG 023
11:00 Applicative functors, foldables and traversables (Wouter) - slides BBG 023
13:00 Lunch Coffee room
14:00 Testing and tools (Alejandro) - slides BBG 023
15:30 Hackathon - example in Gloss
Thursday 30/9 09:00 Type families (Wouter) - slides BBG 023
11:00 Guest lecture: Testing and induction (Koen) - slides BBG 023
13:00 Lunch Coffee room
14:00 Lab session Koningsberger Building 228
15:30 Accelerate (Gabriele) BBG 023
18:30 Dinner in Restaurant Djakarta
Friday 31/8 09:00 Generic programming (Johan) - slides BBG 023
11:00 Guest lecture: SpriteKit in Haskell (Manuel) BBG 023
13:00 Lunch Jazzmans cafe (to be confirmed)
14:00 Haskell in industry (Atze) BBG 023
15:00 Awards ceremony and closure BBG 023