Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

4-8 February 2013, Games Winter School 2013, Champery, Switzerland

Date: 4-8 February 2013
Location: 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.

Please note that this newsitem has been archived, and may contain outdated information or links.