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 https://rv2016.imag.fr/?page_id=188.

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