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)
