Organized by: 
Yliès Falcone and Christian Colombo

We are excited to announce the first edition of the ARVI COST Summer School on Runtime Verification: Branches of Practical Topics Rooted in Theory. As the name suggests, the summer school promises to provide a balance of theory and practice: 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 very hands-on and students will follow up with practical work in the evenings so that by the end of the summer school, participants will have their own basic runtime verification (RV) tool.

The summer school will be co-located with the 16th International Conference on Runtime Verification in Madrid and organised over three days with a series of lectures from international experts in the field. For Ph.D. 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 the major tools, as well as the basics of RV tool-building.

Fees: Registration fee is 195 euros for students and 245 euros for non-students. Registration includes lunches and coffee breaks from Friday 23rd through Sunday 25th September, as well as a reception.

Grants: ARVI COST action is supporting the Summer School in several ways including the granting of €550 to 20 participants who qualify.

Application Procedure and Important Dates:

  • Deadline for Applications: July 15, 2016.
  • Response to Applicants: July 20, 2016.
  • Online Registration and Fee payment: July 29, 2016.

Since attendance is limited, priority will be given to Ph.D. students and companies' staff.

To express your interest in participating in the Summer School, kindly fill in this form. More details including the programme can be found at: https://rv2016.imag.fr.

Confirmed Speakers:

  • Prof. Wolfgang Ahrendt – Chalmers University of Technology and University of Gothenburg (Sweden)
  • Prof. Ezio Bartocci – University of Vienna (Austria).
  • Prof. Borzoo Bonakdarpour – University of MacMaster (Canada).
  • Dr. Marius Bozga – CNRS – Vérimag (France).
  • Dr. Christian Colombo – University of Malta (Malta).
  • Dr. Yliès Falcone – University of Grenoble (France).
  • Dr. Adrian Francalanza – University of Malta (Malta).
  • Dr. Klaus Havelund – NASA Jet Propulsion Laboratory (USA).
  • Prof. Martin Leucker – University of Lübeck (Germany).
  • Prof. Joao Lourenço – Universidade Nova de Lisboa (Portugal).
  • Prof. Dejan Nikovic Technical University of Vienna (Austria).
  • Prof. Gordon Pace – University of Malta (Malta).
  • Dr. Giles Reger – University of Manchester (UK).