par agathe | Août 21, 2023
Évènement Programme Inscription Organisation Partenaires Évènement Comment maximiser la pertinence et la performance des futurs services de mobilité dans un contexte de décarbonation et de saturation des réseaux ? Quels approches et outils innovants peuvent contribuer...
par Lilia Solovyeva | Août 4, 2023
Résumé Biographie Replay Achim Brucker (University of Exeter, UK) a animé un Seminar@SystemX sur le thème « Verification of Stateful Security Protocols in Isabelle/HOL », le 13 septembre 2023. Résumé : Communication networks like the Internet form a large distributed...
par Lilia Solovyeva | Août 3, 2023
Résumé Composition du jury Laboratoire Partenaire Yue Su, doctorante dans le projet HCM (Chaire Anthropolis) de l’IRT SystemX, a soutenu sa thèse de l’Université Paris-Saclay le 5 juillet 2023 à 10h à CentraleSupélec (l’Amphi IV au bâtiment Eiffel)...
par Lilia Solovyeva | Juin 23, 2023
Résumé Composition du jury Laboratoire Partenaire Victor Pellegrain, doctorant dans le projet MPO de l’IRT SystemX a soutenu sa thèse de l’Université Paris-Saclay le 4 juillet 2023 à 10h à l’école CentraleSupélec (salle sc.071, bâtiment Bouygues) sur le...
par Lilia Solovyeva | Juin 20, 2023
Résumé Composition du jury Laboratoire Partenaire Shangyuan Zhang, doctorant dans le projet 3SA de l’IRT SystemX, a soutenu sa thèse de l’Université Paris-Saclay le 13 juillet 2023 à 14h à Digiteo Moulon, Gif-sur-Yvette (Grand Amphithéâtre) sur le sujet...