Schedule

Detailed schedule (in TimeEdit)

    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