Mon 12 Oct
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
# Seminar - 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
# Seminar - MoVe
Mon 9 Nov
1430
[Séminaire MoVe] Pablo Hardouin (MoVe, LIP6)
Pablo Hardouin (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Seminar - MoVe
Pablo Hardouin (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Seminar - MoVe
Mon 7 Dec
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
# Seminar - MoVe
Adel Noureddine (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Seminar - MoVe
Mon 7 Dec
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
# Seminar - MoVe
Dylan Marinho (MoVe, LIP6)
Salle 24-25/405, Campus Pierre et Marie Curie
# Seminar - MoVe