SR 2016 - Extended Deadline and Last Call for Contributions

This is a multi-part message in MIME format.
--------------000909010802020208050004
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

[We apologize for multiple copies of this message]

** Extended submission deadlines: April 18, 2016 (AoE) **

Please consider to contribute and/or forward to the appropriate groups
the following call for submission of expository and novel contributions to
SR 2016.

********

4th International Workshop on Strategic Reasoning (SR2016)
To be held as Satellite Workshop of LICS 2016
9-10 July 2016, New York City, USA.
https://sites.google.com/site/sr2016homepage/home 
<https://sites.google.com/site/sr2016homepage/home>


Introduction

Strategic reasoning is a key topic in the multi-agent systems research
area. The literature in this field is extensive and includes a variety
of logics used for reasoning about the strategic abilities of the agents
in the system. Results stemming from this research have been used in a
wide range of applications, including robotic teams endowed with
adaptive strategies, and automatic players capable of beating expert
human adversaries. A common feature in all these domains is the
requirement for sound theoretical foundations and tools accounting for
the strategies that agents may adopt in the presence of adversaries.

The SR international workshop series 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.


Topics of interest

The topics covered by the workshop 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;
Applications and tools for cooperative and adversarial reasoning;
Robust planning and optimization in multi-agent systems;
Risk and uncertainty in multi-agent systems;
Quantitative aspects in strategic reasoning.


Previous Editions

SR 2013 (satellite event of ETAPS 2013). 16-17 March 2013, Rome.
SR 2014 (satellite event of ETAPS 2014). 5-6 April 2014, Grenoble.
SR 2015. 21-22 September 2015. Oxford.

