Alessandro Aldini’s Seminar
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 […]