Internet and smartphones accompany our daily life and make many tasks easier for us. While some of the successes of new technologies are undeniable, there is a counterpart: we have become data producers, coveted by many companies or government agencies.
Place : FUN
Guest(s) : Cédric Laradoux and Vincent Roca
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.
Research team seminary
Connected and Automated Vehicles (CAVs) offer tremendous benefits for road safety and traffic efficiency. In this talk, I will give an overview of the research challenges in securing CAVs. Then, I will present some work-in-progress on misbehavior detection in CAVs.
Place : Inria de Paris - 2 rue Simone Iff - 75012 - Paris
Guest(s) : Jonathan Petit