Accueil

Sorin STRATULAT

photo totorFonction :
Maître des conférences à l’UFR-MIM de l’Université de Lorraine

Membre de l’équipe MOSEL/VeriDis de LORIA

Contact :
sorin dot stratulat at loria dot fr
Tel. : +33 (0)3.54.95.85.95
Bureau B215
LORIA, Campus Scientifique,
54506 Vandœuvre lès Nancy

News

  • SYNASC 2020 – International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Deadline for the main tracks: June 15.
  • FROM 2020 – Working Formal Methods Symposium. Deadline: June 30 (full paper)