Das LIP6 organisiert

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
Ajouter à votre agenda
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)
Ajouter à votre agenda

Celebrate “75 years of computer science in France”

From CNRS Institut Blaise Pascal to LIP6