Category Archives: Events

RV Summit – MC Meeting, March 22-23, 2018

Posted on 19th January 2018 by Ylies Falcone

Meeting Programme Below is the programme of the meeting: Thursday March 22 morning: Reports from working group leaders and invited talk, 9:00 – 9:15: Opening / Welcome (Martin Leucker) 9:15 – 10:00: Report on the activities in Working Groups. 10:00 … Continue reading →

Posted in Events, Meetings | Comments Off on RV Summit – MC Meeting, March 22-23, 2018

2nd ARVI COST School on Runtime Verification

Posted on 14th January 2018 by Ylies Falcone

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 →

Posted in Events | Comments Off on 2nd ARVI COST School on Runtime Verification

RV Summit, March 19-23, 2018

Posted on 8th December 2017 by Ylies Falcone

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 →

Posted in Events | Comments Off on RV Summit, March 19-23, 2018

Next meeting: 16 November 2017, Luxembourg (LU)

Posted on 4th October 2017 by Domenico Bianculli

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 →

Posted in Events | Comments Off on Next meeting: 16 November 2017, Luxembourg (LU)

Next meeting: 18. September 2017, Torino (IT)

Posted on 14th June 2017 by Volker Stolz

The next meeting will take place right before the iFM conference in Torino! Date: 18. September 2017, program. Local organiser: Ferruccio Damiani, U. Torino.

Posted in Events | Comments Off on Next meeting: 18. September 2017, Torino (IT)

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

Next meeting: 10-11 Dec. 2015, Tallinn

Posted on 30th October 2015 by Volker Stolz

The next ARVI meeting will be held in Tallinn, Estonia, Thu-Fri 10-11 Dec. 2015. The details are here.

Posted in Events, Meetings | Comments Off on Next meeting: 10-11 Dec. 2015, Tallinn

Course on Formal Verification in Colombia

Posted on 30th October 2015 by Martin Leucker

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.

Posted in Events | Comments Off on Course on Formal Verification in Colombia

Tutorial on Runtime Verification at FM 2015

Posted on 10th July 2015 by Volker Stolz

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.

Posted in Events | Comments Off on Tutorial on Runtime Verification at FM 2015