Differences

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

--- syllabus [2017/12/29 14:50] – 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 39: / Line 39: @@
 The textbook for this course is
   * Christel Baier and Joost-Pieter Katoen.  //Principles of Model Checking.//  The MIT Press.  2008.
-Also
+Also the notes
-  * Franck van Breugel.  //[[:notes.pdf|Java PathFinder: a tool to detect bugs in Java code]].//
+  * 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.
-Additional reading material will be provided on this course wiki.
@@ Line 59: / Line 58: @@
 ====== Project ======
-Very brief descriptions of the last two years' 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 ======