Universiteit van Amsterdam


Institute for Logic, Language and Computation

26 - 27 July 2017, 5th International Workshop on Strategic Reasoning (SR 2017), Liverpool, England

Date: 26 - 27 July 2017
Location: Liverpool, England
Deadline: Monday 8 May 2017

Strategic reasoning is one of the most active research areas in the multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversaries, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behaviour of adversaries. The international workshop on strategic reasoning aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

SR 2017 will be co-located with TARK 2017, which will be held in Liverpool on July 24-26, 2017.

Two types of submission are invited: contributions reporting on novel research; expository contributions reporting on published work.Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience and all contributions should be written so that they are accessible to such an audience.

For more information, see http://sr2017.csc.liv.ac.uk/.