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 |