|
|
Event |
|
Time |
|
Place |
|
Subject |
|
Links |
|
Week 1
|
Jan 19 - Jan 25 |
Mon |
|
Lecture |
|
13 - 15 |
|
TimeEdit |
|
Intro |
|
notes
|
Tue |
Wed |
Thu |
|
Lecture |
|
10 - 12 |
|
TimeEdit |
|
Shapes |
|
notes
|
Fri |
Sat |
Sun |
|
Week 2
|
Jan 26 - Feb 1 |
Mon |
|
Lecture |
|
13 - 15 |
|
TimeEdit |
|
Monads |
|
notes
|
Tue |
Wed |
|
Assignment 1 (part 1) deadline
|
Thu |
|
Lecture |
|
10 - 12 |
|
TimeEdit |
|
Parsers |
|
notes
|
Fri |
Sat |
Sun |
|
Week 3
|
Feb 2 - Feb 8 |
Mon |
|
Lecture |
|
13 - 15 |
|
TimeEdit |
|
Monad transformers, part 1 |
|
notes
|
Tue |
|
CHARM
|
Wed |
|
Assignment 1 (part 2) deadline
|
|
|
CHARM
|
Thu |
|
Lecture |
|
10 - 12 |
|
TimeEdit |
|
Monad transformers, part 2 |
|
notes
|
Fri |
Sat |
Sun |
|
Week 4
|
Feb 9 - Feb 15 |
Mon |
|
Lecture |
|
13 - 15 |
|
TimeEdit |
|
Looking forward! (exam preparation) |
|
notes
|
Tue |
Wed |
|
Assignment 2 (part 1) deadline
|
Thu |
|
Lecture |
|
10 - 12 |
|
TimeEdit |
|
Correctness and testing |
|
notes
|
Fri |
Sat |
Sun |
|
Week 5
|
Feb 16 - Feb 22 |
Mon |
|
Lecture |
|
13 - 15 |
|
TimeEdit |
|
Feldspar guest lecture by Emil Axelsson |
|
notes
|
Tue |
Wed |
Thu |
|
Lecture |
|
10 - 12 |
|
TimeEdit |
|
More testing and coverage checking |
|
notes
|
Fri |
Sat |
Sun |
|
Week 6
|
Feb 23 - Mar 1 |
Mon |
|
Lecture |
|
13 - 15 |
|
TimeEdit |
|
Prel. Type based modelling, part 1 |
|
notes
|
Tue |
Wed |
|
Assignment 2 (part 2) deadline
|
Thu |
|
Examination sign-up deadline
|
|
|
Lecture |
|
10 - 12 |
|
TimeEdit |
|
Advanced Functional Programming: An Agda Tutorial |
|
notes
|
Fri |
Sat |
Sun |
|
Assignment 3 (part 1) deadline
|
|
Week 7
|
Mar 2 - Mar 8 |
Mon |
|
Lecture |
|
13 - 15 |
|
TimeEdit |
|
Prel. Type based modelling, part 2 |
|
notes
|
Tue |
Wed |
Thu |
|
Lecture |
|
10 - 12 |
|
TimeEdit |
|
Guest lecture by Cezar Ionescu |
|
|
Fri |
Sat |
Sun |
|
Week 8
|
Mar 9 - Mar 15 |
Mon |
|
Lecture |
|
13 - 15 |
|
TimeEdit |
|
Exam preparation 2 |
|
|
Tue |
Wed |
Thu |
|
Lecture |
|
10 - 12 |
|
TimeEdit |
|
(Perhaps repetition and questions.) |
|
|
Fri |
Sat |
Sun |
|
Assignment 3 (part 2) deadline
|
|
Exam week
|
Mar 16 - Mar 22 |
Mon |
Tue |
|
Final written exam 08.30-12.30
|
Wed |
Thu |
Fri |
Sat |
Sun |
|
Final assignment deadline
|