Sites Inria

There are 1 Results with the keyword : "runtime verification"

© Inria / Photo C. Morel

Winter School

2nd ARVI COST School on Runtime Verification

18/03/2018 to 23/03/2018

Inria organise the second edition of the school on Runtime Verification, at  Praz sur Arly, France, from 18 ato 23 march 2018.

This Winter School is sponsored by COST Action IC1402 ArVi, Inria, and Persyval-Lab;

For PhD students and researchers entering the field of RV and for people coming from industry, this school will be a great opportunity to meet people working in the area, and establish contacts that may lead to research collaborations in the future.


Home > Centre > Grenoble > Calendar > 2nd ARVI COST School on Runtime Verification

lire la suite