Overview

GAMES started as the EU Research and Training Network "Games and Automata for Synthesis and Validation" in 2002 and operated in this form until 2006. A strong community formed during these years as exhibited by the increasing numbers of participants in the annual GAMES meetings. To ensure continuity, the GAMES meeting in Lausanne in 2007 was organised, and future meetings are planned.

Teams that participated in the GAMES RTN

	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