• January 4 - Winter Classes Start
• February 13-19 - Reading Week
• March 4 - Last date to drop courses without receiving a grade
• Thursday March 31 - Winter Classes End
• Last day to submit work: April 4
• April 6-20 - Winter Exams
• 3342 EXAM: Sun, 10 Apr 2016 14:00 (2pm -5pm) ACW 106

• The first lab is due Tuesday Jan 12 by 1.30pm. Quiz 1 is 1.30pm to 1.55pm✓
• Lab2 is due Tuesday Jan 26✓
• Lab3 is due in two parts. (a) The Lab must be completed by Tuesday, 2nd of Feb., before Quiz4. (b) The report must be submitted by Tuesday, the next week, Feb 9th.✓
• The Labtest is on Tuesday, Feb 23. It starts during class and finishes at the end of the Lab hour. The Labtest is 12.30pm to 14.00pm in LAS1002. I will be in LAS2056 11.30am to 12 noon for office hours (rather than the regular lecture).✓
• Lab 4 is due Tuesday 1 March, before Quiz 5.✓
• Lab 5 is due Tuesday 08 March, before Quiz 6✓
• Quiz 7 is on Tuesday 15 March and covers the initial model of celebrity (Lab 6) and defensive and strict specifications/models.proofs/merging-rules of sequential programs for linear and binary search.
• Lab 6 (celebrity) is due Tuesday 22 March before Quiz 8 (last quiz)
• Project due date is March 31, at 11am (strict)

• [30%] Weekly quizzes. There will be about 8 weekly quizzes (almost every week). The first 2 quizzes each count 3%. The last 6 quizzes each count 4%. On condition that the Lab work is completed. Quizzes will be based on the Labs, lectures and required readings of the preceding weeks.
• [15%] LabTest after reading week.
• [15%] Project (working in a team of no more than two students)
• [40%] Final exam

It is required that you attend and complete the work allocated in the weekly Lab session in preparation for the Quizzes, Labtest, Project and Exam. <hi> Labs must be completed by their due date in order for you to receive credit for the Quizzes</hi>

You may bring 1 data sheet (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.

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