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