University of Trento
Fall 2011


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.


  • 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





University of Trento - Master in Computer Science