[DL] Third call for papers - SR 2020, Santiago de Compostela

[Bastien]

Apologies for multiple reception of this message.

************************************************************************************** 

                                         THIRD CALL FOR PAPERS

           8TH INTERNATIONAL WORKSHOP ON STRATEGIC REASONING (SR 2020)
      Satellite workshop of ECAI 2020, Santiago de Compostela, Spain, 
August 29, 2020
************************************************************************************** 


**************************************************************************************
   Because of the Covid-19 pandemic, ECAI 2020 has been rescheduled to 
August 29 -
                September 2, and SR 2020 will be held on the 29th of August.

                  The deadline for submissions has been pushed to June 1st.
**************************************************************************************

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

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

SR 2020 will be held with ECAI 2020 in Santiago de Compostela, Spain.

TOPICS OF INTEREST:

The topics covered by SR 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 reasoning.

SUBMISSIONS:

We invite three types of submissions:

     (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
(http://style.eptcs.org), and not exceed 12 pages (not including 
bibliography).

Authors are invited to submit their manuscript via EasyChair.
Submission webpage: https://easychair.org/conferences/?conf=sr20200

PROCEEDINGS

All the accepted papers will be made available to the participants in 
electronic version (no formal proceedings).
Also, provided we receive enough quality submissions, we will invite the 
authors of selected
papers of type A or B (i.e., not challenging open problems) to submit 
extended versions to a special issue of the journal
Information and Computation (I&C).

IMPORTANT DATES:

Paper submission:             June 1, 2020 (AoE)
Authors notification:          July 6, 2020
Camera-ready deadline:   August 3, 2020
Workshop:                         August 29, 2020

CHAIRS:

Bastien Maubert, University of Naples "Federico II", Italy 
(bastien.maubert at gmail.com)
Nir Piterman, University of Gothenburg, Germany (nir.piterman at gmail.com)

PROGRAM COMMITTEE:

Dietmar Berwanger, CNRS and Université Paris-Saclay, France
Bernd Finkbeiner, Saarland University, Germany
Valentin Goranko, Stockholm University, Sweden
Julian Gutierrez, University of Oxford, UK
Orna Kupferman, Hebrew University, Israel
Stéphane Le Roux, ENS Paris-Saclay, France
Fangzhen Lin, Hong Kong University of Science and Technology
Sheila McIlraith, University of Toronto, Canada
R. Ramanujam, IMSc Chennai, India
Sasha Rubin, University of Sidney, Australia
François Schwartzentruber, Univ. Rennes, CNRS & IRISA, France

INVITED SPEAKERS:

- Francesco Belardinelli, Imperial College London, England
- TBD

WEBSITE:

http://bastien-maubert.fr/sr2020/