The following schedule is subject to change. Slides are available in Blackboard

Week Dates Topics Readings
1 8/25, 8/27 Intro; Math Preliminaries Ch2
2 9/1, 9/3 Untyped arith expressions Ch3
3 9/8, 9/10 Lambda Calculus Ch5
4 9/15, 9/17 Lambda Calculus; Typed arith exps Ch8
5 9/22, 9/24 Simply Typed Lambda Calculus Ch9; Ch11
6 9/29, 10/1 STLC Extentions Ch11
7 10/8 Midterm
8 10/13, 10/15 Subtyping; Universal types Ch15, Ch23
9 10/20 Paper presentations
9 10/22 Existential types Ch24
10 10/27 Paper presentations
10 10/29 Course project presentation (phase 1)
11 11/3 Paper presentations
11 11/5 Mechanized PL metatheory in Coq
12 11/10 Paper presentations
13 11/17, 11/19 Mechanized PL metatheory in Coq
14 11/24
15 12/1 Java security
15 12/3 Course project presentation