Announcements

 
March. 17: There will be no office hours on Friday, March 18, and on Tuesday, March 22.
Feb. 13: There will be office hour on Wednesday, Feb. 16, from 11:30-12:30 instead of Friday. You can pick up your graded submissions ond quizes on Tuesday or Wednesday.
Feb. 13: Solutions to problems in HW1 can be found here .
Feb. 13: Midterm exam will be closed-book. However, you can bring only rules of sequent calculus and Hilbert axiomatic systems on a cheat-sheet.
Feb. 5: Homework 3 is out (due Feb. 17).
Feb. 3: Project proposals are due by Feb. 10.
Feb. 3: If you still do not have a prohect topic, please meet meet me on Feb. 4 during office hour..
Feb. 3: If you submit your PVS homework by Feb. 4, 12 noon, it won't count towards a 1 week extension
Jan. 12: There will be no office hours on Jan. 14 and 18. Makeup office hour will be on Friday Jan. 21 from 12:30-1:30pm. If you have any questions regarding homework2, please email me.
Jan. 12: Homework2 is out (due Feb. 3)
Jan. 9: For Jan. 13, each group must bring a laptop with PVS installed and running on it.
Jan. 8: Homework1 is out (due Jan. 13)
Dec. 24: Please complete the initial survey and bring to the first class.
Dec. 24: Course website created.