Dal 4 al 6 settembre 2019, presso l’Aula Seminari Magenta al Piano D del Dipartimento di Ingegneria Industriale e dell’Informazione – Facoltà di Ingegneria dell’Università di Pavia (Via Adolfo Ferrata, 5 – 27100 Pavia), si terranno i seminari “Formal Methods for Discrete-Time Dynamical Systems”.
Relatrice la Prof. Calin Belta, Boston University.
