EXAMINATION
AND GRADING
The exam consists of (a) a written exam and (b) a project and (c) an oral discussion. All of them are mandatory.
IMPORTANT: ask the professor(s) for a project proposal on time to be prepared by the oral; a report about the project has to be sent to the professor(s) no later than 1 week before the exam.
The written exam consists of various
written exercises, tests and questions concerning the theoretical part. An exercise can be: a "yes/no"
question, proving some simple properties, formalizing an
informal specification, and so on.
The oral exam covers all the topics explained during the course.
DATES
- Delivery date for the projects : no later than 1 week before the oral exam
- Written exam (only for students that attended the whole course): December 13, 13:30-16:30 A107
- Oral exam 1st session: January 20, 2012 9:30-13:00 room A107
- Oral exam 2nd session: February 7, 2012 9:30-13:00 room A108
- June session final exam: June 21, 2012 room A107 9.30-12.30
- July session final exam: July 19, 2012 room A107 9.30-12.30
- September session final exam: September 6, 2012 room A107 9.30-12.30
|