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’2019 conference in Timisoara. New deadline for the main tracks: May 31.
- FROM 2019 – 3rd Working Formal Methods Symposium (in conjunction with SYNASC). Deadline: July 21 (abstract), July 28 (full paper)
