The results of the written exam of Formal Methods that took place on July 15th are in attachment. Students are invited to have a look at the correction of their papers on Thursday, July 18th (10.00-12.00) or by appointment.

The oral exams can be taken on Thursday 18th (afternoon), Friday 19th or Monday 22nd, or in the next exam session in September.