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...
par Julie Bernede | Juin 14, 2023
Event Program Registration Organization Event This workshop aims at promoting a discussion around the use of data driven approaches in medical domain, which may help specifically to analyze the impact of several factors on long COVID. In the first part, the invited...