(All information from previous events are accessible from
http://www.strategicreasoning.net/ <http://www.strategicreasoning.net/>)


Submissions

Submitted contributions should not exceed 10 pages using the EPTCS
format. If necessary, submitted papers can be supplemented with a
clearly marked appendix, which will be consulted at the discretion of
the program committee. Submitted papers should be formatted in PDF and
uploaded to

https://easychair.org/conferences/?conf=sr2016 
<https://easychair.org/conferences/?conf=sr2016>

Two types of submission will be considered:
articles reporting on novel research;
expository papers reporting on published work.
Each submission should be clearly identified as belonging to one
category or the other.

Novel research abstracts will be held to the usual high standards of
novel research publications. In particular, they will be expected to
contain enough information to enable the program committee 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 held to similarly high standards,
may survey an area or report on a more specific previously published
work. Submissions should make clear the relevance to the strategic
reasoning audience.

Authors of the contributions accepted for presentation (in both
categories) will be invited to publish their work as part of an EPTCS
volume to be published around the time of the workshop.

Submissions from PC members is allowed.

Important Dates

18 April 2016: Abstract submission deadline.
18 April 2016: Submission deadline (AoE).
5 May 2016: Acceptance notification.
18 May 2016: Camera-ready version deadline.
9-10 July 2016: SR 2016.


Proceedings

A volume in the EPTCS will be published as in previous years. Authors of
contributions presented at the workshop and previously unpublished will
be given an opportunity for the paper to be included. Inclusion in EPTCS
volume is not mandatory.

As in the past, extended and revised versions of the contributions
judged to be particularly significant will be published in a special
issue of the International Journal of Information and Computation.


General Chair

Moshe Y. Vardi, Rice University


Program Chair

Alessio Lomuscio, Imperial College London


Program Committee

Natasha Alechina, University of Nottingham
Francesco Belardinelli, Imperial College London
Patricia Bouyer-Decitre, LSV - CNRS & ENS Cachan
Nils Bulling, Delft University of Technology
Krishnendu Chatterjee, IST Austria
Catalin Dima, University of Paris-Est-Creteil
Giuseppe De Giacomo, Universita’ di Roma La Sapienza
Wiebe van der Hoek, University of Liverpool
Julian Gutierrez, University of Oxford
Orna Kupferman, Hebrew University of Jerusalem
Wojtek Jamroga, Polish Academy of Sciences
François Laroussinie, Université Paris Diderot
Christof Löding, RWTH Aachen
Emiliano Lorini, Université Paul Sabatier
Jakub Michaliszyn, Univ of Wroclaw
Aniello Murano, Universita’ di Napoli
Wojciech Penczek, Polish Academy of Sciences
Sophie Pinchinat, University of Rennes
Nir Piterman, University of Leicester
Jean-Francois Raskin, Université Libre de Bruxelles
Francesca Rossi, Università di Padova
Sasha Rubin, Universita’ di Napoli
Toby Walsh, University of New South Wales
Michael Wooldridge, University of Oxford

--------------000909010802020208050004
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit

<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    [We apologize for multiple copies of this message]<br>
    <br>
    ** Extended submission deadlines: April 18, 2016 (AoE) **<br>
    <br>
    Please consider to contribute and/or forward to the appropriate
    groups<br>
    the following call for submission of expository and novel
    contributions to<br>
    SR 2016.<br>
    <br>
    ********<br>
    <br>
    4th International Workshop on Strategic Reasoning (SR2016) <br>
    To be held as Satellite Workshop of LICS 2016 <br>
    9-10 July 2016, New York City, USA. <br>
    <a href="https://sites.google.com/site/sr2016homepage/home"
      target="_blank" rel="nofollow"
      onmousedown="this.href='https://www.google.com/url?q\75https%3A%2F%2Fsites.google.com%2Fsite%2Fsr2016homepage%2Fhome\46sa\75D\46sntz\0751\46usg\75AFQjCNGs3kam3pyDl4UMEUSu7xNFgoWMhQ';return

      true;"
      onclick="this.href='https://www.google.com/url?q\75https%3A%2F%2Fsites.google.com%2Fsite%2Fsr2016homepage%2Fhome\46sa\75D\46sntz\0751\46usg\75AFQjCNGs3kam3pyDl4UMEUSu7xNFgoWMhQ';return

      true;">https://sites.google.com/site/<wbr>sr2016homepage/home</a>
    <br>
    <br>
    <br>
    Introduction <br>
    <br>
    Strategic reasoning is a key topic in the multi-agent systems
    research <br>
    area. The literature in this field is extensive and includes a
    variety <br>
    of logics used for reasoning about the strategic abilities of the
    agents <br>
    in the system. Results stemming from this research have been used in
    a <br>
    wide range of applications, including robotic teams endowed with <br>
    adaptive strategies, and automatic players capable of beating expert
    <br>
    human adversaries. A common feature in all these domains is the <br>
    requirement for sound theoretical foundations and tools accounting
    for <br>
    the strategies that agents may adopt in the presence of adversaries.
    <br>
    <br>
    The SR international workshop series aims to bring together
    researchers <br>
    working on different aspects of strategic reasoning in computer
    science, <br>
    both from a theoretical and a practical point of view. <br>
    <br>
    <br>
    Topics of interest <br>
    <br>
    The topics covered by the workshop include, but are not limited to,
    the <br>
    following: <br>
    <br>
    Logics for reasoning about strategic abilities; <br>
    Logics for multi-agent mechanism design, verification, and
    synthesis; <br>
    Logical foundations of decision theory for multi-agent systems; <br>
    Strategic reasoning in formal verification; <br>
    Automata theory for strategy synthesis; <br>
    Applications and tools for cooperative and adversarial reasoning; <br>
    Robust planning and optimization in multi-agent systems; <br>
    Risk and uncertainty in multi-agent systems; <br>
    Quantitative aspects in strategic reasoning. <br>
    <br>
    <br>
    Previous Editions <br>
    <br>
    SR 2013 (satellite event of ETAPS 2013). 16-17 March 2013, Rome. <br>
    SR 2014 (satellite event of ETAPS 2014). 5-6 April 2014, Grenoble. <br>
    SR 2015. 21-22 September 2015. Oxford. <br>
    <br>
    (All information from previous events are accessible from <br>
    <a href="http://www.strategicreasoning.net/" target="_blank"
      rel="nofollow"
      onmousedown="this.href='http://www.google.com/url?q\75http%3A%2F%2Fwww.strategicreasoning.net%2F\46sa\75D\46sntz\0751\46usg\75AFQjCNEnwISNZFSncC88lEI5zHJlCvlQ7A';return

      true;"
      onclick="this.href='http://www.google.com/url?q\75http%3A%2F%2Fwww.strategicreasoning.net%2F\46sa\75D\46sntz\0751\46usg\75AFQjCNEnwISNZFSncC88lEI5zHJlCvlQ7A';return

      true;">http://www.strategicreasoning.<wbr>net/</a>) <br>
    <br>
    <br>
    Submissions <br>
    <br>
    Submitted contributions should not exceed 10 pages using the EPTCS <br>
    format. If necessary, submitted papers can be supplemented with a <br>
    clearly marked appendix, which will be consulted at the discretion
    of <br>
    the program committee. Submitted papers should be formatted in PDF
    and <br>
    uploaded to <br>
    <br>
    <a href="https://easychair.org/conferences/?conf=sr2016"
      target="_blank" rel="nofollow"
      onmousedown="this.href='https://www.google.com/url?q\75https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dsr2016\46sa\75D\46sntz\0751\46usg\75AFQjCNFsaJlcny7u31lUtJ1BouBmlLc2cQ';return

      true;"
      onclick="this.href='https://www.google.com/url?q\75https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dsr2016\46sa\75D\46sntz\0751\46usg\75AFQjCNFsaJlcny7u31lUtJ1BouBmlLc2cQ';return

      true;">https://easychair.org/<wbr>conferences/?conf=sr2016</a> <br>
    <br>
    Two types of submission will be considered: <br>
    articles reporting on novel research; <br>
    expository papers reporting on published work. <br>
    Each submission should be clearly identified as belonging to one <br>
    category or the other. <br>
    <br>
    Novel research abstracts will be held to the usual high standards of
    <br>
    novel research publications. In particular, they will be expected to
    <br>
    contain enough information to enable the program committee to
    identify <br>
    the main contribution of the work, explain the significance of the
    work, <br>
    its novelty, and its practical or theoretical implications, and
    include <br>
    comparisons with and references to relevant literature. <br>
    <br>
    Expository abstracts, which will be held to similarly high
    standards, <br>
    may survey an area or report on a more specific previously published
    <br>
    work. Submissions should make clear the relevance to the strategic <br>
    reasoning audience. <br>
    <br>
    Authors of the contributions accepted for presentation (in both <br>
    categories) will be invited to publish their work as part of an
    EPTCS <br>
    volume to be published around the time of the workshop. <br>
    <br>
    Submissions from PC members is allowed. <br>
    <br>
    Important Dates <br>
    <br>
    18 April 2016: Abstract submission deadline. <br>
    18 April 2016: Submission deadline (AoE). <br>
    5 May 2016: Acceptance notification. <br>
    18 May 2016: Camera-ready version deadline. <br>
    9-10 July 2016: SR 2016. <br>
    <br>
    <br>
    Proceedings <br>
    <br>
    A volume in the EPTCS will be published as in previous years.
    Authors of <br>
    contributions presented at the workshop and previously unpublished
    will <br>
    be given an opportunity for the paper to be included. Inclusion in
    EPTCS <br>
    volume is not mandatory. <br>
    <br>
    As in the past, extended and revised versions of the contributions <br>
    judged to be particularly significant will be published in a special
    <br>
    issue of the International Journal of Information and Computation. <br>
    <br>
    <br>
    General Chair <br>
    <br>
    Moshe Y. Vardi, Rice University <br>
    <br>
    <br>
    Program Chair <br>
    <br>
    Alessio Lomuscio, Imperial College London <br>
    <br>
    <br>
    Program Committee <br>
    <br>
    Natasha Alechina, University of Nottingham <br>
    Francesco Belardinelli, Imperial College London <br>
    Patricia Bouyer-Decitre, LSV - CNRS &amp; ENS Cachan <br>
    Nils Bulling, Delft University of Technology <br>
    Krishnendu Chatterjee, IST Austria <br>
    Catalin Dima, University of Paris-Est-Creteil <br>
    Giuseppe De Giacomo, Universita’ di Roma La Sapienza <br>
    Wiebe van der Hoek, University of Liverpool <br>
    Julian Gutierrez, University of Oxford <br>
    Orna Kupferman, Hebrew University of Jerusalem <br>
    Wojtek Jamroga, Polish Academy of Sciences <br>
    François Laroussinie, Université Paris Diderot <br>
    Christof Löding, RWTH Aachen <br>
    Emiliano Lorini, Université Paul Sabatier <br>
    Jakub Michaliszyn, Univ of Wroclaw <br>
    Aniello Murano, Universita’ di Napoli <br>
    Wojciech Penczek, Polish Academy of Sciences <br>
    Sophie Pinchinat, University of Rennes <br>
    Nir Piterman, University of Leicester <br>
    Jean-Francois Raskin, Université Libre de Bruxelles <br>
    Francesca Rossi, Università di Padova <br>
    Sasha Rubin, Universita’ di Napoli <br>
    Toby Walsh, University of New South Wales <br>
    Michael Wooldridge, University of Oxford
  </body>
</html>

--------------000909010802020208050004--