Thursday, April 11, 2019

[DMANET] Strategic Reasoning 2019: extended deadline April 19, 2019


                     SR 2019 - Call for Contributions

         7th International Workshop on Strategic Reasoning

                   Macao, China, 11-12 August 2019



Strategic reasoning is a key topic in multi-agent systems research.
The extensive literature in the field includes a variety of logics used
for modeling strategic ability. Results from the field
are now being used in many exciting domains such as
information system security, adaptive strategies for robot teams,
and automatic players capable to outperform human experts.
A common feature in all these application domains is the requirement for
sound theoretical foundations and tools accounting for the strategies
that artificial agents may adopt in the situation of conflict and

The SR international workshop series aims to bring together researchers
on different aspects of strategic reasoning in computer science, both from a
theoretical and a practical point of view.

SR 2019 will be held with IJCAI 2019 in Macao, China.



The topics covered by SR include, but are not limited to, the

* 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.



We invite submissions reporting on:

(A) original contributions,
(B) published work, and
(C) challenging open problems.

Each submission should be clearly identified as belonging to one of
these three categories.

In all three categories, submissions will be evaluated by the usual
high standards of research publications. In particular, they should
contain enough detail to allow the program committee to identify
the main contribution of the work, to 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 contributions on topics of interest
to a broad, interdisciplinary audience and all papers should be
written so that they are accessible to such an audience.

Submissions should be in PDF, preferably using the EPTCS style
(, and not exceed 12 pages (not including
Authors are invited to submit their manuscript via EasyChair:



* Extended deadline: 19 April 2019 (AoE)
* Notification: 10 May 2019
* Final version: 3 June 2019



All contributions will be made available to the participants
on a USB stick.
Accepted original papers (in the category A) will be included
in the workshop proceedings published as a volume in
Electronic Proceedings in Theoretical Computer Science.

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



Workshop Co-chairs

* Dietmar Berwanger, LSV, CNRS & ENS Paris-Saclay, France
* François Schwartzentruber, Univ. Rennes, CNRS & INRIA, France
* Sophie Pinchinat, Univ. Rennes, CNRS & Inria, France

Program Committee

* Francesco Bellardinelli, IBISC, Univ. Évry, France
* Véronique Bruyère, UMons, Belgium
* Nathanaël Fijalkow, LaBRI, CNRS & Univ. Bordeaux, France
* Julian Guttierez, Univ. Oxford, UK
* Rasmus Ibsen-Jensen, IST Austria
* Wojtech Jamroga, Polish Academy of Science, Poland
* Jan Křetínský, TU Munich, Germany
* Fangzhen Lin, Hong Kong Univ. of Science and Technology, China
* Christof Löding, RWTH Aachen, Germany
* Nicolas Markey, Univ. Rennes, CNRS & Inria, France
* Nello Murano, Univ. Naples, Italy
* Yoram Moses, Technion, Haifa, Israel
* R Ramanujam, IMSc, Chennai, India
* Sasha Rubin, Univ. Naples, Italy
* Abdallah Saffidine, Univ. New South Wales, Sydney, Australia
* Ashutosh Trivedi, Univ. Colorado at Boulder, USA


* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.