| Time | Activity |
|---|---|
| 09:00 - 11:00 | lecture |
| 11:00 - 12:30 | computer lab |
| 14:00 - 16:00 | lecture |
| 16:00 - 17:30 | computer lab |
| Day | Time | BBL-023 | BBL-075 | BBL-103 BBL-106 | elsewhere |
|---|---|---|---|---|---|
| Monday 15 | 10:30 - 11:30 | registration | |||
| 11:30 - 12:30 | Introduction and organizational matters (everyone) | ||||
| 12:30 - 14:00 | welcome lunch (Minnaert restaurant) | ||||
| 14:00 - 16:00 | B1 - Lambda calculus (Andres Löh) | A1 - Haskell intro (Doaitse Swierstra) | |||
| 16:00 - 17:30 | Computer Lab? Haskell Tutor | ||||
| Tuesday 16 | 09:00 - 11:00 | B2 - Typed Lambda Calculus (Andres Löh) | A2 - Data Structures (Doaitse Swierstra) | ||
| 11:00 - 12:30 | Pedro, Andres, Atze, Jan | ||||
| 14:00 - 16:00 | C1 - Testing with QuickCheck, demo examples (Atze Dijkstra) | ||||
| 16:00 - 17:30 | Jurrien, Ruud, Jan, Atze | ||||
| 18:00 - ~21:00 | pancakes in Theehuis Rhijnauwen | ||||
| Wednesday 17 | 09:00 - 11:00 | B3 - Generic programming (Andres Löh) | A3 - Class System (Atze Dijkstra) | ||
| 11:00 - 12:30 | Alex, Wouter, Pedro | ||||
| 14:00 - 16:00 | C2 - Monads (Andres Löh) | ||||
| 16:00 - 17:30 | Jurrien, Ruud, Jan, Atze | ||||
| Thursday 18 | 09:00 - 11:00 | B4 - Monad transformers (Andres Löh) | A4 - IO (Doaitse Swierstra) | ||
| 11:00 - 12:30 | Alex, Sean, Pedro | ||||
| 14:00 - 16:00 | C3 - Lazy Evaluation (Doaitse Swierstra) | ||||
| 16:00 - 17:00 | Jurrien, Ruud, Jan, Atze | ||||
| 17:00 - | reception (Minnaert restaurant) | ||||
| Friday 19 | 09:00 - 11:00 | C4 - Data structures (Atze Dijkstra) | |||
| 11:00 - 12:30 | Alex, Wouter, Pedro | ||||
| 14:00 - 16:00 | C5 - Haskell Programming Practices (Andres Löh) | ||||
| 16:00 - 17:30 | Jurrien, Ruud, Jan, Atze | ||||
| Monday 22 | 09:00 - 11:00 | C6 - Finger Trees, paper Hinze & Paterson (Atze Dijkstra) | |||
| 11:00 - 12:30 | Alex, Wouter, Jan | ||||
| 14:00 - 16:00 | C7 - Concurrency and Parallelism (Andres Löh) | ||||
| 16:00 - 17:30 | Jurrien, Ruud, Pedro, Atze | ||||
| Tuesday 23 | 09:00 - 11:00 | C7 - Concurrency and Parallelism (Andres Löh) | |||
| 11:00 - 12:30 | Alex, Wouter, Pedro | ||||
| 14:00 - 16:00 | C8 - Generalised Algebraic Data Types (Andres Löh) | ||||
| 16:00 - 17:30 | Jurrien, Ruud, Jan, Atze | ||||
| Wednesday 24 | 09:00 - 11:00 | G1 - Dependently Typed Programming (Wouter Swierstra) Coq demo Agda demo | |||
| 11:00 - 12:30 | Alex, Wouter, Pedro | ||||
| 14:00 - 16:00 | C9 - Web Programming (Jurriën Stutterheim) | ||||
| 16:00 - 17:30 | Jurrien, Ruud, Jan, Atze | ||||
| 19:00 - ~21:00 | joint pizza dinner | ||||
| Thursday 25 | 09:00 - 11:00 | C10 - DSL's: Parser Combinators (Doaitse Swierstra) | |||
| 11:00 - 12:30 | Alex, Wouter, Pedro | ||||
| 14:00 - 16:00 | C11 - Attribute Grammars, example (Atze Dijkstra) | ||||
| 16:00 - 17:30 | Jurrien, Ruud, Jan, Atze | ||||
| Friday 26 | 09:00 - 10:15 | G2 - Functional Modelling of Musical Harmony (José Pedro Magalhães) | |||
| 10:30 - 11:45 | G3 - Shortcut Fusion in Haskell (Tom Harper) | ||||
| 12:00 - 12:30 | Closing and certificates | ||||
| 12:30 - 14:00 | farewell lunch (Minnaert restaurant) |