CRV 16 announced

Information about CRV 2016, The 3rd International Competition on Runtime Verification, in Association with COST Action “Runtime Verification beyond Monitoring” is online and available at

Deadlines extended

Following several requests, the deadlines have been extended as follows: Abstract deadline: May 20, 2016 (AoE) Paper and tutorial deadline: May 27, 2016 (AoE) Tutorial notification: June 15, 2016 Paper notification: July 18, 2016