2nd ARVI COST School on Runtime Verification

Sponsored by COST association, Inria, and Persyval-Lab
March 19-21, 2018
Praz sur Arly, in the French Alps


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 and practical aspects of Runtime Verification: In the theoretical aspect, while all the core concepts will be thoroughly covered, participants will also be exposed to cutting edge advances in the field. At the same time, the summer school will be hands-on and students will follow up with practical work  so that by the end of the school, participants will have their own basic runtime verification tool.

For PhD students and researchers entering the field of RV, the school will be a great opportunity to get to know other people working in the area, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future. For people coming from industry, the school will provide an exposition of the major challenges as well as possible solutions to the application of RV in industry, an exposition to some of the major tools, as well as the basics of RV tool-building.

Confirmed Speakers

The following experts on Runtime Verification have confirmed that they will be lecturing at the school.

  • Wolfgang Ahrendt (Chalmers University of Technology, Sweden).
  • Christian Colombo (University of Malta, Malta).
  • Alexandre Donze (DECYPHIR Inc., France).
  • Adrian Francalenza (University of Malta, Malta).
  • Nikolai Kosmatov (CEA, France).
  • Martin Leucker (University of Lubeck, Germany).
  • Joao Lourenco (University of Lisbon, Portugal).
  • Gordon Pace (University of Malta, Malta).
  • Laurence Pierre (University of Grenoble, France).
  • César Sanchez (IMDEA Madrid, Spain).
  • Gerardo Schneider (Chalmers University of Technology, Sweden).



  • Foundations of runtime verification.
  • Monitoring Cyber-Physical Systems.
  • Stream Runtime Verification.
  • Runtime Verification for concurrency errors.
  • Runtime Verification for Decentralised and Distributed Systems.
  • Combination of Runtime Verification with Static Analysis.
  • Implementation of Runtime Verification Monitor.
  • FPGA-based monitoring.
  • Hardware monitoring.

Titles, Abstracts, Slides, and Videos

Titles, abstract, and slides are available on this page.

Video recordings of the lectures are available on this page.



Fees include participation fees to the winter school, accommodation in a comfortable apartment in the resort hosting the winter school (from Sunday 18 to Wednesday 21), breakfasts, lunches, and dinners.

The below fees are indicative and are subject to minor changes. Final fees will be determined by the end of January.

For Students

  • with accommodation in a single room: 540 euro
  • with accommodation in a twin room (to be shared with another participant): 420 euro per person

For non-Students

  • with accommodation in a single room: 660 euro
  • with accommodation in a twin room (to be shared with another participant): 540 euro per person

Student Grants

A limited number of grants will be available to students conducting research in countries participating to the COST action. The amount of a grant will be approximately 200 euro. Students willing to apply to the grant should indicate in the registration form how attending the school will support their research on runtime verification.

Location and Venue

See the RV Summit Webpage.

Social Event

Our social event will be held Tuesday afternoon (departure at 1:30pm sharp).
We will have an outing to the Aiguille du Midi (3842m), near Chamonix.


– see the video in the above link
– https://www.montblancnaturalresort.com/fr/webcams

Please bring with you: warm, water-proof and comfy clothes, warm socks, gloves, sun glasses, small backpack, solar cream.


See the RV Summit Webpage.

In addition, students willing to apply to a grant from the COST action should fill the form available at:


The school can only welcome a limited number of participants. A first come first served policy will be applied once the maximum capacity of school is reached.

Registration Secretariat

Sud Congrès Conseil
162 Cours du Maréchal Gallieni
33 400 Talence

Contact : Davina Martinez