Schedule

This schedule is subject to change, except for the dates of holidays and exams.

Date	Chapter(s)	Assignment
	Intro slides Preface [reading \| slides \| lecture], Basics [reading \| slides \| lecture]
	(Basics continued) Induction [reading \| slides \| lecture]	A1

	Lists [reading \| slides \| lecture]
	(Lists continued, start Poly)	A2

	Poly [reading \| slides \| lecture], Tactics [reading \| slides \| lecture]
	(Tactics continued)	A3

	Logic [reading \| slides \| lecture]
	(Logic continued)	A4

	IndProp [reading \| slides \| lecture]
	(IndProp continued) ProofObjects [reading \| slides \| lecture]	A5

	February Break
	(ProofObjects continued) IndPrinciples [reading \| slides \| lecture]

	Prelim: March 4-7: take-home exam
	Maps [reading \| slides \| lecture], Imp [reading \| slides \| lecture]
	(Maps and Imp continued)	A6

	Auto [reading \| slides \| lecture]
	Hoare [reading \| slides \| lecture]	A7

	Hoare2 [reading \| slides \| lecture]
	(Hoare2 continued) HoareAsLogic [reading \| slides \| lecture]	A8

	Perm [reading \| slides \| lecture], Sort [reading \| slides \| lecture]
	Multiset [reading \| slides \| lecture]	A9

	Spring Break
	Spring Break

	Selection [reading \| slides \| lecture]
	SearchTree [reading \| slides \| lecture]	A10

	Class canceled
	Guest Lecture: Dean Greg Morrisett

	Guest Lecture: Prof. Ross Tate
	Extract [reading \| slides \| lecture], ADT [reading \| slides \| lecture]	A11

	Class canceled
	Redblack [reading \| slides \| lecture]	A12

	Conclusion: slides Reading: [De Millo et al. 1979], [Asperti et al. 2009]

	Final: March 11-15: take-home exam