EXAMINATION AND GRADING

The exam consists of various written exercises and tests. An exercise can be: a "yes/no" question, proving some simple properties, formalizing an informal specification, and so on. There is also an
optional oral examination, which starts from a discussion of the written exam.

DATES

• Mid-term exam: 27-04-2010
• Second-term exam and Final exam: 08-06-2010 at 9:00 room 206
• Oral exam (on demand): 11-06-2010 at 9:00 room 7

OTHER DATES

• Written exam: 28-06-2010 at 9:00 room 103 with oral exam starting from: 01-07-2010 at 9:00 room 103 (discussion of the written exam) + two oral sessions 01-07-2010 at 17:00 and 02-07-2010 at 15:00 both in room 7
• Written exam: 06-09-2010 at 9:00 with oral exam: 09-09-2010 at 9:00