CMPE 58S - Computer Aided Verification, Fall 2009
General Information
- Instructor: Asst. Prof. Alper Şen (Office: ETA 15)
- Time and Place: Monday 12:00 pm - 3:00 pm, ETA A3
- Office Hours: By appointment
Home & News
| Date | Announcements |
|---|---|
| 25.11.2009 | Posted project final report and presentation guidelines. |
| 23.11.2009 | HW 7 is out and due Dec 13 midnight. Demo Dec 14. Lecture 8 posted. |
| 17.11.2009 | HW 6 is out and due Nov 22 midnight. Lecture 7 posted. |
| 26.10.2009 | HW 5 is out and due Nov 1 midnight. Lecture 5 is posted. |
| 26.10.2009 | Project proposals are due Nov 2 during class hours. Prepare 1 page proposal with problem definition, goal, and detailed timeline. |
| 12.10.2009 | HW 4 is out and due Oct 25 midnight, demo after class. Lecture 4 is posted. |
| 18.10.2009 | Midterm 1 is on Nov 9 during class hours. |
| 12.10.2009 | HW 3 is out and due Oct 18 midnight. Lecture 3 is posted. |
| 05.10.2009 | HW 2 is out and due Oct 11 midnight. Lecture 2 is posted. |
| 28.09.2009 | HW 1 is out and due Oct 4 midnight. |
| 28.09.2009 | Here is the first lecture. lecture1.pdf |
| Boğaziçi
University Department
of Computer Engineering P.K. 2 TR-34342 Bebek, Istanbul, TURKEY |