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 - Mathematics and Applications 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 1/07/2019

The results of the written exam of Formal Methods that took place on July 1st are in attachment. Students are invited to have a look at the correction of their papers on Monday, July 8th (12.30-13.30) or by appointment.

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