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.
|09:30||Introduction and welcome|
|15:30||Monads and I/O|
|Tuesday 28/8||09:00||Testing and tools|
|15:30||Typed lambda calculus (WS)|
|Wednesday 29/9||09:00||Generalized Algebraic Data Types|
|Friday 31/8||09:00||Generic programming|
|14:00||Haskell in Industry|
|15:00||Awards ceremony and closure|