USCS 2010

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 [[http://journeyplanner.9292.nl/][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&#8217;ll just have to walk a bit back and find your way to the BBL.

There's also a [[http://plattegrond.uu.nl/print/uithofprintversie2008.pdf][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
[[http://www.cs.uu.nl/education/bbl/bbl-2010.gif][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<br/> (everyone) | | | |
| | 12:30 - 14:00 | | | | welcome lunch<br/>(Minnaert restaurant) |
| | 14:00 - 16:00 | B1 - Lambda calculus<br/>(Andres L&ouml;h) | A1 - Haskell intro<br/>(Doaitse Swierstra) | | |
| | 16:00 - 17:30 | | | computer lab intro<br/>(Andres, Doaitse, Sean, Pedro, Jan, Sebas) | |
| | | | | | |
| Tuesday 17 | 09:00 - 11:00 | B2 - Typed lambda calculus<br/>(Andres L&ouml;h) | A2 - Haskell intro<br/>(Doaitse Swierstra) | | |
| | 11:00 - 12:30 | | | computer lab<br/>(Andres, Doaitse, Sean, Sebas, Ruud)| |
| | 14:00 - 16:00 | C1 - Testing with !QuickCheck<br/>(Andres L&ouml;h) | | | |
| | 16:00 - 17:30 | | | computer lab<br/>(Andres, Doaitse, Sean, Sebas, Ruud) | |
| | 18:00 - ~21:00 | | | | pancakes in [[CourseDinner][Theehuis Rhijnauwen]] |
| | | | | | |
| Wednesday 18 | 09:00 - 11:00 | B3 - Typed inference<br/>(Andres L&ouml;h) | A3 - Haskell intro<br/>(Doaitse Swierstra) | | |
| | 11:00 - 12:30 | | | computer lab<br/>(Vali, Pedro, Jan, Ruud) | |
| | 14:00 - 16:00 | C2 - Data structures<br/>(Andres L&ouml;h) | | | |
| | 16:00 - 17:30 | | | computer lab<br/>(Vali, Pedro, Jan, Ruud) | |
| | | | | | |
| Thursday 19 | 09:00 - 11:00 | B4 - Generic programming<br/>(Andres L&ouml;h) | A4 - Haskell intro<br/>(Doaitse Swierstra) | | |
| | 11:00 - 12:30 | | | computer lab<br/>(Andres, Sean, Jan, Ruud) | |
| | 14:00 - 16:00 | C3 - Monads<br/>(Andres L&ouml;h) | | | |
| | 16:00 - 17:00 | | | computer lab<br/>(Andres, Sean, Jan, Ruud) | |
| | 17:00 - | | | | reception<br/>(Minnaert restaurant) |
| | | | | | |
| Friday 20 | 09:00 - 11:00 | B5 - Monad transformers<br/>(Andres L&ouml;h) | A5 - Haskell intro<br/>(Doaitse Swierstra) | | |
| | 11:00 - 12:30 | | | computer lab<br/>(Andres, Vali, Sean, Pedro) | |
| | 14:00 - 16:00 | C4 - Haskell Programming Practices <br/>(Andres L&ouml;h) | | | |
| | 16:00 - 17:30 | | | computer lab<br/>(Andres, Vali, Sean, Pedro) | |
| | | | | | |
| Monday 23 | 09:00 - 11:00 | C5 - Profiling<br/>(Andres L&ouml;h) | | | |
| | 11:00 - 12:30 | | | computer lab<br/>(Andres, Jan, Pedro, Dragos) | |
| | 14:00 - 16:00 | C6 - Domain-specific languages<br/>(Doaitse Swierstra) | | | |
| | 16:00 - 17:30 | | | computer lab<br/>(Andres, Jan, Pedro, Dragos) | |
| | | | | | |
| Tuesday 24 | 09:00 - 11:00 | C7 - Domain-specific languages<br/>(Doaitse Swierstra) | | | |
| | 11:00 - 12:30 | | | computer lab (Doaitse, Sean, Jan, Dragos) | |
| | 14:00 - 16:00 | C8 - Concurrency<br/>(Andres L&ouml;h) | | | |
| | 16:00 - 17:30 | | | computer lab (Doaitse, Sean, Jan, Dragos) | |
| | | | | | |
| Wednesday 25 | 09:00 - 11:00 | C9 - Case study: Prolog in Haskell<br/>(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 [[CourseDinner][Il Pozzo]] |
| | | | | | |
| Thursday 26 | 09:00 - 11:00 | C10 - Advanced type system usage<br/>(Andres L&ouml;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):<br/>1. Nis/Nicolas<br/>2. Carlos/Antonio<br/>3. Jurrien/Roman<br/>4. Diogo<br/>5. Pascal<br/>6. Steffen<br/>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<br/>(Minnaert restaurant) |
USCS 2010

Links

Course Schedule
