GAMES logo Nodes: Bordeaux
Aachen Bordeaux Edinburgh Paris Rice Uppsala Warsaw Vienna

News & Events at Bordeaux

Guests in Bordeaux

Seminars

Upcoming events

Nothing for the moment.

Past events

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