|
|
Event |
|
Time |
|
Place |
|
Subject |
|
Links |
|
Week 1
|
Jan 21 - Jan 27 |
Mon |
|
Lecture |
|
13 - 15 |
|
EL43 |
|
Intro |
|
notes
|
Tue |
Wed |
Thu |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
Shapes |
|
notes
|
Fri |
Sat |
Sun |
|
Week 2
|
Jan 28 - Feb 3 |
Mon |
|
Lecture |
|
13 - 15 |
|
EL43 |
|
Monads |
|
notes
|
Tue |
Wed |
|
Assignment 1 (part 1) deadline
|
Thu |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
Parsers |
|
notes
|
Fri |
Sat |
Sun |
|
Week 3
|
Feb 4 - Feb 10 |
Mon |
|
Lecture |
|
13 - 15 |
|
EL43 |
|
Monad transformers |
|
notes
|
Tue |
|
CHARM
|
Wed |
|
Assignment 1 (part 2) deadline
|
|
|
CHARM
|
Thu |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
(PJ away) Correctness and testing |
|
notes
|
Fri |
Sat |
Sun |
|
Week 4
|
Feb 11 - Feb 17 |
Mon |
|
No lecture
|
Tue |
Wed |
|
Assignment 2 (part 1) deadline
|
Thu |
|
No lecture
|
Fri |
Sat |
Sun |
|
Week 5
|
Feb 18 - Feb 24 |
Mon |
|
Lecture |
|
13 - 15 |
|
EL43 |
|
More testing + coverage checking |
|
notes
|
Tue |
Wed |
Thu |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
Feldspar guest lecture |
|
notes
|
Fri |
Sat |
Sun |
|
Week 6
|
Feb 25 - Mar 2 |
Mon |
|
Examination sign-up deadline
|
|
|
Lecture |
|
13 - 15 |
|
EL43 |
|
Type based modelling |
|
notes
|
Tue |
Wed |
|
Assignment 2 (part 2) deadline
|
Thu |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
TBD (was Concurrency and Parallelism) |
|
notes
|
Fri |
Sat |
Sun |
|
Week 7
|
Mar 3 - Mar 9 |
Mon |
Tue |
|
Lecture |
|
13 - 15 |
|
EL43 |
|
Requested topics |
|
notes
|
Wed |
|
Assignment 3 (part 1) deadline
|
Thu |
Fri |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
Recap lecture |
|
notes
|
Sat |
Sun |
|
Exam week
|
Mar 10 - Mar 16 |
Mon |
Tue |
Wed |
Thu |
Fri |
Sat |
Sun |
|
Final written exam 14.00-18.00
|
|
Week 1, SP 4
|
Mar 17 - Mar 23 |
Mon |
|
Assignment 3 (part 2) deadline
|
Tue |
Wed |
Thu |
|
Final assignment deadline
|
Fri |
Sat |
Sun |