Temps de lecture : 1 minute
Informations pratiques
Localisation : LORIA Salle du Conseil C005
615 rue du Jardin Botanique
VILLERS-LES-NANCY
Date de début : 08/10/2018 15:00 Date de fin : 08/10/2018 18:00
Toutes les dates
- 08/10/2018 – 15:00 – 18:00
Tous les lieux
LORIA Salle du Conseil C005
615 rue du Jardin Botanique
VILLERS-LES-NANCY
Pascal Fontaine soutient pour son habilitation à diriger des recherches le lundi 8 octobre 2018 à partir de 15h au Loria salle du Conseil.
Sa soutenance s’intitule « Logique, raisonnement automatique, vérification ».
Le jury sera composé de Renate Schmidt (Université de Manchester), Roberto Sebastiani (Université de Trente), Sylvain Conchon (Université Paris-Sud 11), Stephan Merz (Université de Lorraine), Viorica Sofronie-Stokkermans (Université de Coblence-Landau), Jeanine Souquière (Université de Lorraine) et Cesare Tinelli (Université de l’Iowa).
