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)