Accueil

Sorin STRATULAT

photo totorFonction :
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 the results of the AiRobo project, LORIA, 22-23 September 2026
  • Working Formal Methods Symposium FROM2026, Timisoara (Romania), 15-17 September 2026
  • 28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC2026, September 14-17, Timișoara, România