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. Most activities take place in the canteen of the Minnaert building or in room 161 in the Buys Ballot Building. You can find more information about how to find these buildings under the Practical information link. The schedule may still change.
Date | Time | Topics | Location |
---|---|---|---|
Monday 4/7 | 10:00 | Registration | Minnaert canteen |
10:30 | Introduction and welcome | BBG 161 | |
10:45 | Tooling & modules (Wouter) - slides | BBG 161 | |
12:30 | Lunch | Minnaert canteen | |
14:00 | Monads and I/O (Frank) - slides | BBG 161 | |
15:45 | Coffee | ||
16:15 | Labs | BBG 161 | |
18:30 | Dinner | Theehuis Rhijnauwen | |
Tuesday 5/7 | 09:00 | Applicative functors (Wouter) - slides | BBG 161 |
11:00 | Coffee | ||
11:30 | Labs | BBG 161 | |
12:30 | Lunch | Minnaert canteen | |
14:00 | GADTs (Gabriele) - slides | BBG 161 | |
15:45 | Coffee | ||
16:15 | Labs | BBG 161 | |
18:30 | Dinner | Restaurant Djakarta | |
Wednesday 6/7 | 09:00 | Lambda calculus (Wouter) - slides | BBG 161 |
11:00 | Coffee | ||
11:30 | Labs | BBG 161 | |
12:30 | Lunch | Minnaert canteen | |
14:00 | Type families (Trevor) - slides | BBG 161 | |
15:45 | Coffee | ||
16:15 | Labs | BBG 161 | |
18:30 | Dinner | Tapasbar El Mundo | |
Thursday 7/7 | 09:00 | Generic programming (Wouter) - slides | BBG 161 |
11:00 | Coffee | ||
11:30 | Labs | BBG 161 | |
12:30 | Lunch | Minnaert canteen | |
14:00 | Accelerate (Gabriele) | BBG 161 | |
15:45 | Coffee | ||
16:15 | Labs | BBG 161 | |
18:30 | Industrial reception | Channable office | |
Friday 7/7 | 09:45 | Key collection | BBG 161 |
10:00 | Guest lecture Alejandro Serrano Mena | BBG 161 | |
12:00 | Closure | BBG 161 | |
12:30 | Lunch | Jazzmans |