by Kristina PUZOVIC | Feb 10, 2020
Liliana Cucu-Grosjean (Equipe Kopernic – Inria Paris) will run a seminar at IRT SystemX on March 3rd on the following topic «Probabilistic and statistical approaches for proving time properties of cyber-physical systems» from 2pm to 3.30pm. Abstract : Since the...
by Kristina PUZOVIC | Dec 19, 2019
Domitile Lourdeaux (Université de technologie de Compiègne, Sorbonne Universités – CNRS Heudiasyc) ran a seminar at IRT SystemX on January 16th on the following topic« Scénarisation d’environnements virtuels pour l’entraînement en situation critique...
by Kristina PUZOVIC | Nov 25, 2019
Goran Frehse (ENSTA ParisTech) ran a seminar at IRT SystemX on February on the following topic « Formal Verification with Reachability » from 2pm to 3.30pm. Abstract : Ensuring the safety of dynamical systems in complex and uncertain environments is challenging. A...
by Kristina PUZOVIC | Oct 31, 2019
Nicolas Sabouret (Université Paris-Sud – LIMSI-CNRS) ran a seminar at IRT SystemX on September 17th on the following topic « Simuler l’humain » from 2pm to 3.30pm. Come to IRT SystemX Abstract (in French) : L’un des objectifs de l’Intelligence...
by Aurélie | Oct 29, 2019
Third International Workshop on Vehicular Adhoc Networks for Smart Cities IWVSC’2019 After the successful edition of the first and the second IWVSC respectively in 2014 and 2016, the third edition of the International Workshop on Vehicular Adhoc Networks will be...