Category Archives: Events

Next meeting: 16 November 2017, Luxembourg (LU)

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)

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

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

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

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

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

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