December 1, 2021: Alessandro Aldini: On the Modeling and Verification of Collective and Cooperative Systems
Alessandro Aldini (Università degli Studi di Urbino)
On the Modeling and Verification of Collective and Cooperative Systems
December 1, 2021: Zoom, h. 13:00-15:00.
In order to obtain the link for the webinar, please write to: logic.unimi@gmail.com
Abstract:
The formal description and verification of large networks of cooperative and interacting agents is made difficult by the interplay of several different behavioral patterns, models of communication, scalability issues. In this lecture, we will explore the functionalities and the expressiveness of a general-purpose process algebraic framework for the specification and model checking based analysis of collective and cooperative systems. The proposed syntactic and semantic schemes are general enough to be adapted with small modifications to heterogeneous application domains, including, e.g., crowdsourcing systems, trustworthy networks and distributed ledger technologies.
The meeting will be held in English.
Participation is strongly recommended to students of the Doctoral School in Philosophy and Human Sciences and to students of the Doctoral School of Mind, Brain, and Reasoning.
Everyone interested is welcome to attend.
ORGANIZERS
The Logic Group, Department of Philosophy, University of Milan - luci.unimi.it