Évènements

07/05/2026

14 h : [Séminaire MoVe] Yann Thierry-Mieg (MoVe, LIP6) : Modélisation et vérification de systèmes complexes.
Yann Thierry-Mieg (MoVe, LIP6)
Cet exposé présentera les grandes lignes de mon travail, depuis les diagrammes de décisions hiérarchiques à des langages de haut niveau (GAL/ITS) pour la modélisation des systèmes. …
Salle 24-25/405, Campus Pierre et Marie Curie
https://perso.lip6.fr/Dylan.Marinho/seminar

19/05/2026

11 h : Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Eric Koskinen (Stevens Institute of Technology)
In recent years temporal verification has been increasingly applied to higher-order programs. Some researchers have developed automated approaches via higher-order recursion schemes, reductions to fair-termination or constrained Horn clauses, while others have extended type and e …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris

22/05/2026

14 h : [Séminaire MoVe] Fanuel Mehari (MoVe, LIP6)
Fanuel Mehari (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.