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 | Location |
|---|---|---|---|
| Monday 26/8 | 09:00 | Registration | BBG 5th floor coffee room |
| 09:30 | Introduction and welcome | ||
| 11:00 | Testing and tools | ||
| 13:00 | Lunch | ||
| 14:00 | Monads and I/O | ||
| 18:30 | Dinner | ||
| Tuesday 27/8 | 09:00 | Lambda calculus | |
| 11:00 | Labs | ||
| 13:00 | Lunch | ||
| 14:00 | Applicative functors | ||
| 15:30 | Labs | ||
| 18:30 | Dinner | ||
| Wednesday 28/9 | 09:00 | Generalized algebraic data types | |
| 11:00 | Labs | ||
| 13:00 | Lunch | ||
| 14:00 | Accelerate | ||
| 15:30 | Labs | ||
| 18:30 | Dinner | ||
| Thursday 29/9 | 09:00 | Laziness | |
| 11:00 | Labs | ||
| 13:00 | Lunch | ||
| 14:00 | Generic programming | ||
| 16:00 | Guest lecture | ||
| 18:30 | Industrial reception | ||
| Friday 30/8 | 09:00 | Type families | |
| 11:00 | Guest lecture | ||
| 13:00 | Lunch | ||
| 14:00 | Haskell in industry | ||
| 15:00 | Awards ceremony and closure |