Schedule


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