Lunedì, 04 febbraio 2019

Leonardo Mariani è stato nominato Program Chair della 19th International Conference on Runtime Verification

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.