Date(s):
Lundi 8 octobre 2018 - 15:00 - 18:00
Lieu(x):
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).