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 ArVi. 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 tool.