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.
COST Action ARVI meting in Lisbon (PT)
Date: 23/05/2017