Successful 2nd School on Runtime Verification

We had a successful 2nd School on Runtime Verification in Praz sur Arly, in the beautiful French Alps, organized by the COST action IC1402 Runtime Verification beyond Monitoring (ARVI) and Inria.

Slides of the lectures as well as recorded lecture videos shall be uploaded soon.

Thanks to all lecturers and participants for the passionating lectures and lively discussions.

We are grateful to Inria and our sponsors for permitting the organisation of the school.