This site uses only proprietary and third party technical cookies. By continuing to browse the site you are agreeing to our use of cookies. I agree I want to find out more
Browse the Department site:
Browse the Teaching site:

News Archive - Computer Science Area

Channel Didactics

The following list shows all the news published in section 'Didactics' in the last 4 months and relative to the current didactic area. Warning: some news attachments may be no more valid. To read only the current news, go to the 'Didactics' section page.

Formal Methods: results 13/09/2019

The results of the written exam of Formal Methods that took place on September 13th, 2019 are as follows: matr. 245538 Insufficient; matr. 235869 22/30. The students are invited to have a look at the correction of their papers on Wednesday, 18/09/19 (11.00-12.30), or on Thursday, 19/09/19 (10.00-12.00) or by appointment.

Formal Methods: results 15/07/2019

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.