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     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
[Chalmers]
[GU]