Call for contributions

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.

List of topics

The topics covered by the workshop include, but are not limited to, the following:

  • Logics for reasoning about strategic abilities;
  • Logics for multi-agent mechanism design, verification, and synthesis;
  • Logical foundations of decision theory for multi-agent systems;
  • Strategic reasoning in formal verification;
  • Automata theory for strategy synthesis;
  • Strategic reasoning under perfect and imperfect information;
  • Applications and tools for cooperative and adversarial reasoning;
  • Robust planning and optimisation in multi-agent systems;
  • Risk and uncertainty in multi-agent systems;
  • Quantitative aspects in strategic reasonings.

Submissions

We invite three types of submissions:

  • submissions reporting on published work;
  • submissions reporting on original contributions;
  • submissions reporting on challenging open problems.
Each submission should be clearly identified as belonging to one of those three categories.

In all three categories, submissions will be evaluated using he usual high standards of research publications. In particular, they should contain enough information to enable the program committee to identify the main contribution of the work, explain its significance, its novelty, its relevance to the strategic-reasoning audience, and its practical or theoretical implications, and include comparisons with and references to relevant literature.

Strong preference will be given to papers whose topic is of interest to a broad, interdisciplinary audience and all contributions should be written so that they are accessible to such an audience.

Submissions must be PDF files, and should preferably be written using the EPTCS format, not exceeding 12 pages (not including bibliography). Submissions will be handled using EasyChair.

Proceedings

No formal proceedings will be published. The accepted contributions will be made available to all participants on a USB stick.

As for previous editions, extended revised versions of some selected papers will be invited to a special issue of Information & Computation (in process).