Soutenances de thèse

10/04/2026

14 h : HAMROUN Cherifa
Vers des systèmes légers et fédérés de détection d'intrusion pour les réseaux Wi-Fi : une étude de cas dans le contexte de la convergence Wi-Fi/5G
4 Place Jussieu, Paris 75005, Salle Jaques Pitrat

Évènements

24/03/2026

11 h : Towards Reliable and Efficient Numerical Code through Sound Optimizations
Anastasia Isychev (TU Wien)
Numerical software is notoriously difficult to get right. Finite-precision computations do not follow real-valued arithmetic rules and can therefore exhibit unintended behavior, in particular, due to rounding errors. Finding an implementation that is not only accurate but also ef …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris

31/03/2026

11 h : Reachability of quantified problems to guarantee control and neural network properties
Annonce à venir
In this talk, I will give a brief overview of my previous works and present the current ones. The common thread is providing guarantees for different applications, by characterizing safe domains of numerical problems. I will first briefly mention how I produced guaranteed visuali …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris

03/04/2026

13 h 30 : [Séminaire MoVe] Five Structural Problems of Large-Scale Software in Industry
Emmanuel Zarpas (MoVe, LIP6)
Large software systems developed in corporations face recurring difficulties that are not isolated defects but structural properties. This talk discusses five such constraints observed in industrial environments: coordination across large teams, process overhead and certification …
Salle 24-25/405, Campus Pierre et Marie Curie
https://perso.lip6.fr/Dylan.Marinho/seminar