You are at the Uppsala node of the research training network »Games and Automata for Synthesis and Verification« [GAMES]. This is a four year project (2002-2006) funded by the European Comission under the Fifth Framework Programme.
The Uppsala team coordinates the network research on Task 3: »Synthesis and testing for reactive computation« and is involved in most of the other research tasks.
- Department of Computer Systems, Uppsala University
- Computing Science Department, Uppsala University
- University of Wales Swansea