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.
|Monday 26/8||09:00||Registration||BBG 5th floor coffee room|
|09:30||Introduction and welcome|
|11:00||Testing and tools|
|14:00||Monads and I/O|
|Tuesday 27/8||09:00||Lambda calculus|
|Wednesday 28/9||09:00||Generalized algebraic data types|
|Friday 30/8||09:00||Type families|
|14:00||Haskell in industry|
|15:00||Awards ceremony and closure|