Past talks

• [June 23, 2005] Hugo Gimbert (LIAFA Paris) Équilibres de Nash stationnaires dans les jeux stochastiques à information parfaite
• [February 17, 2005] Mikolaj Bojanczyk (LIAFA Paris) Decidable characterisations of tree logics
• [October 21, 2004] Blaise Genest (University of Warwick) A Kleene-Büchi Theorem for a class of communicating automata with effective algorithms
• [March 07, 2005] Dietmar Berwanger (RWTH Aachen) Entanglement -- A Measure for the Complexity of Directed Graphs With Applications to Logic and Games.
• [June 16, 2003] Olivier Serre (LIAFA Paris) : Jeux sur des graphes d'automates à pile : des conditions décidables de complexités Boréliennes finies arbitraires.
• [June 5, 2003] Erich Grädel (RWTH Aachen) : Il était une fois dans l'ouest ; Détermination, définissabilité et complexité de jeux à itinéraires
• [March 3, 2003] Thierry Cachat (RWTH Aachen) : Some aspects of game simulation
• [January 13, 2003] Carsten Fritz (University of Kiel) : Simulation Relations for Parity Games
• [October 14, 2002] Mikolaj Bojanczik (University of Warsaw) : On the FO-definability of tree languages