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)
Bureau B215
LORIA, Campus Scientifique,
54506 Vandœuvre lès Nancy


  • 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)


The ARC project (2019-2022): EU ERASMUS project for developing teaching material (text and software) and good practice recommendations for using automated reasoning tools in university teaching of Mathematical Logic, Automated Theorem Proving, Formal Methods, and related subjects.