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

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 02/07/2018

The results of the written exam of Formal Methods that took place on July 2nd are in attachment. Students are invited to have a look at the correction of their papers on Monday, July 9th (11.30-13.00) or by appointment.

Formal Methods: results of the midterm exam

The results of the midterm exam of Formal Methods are available at the link below. The students can have a look at the correction of their papers during supervision hours (Thursday, 10-12).

Formal Methods: lecture cancelled

As agreed with the students, the lecture of Formal Methods of Monday 30th April 2018 will not take place.

Next lecture: Friday 4th May 2018.

Formal Methods: CHANGE of ROOM for midterm exam

Please note that the midterm written exam of Formal Methods will take place on Friday, 20th April 2018 (9.30-11.30) in room A1.6 ("Alan Turing" building) and not in room C1.10 (Coppito 2).