Events (Games and Automata for Synthesis and Validation)
Meetings
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.
Spring Schools
- 34th Spring School in Theoretical Computer Science (EPIT 2006), Ile de Ré, 2006
- Spring School on Infinite Games and Their Applications, Bonn, 2005