In two days (
Wednesday, December 1, 2021) we will host
Alessandro Aldini
(University of Urbino) who will give a talk on
the modeling and verification of collective and cooperative systems
. We are looking forward to welcoming you all, as usual, starting from 1 PM CET. More information are available below:
- Title
On the modeling and verification of collective and cooperative systems
- 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.
Zoom Link
: