Soutenance de thèse : Automates à contraintes semilinéaires
Soutenance de thèse de doctorat de Michaël Cadilhac, Département d'informatique et de recherche opérationnelle, Faculté des arts et des sciences, Université de Montréal.
Jury
Président-supporteur : Louis Salvail
Directeur de recherche : Pierre McKenzie
Codirecteur : Alain Finkel
Membre du jury : Sylvie Hamel
Examinateur externe : David A. Barrington (Université du Massachusetts)
Représentant du doyen de la FAS : Octavian Cornea (Université de Montréal)
Emplacement : Université de Montréal - Pavillon André-Aisenstadt