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