Games Winter School 2013, Champery, Switzerland
2013-02-04 - 2013-02-07 | Champery, Switzerland
The GAMES Winter School 2013 will give young researchers the opportunity to learn about automata, game theory, logic, and their applications for synthesis and verification. It is supported by the ESF project "GAMES for Design and Verification". The school will consist of nine lectures. The lectures are intended to be accessible to a wide audience, but some familiarity with automata theory and logic is recommended. The GAMES winter School 2013 addresses primarily to PhD students and young researchers, but more senior participants are also very welcome. Registration is accessible through the web-page of the conference (http://isi.unil.ch/champery2013/). Registration deadline: November 15, 2012.
