<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 & 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>