Olivier Serre (LIAFA, Paris)

Dans une première partie je présenterai la notion d’automates d’arbres ainsi que celle de jeux à deux joueurs sur des graphes. On verra ensuite comment ces deux notions se relient et quels sont les principales questions algorithmique qui se posent alors.

Dans une seconde partie, on présentera des variantes d’automates d’arbres ainsi que des jeux associés.

Cet exposé sera également l’occasion de présenter les principales questions et problématiques qui se posent en théorie des jeux vue sous l’angle de l’informatique.