Habilitation à Diriger des Recherches – Sorin Stratulat (LORIA)

Sorin Stratulat, soutient pour son Habilitation à Diriger des Recherches (HDR) mardi 29 juin à partir de 9h au LORIA – salle A015 – Campus Scientifique – Vandoeuvre lès Nancy et en visioconférence.

Sa soutenance s’intitule « Noetherian Induction for Computer-Assisted First-Order Reasoning ».

Le Jury sera composé de Monsieur BOUHOULA Adel (Arabian Gulf University, Bahreïn), Madame CONTEJEAN Evelyne (Laboratoire Méthodes Formelles (LMF), Gif-sur-Yvette), Madame SOFRONIE-STOKKERMANS Viorica (Université de Coblence, Allemagne), Monsieur JEBELEAN Tudor (Université Johannes Kepler, Linz, Autriche), Madame KOUCHNARENKO Olga (Université de Franche-Comté), Monsieur MERZ Stephan (Inria Nancy – Grand Est), Monsieur RUSINOWITCH Michaël (Inria Nancy – Grand Est) et Madame SOUQUIERES Jeanine (Université de Lorraine).

Pour en savoir …