Course Schedule

USCS2010

General information

The course starts on Monday, August 16 with the registration and the welcome lunch and ends on Friday, August 27 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

There are 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 some of the lectures, 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. There are also lectures that are intended 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 at least one common dinner for all the participants. The day(s) have not yet been decided. As soon as they have, we will announce them.

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 ground floor (called "begane grond" (BG) in Dutch); rooms start with number 0). Most lectures will take place in BBL-083, some in BBL-077. The computer labs will be on the first floor in BBL-103 and BBL-112. There's also a schematic map of the floors of BBL.

Detailed schedule

The schedule can still be adapted. Check regularly for updates.

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)