Travel report from GAMES'05
Olga Grinchtein, Uppsala University, Sweden

I have attended GAMES-Meeting 2005 that was held in Paris, September 21-24. 
GAMES is a Research Training Network funded by the European Comission under the Fifth Framework Programme. 
The collaboration involves seven European universities and one from the US. 
There is a growing need for formal methods that guarantee the reliability, correctness, and efficiency of computerised systems. 
This project adresses this challenge by developing specification and validation methodologies that are based on games and automata. 
Oriented at both foundational research and modern applications, this network aims to provide a novel set of techniques for the synthesis 
and validation of computing systems.
Uppsala is also participated in network.
The scientific programme of GAMES'05 consisted of contributed talks on the research tasks of the GAMES network and three invited tutorials: 
Mihalis Yannakakis (Columbia University): Testing, Optimization, and Games ; 
Hubert Comon-Lundh (LSV, ENS Cachan): Automatic Verification of Cryptographic Protocols; 
Marcin Jurdzinski (University of Warwick): Algorithms for Solving Stochastic Games ; 
I also gave a talk "Inference of Event-Recording automata". This is work was done in collaboration with Bengt Jonsson and Paul Pettersson.