User Tools

Site Tools


syllabus

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
syllabus [2019/01/01 18:05] francksyllabus [2020/02/05 01:21] (current) franck
Line 6: Line 6:
  
 //Time//: Monday and Wednesday, 9:00-10:30\\ //Time//: Monday and Wednesday, 9:00-10:30\\
-//Location//: Stong College, room 214\\+//Location//: Victor Phillip Dahdaleh Building, room 0009\\
 //Instructor//: [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], //Instructor//: [[http://www.cse.yorku.ca/~franck|Franck van Breugel]],
 [[franck@eecs.yorku.ca]]\\ [[franck@eecs.yorku.ca]]\\
-//Office Hours//: Monday and Wednesday, 10:30-11:30 or by appointment, Lassonde Building, room 3046+//Office Hours//: Monday and Wednesday, 10:30-11:30 or by appointment, Lassonde Building, room 3046\\ 
 +//Teaching assistant//: Amgad Rady
  
 ====== Labs ====== ====== Labs ======
Line 38: Line 39:
   * Christel Baier and Joost-Pieter Katoen.  //Principles of Model Checking.//  The MIT Press.  2008.   * Christel Baier and Joost-Pieter Katoen.  //Principles of Model Checking.//  The MIT Press.  2008.
 Also the notes Also the notes
-  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2019.+  * Franck van Breugel.  //{{:notes.pdf|Java PathFinder: a tool to detect bugs in Java code}}.//  2020.
 will be used.  Additional reading material will be provided on this course wiki. will be used.  Additional reading material will be provided on this course wiki.
  
Line 45: Line 46:
 ====== Evaluation ====== ====== Evaluation ======
  
-<html> 
-<!-- 
 Students are evaluated based on Students are evaluated based on
-  * quizzes (5% each) +  * three quizzes (10% each) 
-  * a midterm (20%) +  * a midterm (10%) 
-  * a project (30%: 5% for installing JPF, 2for draft project proposal, 3for project proposal) +  * a final exam (10%) 
-  a final exam (30%) +  * a project (50%
---> +    * installing JPF (5%
-</html>+    * draft project proposal (2%
 +    * project proposal (3%
 +    first progress report (5%) 
 +    * second progress report (5%) 
 +    * presentation (10%) 
 +    * report (10%) 
 +    * code (10%)
  
 Students can view their marks using the  Students can view their marks using the 
-[[https://www.cse.yorku.ca/~roumani/ePost/server/ep.cgi?year=2018-19&term=W&course=4315|ePost]] system.+[[https://www.cse.yorku.ca/~roumani/ePost/server/ep.cgi?year=2019-20&term=W&course=4315|ePost]] system.
  
-<html> 
-<!-- 
 ====== Project ====== ====== Project ======
  
-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}}. --> +Very brief descriptions of the last four years' projects can be found [[projects|here]].  A sample of a draft proposal can be found {{draft.pdf|here}}.
-</html>+
  
 ====== Academic Honesty ====== ====== Academic Honesty ======
Line 73: Line 75:
 ===== Land Acknowledgement ===== ===== Land Acknowledgement =====
  
-We acknowledge our presence on the traditional territory of many Indigenous Nations. The area known as Tkaronto has been care taken by the Anishinabek Nation, the Haudenosaunee Confederacy, the Huron-Wendat, and the Métis. It is now home to many Indigenous Peoples. We acknowledge the current treaty holdersthe Mississaugas of the New Credit First Nation. This territory is subject of the Dish With One Spoon Wampum Belt Covenant, an agreement to peaceably share and care for the Great Lakes region.+We recognize that many Indigenous nations have longstanding relationships with the territories upon which York University campuses are located that precede the establishment of York University. York University acknowledges its presence on the traditional territory of many Indigenous Nations. The area known as Tkaronto has been care taken by the Anishinabek Nation, the Haudenosaunee Confederacy, the Wendat, and the Métis. It is now home to many Indigenous Peoples. We acknowledge the current treaty holders and the Mississaugas of the Credit First Nation. This territory is subject of the Dish With One Spoon Wampum Belt Covenant, an agreement to peaceably share and care for the Great Lakes region.
  
 Information about York's Indigenous Framework can be found [[http://indigenous.info.yorku.ca/|online]]. Information about York's Indigenous Framework can be found [[http://indigenous.info.yorku.ca/|online]].
syllabus.1546365921.txt.gz · Last modified: 2019/01/01 18:05 by franck