Thèse d'Habilitation à Diriger des Recherches

Études de la complexité algorithmique des réseaux d'automates

Sera soutenue (in English) le mardi 25 janvier 2022 à 13h30, amphi Charve (Saint-Charles).

Consignes sanitaires. Seuls jury et proches en présence, sans pot :-(
Si on est proches et que vous souhaitez venir, écrivez-moi :-)

Retransmission visio avec zoom-us (connexion possible depuis votre navigateur, sans compte).
Lien : blop
ID de réunion : blop
Code secret : blopblop

Composition du jury (rapporteurs):

• Julio Aracena,   PR, Univ. Concepción, Chili
• Olivier Bournez,   PR, LIX
• Nadia Creignou,   PR, LIS
• Emmanuel Jeandel,   PR, LORIA
• Jarkko Kari,   PR, Univ. Turku, Finlande
• Loïc Paulevé,   CR CNRS, LaBRI
• Sylvain Sené,   PR, LIS

Manuscript (en français) : pdf
Diapositives (in English) : pdf