07.05.2026
14:00 : [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
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:00 : 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
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
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
