[FM-India] SR18 - Call for contributions

Madhavan Mukund madhavan at cmi.ac.in
Sun Feb 25 10:49:30 IST 2018

----- Forwarded message from jam at imsc.res.in -----

Date: Sun, 25 Feb 2018 10:22:07 +0530
From: jam at imsc.res.in
To: madhavan at cmi.ac.in
Subject: SR18 - Call for contributions


                    SR 2018 - Call for Contributions

        6th International Workshop on Strategic Reasoning

                  Oxford, UK, 7-8 July 2018



Strategic reasoning is one of the most active research area in
multi-agent system domain. The literature in this field is extensive
and provides a plethora of logics for modeling 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 adversary, 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 behavior
of adversaries.

The SR international workshop 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 2018 will be held within FLOC 2018 in Oxford, UK.



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.



The morning sessions will be devoted to tutorials on topics closely
related to strategic reasoning:

* Edith Elkind (U. Oxford) will give a tutorial on cooperative game theory;
* Marcin Jurdziński (U. Warwick) will give a tutorial on parity games.

Tutorials will take place in the morning (9:00-12:00). More details
will be given when available.



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.



* Submission deadline: 15 April 2018 (AoE)
* Notification: 15 May 2018
* Final version: 25 May 2018



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



Workshop Co-chairs

* Patricia Bouyer, LSV, CNRS & ENS Paris-Saclay, France
* Nicolas Markey, Univ. Rennes, CNRS & Inria, France

Program Committee

* Francesco Bellardinelli, IBISC, Univ. Évry, France
* Patricia Bouyer, LSV, CNRS & ENS Paris-Saclay, France
* Véronique Bruyère, UMons, Belgium
* Nathanaël Fijalkow, LaBRI, CNRS & Univ. Bordeaux, France
* Davide Grossi, Univ. Groningen, The Netherlands
* Julian Guttierez, Univ. Oxford, UK
* Rasmus Ibsen-Jensen, IST Austria
* Wojtech Jamroga, Polish Academy of Science, Poland
* Jan Křestínský, TU Munich, Germany
* Christof Loeding, RWTH Aachen, Germany
* Nicolas Markey, Univ. Rennes, CNRS & Inria, France
* Yoram Moses, Technion, Haifa, Israel
* R Ramanujam, IMSc, Chennai, India
* Sasha Rubin, Univ. Naples, Italy
* Abdallah Saffidine, Univ. New South Wales, Sydney, Australia
* François Schwartzentruber, Univ. Rennes, CNRS & INRIA, France
* Tami Tamir, IDC Herzliya, Israel
* Ashutosh Trivedi, Univ. Colorado at Boulder, USA


----- End forwarded message -----

More information about the FMIndia mailing list