Events (Games and Automata for Synthesis and Validation)
The meeting in Lausanne 2007 was organised to ensure continuity for the GAMES community. The following previous meetings took place in the framework of the EU Reseach and Training Network GAMES.
- 34th Spring School in Theoretical Computer Science (EPIT 2006), Ile de Ré, 2006
- Spring School on Infinite Games and Their Applications, Bonn, 2005