- [2012/04/12] Midterm exam will be held in class on 4/16. The scope
covers up to Section 2.5 Soundness and Completeness. One A4-sized cheat
sheet is allowed to bring in for the exam.
- [2012/03/02] A kind reminder, there will be no make-up lecture on
3/3. The make-up lecture for 2/27 will be determined later.
- [2012/02/19] Prof. Bow-Yaw Wang of Academia Sinica will be co-instructing the course.
- [2012/02/19] Announcements will be placed on this page.
|