• January 5 - Winter Classes Start
• February 18-24 - Reading Week
• March 10 - Last date to drop courses without receiving a grade
• Thursday April 5 - Winter Classes End
• Last day to submit work: April 5
• Final Exam tentatively scheduled: Monday, April 10 9:00 AM

• Tuesday Jan 10: Lab1 is due by 11am (sharp).
• Tuesday Jan 10: Quiz 1 (2%) is during the Lab hour.✓
• Tuesday Jan 23: Quiz2 (3%)✓
• Tuesday Jan 31: Lab2 is due 11am sharp✓
• Tuesday Jan 31: Quiz3 (4%)✓
• Lab3 is due in two parts. (a) The Lab models must be completed by Tuesday, 11am, 7th of Feb. (b) The report must be submitted by Tuesday, the next week, 11am, Feb 14th.✓
• Tuesdays 7 Feb. Quiz4 (4%)✓
• The Labtest is on Tuesday, Feb 28. It starts during class and finishes at the end of the Lab hour. The Labtest is from 12.20 to 14.00 in LAS1004. I will be in LAS2056 from 11.30am to 12 noon for office hours (rather than in the regular lecture hall on that day). Preparation for the Labtest is in the SVN (7 questions).
• Lab 4 is due Tuesday 7 March, before Quiz 5.
• Lab 5 is due Tuesday 14 March, before Quiz 6
• Project is due Wednesday 5th of April, 11am.

• [30%] Weekly quizzes. There will be 8 weekly quizzes (almost every week). Quiz1 counts 2%. Later quizzes will count more, up to 5% per quiz. The condition for receiving a grade on the quizzes is that you complete and submit the Labs. 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

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/Lab/Labtest will result in a score of zero – unless the official York attending physician's statement is filled out in detail. 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

If you have any issues with your grade, whether on your Labs, Quizzes, Labtest, etc, please print out your feedback, add your name and Prism login, write down clearly and precisely where and what your grading issues are, and hand the feedback to your instructor. This must be done within one week from the date the grades are announced. Your request must spell out the relevant part or section of the assignment what grade you did get, and what you feel your grade should be for that part.

If you want your Quiz, Lab, or Project regraded, then within one week of receiving the feedback do the following:

• Write out precisely and concisely your concerns.
• Staple your written concerns to your feedback document
• Return the above to the instructor within one week of receiving your feedback.