Accueil

Sorin STRATULAT

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