Schedule

Detailed schedule (in TimeEdit)

    Event     Time     Place     Subject     Links
 
Week 1 Jan 20 - Jan 26
Mon     Lecture     13 - 15     EL43     Intro     notes
Tue
Wed
Thu     Lecture     10 - 12     EL43     Shapes     notes
Fri
Sat
Sun
 
Week 2 Jan 27 - Feb 2
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 3 - Feb 9
Mon     Lecture     13 - 15     EL43     Monad transformers     notes
Tue     CHARM
Wed     Assignment 1 (part 2) deadline
    CHARM
Thu     Lecture     10 - 12     EL43     TBD (Monad Wrestling)     notes
Fri
Sat
Sun
 
Week 4 Feb 10 - Feb 16
Mon     Lecture     13 - 15     EL43     Correctness and testing     notes
Tue
Wed     Assignment 2 (part 1) deadline
Thu     Lecture     10 - 12     EL43     Looking forward! (exam preparation)     notes
Fri
Sat
Sun
 
Week 5 Feb 17 - Feb 23
Mon     Lecture     13 - 15     EL43     More testing and coverage checking     notes
Tue
Wed     Examination sign-up deadline
Thu     Lecture     10 - 12     EL43     Feldspar guest lecture by Emil Axelsson     notes
Fri
Sat
Sun     Assignment 2 (part 2) deadline
 
Week 6 Feb 24 - Mar 2
Mon     Lecture     13 - 15     EL43     Type based modelling     notes
Tue
Wed     Assignment 3 (part 1) deadline
Thu     Lecture     10 - 12     EL43     Advanced Functional Programming: An Agda Tutorial     notes
Fri
Sat
Sun
 
Week 7 Mar 3 - Mar 9
Mon     Lecture     13 - 15     EL43     TBD (Prel. guest lecture by Cezar Ionescu)    
Tue
Wed
Thu     Lecture     10 - 12     EL43     Looking back     notes
Fri
Sat
Sun     Assignment 3 (part 2) deadline
 
Exam week Mar 10 - Mar 16
Mon
Tue     Final written exam 08.30-12.30
Wed
Thu
Fri
Sat
Sun     Final assignment deadline
 
Week 1, SP 4 Mar 17 - Mar 23
Mon
Tue
Wed
Thu
Fri
Sat
Sun
[Chalmers]
[GU]