CIS 670, Fall 2012

Date Lecturer Lecture Notes Reading Homework Improved versions
of (some) homeworks (Some) solutions

Sep. 5 BCP HW1and2.v CPDT 1 - 2.1 HW1and2.v (first part)

Sep. 10 BCP HW1and2.v 2.2 HW1and2.v (second part)

Sep. 12 BCP 3.1 - 3.5 HW3.txt

Sep. 17 BCP 3.6 - 3.9 HW4.v

Sep. 24 Daniel / BCP TAPL 21.1

Oct 3 Justin Hsu HW8.v (a.k.a. SubsetHW.v) CPDT 6 HW8.v HW8i.v

Oct 8 Guest lecture: Matthieu Sozeau Matrices.v, MatricesFull.v, slides

Oct 10 Marco Gaboardi CPDT 7 and optionally this paper for additional background HW9.v

Oct 15 Jennifer Paykin CPDT 8 HW10.v HW10i.v HW10i-sol.v

Oct 17 Jennifer / Dmitri Garbuzov CPDT 8 / 9 HW11.v

Oct 24 Dmitri CPDT 9 HW12.v

Oct 29 Hurricane break

Oct 31 Dmitri CPDT 9 HW13.v

Nov 5 Vivien Durey CPDT 10 HW14.v HW14i.v HW14i-sol.v

Nov 7 Antal Spector-Zabuski CPDT 11 HW15.v

Nov 12 Vilhelm Sjoberg CPDT 12 HW16.v (optional)

Nov 14 Richard Eisenberg CPDT 13 HW17.v HW17i.v HW17i-sol.v

Nov 19 Richard / Arthur Azevedo de Amorim CPDT 14

Nov 26 Arthur CPDT 14 HW18.v HW18i.v

Nov 28 Arthur / Leonidas Lampropoulos CPDT 15 HW19.v

Dec 3 Leonidas

Dec 5 Nick Watson CPDT 17 HW20.v

Advanced Topics
in Programming Languages