Game Solving: Theory and Practice


The aim of the workshop is to discuss connections between (algorithmic) game theory and computational aspects of game solving. Several decades of mostly theoretical research produced a multitude of algorithms for solving various types of games. However, most of these algorithms are only theoretical constructs that either have never been implemented, or have been executed only on toy problems. On the other hand, there are many concrete problems that can be expressed in the language of game theory. Apart from traditional models of economic behaviour, there is a large field of board and computer games, security games, games in verification of systems, etc. The workshop provides ground for a meeting of researchers developing theoretical solutions of abstract games with researchers modelling and solving real-world problems using games.

Invited speakers

Invited talks will be delivered by The invitations were only possible due to the support by the European Network for Game Theory GAMENET, which is a COST Action funded project (CA 16228). COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks.


Since the aim of the workshop is to stimulate discussion on the exchange between the theoretical and practical view of game theory, we invite presentations of possibly already published as well as ongoing work. The submissions should be abstracts of such work, limited to at most two pages in the llncs style, and will only be published in the informal pre-proceedings for the convenience of the participants. There will be no formal publication or post-proceedings. The submission are to be done over Easychair.

Important dates:

Program and organization committee In case of any questions, please contact the organizer Jan Kretinsky at <name>.<surname>

Looking forward to seeing you in Prague!