par Kristina PUZOVIC | Fév 10, 2020
Liliana Cucu-Grosjean (Equipe Kopernic – Inria Paris) s’est rendu à l’IRT SystemX le 3 mars pour animer un séminaire sur le thème « Probabilistic and statistical approaches for proving time properties of cyber-physical systems ». Résumé (en anglais):...
par Julie Bernede | Jan 31, 2020
Le lancement de la première conférence inter-IRT « FIT Additive Manufacturing Conference » aura lieu à Toulouse, le 13 octobre 2020. Ce rendez-vous annuel de la recherche partenariale en fabrication additive réunira plus de 200 académiques (laboratoires, universités,...
par Kristina PUZOVIC | Déc 19, 2019
Domitile Lourdeaux (Université de technologie de Compiègne, Sorbonne Universités – CNRS Heudiasyc) s’est rendu à l’IRT SystemX le 16 janvier, sur le site de Nano-Innov, pour animer un séminaire sur le thème « Scénarisation d’environnements...
par Kristina PUZOVIC | Nov 25, 2019
Goran Frehse (ENSTA-IPP) s’est rendu à l’IRT SystemX le 6 février, sur le site de Nano-Innov, pour animer un séminaire sur le thème « Formal Verification with Reachability ». Résumé : Ensuring the safety of dynamical systems in complex and uncertain...
par Kristina PUZOVIC | Oct 25, 2019
Nicolas Sabouret (Université Paris-Sud – LIMSI-CNRS) s’est rendu à l’IRT SystemX le 20 novembre, sur le site de Nano-Innov, pour animer un séminaire sur le thème « Simuler l’humain » de 14h00 à 15h30. Résumé : L’un des objectifs de...
