[TYPES/announce] SR 2015 - Final call for papers - Oxford, Sept 21-22, UK

[murano at na.infn.it]

Summary of relevant information:

- Deadline (abstracts) : July 1st, 2015.
- Special issue        : Journal of Information and Computation.
- Format               : EPTCS (10 pages + references).
- Place                : Oxford, UK.
- Date                 : September 21-22, 2015.
- Main topics          : Games, Logic, Verification, Multi-Agent Systems.
- Invited Speakers     : Johan van Benthem, Amsterdam/Stanford University.
                         Joseph Halpern, Cornell University.
                         Marta Kwiatkowska, Oxford University.
                         Moshe Vardi, Rice University.


Detailed information below:

----------------------------------------------------------------------

                    SR 2015 - Call For Papers

        3rd International Workshop on Strategic Reasoning

                  Oxford, 21-22 September, 2015

          https://sites.google.com/site/sr2015homepage/

----------------------------------------------------------------------

Strategic reasoning is one of the most active research areas in the
multi-agent system domain. The literature in this field is extensive
and provides a plethora of logics for modelling 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 strategies that take into account the
likely behaviour of adversaries. The SR international workshop aims to
bring together researchers working on different aspects of strategic
reasoning in computer science, artificial intelligence and multi-agent
systems research, both from a theoretical and a practical viewpoint.

----------------------------------------------------------------------

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 of strategic reasoning.

----------------------------------------------------------------------

INVITED SPEAKERS.

Speakers so far confirmed include:

  * Johan van Benthem, University of Amsterdam/Stanford University
  * Joseph Halpern, Cornell University
  * Marta Kwiatkowska, University of Oxford
  * Moshe Vardi, Rice University

----------------------------------------------------------------------

IMPORTANT DATES.

  * June 1st, 2015: Submission opening

  * July 1st, 2015 (strict): Abstract submission deadline
  * July 3rd, 2015 (strict): Paper submission deadline

  * July 31st, 2015: Acceptance notification
  * August 14th, 2015: Camera-ready version deadline

  * September 21st-22nd, 2015: SR 2015 workshop

----------------------------------------------------------------------

SUBMISSION.

Extended abstracts should be submitted not exceeding 10 pages (plus
references) in the EPTCS format. If necessary, the work may be
supplemented with a clearly marked appendix, which will be consulted
at the discretion of the PC.  Submissions must be in PDF format and
will be handled via EasyChair, using the following link:

https://easychair.org/conferences/?conf=sr2015

Two types of submission are invited:

  * contributions reporting on novel research;
  * expository contributions reporting on published work.

Each submission should be clearly identified as belonging to one
category or the other. In both categories, strong preference will be
given to papers whose topic is of interest to an interdisciplinary
audience and all contributions should be written so that they are
accessible to such an audience.

Extended abstracts will be held to the usual high standards of
research publications. In particular, they should contain enough
information to enable the PC to identify the main contribution of the
work, explain the significance of the work, its novelty, and its
practical or theoretical implications, and include comparisons with
and references to relevant literature.

Expository abstracts, which will be evaluated using similar high
standards, may survey an area or report on more specific previously
published work.

Submissions should make clear the relevance to the strategic reasoning
audience.

Submissions from PC members are also allowed. Note that, since the
workshop will have informal proceedings, extended versions of the
accepted papers can also be submitted elsewhere.

----------------------------------------------------------------------

PROCEEDINGS.

The workshop proceedings will be available as a single PDF file from
the workshop website. Extended and revised versions of the best papers
presented at the workshop will be invited to a special issue of the
Journal of Information and Computation.

----------------------------------------------------------------------

COMMITTEES.

Workshop Chairs

  * Julian Gutierrez, University of Oxford, UK
  * Fabio Mogavero, University of Naples Federico II, Italy
  * Aniello Murano, University of Naples Federico II, Italy
  * Michael Wooldridge, University of Oxford, UK [MAIN CONTACT]

Program Committee

  * Thomas Agotnes, University of Bergen, Norway
  * Natasha Alechina, University of Nottingham, UK
  * Julian Bradfield, University of Edinburgh, UK
  * Krishnendu Chatterjee, IST, Austria
  * Vojtech Forejt, University of Oxford, UK
  * Valentin Goranko, Stockholm University, Sweden
  * Erich Graedel, RWTH Aachen University, Germany
  * Julian Gutierrez, University of Oxford, UK
  * Paul Harrenstein, University of Oxford, UK
  * Andreas Herzig, CNRS, IRIT, France
  * Orna Kupferman, Hebrew University, Israel
  * Salvatore La Torre, University of Salerno, Italy
  * Jerome Lang, LAMSADE, France
  * Alessio Lomuscio, Imperial College London, UK
  * Enrico Marchioni, University of Oxford, UK
  * Nicolas Markey, LSV, CNRS, and ENS Cachan, France
  * John-Jules Meyer, Utrecht University, The Netherlands
  * Andrzej Murawski, University of Warwick, UK
  * Luke Ong, University of Oxford, UK
  * Sophie Pinchinat, IRISA Rennes, France
  * Nikos Tzevelekos, Queen Mary University of London, UK
  * Wiebe Van Der Hoek, University of Liverpool, UK
  * Igor Walukiewicz, CNRS, LaBRI, France

Local Arrangements Committee

  * Vojtech Forejt, University of Oxford, UK
  * Julian Gutierrez, University of Oxford, UK
  * Paul Harrenstein, University of Oxford, UK
  * Enrico Marchioni, University of Oxford, UK
  * Giuseppe Perelli, University of Oxford, UK
  * Michael Wooldridge, University of Oxford, UK

----------------------------------------------------------------------