We are glad to inform you that on July 11-12, 2023, the IMT School will host the final workshop within the project PRIN 2017 "It-Matters", which will end in August 2023.
The It-Matters project was funded by Ministry of University and Research as a project of national interest.
The project's central theme is large-scale distributed smart systems, which use different data collection sensors to supply information and efficiently manage assets and resources. Since these increasingly pervasive systems interact extensively with their environment, avoiding unforeseen and possibly dangerous situations is essential. For this reason, there is a strong need for techniques to ensure systems are reliable. The project's goal is to develop and experiment with a new methodology for the specification, implementation, and validation of trustworthy smart systems based on formal methods.
During the workshop, the main achievements of the project and several studies concerning these methodologies will be presented.