You are at the Bordeaux 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 Bordeaux team coordinates the network research on Task 1: »Minimizing automata and simplifying games« and is involved in most of the other research tasks.
University Bordeaux 1
- David Janin, local co-ordinator,
- André Arnold, head of the MVTSI team,
- Igor Walukiewicz,
- Pascal Weil, head of the L3A team,
- Julien Bernet,
- Alexis-Julien Bouquet,
- Xavier Briand,
- Valère Dussaux,
- Séverine Fratani,
- Luigi Santocanale,
- Aymeric Vincent,