We propose a generic dynamic logic with the usual diamond andbox modalities over structured actions. Instead of using regularexpressions of actions our logic is parameterised by the form ofthe actions which can be given by an arbitrary language forcomplex, structured actions. In particular, our logic can beinstantiated by languages that describe complex interactionsbetween system components. We study two instantiations of ourlogic for specifying global behaviours of interaction-basedsystems: one on the basis of global session types and the otherone using UML sequence diagrams. Moreover, we show that ourproposed generic logic, and hence all its instantiations, satisfybisimulation invariance and a Hennessy-Milner theorem.
Latest Announcements
Jobs
Bando AR ISTI 05/2024
2024-03-27
Selezione pubblica per titoli e colloquio. Numero assegni: 1. Area scientifica: Informatica, Ingegneria.Diplomi di laurea: Informatica, Ingegneria delle Telecomunicazioni, Ingegneria elettrica, Ingegneria elettronica, Ingegneria Informatica.Requisiti:
Esperienza o conoscenz...
The German Research Centre for Artificial Intelligence (DFKI) and the National Research Council of Italy (CNR) will meet for their first joint workshop on Artificial Intelligence and related technologies in Pisa on April 18-19, 2024, in the framework of the collaboration agree...
Bio-Inspired Deep Learning (BIDL) represents a promising and currently active research area, at the intersection of computer science and neuroscience. While, on one hand, recent work aims at enhancing current deep learning technologies with more biologically inspired features,...
Trust and Reliance in AI: an interaction framework for Human-Centered AI as a joint cognitive system
2024-03-20
In the realm of Artificial Intelligence (AI), fostering trust and reliance is crucial for effective human-computer interaction. This presentation introduces an interaction framework centered on human cognition and AI collaboration, framing them as a joint cognitive system. The...
17th International Conference on the Quality of Information and Communications Technology (QUATIC 2024)
2024-03-19
QUATIC is a forum for disseminating advanced methods, techniques and tools for supporting quality approaches to ICT engineering and management. Practitioners and researchers are encouraged to exchange ideas and approaches on how to adopt a quality culture in ICT process and pr...
IAIL 2024 - Imagining the AI Landscape after the AI ACT Workshop
2024-03-19
The AI Act (AIA) is a landmark EU legislation to regulate Artificial Intelligence based on its capacity to cause harm. Like the EU’s General Data Protection Regulation (GDPR), the AIA is set to become the global benchmark for regulating Artificial Intelligence.This workshop ai...
Learning to Quantify: Methods and Applications (LQ 2024)
2024-03-19
Learning to Quantify (LQ - also known as “quantification“, or “supervised prevalence estimation“, or “class prior estimation“, or “unfolding”) is the task of training class prevalence estimators via supervised learning. In other words, the task of these trained models is to es...
1st International Workshop on Impact of Algorithms and Services on the Urban Ecosystem (MAURO)
2024-03-19
The 1st International Workshop on Impact of Algorithms and Services on the Urban Ecosystem (MAURO 2024) workshop aims to delve into the impact of AI and algorithms on urban ecosystems, focusing on their influence on human mobility, points of interest, road networks, and mobili...
1st Workshop on Generative AI for Mobility Data (GenAI4MoDA)
2024-03-19
Generative AI, a subset within the realm of artificial intelligence, has undergone significant progress in recent years. This progress empowers machines to craft, imitate, and produce content that closely mirrors human creations.The application of generative AI on mobility dat...