Orateur : J. Leroux (LABRI)
Titre : Reachability in Vector Addition Systems is Not Elementary
Orateur : N. Creignou (LIS)
Titre : Locally definable vertex set properties are efficiently enumerable
Orateur : T. Lopez (LIS)
Titre : Determinisation of Finitely-Ambiguous Copyless Cost Register Automata