COST Action ARVI meting in Lisbon (PT)

Date: 23/05/2017

The next COST Action ARVI (Runtime Verification beyond Monitoring) meeting is being organized by José Rufino, and will take place at FCUL, Lisbon, Portugal, June 8-9, 2017. The Lisbon meeting is part of a series of meetings promoted by this action, that aims to build expertise by putting together active researchers in different aspects of runtime verification.