Category Archives: Events
Meeting Programme Below is a provisional programme to be refined: Thursday March 22 morning: Reports from working group leaders, 9:00 – 9:15: Opening / Welcome (Martin Leucker) 9:15 – 9: 45: Report on the activities in WG1. 9:45 – 10:15: … Continue reading
Sponsored by COST association, Inria, and Persyval-Lab March 19-21, 2018 Praz sur Arly, in the French Alps Presentation The second edition of the school on Runtime Verification, sponsored by COST Action IC1402 ArVi, Inria, and Persyval-Lab, will provide a balance on theoretical … Continue reading
The RV Summit will be held on March 19-23, 2018 in Praz sur Arly near Grenoble, France in the Belambra club “L’alisier”. The RV Summit will feature 2 events: the 2nd ARVI COST School on Runtime Verification on March 19-21, co-organized … Continue reading
The next meeting will take place in Luxembourg. Date: 16 November 2017. Local Organizers: Jun Pang and Domenico Bianculli Program 09.00 – 10.15 : working session 10.15 – 10.45 : coffee break 10.45 – 12.15 : working session 12.15 – … Continue reading
The next meeting will take place right before the iFM conference in Torino! Date: 18. September 2017, program. Local organiser: Ferruccio Damiani, U. Torino.
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
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
The next ARVI meeting will be held in Tallinn, Estonia, Thu-Fri 10-11 Dec. 2015. The details are here.
As part of the summer school preceding ICTAC’2015, which takes place in Colombia this year, a course on formal verification is offered that mainly introduces the concepts of runtime verification. Details can be found here.
On June 23rd, Prof. Martin Leucker and Daniel Thoma gave a full-day tutorial on the Theory and Practice of Runtime Verification at the Formal Methods conference in Oslo, Norway.