Games and Automata for Synthesis and Validation
Research Training Network
New: Annual Meeting 2007 in Lausanne, September 10 -- 13.
rtn games
GAMES is a Research Training Network founded under the Fifth Framework Programme of the European Community. The collaboration involves seven European universities and one from the US, and is co-ordinated by Erich Grädel .
Research Objectives
There is a growing need for formal methods that guarantee the reliability, correctness, and efficiency of computerised systems. This project adresses this challenge by developing specification and validation methodologies that are based on games and automata. Oriented at both foundational research and modern applications, this network aims to provide a novel set of techniques for the synthesis and validation of computing systems. [more on objectives and tasks]
Participating teams
|
Aachen Aachen University |
Mathematical Foundations of Computer Science | Erich Grädel |
| Department of Computer Science 7 | Wolfgang Thomas | ||
|
Bordeaux University of Bordeaux I |
LABRI | David Janin |
|
Edinburgh University of Edinburgh |
Laboratory for Foundations of Computer Science |
Julian Bradfield |
|
|
Paris University of Paris 7 |
LIAFA | Anca Muscholl |
|
Rice Rice University |
Department of Computer Science | Moshe Vardi |
|
Uppsala Uppsala University |
Department of Information Technology | Bengt Jonsson |
|
Vienna Vienna University of Technology |
DBAI | Georg Gottlob |
|
Warsaw Warsaw University |
Institute of Informatics | Jerzy Tyszkiewicz |
