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 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. 

Formal Methods: next written exam 15/07/2019

We remind students that the next written exam of the module of Formal Methods (Prof. Nesi) will take place on Monday, 15th July 2019, at 10.00 in room A1.6. This will be the last occasion to take the second partial exam.

On July 24th the postponed exam of Model-Driven Engineering and Formal Methods (see the related notice on this website) will only be about the module of Model-Driven Engineering (Prof. Pierantonio).

Formal Methods: seminar at GSSI

The extra lecture of Formal Methods fixed for Wednesday, 22nd May (14.30-16.30, room A1.6) will not take place as it is replaced by a seminar at GSSI by Prof. Alessandro Cimatti on "Logics at work" at 15.00 (see abstract and link below). All students of Formal Methods, past and present, are invited to participate! Schedule: 22 May, 3pm Place: GSSI - Library Room, v. Francesco Crispi 7 Speaker: Alessandro Cimatti (Fondazione Bruno Kessler, Trento, Italy) https://es-static.fbk.eu/people/cimatti Title: “Logics at work” Abstract: Mathematical logic, conceived as a means to formalize mathematical reasoning, has become, in the last decades, an engineering tool for the development of high-complexity systems. It helps to unambiguously represent the problem of the...

Formal Methods: results of the midterm exam

The results of the midterm exam of Formal Methods are available at the link below.
The students who provided no matriculation number are identified through initials of Name and Surname. The students are invited to have a look at the correction of their papers on Friday, May 3rd (11.30-13.00) or during supervision hours.