tasks in computer science, such as design, synthesis, verification,
etc. can be formulated in game-theoretic terms. Game playing is thus a
powerful paradigm that fits many situations in which interaction
between autonomous agents plays a central role. Abstracting security
problems as games reveals the underlying theoretical and algorithmic
questions, and helps to clarify the relationships between different
domains. As an organizational principle, the concept of game offers a
fresh and intuitive way of thinking through complex issues. There is
now ample evidence that the diverse applications mentioned above can
benefit from common analytical techniques and insights offered by
algorithmic game theory, automata theory and logic.
The main goal of this workshop is to gather researchers interested in games, logic and security (in a broad sense), and to offer a privileged forum to present their work and exchange ideas on these topics.