Announcements

 
Nov. 20: Homework 5 is out. You are to handin your solutions in teams of 2 people (due Dec. 10, 11:59pm by email).
Nov. 12: Homework 4 is out. You are to handin your solutions in teams of 2 people (due Nov. 22, 11:59pm by email).
Oct. 16: Project proposals are due on Oct. 29 in class. You should prepare a 5-10 minute presentation for the second half of the lecture.
Oct. 16: Midterm exam will be open-book. Slides of modal logic are posted.
Oct. 7: Homework 3 is out. You are to handin your solutions in teams of 2 people (due Oct. 15, 4:00pm in class).
Sept. 20: The next lecture will be on October 8. Makeup lectures will be on Friday, October 11, 4-7pm and Friday, October 18, 4-7pm.
Sept. 20: Homework 2 is out (due Oct. 8, 4:00pm in class).
Sept. 17: The first makeup class will be on Friday, Sept. 20, 4-6:20pm in DC 2568 (Cancelled).
Sept. 17: HW1 due date is now Sept 18, 4pm.
Sept. 11: Homework 1 is out (due Sept. 17, 4:00pm by email).
Sept. 11: For Sept. 18 lecture, please bring a laptop with PVS installed on it.
July 30: Course website created.