Thèse / HDR


Soutenance de thèse de Mme Mariane YOUSSEF (InfoMaths)

Cohérence des systèmes de réécriture algébrique par décroissance

Composition du jury proposé
M. Philippe MALBOS  Université Lyon 1  Directeur de thèse
Mme Fida EL CHAMI  Université libanaise  Co-directrice de thèse
Mme Sophie  MORIER-GENOUD  Université Reims Champagne Ardenne  Examinatrice
M. Guodong  ZHOU  Université normale de la Chine de l'Est  Rapporteur
M. Antonio  MALHEIRO  Université de Lisbonne - Portugal  Rapporteur
Mme Jacinta  TORRES  Université de Krakow - Pologne   Examinatrice
M. Xavier  URBAIN  Université Lyon 1  Examinateur
Mme Carole EL BACHA  Université Libanaise  Examinatrice
M. Nohra HAGE  Université Catholique de Lille  Invité
M. Kenji IOHARA  Université Lyon 1  Invité

Liste des horaires :