University of Trento
Fall 2012


The exam consists of (a) written exam and (b) project.

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 project will be conducted under the supervision of an advisor that also evaluates it. Available topics will be presented by the advisors as part of the course.

PREREQUISITES: having Mathematical logic exam passed before being assigned a project.


  • Delivery date for the projects : 1 week before the written exam
  • Written exam first session: 14th January 2013 at 14:30-17:30 room A209
  • Presentation of the results: 21st January 2013 at 14:30-15:30 room A211
  • Written exam second session: 4th February 2013 at14:30-17:30 roomA210
  • Presentation of the results: 11th February 2013 at 14:30-15:30 room A222
  • Other exam sessions:
    • June 18th, 2013 at 14:30-17:30 room A211
    • July 16th, 2013 at 14:30-17:30 room A211
    • September 10th, 2013 at 14:30-17:30 room A211


University of Trento - Master in Computer Science