Logique, automates, algèbre et jeux Jeudi 23 novembre 2017, 10 heures, 4033 Nathanaël Fijlakow (Turing Institute / CNRS) Quasi-polynomial algorithms for parity games