USCS 2011
Home
Registration
Venue
Q and A
Schedule
Materials
Haskell Tutor
Lab
?
Background
Course Participants
Housing, Food, Transport
Coffee and Tea
Things To Do
The wheather
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
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ö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ö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ö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ö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ö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ö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ö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ö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ö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ë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