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.


Date Time Topics Location
Monday 26/8 09:00 Registration BBG 5th floor coffee room
09:30 Introduction and welcome
11:00 Testing and tools
13:00 Lunch
14:00 Monads and I/O
18:30 Dinner
Tuesday 27/8 09:00 Lambda calculus
11:00 Labs
13:00 Lunch
14:00 Applicative functors
15:30 Labs
18:30 Dinner
Wednesday 28/9 09:00 Generalized algebraic data types
11:00 Labs
13:00 Lunch
14:00 Accelerate
15:30 Labs
18:30 Dinner
Thursday 29/9 09:00 Laziness
11:00 Labs
13:00 Lunch
14:00 Generic programming
16:00 Guest lecture
18:30 Industrial reception
Friday 30/8 09:00 Type families
11:00 Guest lecture
13:00 Lunch
14:00 Haskell in industry
15:00 Awards ceremony and closure