mar. 3 nov.
1430
[Séminaire MoVe] Thaïs Milleret (MoVe, LIP6)
Thaïs Milleret (MoVe, LIP6) : Amélioration des fonctionnalités d’un software model-checker
Salle 24-25/405, Campus Pierre et Marie Curie
# Séminaire - MoVe
Thaïs Milleret (MoVe, LIP6) : Amélioration des fonctionnalités d’un software model-checker
Salle 24-25/405, Campus Pierre et Marie Curie
# Séminaire - MoVe
mar. 10 nov.
1430
[Séminaire MoVe] Pablo Hardouin (MoVe, LIP6)
Pablo Hardouin (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Séminaire - MoVe
Pablo Hardouin (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Séminaire - MoVe
mar. 8 déc.
1430
[Séminaire MoVe] Adel Noureddine (MoVe, LIP6) : Projet Eco Design (Approches centrées sur l’humain pour la conception d’objets numériques plus soutenables)
Adel Noureddine (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Séminaire - MoVe
Adel Noureddine (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Séminaire - MoVe
mar. 8 déc.
1500
[Séminaire MoVe] Dylan Marinho (MoVe, LIP6) : Projet BINTRACE (Traçabilité et Validation de Binaires)
Dylan Marinho (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Séminaire - MoVe
Dylan Marinho (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Séminaire - MoVe