Schedule

Detailed schedule (in TimeEdit)

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