Sorin STRATULAT
Fonction :
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)
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.