Differences

This shows you the differences between two versions of the page.

--- syllabus [2017/10/30 19:46] – franck
+++ syllabus [2018/02/15 18:23] (current) – franck
@@ Line 6: / Line 6: @@
 //Time//: Tuesday and Thursday, 9:00-10:30\\
-//Location//: Curtis Lecture Hall, room 110\\
+//Location//: Stong College, room 203\\
 //Instructor//: [[http://www.cse.yorku.ca/~franck|Franck van Breugel]],
 [[franck@eecs.yorku.ca]]\\
-//Office Hours//: TBD, Lassonde Building, room 3046
+//Office Hours//: Tuesdays and Thursdays, 10:30-11:30 or by appointment, Lassonde Building, room 3046
 ====== Labs ======
@@ Line 15: / Line 15: @@
 //Time//: Friday, 10:00-11:00\\
 //Location//: Lassonde Building, lab 1004\\
-//Teaching Assistant//: TBD
+//Teaching Assistant//: [[http://www.cse.yorku.ca/~qiyitang|Qiyi Tang]],
+[[qiyitang@eecs.yorku.ca]]
 ====== Description ======
@@ Line 38: / Line 39: @@
 The textbook for this course is
   * Christel Baier and Joost-Pieter Katoen.  //Principles of Model Checking.//  The MIT Press.  2008.
+Also the notes
-Additional reading material will be provided on this course wiki.
+  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2017.
+will be used.  Additional reading material will be provided on this course wiki.
@@ Line 46: / Line 48: @@
 Students are evaluated based on
-  * bi-weekly quizzes (5% each)
+  * 4 quizzes (5% each)
-  * a project (40%: 5% for installing JPF, 2% for draft project proposal, 3% for project proposal)
+  * a midterm (20%)
+  * a project (30%: 5% for installing JPF, 2% for draft project proposal, 3% for project proposal)
   * a final exam (30%)
@@ Line 55: / Line 58: @@
 ====== Project ======
-Very brief descriptions of last year's projects can be found [[projects|here]].
+Very brief descriptions of the last two years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draftproposal.pdf|here}}.
 ====== Academic Honesty ======