Évènements

31/03/2026

11 h : 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

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

10/04/2026

14 h : [Séminaire MoVe]
Souheib Baarir (MoVe, LIP6)
Salle 24-25/509, Campus Pierre et Marie Curie
https://perso.lip6.fr/Dylan.Marinho/seminar

17/04/2026

14 h : [Séminaire MoVe]
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 h : Séminaire pour les Doctorants du LIP6 - Carrière académique
Fabrice KORDON
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)

Tout l’agenda… S’abonner

Revoir « 75 ans d’informatique en France »

Les premiers travaux de recherche en informatique de France remontent à 1946 avec la création de l’Institut Blaise Pascal du CNRS. En 2021-2022, pour commémorer ces 75 ans d’existence de la discipline, le LIP6 et l’IRIF, héritiers de cet institut au travers des différents laboratoires s’étant succédés, ont organisé un cycle de conférences et évènements.