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

News & Events at Vienna

Guests and invited talks

Upcoming talks

Past talks & events

  • [December 16, 2002] 5:00pm, Zemanek theatre, Favoritenstraße 11/ground floor/red area
    Abstract. Infinite two-player games, a classical theme in mathematical
    • Erich Grädel: Tutorial - Model Checking via Parity Games
      [December 13th, 2002] 10:30-12:00, 13:30-15:00, [December 14th, 2002] 10:30-12:00
      Seminarraum 184/2, Favoritenstraße 9/third floor
      Contents:
      • model-checking games
      • algorithms for finite games
      • parity games and fixed point logics
      • determinacy via positional strategies
      • algorithms for parity games
      • complexity of model checking problems