The exam consists of (a) a written exam, (b) a project and (c) an oral discussion of the written exam and the project. All of them are mandatory.
The written 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.
DATES
Starting date for the projects (extimated) : 15-10-2010
