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