USCS 2009
Home
Schedule
Materials
Lab
Participants
Links
Haskell
GHC
Haskell API docs
Haskell API search
Hoogle (type search)
HackageDB (pkgs)
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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 [[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’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 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 [[http://www.cs.uu.nl/education/bbl/bbl-2008.pdf][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<br/>(Minnaert restaurant) | | | 14:00 - 14:30 | organizational matters<br/>(everyone) | | | | | | 14:30 - 16:00 | introduction lecture<br/>(Doaitse Swierstra) | | | | | | 16:00 - 17:30 | | | computer lab intro | | | | | | | | | | Tuesday 18 | 09:00 - 11:00 | A1 - Haskell intro<br/>(Doaitse Swierstra) | B1 - Lambda calculus<br/>(Andres Löh) | | | | | 11:00 - 12:30 | | | computer lab | | | | 14:00 - 16:00 | C1 - Testing with !QuickCheck<br/>(Andres Löh) | | | | | | 16:00 - 17:30 | | | computer lab | | | | | | | | | | Wednesday 19 | 09:00 - 11:00 | A2 - Haskell intro<br/>(Doaitse Swierstra) | B2 - Typed lambda calculus<br/>(Andres Löh) | | | | | 11:00 - 12:30 | | | computer lab | | | | 14:00 - 16:00 | C2 - Data structures<br/>(Andres Löh) | | | | | | 16:00 - 17:30 | | | computer lab | | | | 18:00 | | | | summer school dinner<br/>(Theehuis Rhijnauwen – [[CourseDinner][map]]) | | | | | | | | | Thursday 20 | 09:00 - 11:00 | A3 - Haskell intro<br/>(Doaitse Swierstra) | B3 - Type inference<br/>(Andres Löh) | | | | | 11:00 - 12:30 | | | computer lab | | | | 14:00 - 16:00 | C3 - Monads<br/>(Andres Löh) | | | | | | 16:00 - 17:00 | | | computer lab | | | | 17:00 - | | | | reception<br/>(Minnaert restaurant) | | | | | | | | | Friday 21 | 09:00 - 11:00 | A4 - Haskell intro<br/>(Doaitse Swierstra) | B4 - Monad transformers<br/>(Andres Löh) | | | | | 11:00 - 12:30 | | | computer lab | | | | 14:00 - 16:00 | C4 - GUI programming with gtk2hs<br/>(Andres Löh) | | | | | | 16:00 - 17:30 | | | computer lab | | | | | | | | | | Monday 23 | 09:00 - 11:00 | C5 - Profiling<br/>(Andres Löh) | | | | | | 11:00 - 12:30 | | | computer lab | | | | 14:00 - 16:00 | C6 - Domain-specific languages<br/>(Doaitse Swierstra) | | | | | | 16:00 - 17:30 | | | computer lab | | | | | | | | | | Tuesday | 09:00 - 11:00 | C7 - Domain-specific languages<br/>(Doaitse Swierstra) | | | | | | 11:00 - 12:30 | | | computer lab | | | | 14:00 - 16:00 | C8 - Concurrency<br/>(Andres Löh) | | | | | | 16:00 - 17:30 | | | computer lab | | | | | | | | | | Wednesday | 09:00 - 11:00 | C9 - Advanced type system usage<br/>(Andres Löh) | | | | | | 11:00 - 12:30 | | | computer lab | | | | 14:00 - 16:00 | C10 - Case study: Prolog in Haskell<br/>(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<br/>(everyone) | | | | | | 11:30 - 12:30 | certificates | | | | | | 12:30 - 14:00 | | | | farewell lunch<br/>(Minnaert restaurant) |