|
|
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 |
|
Correctness and testing |
|
notes
|
Fri |
Sat |
Sun |
|
Week 4
|
Feb 11 - Feb 17 |
Mon |
|
Lecture |
|
13 - 15 |
|
EL43 |
|
Type based modelling |
|
notes
|
Tue |
Wed |
|
Assignment 2 (part 1) deadline
|
Thu |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
Looking forward! (exam preparation) |
|
notes
|
Fri |
Sat |
Sun |
|
Week 5
|
Feb 18 - Feb 24 |
Mon |
|
Lecture |
|
13 - 15 |
|
EL43 |
|
Feldspar guest lecture by Emil Axelsson |
|
notes
|
Tue |
Wed |
Thu |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
More testing and coverage checking |
|
notes
|
Fri |
Sat |
Sun |
|
Week 6
|
Feb 25 - Mar 3 |
Mon |
|
Examination sign-up deadline
|
|
|
Lecture |
|
13 - 15 |
|
EL43 |
|
Advanced Functional Programming: An Agda Tutorial |
|
notes
|
Tue |
Wed |
|
Assignment 2 (part 2) deadline
|
Thu |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
Programs and proofs in Agda: guest lecture by Nils Anders Danielsson |
|
notes
|
Fri |
Sat |
Sun |
|
Week 7
|
Mar 4 - Mar 10 |
Mon |
|
Lecture |
|
13 - 15 |
|
EL43 |
|
TBD (prel. guest lecture by Fredrik Lindblad) |
|
|
Tue |
Wed |
|
Assignment 3 (part 1) deadline
|
Thu |
|
Lecture |
|
10 - 12 |
|
EL43 |
|
Looking back |
|
notes
|
Fri |
Sat |
Sun |
|
Exam week
|
Mar 11 - Mar 17 |
Mon |
Tue |
Wed |
Thu |
Fri |
Sat |
|
Final written exam 08.30-12.30
|
Sun |
|
Assignment 3 (part 2) deadline
|
|
Week 1, SP 4
|
Mar 18 - Mar 24 |
Mon |
Tue |
Wed |
Thu |
Fri |
Sat |
Sun |
|
Final assignment deadline
|