Leonardo Mariani e Bernd Finkbeiner sono stati nominati Program Chair della 19th International Conference on Runtime Verification (https://www.react.uni-saarland.de/rv2019/) che si svolgerà a Porto dall'8 all'11 Ottobre 2019.
Dipartimento di Informatica, Sistemistica e Comunicazione DISCo