Call for Contributions

GAMES 2012 is the concluding meeting of the European Network program GAMES. As in previous years, GAMES 2012 will be an informal workshop, without proceedings. Its programme consists of several invited and contributed talks. Contributed talks will be selected by the programme committee on the basis of submitted abstracts.

Researchers who would like to present a talk at GAMES 2012 are invited to submit an extended abstract of up to two pages by email to esfgames2012@gmail.com by June 27th 2012.

Decision about acceptance will be made by July 17, 2012.

For further information click here.

Topics

The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic for the design and verification of computing systems.

The GAMES Network

GAMES is an European Network pursuing research and training on the design and verification of computing systems, in a framework that is based on the interplay of finite and infinite games, mathematical logic, and automata theory.
For further details, please see www.games.rwth-aachen.de