The following is a rough week-by-week course schedule:

Week 1

07 Sep, 05 W: Introduction, Inductive Reasoning
09 Sep, 05 F: Structural Induction, Introduction to SML (I)

Week 2

12 Sep, 05 M: Introduction to SML (II)
14 Sep, 05 W: Natural Deduction (I)
16 Sep, 05 F: Natural Deduction (II)

Week 3

19 Sep, 05 M: Lambda Calculus (I) (By Kevin Donnelly)
21 Sep, 05 W: Lambda Calculus (II) (By Kevin Donnelly)
23 Sep, 05 F: Simple Type System (I) (By Assaf Kfoury)

Week 4

26 Sep, 05 F: Simple Type System (II) (By Assaf Kfoury)
28 Sep, 05 No class
30 Sep, 05 F: Simple Type System (III)

Week 5

03 Oct, 05 M: Simple Type System (III)
05 Oct, 05 W: Simple Type System (IV)
07 Oct, 05 F: Simple Type System (V)

Week 6

10 Oct, 05 M: no class (Columbus Day)
12 Oct, 05 W: A Demo of ATS
14 Oct, 05 F: Type Inference (I)

Week 7

17 Oct, 05 M: Type Inference (II)
19 Oct, 05 W: System F
21 Oct, 05 F: System F

Week 8

24 Oct, 05 M: System F (encoding data structures)
26 Oct, 05 W: System F (encoding data structures)
28 Oct, 05 F: Dependent Types

Week 9

31 Oct, 05 M: Dependent Types
02 Nov, 05 W: Dependent Types
04 Nov, 05 F: Dependent Types

Week 10

07 Nov, 05 M: Object-Oriented Programming
09 Nov, 05 W: Object-Oriented Programming
11 Nov, 05 F: No class

Week 11

14 Nov, 05 M: Object-Oriented Programming
16 Nov, 05 W: Object-Oriented Programming
18 Nov, 05 F: Object-Oriented Programming

Week 12

21 Nov, 05 M: Object-Oriented Programming
23 Nov, 05 W: No class (Thanksgiving)
25 Nov, 05 F: No class (Thanksgiving)

Week 13

28 Nov, 05: Linear types
30 Nov, 05: Linear types
02 Dec, 05: Linear types

Week 14

05 Dec, 05: Continuation
07 Dec, 05: Continuation
09 Dec, 05: Conclusion

------