Liliana Cucu-Grosjean ran a Seminar@SystemX

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

En savoir plusMore info

Domitile Lourdeaux ran a Seminar@SystemX

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

En savoir plusMore info

Goran Frehse will ran a Seminar@SystemX

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

En savoir plusMore info

Nicolas Sabouret ran a Seminar@systemX

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

En savoir plusMore info

- SUBSCRIPTION NEWSLETTER

Subscribe to IRT SystemX's
newsletter

and receive every month the latest news from the institute:

Subscribe to our newsletter