8 Jun 2020
Santiago de Compostela, Spain
******************************************************************************* CALL FOR PAPERS 8TH INTERNATIONAL WORKSHOP ON STRATEGIC REASONING (SR 2020) Satellite workshop of ECAI 2020, Santiago de Compostela, Spain, June 8, 2020 ******************************************************************************* 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 IMPORTANT DATES: Paper submission: March 13, 2020 (AoE) Authors notification: April 15, 2020 Camera-ready deadline: May 15, 2020 Workshop: June 8, 2020 ORGANIZERS: Bastien Maubert, University of Naples "Federico II" (bastien.maubert@gmail.com) Nir Piterman, University of Gothenburg (nir.piterman@gmail.com) WEBSITE: http://bastien-maubert.fr/sr2020/ -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam