Course Schedule
USCS2009
General information
The course starts on Monday, August 17 with the registration and the welcome lunch
and ends on Friday, August 28 with the farewell lunch.
The normal day schedule is:
| Time | Activity |
| 09:00 - 11:00 | lecture |
| 11:00 - 12:30 | computer lab |
| 14:00 - 16:00 | lecture |
| 16:00 - 17:30 | computer lab |
Coffee breaks at 09:45 and 14:45.
Outside of these times, you will be free to plan your own time. It will probably be
possible to use the computers each day until around 20:00. Note that sometimes,
the course assignments may require you to spend more time than just the allocated
hours for the computer lab.
For the morning lectures of the first week, we will split the group into beginners (A)
and advanced students (B). Assignment to the groups will be discussed during the
computer lab intro on Monday afternoon. Afternoon lectures in the first week and
all lectures of the second week are for all participants (C).
During the computer labs, you will be working in small groups
on assignments and projects, and supervisors will be around at all times for
questions and assistance.
During the weekend, there will be no lectures, and the buildings will most likely
be closed.
We are planning to organize a common dinner for all the participants. We do not
yet know on what day this will be, but Sunday evening seems like a good candidate.
Venue
The Uithof, BBL
All the lectures and practical sessions will take place in the BBL building which is located at the
Uithof (pronounced a bit like OUT-hof). There are two main bus lines that connect Utrecht city
center to the University campus at the Uithof (pronounced something like OUT-hof): 11 and 12.
Both depart from Utrecht Central Station, but then follow different routes to the campus. You
can use
9292ov as an online travel planner.
If you are coming with bus number 11, you should leave at bus stop "Botanische Tuinen" (Botanical Gardens). If you are coming with bus number 12, you should leave at bus stop "Padualaan". From either bus stop you will easily spot the Minnaert building. If you walk towards it, you will notice there are small circular metal plates on the floor forming a path into the building. You can simply follow this path: it will take you into the building and across the internal bridge to the BBL, leaving you at the stairs where you can walk up. Alternatively you can walk along the corridor and you will find the elevators.
In case you left after the correct bus stop, you will probably still be inside the University campus, since both the 11 and the 12 bus lines end at the University Hospital. You’ll just have to walk a bit back and find your way to the BBL.
There's also a
pdf map of the campus.
Rooms
Once you are in BBL, head for the fourth floor. Most lectures will take place in BBL-471, some in
the adjacent BBL-475. The computer labs will be in BBL-402 and BBL-406. There's also a
pdf schematic map of the 4th and 5th floor of BBL.
Detailed schedule
| Day | Time | BBL-471 | BBL-475 | BBL-402/BBL-406 | elsewhere |
| Monday 17 | 11:00 - 12:30 | registration | | | |
| | 12:30 - 14:00 | | | | welcome lunch (Minnaert restaurant) |
| | 14:00 - 14:30 | organizational matters (everyone) | | | |
| | 14:30 - 16:00 | introduction lecture (Doaitse Swierstra) | | | |
| | 16:00 - 17:30 | | | computer lab intro | |
| | | | | | |
| Tuesday 18 | 09:00 - 11:00 | A1 - Haskell intro (Doaitse Swierstra) | B1 - Lambda calculus (Andres Löh) | | |
| | 11:00 - 12:30 | | | computer lab | |
| | 14:00 - 16:00 | C1 - Testing with QuickCheck (Andres Löh) | | | |
| | 16:00 - 17:30 | | | computer lab | |
| | | | | | |
| Wednesday 19 | 09:00 - 11:00 | A2 - Haskell intro (Doaitse Swierstra) | B2 - Typed lambda calculus (Andres Löh) | | |
| | 11:00 - 12:30 | | | computer lab | |
| | 14:00 - 16:00 | C2 - Data structures (Andres Löh) | | | |
| | 16:00 - 17:30 | | | computer lab | |
| | 18:00 | | | | summer school dinner (Theehuis Rhijnauwen – map) |
| | | | | | |
| Thursday 20 | 09:00 - 11:00 | A3 - Haskell intro (Doaitse Swierstra) | B3 - Type inference (Andres Löh) | | |
| | 11:00 - 12:30 | | | computer lab | |
| | 14:00 - 16:00 | C3 - Monads (Andres Löh) | | | |
| | 16:00 - 17:00 | | | computer lab | |
| | 17:00 - | | | | reception (Minnaert restaurant) |
| | | | | | |
| Friday 21 | 09:00 - 11:00 | A4 - Haskell intro (Doaitse Swierstra) | B4 - Monad transformers (Andres Löh) | | |
| | 11:00 - 12:30 | | | computer lab | |
| | 14:00 - 16:00 | C4 - GUI programming with gtk2hs (Andres Löh) | | | |
| | 16:00 - 17:30 | | | computer lab | |
| | | | | | |
| Monday 23 | 09:00 - 11:00 | C5 - Profiling (Andres Löh) | | | |
| | 11:00 - 12:30 | | | computer lab | |
| | 14:00 - 16:00 | C6 - Domain-specific languages (Doaitse Swierstra) | | | |
| | 16:00 - 17:30 | | | computer lab | |
| | | | | | |
| Tuesday | 09:00 - 11:00 | C7 - Domain-specific languages (Doaitse Swierstra) | | | |
| | 11:00 - 12:30 | | | computer lab | |
| | 14:00 - 16:00 | C8 - Concurrency (Andres Löh) | | | |
| | 16:00 - 17:30 | | | computer lab | |
| | | | | | |
| Wednesday | 09:00 - 11:00 | C9 - Advanced type system usage (Andres Löh) | | | |
| | 11:00 - 12:30 | | | computer lab | |
| | 14:00 - 16:00 | C10 - Case study: Prolog in Haskell (Doaitse Swierstra) | | | |
| | 16:00 - 17:30 | | | computer lab | |
| | | | | | |
| Thursday | 09:00 - 11:00 | | | computer lab | |
| | 11:00 - 12:30 | student presentations (CCS, lambda calculus) | | | |
| | 14:00 - 15:30 | student presentations (parallel, L-systems) | | | |
| | 16:00 - 17:30 | student presentations (guitar, battleship) | | | |
| | | | | | |
| Friday | 10:00 - 11:30 | farewell lecture (everyone) | | | |
| | 11:30 - 12:30 | certificates | | | |
| | 12:30 - 14:00 | | | | farewell lunch (Minnaert restaurant) |