Teses
30/03/2026
31/03/2026
31/03/2026
11:00 : Reachability of quantified problems to guarantee control and neural network properties
Nuwan Herath (LIX)
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
Nuwan Herath (LIX)
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: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
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
10/04/2026
14:00 : [Séminaire MoVe]
Souheib Baarir (MoVe, LIP6)
Salle 24-25/509, Campus Pierre et Marie Curie
https://perso.lip6.fr/Dylan.Marinho/seminar
Souheib Baarir (MoVe, LIP6)
Salle 24-25/509, Campus Pierre et Marie Curie
https://perso.lip6.fr/Dylan.Marinho/seminar
17/04/2026
14:00 : [Séminaire MoVe]
Yann Thierry-Mieg (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
https://perso.lip6.fr/Dylan.Marinho/seminar
Yann Thierry-Mieg (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
https://perso.lip6.fr/Dylan.Marinho/seminar
26/05/2026
14:00 : Séminaire pour les Doctorants du LIP6 - Carrière académique
Fabrice KORDON
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Fabrice KORDON
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
Celebrate “75 years of computer science in France”
From CNRS Institut Blaise Pascal to LIP6
