[Caml-list] SR 2015: Call for Participation - Oxford, Sept 21-22, 2015

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

SR 2015 - Call For Participation

3rd International Workshop on Strategic Reasoning

Oxford, 21-22 September, 2015

Link 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 point of view.

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

PROGRAMME

Invited talks

* Joe Halpern: Language-based Games
* Johan van Benthem: In Between High and Low Rationality
* Moshe Vardi: A Revisionist History of Algorithmic Game Theory
* Samson Abramsky: TBC

Contributed talks

* Louwe B. Kuijer: An Arrow-based Dynamic Logic of Norms
* Sophia Knight and Bastien Maubert: Dealing with Imperfect Information in
Strategy Logic
* Carlo Comin and Romeo Rizzi: Energy Structure and Improved Complexity Upper
Bound for Optimal Positional Strategies in Mean Payoff Games
* Can Baskent and Guy McCusker: Epistemic Game Theoretical Reasoning in
History Based Models
* Guillaume Aucher, Bastien Maubert, Sophie Pinchinat and Francois
Schwarzentruber: Games with Communication: from Belief to Preference Change
* Souymodip Chakraborty and Joost-Pieter Katoen: P-Automata for Markov
Decision Processes
* Xin Sun: Preference Refinement in Normative Multi-agent System
* Egor Ianovski and Luke Ong: Simulating Cardinal Payoffs in Boolean Games
* Gabrielle Anderson and David Pym: Substructural Modal Logic for Optimal
Resource Allocation
* Pierre Lescanne: The Risk of Divergence
* Petr Čermák, Alessio Lomuscio and Aniello Murano: Verifying and
Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications


Tool presentations

* EAGLE: Alexis Toumi.
* PRISM: Clemens Wiltsche.
* PRALINE: Romain Brenguier.
* MCMAS: Alessio Lomuscio.

For a more detailed schedule, please, go to:

Link
https://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxzcjIwMTVob21lcGFnZXxneDo1NmU2ZWYzZDVmNGE5NmIz

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

REGISTRATION

Registration for SR 2015 is now open and covers entrance to the
technical sessions, coffee breaks, and the gala dinner on Monday 21st
September 2015. The registration rate is £150.

Thanks to a huge contribution of the ERC Advanced Investigator Grant
RACE, we are able to make a special offer that includes accommodation
provided by St Catherine's College to the first 15 persons to register
for the SR international workshop.

For the special registration rate (which includes accommodation),
please, go to the link below and follow the instructions to register
online:

Link
http://www.oxforduniversitystores.co.uk/browse/extra_info.asp?compid=1&modid=5&catid=47&prodid=1091

After the first 15 registrations, we will be offering a normal
registration rate, which does not include accommodation at St
Catherine's College.

For the normal registration rate (which does not include
accommodation), please, contact Elizabeth Walsh at:

email: mailto:elizabeth.walsh@cs.ox.ac.uk
tel. : +44 1865 283 503

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

CONTACT

For any further inquiries, please, contact Michael Wooldridge:

email: mailto:mjw@cs.ox.ac.uk
tel: 00 44 1865 210 812

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

COMMITTEES

Workshop Chairs

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

Program Committee

* Thomas Ågotnes, 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

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


===
Julian Gutierrez
Oxford University Department of Computer Science
Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Web: http://www.cs.ox.ac.uk/people/julian.gutierrez/



--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs