7-8 Jul 2018
Oxford, England
----------------------------------------------------------------------
SR 2018 - Call for Contributions
6th International Workshop on Strategic Reasoning
Oxford, UK, 7-8 July 2018
http://projects.lsv.fr/sr18/index.php
----------------------------------------------------------------------
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.
----------------------------------------------------------------------
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 reasonings.
----------------------------------------------------------------------
INVITED SPEAKERS
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.
----------------------------------------------------------------------
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.
----------------------------------------------------------------------
IMPORTANT DATES
* Submission deadline: 15 April 2018 (AoE)
* Notification: 15 May 2018
* Final version: 25 May 2018
----------------------------------------------------------------------
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).
----------------------------------------------------------------------
COMMITTEES
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
----------------------------------------------------------------------
--
Prof. Dr. Wojciech Jamroga
Associate Professor
Institute of Computer Science, Polish Academy of Sciences
http://krak.ipipan.waw.pl/~wjamroga/
--
[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