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. 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