We're still finalizing the schedule. Based on the courses we've taught in the past, we have put together a preliminary program illustrative of the different topics that we intend to cover.
The program consists of a mix of lectures, labs and social activities. 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 lectures will be in the Buys Ballot Building (BBG); the labs will be in the adjacent Koningsberger building (KBG).
| Date | Time | Topics | Location |
|---|---|---|---|
| Monday 27/8 | 09:00 | Registration | BBG 5th floor coffee room |
| 09:30 | Introduction and welcome (Wouter) - slides | BBG 023 | |
| 11:00 | Lambda calculus (Doaitse) - slides | BBG 023 | |
| 13:00 | Lunch | Coffee room | |
| 14:00 | Lab session | Koningsberger Building 228 | |
| 15:30 | Monads and I/O (Wouter) - slides | BBG 023 | |
| 18:30 | Dinner in Theehuis Rhijnauwen | ||
| Tuesday 28/8 | 09:00 | Laziness (Doaitse) - slides and breadth first labelling algorithm | BBG 023 |
| 11:00 | Monads transformers (Alejandro) - slides | BBG 023 | |
| 13:00 | Lunch | Coffee room | |
| 14:00 | Lab session | Koningsberger Building 228 | |
| 15:30 | Typed lambda calculus (Wouter) - slides | BBG 023 | |
| 18:30 | Dinner in Tapasbar El Mundo | ||
| Wednesday 29/9 | 09:00 | Generalized algebraic data types (Alejandro) - slides | BBG 023 |
| 11:00 | Applicative functors, foldables and traversables (Wouter) - slides | BBG 023 | |
| 13:00 | Lunch | Coffee room | |
| 14:00 | Testing and tools (Alejandro) - slides | BBG 023 | |
| 15:30 | Hackathon - example in Gloss | ||
| Thursday 30/9 | 09:00 | Type families (Wouter) - slides | BBG 023 |
| 11:00 | Guest lecture: Testing and induction (Koen) - slides | BBG 023 | |
| 13:00 | Lunch | Coffee room | |
| 14:00 | Lab session | Koningsberger Building 228 | |
| 15:30 | Accelerate (Gabriele) | BBG 023 | |
| 18:30 | Dinner in Restaurant Djakarta | ||
| Friday 31/8 | 09:00 | Generic programming (Johan) - slides | BBG 023 |
| 11:00 | Guest lecture: SpriteKit in Haskell (Manuel) | BBG 023 | |
| 13:00 | Lunch | Jazzmans cafe (to be confirmed) | |
| 14:00 | Haskell in industry (Atze) | BBG 023 | |
| 15:00 | Awards ceremony and closure | BBG 023 |