Schedule

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

Date	Chapter(s)	Assignment
Tue, 01/22/19	Intro slides Preface [reading \| slides \| lecture], Basics [reading \| slides \| lecture]
Thu, 01/24/19	(Basics continued) Induction [reading \| slides \| lecture]	A1

Tue, 01/29/19	Lists [reading \| slides \| lecture]
Thu, 01/31/19	(Lists continued, start Poly)	A2

Tue, 02/05/19	Poly [reading \| slides \| lecture], Tactics [reading \| slides \| lecture]
Thu, 02/07/19	(Tactics continued)	A3

Tue, 02/12/19	Logic [reading \| slides \| lecture]
Thu, 02/14/19	(Logic continued)	A4

Tue, 02/19/19	IndProp [reading \| slides \| lecture]
Thu, 02/21/19	(IndProp continued) ProofObjects [reading \| slides \| lecture]	A5

Tue, 02/26/19	February Break
Thu, 02/28/19	(ProofObjects continued) IndPrinciples [reading \| slides \| lecture]

Mon, 03/04/19	Prelim: March 4-7: take-home exam
Tue, 03/05/19	Maps [reading \| slides \| lecture], Imp [reading \| slides \| lecture]
Thu, 03/07/19	(Maps and Imp continued)	A6

Tue, 03/12/19	Auto [reading \| slides \| lecture]
Thu, 03/14/19	Hoare [reading \| slides \| lecture]	A7

Tue, 03/19/19	Hoare2 [reading \| slides \| lecture]
Thu, 03/21/19	(Hoare2 continued) HoareAsLogic [reading \| slides \| lecture]	A8

Tue, 03/26/19	Perm [reading \| slides \| lecture], Sort [reading \| slides \| lecture]
Thu, 03/28/19	Multiset [reading \| slides \| lecture]	A9

Tue, 04/02/19	Spring Break
Thu, 04/04/19	Spring Break

Tue, 04/09/19	Selection [reading \| slides \| lecture]
Thu, 04/11/19	SearchTree [reading \| slides \| lecture]	A10

Tue, 04/16/19	Class canceled
Thu, 04/18/19	Guest Lecture: Dean Greg Morrisett

Tue, 04/23/19	Guest Lecture: Prof. Ross Tate
Thu, 04/25/19	Extract [reading \| slides \| lecture], ADT [reading \| slides \| lecture]	A11

Tue, 04/30/19	Class canceled
Thu, 05/02/19	Redblack [reading \| slides \| lecture]	A12

Tue, 05/07/19	Conclusion: slides Reading: [De Millo et al. 1979], [Asperti et al. 2009]

Wed, 05/15/19	Final: March 11-15: take-home exam