Monthly Archives: May 2016

Next Meeting: June 4-5, Reykjavik

Posted on 24th May 2016 by Volker Stolz

This meeting is co-located with iFM 2016. The event will be held in conjunction with the PrePost workshop at iFM 2016. More info.

Posted in Meetings | Comments Off on Next Meeting: June 4-5, Reykjavik

1st Summer School on Runtime Verification

Posted on 9th May 2016 by Volker Stolz

1st Summer School on Runtime Verification co-organized and sponsored by the COST Action IC1402 ArVi September 23-25, Madrid, Spain We are excited to announce the first edition of the RV Summer School: Branches of practical topics rooted in theory, sponsored by COST Action IC1402 … Continue reading →

Posted in Events | Tagged | Comments Off on 1st Summer School on Runtime Verification

CRV-2016: 3rd RV Competition

Posted on 8th May 2016 by Giles Reger

CRV-2016 is the 3rd International Competition on Runtime Verification and will be held as part of the 16th International Conference on Runtime Verification. The event will be held in September 2016, in Madrid, Spain. CRV-2016 will draw attention to the … Continue reading →

Posted in Events | Comments Off on CRV-2016: 3rd RV Competition