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.
| Date | Time | Topics |
|---|---|---|
| Monday 27/8 | 09:00 | Registration |
| 09:30 | Introduction and welcome | |
| 11:00 | Lambda calculus | |
| 13:00 | Lunch | |
| 14:00 | Lab session | |
| 15:30 | Monads and I/O | |
| Tuesday 28/8 | 09:00 | Testing and tools |
| 11:00 | Monads transformers | |
| 13:00 | Lunch | |
| 14:00 | Lab session | |
| 15:30 | Typed lambda calculus (WS) | |
| Wednesday 29/9 | 09:00 | Generalized Algebraic Data Types |
| 11:00 | Applicative Functors | |
| 13:00 | Lunch | |
| 14:00 | Lab session | |
| Thursday 30/9 | 09:00 | Laziness |
| 11:00 | Guest speaker | |
| 13:00 | Lunch | |
| 14:00 | Lab session | |
| 15:30 | Type families | |
| Friday 31/8 | 09:00 | Generic programming |
| 11:00 | Guest lecture | |
| 13:00 | Lunch | |
| 14:00 | Haskell in Industry | |
| 15:00 | Awards ceremony and closure |