Une Ecole d’été pour réunir des étudiants Erasmus et des spécialistes internationaux en informatique et méthodes formelles pour des logiciels sûrs

Du 1er juillet au 5 juillet 2019, l'Université de Lorraine accueille l'École d'été du Master Erasmus Mundus DEPEND (Advanced Systems Dependability). Ce Master International, mis en place depuis septembre 2018, concerne trois universités partenaires : l'Université de St Andrews (Écosse), l'Université de Maynooth (Irlande) et l'Université de Lorraine au travers du Master Informatique de Lorraine et de son parcours international "Méthodes Formelles pour les Logiciels Sûrs" (MFLS)