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
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 2021 – International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Deadline for the main tracks: August 31.
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.