• January 5 - Winter Classes Start
• February 14-20 - Reading Week
• March 6 - Last date to drop courses without receiving a grade
• April 6 - Winter Classes End
• April 8-24 - Winter Exams

CUPE Strike. Classes ceased on March 3, 2015 and re-started on March 11. Labtest2 converted into an assignment.

For the Assignment and Project, work on your own or in a team of at most two members. Only one submission is required.

• 2%: Lab1. Due by noon Tuesday 13 Jan: Lab 1 must be submitted and all questions must be answered during the Lab session of Jan 13.
• 2%: Lab2. Due by noon Tuesday 27 Jan: Lab 2 must be submitted and all questions must be answered during the Lab session of Jan 27.
• 12%: Labtest1. February 3, during class time and lab time. 12.30pm-2pm
• 2%: Lab3. Due Feb 24.
• 15%: Assignment. <hi yellow> Due Tuesday March 24. </hi>
• 2%: Lab4. <hi yellow> Due Tuesday March 31. </hi>
• 20%: Project. <hi yellow> Due Wednesday April 15. </hi>
• 45%: Exam

It is required that you attend and complete the work allocated in the weekly Lab session (Labs) in preparation for the Labtests and Exam.

You may bring 3 sheets (US Letter size, written on both sides) of your own notes into the exam. Otherwise it is a closed book exam. The first two sheets are the Event-B notation summary which you may annotate. The third sheet may be any additional notes as required.

The Exam will be on all the material noted in the course outline, material covered in the lectures, slides and required readings from the textbook, exercises, assignments, labtests and project. The exam is 3 hours. A sample 2 hour exam is available on the SVN; our exam is unlikely to include questions from the samples.

You can view your marks here.

• Common Grading Scheme for Undergradate Faculties

You have two weeks from the time grades are released on ePost to ask for your grading unit (Lab, Project or Labtest) to be marked again. Within the two week period submit your grading unit to the instructor and attach to it a document describing your precise concerns.

For each grading unit you are assigned a raw mark score that ranks you in the class. Also, you will be provided with a mapping from your raw mark score to a letter grade. The raw mark score is not a grade as it is merely used to rank you in the class (so, e.g. a raw mark score of 76 might be a C, not a B+, after the mapping is applied). The mapping will be supplied to you at the same time that your assignment is handed back to you. The final grade is computed from the raw mark scores and maps as shown here.

The meaning of the letter grades assigned by the mapping is givenhere.

You must complete and hand in the project to obtain a grade for the course.

Missing a Quiz/Assignment/Labtest will result in a score of zero – unless the official York attending physician's statement is filled out. With the official physician's statement, you will be awarded a letter grade for the missed component equal to the grade you obtain on the Exam