Accueil Sorin STRATULAT Fonction : Maître de conférences HDR à l’UFR-MIM de l’Université de Lorraine Membre de l’équipe MOSEL/VeriDis de LORIA News Conference on AiRobo results, LORIA, 22-23 September 2026 Working Formal Methods Symposium FROM2026, Timisoara (Romania), 15-17 September 2026
Fonction :
