|
|
Event |
|
Time |
|
Place |
|
Subject |
|
Links |
| |
|
Week 1
|
Jan 16 - Jan 20 |
| Mon |
| Tue |
|
Lecture |
|
13 - 15 |
|
ED |
|
Intro |
|
notes
|
| Wed |
| Thu |
| Fri |
|
Lecture |
|
10 - 12 |
|
EF |
|
Shapes |
|
notes
|
| |
|
Week 2
|
Jan 23 - Jan 27 |
| Mon |
| Tue |
|
Lecture |
|
13 - 15 |
|
ED |
|
Monads |
|
notes
|
| Wed |
| Thu |
|
Assignment 1 (part 1) deadline
|
| Fri |
|
Lecture |
|
10 - 12 |
|
EF |
|
Parsers |
|
notes
|
| |
|
Week 3
|
Jan 30 - Feb 3 |
| Mon |
| Tue |
|
Lecture |
|
13 - 15 |
|
ED |
|
Monad transformers |
|
notes
|
| Wed |
| Thu |
|
Assignment 1 (part 2) deadline
|
| Fri |
|
Lecture |
|
10 - 12 |
|
EF |
|
Correctness and testing |
|
notes
|
| |
|
Week 4
|
Feb 6 - Feb 10 |
| Mon |
| Tue |
|
Lecture |
|
13 - 15 |
|
ED |
|
More testing + coverage checking |
|
notes
|
| Wed |
|
CHARM
|
| Thu |
|
Assignment 2 (part 1) deadline
|
|
|
CHARM
|
| Fri |
|
Lecture |
|
10 - 12 |
|
EF |
|
Type based modelling |
|
notes
|
| |
|
Week 5
|
Feb 13 - Feb 17 |
| Mon |
| Tue |
|
Lecture |
|
13 - 15 |
|
ED |
|
Feldspar guest lecture |
|
notes
|
| Wed |
| Thu |
| Fri |
|
Lecture |
|
10 - 12 |
|
EF |
|
Concurrency and Parallelism |
|
notes
|
| |
|
Week 6
|
Feb 20 - Feb 24 |
| Mon |
| Tue |
|
Lecture |
|
13 - 15 |
|
ED |
|
Requested topics |
|
notes
|
| Wed |
| Thu |
|
Assignment 2 (part 2) deadline
|
| Fri |
|
No lecture
|
| |
|
Week 7
|
Feb 27 - Mar 3 |
| Mon |
| Tue |
|
No lecture
|
| Wed |
| Thu |
|
Assignment 3 (part 1) deadline
|
| Fri |
|
No lecture
|
| |
|
Week 8
|
Mar 6 - Mar 10 |
| Mon |
| Tue |
|
Lecture |
|
13 - 15 |
|
ED |
|
Recap lecture |
|
notes
|
| Wed |
| Thu |
|
Assignment 3 (part 2) deadline
|
| Fri |
|
No lecture
|
| |
|
Exam week
|
Mar 13 - Mar 17 |
| Mon |
| Tue |
| Wed |
| Thu |
|
Final assignment deadline
|
|
|
Final written exam 14.00-18.00
|
| Fri |
Printable version