You are at the Warsaw 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 Warsaw team coordinates the network research on Task 6: »Game models for protocols« and is involved in most of the other research tasks.
- Institute of Informatics, Warsaw University
- Institute of Computer Science, Wroclaw University