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

Vienna Team

rtn games

You are at the Vienna node of the research training network »Games and Automata for Synthesis and Verification« [GAMES]. This is a four year project (2002-2006) funded by the European Comission under the Fifth Framework Programme.

The Vienna team coordinates the network research on Task 8: »Automata and query languages for semistructured data«.

Associated Researchers