RV 16 proceedings available
The conference proceedings are available and can be downloaded for free from the Proceedings page.
The conference proceedings are available and can be downloaded for free from the Proceedings page.
RV 2016 programme is online.
The list of papers selected by the programme committee of RV 16 is online.
A maximum of 20 grants of 550 euros will be allocated by the COST association in the context of the COST action ARVI to help the participation of Ph.D. students to the summer school.
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.
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
Submissions to RV 2016 is now open. Instructions for submitting paper are available at https://rv2016.imag.fr/?page_id=160
Preliminary information about the 1st International Summer School on Runtime Verification is online and available at https://rv2016.imag.fr/?page_id=128
RV 2016 Call for Papers is announced.
Important dates of RV 2016 are announced.