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

Frédéric Cuppens ran a Seminar@SystemX

Frédéric Cuppens (IMT Atlantique – Lab-STICC) went to SystemX on September 17, to run a seminar about cyber resilience. Summary La cybersécurité traite des défaillances malveillantes causées par des cyber-attaques. La plupart des technologies de cybersécurité...

En savoir plusMore info

- SUBSCRIPTION NEWSLETTER

Subscribe to IRT SystemX's
newsletter

and receive every month the latest news from the institute: