The program consists of a mix of lectures and labs, augmented with social activities organized by the central summer school organization. The lectures will cover new material; the supervised labs will let you put this new material into practice by tackling several assignments and projects.
The provisional schedule for this year's edition a few weeks can be found below. Some topics may change, but this should be fairly indicative of the material we set out to cover.
Date | Time | Topics | Location |
---|---|---|---|
Monday 7/7 | 09:00 | Registration | |
09:30 | Introduction and welcome | ||
11:00 | Tooling & modules | ||
13:00 | Lunch | ||
14:00 | Monads and I/O | ||
16:00 | Drinks | ||
16:30 | Labs | ||
18:30 | Dinner | ||
Tuesday 8/7 | 09:00 | Applicative functors | |
11:00 | Coffee | ||
11:30 | Labs | ||
12:30 | Lunch | ||
14:00 | GADTs | ||
16:00 | Drinks | ||
16:30 | Labs | ||
18:30 | Dinner | ||
Wednesday 9/7 | 09:00 | Lambda calculus | |
11:00 | Coffee | ||
11:30 | Labs | ||
12:30 | Lunch | ||
14:00 | Parallel & Concurrent Haskell | ||
16:00 | Drinks | ||
16:30 | Labs | ||
18:30 | Dinner | ||
Thursday 10/7 | 09:00 | Accelerate | |
11:00 | Coffee | ||
11:30 | Labs | ||
12:30 | Lunch | ||
14:00 | Type families | ||
16:00 | Coffee | ||
16:30 | Labs | ||
18:30 | Dinner | ||
Friday 11/7 | 09:45 | Key collection | |
10:00 | Information Flow Security in Haskell | ||
12:00 | Closure | ||
12:30 | Lunch |