Course Schedule

USCS2011

---+++ General information

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


---+++ Detailed schedule

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

| *Day*         | *Time*                 | *BBL-023*      | *BBL-075*  | *BBL-103<br/>BBL-106*  | *elsewhere*  |
| Monday 15 | 10:30 - 11:30      | [[http://www.cs.uu.nl/staff/geral.html][registration]]    |                   |                                  |                      |
|                   | 11:30 - 12:30      | [[%ATTACHURL%/0-Intro-final.pdf][Introduction and organizational matters]]<br/> (everyone) | | | |
| | 12:30 - 14:00 | | | | welcome lunch<br/>(Minnaert restaurant) |
| | 14:00 - 16:00 | [[%ATTACHURL%/B1-LambdaCalculus-final.pdf][B1 - Lambda calculus]]<br/>(Andres L&ouml;h) | [[%ATTACHURL%/A1-QuickStart-final.pdf][A1 - Haskell intro]]<br/>(Doaitse Swierstra)  | | |
| | 16:00 - 17:30 | | | [[Computer Lab]] [[Haskell Tutor]]<br/> | |
| | | | | | |
| Tuesday 16 | 09:00 - 11:00 | [[%ATTACHURL%/B2-TypedLambdaCalculus-final.pdf][B2 - Typed Lambda Calculus]]<br/>(Andres L&ouml;h)  | [[%ATTACHURL%/A2-DataStructures-final.pdf][A2 - Data Structures]]<br/>(Doaitse Swierstra) | | |
| | 11:00 - 12:30 | | | Pedro, Andres, Atze, Jan<br/>| |
| | 14:00 - 16:00 | [[%ATTACHURL%/C1-Testing-final.pdf][C1 - Testing with !QuickCheck]],  [[%ATTACHURL%/QC.hs][demo examples]] <br/>(Atze Dijkstra) | | | |
| | 16:00 - 17:30 | | | Jurrien, Ruud, Jan, Atze<br/> | |
| | 18:00 - ~21:00 | | | | pancakes in [[http://theehuisrhijnauwen.nl/route.html][Theehuis Rhijnauwen]] |
| | | | | | |
| Wednesday 17 | 09:00 - 11:00 | [[%ATTACHURL%/B3-GenericProgramming-final.pdf][B3  - Generic programming]]<br/>(Andres L&ouml;h) | [[%ATTACHURL%/A3-ClassesAndInstances-final.pdf][A3  - Class System]]<br/>(Atze Dijkstra) | | |
| | 11:00 - 12:30 | | | Alex, Wouter, Pedro<br/> | |
| | 14:00 - 16:00 | [[%ATTACHURL%/C2-Monads-final.pdf][C2 - Monads]]<br/>(Andres L&ouml;h) | | | |
| | 16:00 - 17:30 | | | Jurrien, Ruud, Jan, Atze<br/> | |
| | | | | | |
| Thursday 18 | 09:00 - 11:00 | [[%ATTACHURL%/B4-MonadTransformers-final.pdf][B4  - Monad transformers]]<br/>(Andres L&ouml;h) | [[%ATTACHURL%/A4-IO.pdf][A4  - IO]]<br/>(Doaitse Swierstra) |  | |
| | 11:00 - 12:30 | | | Alex, Sean, Pedro<br/> | |
| | 14:00 - 16:00 | [[%ATTACHURL%/C3-LazyEvaluation.pdf][C3  - Lazy Evaluation]]<br/>(Doaitse Swierstra)  |   | | |
| | 16:00 - 17:00 | | | Jurrien, Ruud, Jan, Atze<br/> | |
| | 17:00 - | | | | reception<br/>(Minnaert restaurant) |
| | | | | | |
| Friday 19 | 09:00 - 11:00 | [[%ATTACHURL%/C4-DataStructures-final.pdf][C4  - Data structures]]<br/>(Atze Dijkstra) | | | |
| | 11:00 - 12:30 | | | Alex, Wouter, Pedro<br/>| |
| | 14:00 - 16:00 | [[%ATTACHURL%/C5-ProgrammingPractices-final.pdf][C5  - Haskell Programming Practices]]<br/> (Andres L&ouml;h)| | | |
| | 16:00 - 17:30 | | | Jurrien, Ruud, Jan, Atze<br/> | |
| | | | | | |
| Monday 22 | 09:00 - 11:00 | [[%ATTACHURL%/C6-FingerTrees-final.pdf][C6 - Finger Trees]], [[http://www.google.nl/url?sa=t&source=web&cd=2&ved=0CCIQFjAB&url=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.116.4541%26rep%3Drep1%26type%3Dpdf&rct=j&q=finger%20trees%20hinze&ei=QfdRTon7BYeG-wacsqH5Bg&usg=AFQjCNHZPfEhoIeWf4hXg0AuJgmfEgYnUw&cad=rja][paper Hinze & Paterson]]<br/>(Atze Dijkstra) | | | |
| | 11:00 - 12:30 | | | Alex, Wouter, Jan <br/>| |
| | 14:00 - 16:00 | [[%ATTACHURL%/C7-Concurrency-final.pdf][C7 - Concurrency and Parallelism]]<br/>(Andres L&ouml;h) | | | |
| | 16:00 - 17:30 | | | Jurrien, Ruud, Pedro, Atze<br/> | |
| | | | | | |
| Tuesday 23 | 09:00 - 11:00 | [[%ATTACHURL%/C7-Concurrency-final.pdf][C7 - Concurrency and Parallelism]]<br/>(Andres L&ouml;h) | | | |
| | 11:00 - 12:30 | | | Alex, Wouter, Pedro  | |
| | 14:00 - 16:00 | [[%ATTACHURL%/C8-GADT-final.pdf][C8  - Generalised Algebraic Data Types]]<br/>(Andres L&ouml;h) | | | |
| | 16:00 - 17:30 | | | Jurrien, Ruud, Jan, Atze | |
| | | | | | |
| Wednesday 24 | 09:00 - 11:00 | [[%ATTACHURL%/DTP.pdf][G1 - Dependently Typed Programming]] <br/>(Wouter Swierstra) [[%ATTACHURL%/demo.v][Coq demo]] [[%ATTACHURL%/demo.agda][Agda demo]]| | | |
| | 11:00 - 12:30 | | | Alex, Wouter, Pedro | |
| | 14:00 - 16:00 | [[%ATTACHURL%/C9-WebProgramming-final.pdf][C9  - Web Programming]]<br/> (Jurri&euml;n Stutterheim) | | | |
| | 16:00 - 17:30 | | | Jurrien, Ruud, Jan, Atze  | |
| | 19:00 - ~21:00 | | | | joint pizza dinner <!--in [[CourseDinner][Il Pozzo]] -->|
| | | | | | |
| Thursday 25 | 09:00 - 11:00 | [[%ATTACHURL%/C10-ParserCombinators-final.pdf][C10 - DSL's: Parser Combinators]]<br/>(Doaitse Swierstra) | | | |
| | 11:00 - 12:30 | | | Alex, Wouter, Pedro | |
| | 14:00 - 16:00 | [[%ATTACHURL%/C11-AG-final.pdf][C11 - Attribute Grammars]], [[https://subversion.cs.uu.nl/repos/project.STEC.uuagc/uuagc/trunk/doc/ag-tutorial/example][example]]<br/>(Atze Dijkstra) | | | |
| | 16:00 - 17:30 | | | Jurrien, Ruud, Jan, Atze  | |
| | | | | | |
| Friday 26 | 09:00 - 10:15 | G2 - [[http://dreixel.net/research/pdf/fmmh_pres_uscs2011.pdf][Functional Modelling of Musical Harmony]]<br/>(José Pedro Magalhães) | | | |
| | 10:30 - 11:45 | [[%ATTACHURL%/FusionSlidesTomHarper.pdf][G3 - Shortcut  Fusion in Haskell]]<br/>(Tom Harper) | | | |
| | 12:00 - 12:30 | Closing and certificates | | | |
| | 12:30 - 14:00 | | | | farewell lunch<br/>(Minnaert restaurant) |

Topic attachments
I	Attachment	Action	Size	Date	Who	Comment
pdf	0-Intro-final.pdf	manage	349.7 K	15 Aug 2011 - 08:00	DoaitseSwierstra
pdf	A1-QuickStart-final.pdf	manage	683.0 K	16 Aug 2011 - 08:01	DoaitseSwierstra
pdf	A2-DataStructures-final.pdf	manage	647.0 K	15 Aug 2011 - 21:06	DoaitseSwierstra
pdf	A3-ClassesAndInstances-final.pdf	manage	795.1 K	17 Aug 2011 - 06:09	AtzeDijkstra
pdf	A4-IO.pdf	manage	442.6 K	18 Aug 2011 - 09:00	DoaitseSwierstra
pdf	B1-LambdaCalculus-final.pdf	manage	204.2 K	15 Aug 2011 - 15:13	AndresLoeh
pdf	B2-TypedLambdaCalculus-final.pdf	manage	180.7 K	16 Aug 2011 - 06:01	AndresLoeh
pdf	B3-GenericProgramming-final.pdf	manage	198.8 K	17 Aug 2011 - 07:53	AndresLoeh
pdf	B4-MonadTransformers-final.pdf	manage	187.3 K	19 Aug 2011 - 11:53	AndresLoeh
pdf	C1-Testing-final.pdf	manage	664.7 K	16 Aug 2011 - 09:40	AtzeDijkstra
pdf	C10-ParserCombinators-final.pdf	manage	483.7 K	29 Aug 2011 - 11:32	DoaitseSwierstra
pdf	C11-AG-final.pdf	manage	907.4 K	25 Aug 2011 - 08:02	AtzeDijkstra
pdf	C2-Monads-final.pdf	manage	213.7 K	17 Aug 2011 - 11:09	AndresLoeh
pdf	C3-LazyEvaluation.pdf	manage	727.0 K	18 Aug 2011 - 12:54	DoaitseSwierstra
pdf	C4-DataStructures-final.pdf	manage	1076.6 K	19 Aug 2011 - 06:25	AtzeDijkstra
pdf	C5-ProgrammingPractices-final.pdf	manage	160.6 K	19 Aug 2011 - 11:54	AndresLoeh
pdf	C6-FingerTrees-final.pdf	manage	730.3 K	22 Aug 2011 - 06:28	AtzeDijkstra
pdf	C7-Concurrency-final.pdf	manage	311.8 K	23 Aug 2011 - 11:36	AndresLoeh
pdf	C8-GADT-final.pdf	manage	174.3 K	23 Aug 2011 - 20:38	AndresLoeh
pdf	C9-WebProgramming-final.pdf	manage	382.5 K	24 Aug 2011 - 15:27	JurrienStutterheim
pdf	DTP.pdf	manage	480.8 K	24 Aug 2011 - 09:40	WouterSwierstra	Dependently typed programming slides
pdf	FusionSlidesTomHarper.pdf	manage	447.6 K	09 Sep 2011 - 10:33	DoaitseSwierstra
hs	QC.hs	manage	1.3 K	16 Aug 2011 - 14:24	AtzeDijkstra	QuickCheck? demo examples
agda	demo.agda	manage	0.8 K	24 Aug 2011 - 09:41	WouterSwierstra	Agda demo
v	demo.v	manage	0.8 K	24 Aug 2011 - 09:41	WouterSwierstra	Coq demo

USCS 2011

Background

Links

Course Schedule