La prochaine conférence aura lieu le mercredi 28 septembre à 16 heures (heure de Paris).
Elle sera donnée en visioconférence par Assia Mahboubi, Directrice de Recherche Inria – équipe Gallinette, sur le thème « Méthodes formelles et mathématiques calculatoires ».
En savoir plus
