| 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-083 | BBL-077 | BBL-103/BBL-112 | elsewhere |
|---|---|---|---|---|---|
| Monday 16 | 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 intro (Andres, Doaitse, Sean, Pedro, Jan, Sebas) | ||||
| Tuesday 17 | 09:00 - 11:00 | B2 - Typed lambda calculus (Andres Löh) | A2 - Haskell intro (Doaitse Swierstra) | ||
| 11:00 - 12:30 | computer lab (Andres, Doaitse, Sean, Sebas, Ruud) | ||||
| 14:00 - 16:00 | C1 - Testing with QuickCheck (Andres Löh) | ||||
| 16:00 - 17:30 | computer lab (Andres, Doaitse, Sean, Sebas, Ruud) | ||||
| 18:00 - ~21:00 | pancakes in Theehuis Rhijnauwen | ||||
| Wednesday 18 | 09:00 - 11:00 | B3 - Typed inference (Andres Löh) | A3 - Haskell intro (Doaitse Swierstra) | ||
| 11:00 - 12:30 | computer lab (Vali, Pedro, Jan, Ruud) | ||||
| 14:00 - 16:00 | C2 - Data structures (Andres Löh) | ||||
| 16:00 - 17:30 | computer lab (Vali, Pedro, Jan, Ruud) | ||||
| Thursday 19 | 09:00 - 11:00 | B4 - Generic programming (Andres Löh) | A4 - Haskell intro (Doaitse Swierstra) | ||
| 11:00 - 12:30 | computer lab (Andres, Sean, Jan, Ruud) | ||||
| 14:00 - 16:00 | C3 - Monads (Andres Löh) | ||||
| 16:00 - 17:00 | computer lab (Andres, Sean, Jan, Ruud) | ||||
| 17:00 - | reception (Minnaert restaurant) | ||||
| Friday 20 | 09:00 - 11:00 | B5 - Monad transformers (Andres Löh) | A5 - Haskell intro (Doaitse Swierstra) | ||
| 11:00 - 12:30 | computer lab (Andres, Vali, Sean, Pedro) | ||||
| 14:00 - 16:00 | C4 - Haskell Programming Practices (Andres Löh) | ||||
| 16:00 - 17:30 | computer lab (Andres, Vali, Sean, Pedro) | ||||
| Monday 23 | 09:00 - 11:00 | C5 - Profiling (Andres Löh) | |||
| 11:00 - 12:30 | computer lab (Andres, Jan, Pedro, Dragos) | ||||
| 14:00 - 16:00 | C6 - Domain-specific languages (Doaitse Swierstra) | ||||
| 16:00 - 17:30 | computer lab (Andres, Jan, Pedro, Dragos) | ||||
| Tuesday 24 | 09:00 - 11:00 | C7 - Domain-specific languages (Doaitse Swierstra) | |||
| 11:00 - 12:30 | computer lab (Doaitse, Sean, Jan, Dragos) | ||||
| 14:00 - 16:00 | C8 - Concurrency (Andres Löh) | ||||
| 16:00 - 17:30 | computer lab (Doaitse, Sean, Jan, Dragos) | ||||
| Wednesday 25 | 09:00 - 11:00 | C9 - Case study: Prolog in Haskell (Doaitse Swierstra) | |||
| 11:00 - 12:30 | computer lab (Andres, Sean, Pedro, Dragos) | ||||
| 14:00 - 16:00 | guest lecture: Utrecht Haskell Compiler (Atze Dijkstra) | ||||
| 16:00 - 17:30 | computer lab (Andres, Sean, Pedro, Dragos) | ||||
| 18:00 - ~21:00 | pizza in Il Pozzo | ||||
| Thursday 26 | 09:00 - 11:00 | C10 - Advanced type system usage (Andres Löh) | |||
| 11:00 - 12:30 | computer lab (Andres, Jan, Pedro) | ||||
| 14:00 - 17:30 | student presentations (each presentation should be no longer than 20 minutes): 1. Nis/Nicolas 2. Carlos/Antonio 3. Jurrien/Roman 4. Diogo 5. Pascal 6. Steffen 7. Jason | ||||
| Friday 27 | 09:30 - 10:30 | guest lecture (Duncan Coutts) | |||
| 10:45 - 11:45 | guest lecture (Don Stewart) | ||||
| 12:00 - 12:30 | Closing and certificates | ||||
| 12:30 - 14:00 | farewell lunch (Minnaert restaurant) |