Master Degree in Computer Science
Formal Methods (6 credits)


Next written exams
I) June 16th, 2017 at 10.00, room C1.10 (Coppito 2);
II) July 3rd, 2017 at 10.00, room A1.6 (Blocco 0);
III) July 18th, 2017 at 10.00, room A1.1 (Blocco 0);
IV) September 8th, 2017 at 10.00, room A1.2 (Blocco 0).

Supervision hours:
Monday (11.00-13.00) at Polo Coppito, Alan Turing building (ex-Blocco 0), second floor, room 216.

Course Syllabus and Bibliography

Look at Lectures Spring 2016 (also valid for Spring 2017, last update 12/06/2016)

Some written exams of the past years
Text of the second partial written exam of June 20th. To get the total written exam, just add in the rewriting part:
- in Ex.1 it is also required to give a reduction ordering so that the trs R is terminating;
- in Ex.2 it is also required to i) give a reduction ordering so that the trs R is terminating and ii) check that R is confluent.
All answers must be formally justified.

1/03/2012, 27/06/2012, 24/09/2012, 30/11/2012.

27 June 2011: rewriting, logic.
24 February 2011: rewriting, logic.
10 February 2011: rewriting, logic.
Some exercises on logic and theorem proving: text.

Some past midterm written exams
November 2013: text.
May 2012: text.
December 2010: text.
Some exercises for the partial exam: text.

Please, report any errors or problems to