Schedule: 1 October, 11:30 – 12.30Place: GSSI – MLH, v. Francesco Crispi 7 Speaker: Mohammad Reza MousaviSchool of Informatics – Data-Oriented Software Engineering, University of Leicester, UK https://www2.le.ac.uk/departments/informatics/people/mohammad-mousaviTitle: Combining Epistemic and Operational Aspects in Compositional Verification of ProtocolsAbstract: We propose a framework…
Distinguished lectures del Prof. K. GOPAKUMAR
Il Prof. K. Gopakumar, IEEE Fellow e Distinguished Lecturer dell”IEEE Industrial Electronics Society sarà ospite dell’IEEE Italy Chapter e terrà due distiguished lecturers nei giorni: Mercoledì 19 Settembre ore 15.00: Università degli Studi di Firenze, Complesso di Santa Apollonia, Via…