From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 23F607EEFD; Mon, 8 Jun 2015 19:18:00 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Julian.Gutierrez@cs.ox.ac.uk) identity=pra; client-ip=129.67.1.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Julian.Gutierrez@cs.ox.ac.uk"; x-sender="Julian.Gutierrez@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Julian.Gutierrez@cs.ox.ac.uk) identity=mailfrom; client-ip=129.67.1.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Julian.Gutierrez@cs.ox.ac.uk"; x-sender="Julian.Gutierrez@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@relay11.mail.ox.ac.uk) identity=helo; client-ip=129.67.1.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Julian.Gutierrez@cs.ox.ac.uk"; x-sender="postmaster@relay11.mail.ox.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BSAQAJzHVVnKIBQ4FSCoNkg3y9MgqHJTwQAQEBAQEBAREBAQEBAQYNCQkhLoRBBQYPASALAQkDQwIRFQJfG4glDZokj1+GVJgihG4cBIEhiSCCP4JsBARmgiMMLxKBMwWGbol2gkp8g0SHQIxgiieBdwFCgWKBcYFEAQEB X-IPAS-Result: A0BSAQAJzHVVnKIBQ4FSCoNkg3y9MgqHJTwQAQEBAQEBAREBAQEBAQYNCQkhLoRBBQYPASALAQkDQwIRFQJfG4glDZokj1+GVJgihG4cBIEhiSCCP4JsBARmgiMMLxKBMwWGbol2gkp8g0SHQIxgiieBdwFCgWKBcYFEAQEB X-IronPort-AV: E=Sophos;i="5.13,574,1427752800"; d="scan'208";a="135159635" Received: from relay11.mail.ox.ac.uk ([129.67.1.162]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Jun 2015 19:17:59 +0200 Received: from mailer.cs.ox.ac.uk ([129.67.151.81]) by relay11.mail.ox.ac.uk with esmtp (Exim 4.80) (envelope-from ) id 1Z20gC-0003IV-ai; Mon, 08 Jun 2015 18:17:44 +0100 Received: from webmail.cs.ox.ac.uk ([129.67.151.184]:36886) by mailer.cs.ox.ac.uk with esmtp (Exim 4.72) (envelope-from ) id 1Z20gC-0000y0-3I; Mon, 08 Jun 2015 18:17:44 +0100 X-Mailer: Hastymail2 1.1 To: Reply-to: From: "Julian Gutierrez" Date: Mon, 08 Jun 2015 18:17:44 +0100 Content-Type: text/plain; charset=UTF-8; format=fixed MIME-Version: 1.0 Message-id: <61ff0c6c1cac308b6ff669ee2fa4ffde@webmail.cs.ox.ac.uk> Content-Transfer-Encoding: 8bit X-Validation-by: julian.gutierrez@cs.ox.ac.uk Subject: [Caml-list] Call for papers - SR 2015: Strategic Reasoning (Oxford, UK) ---------------------------------------------------------------------- SR 2015 - Call For Papers 3rd International Workshop on Strategic Reasoning Oxford, 21-22 September, 2015 https://sites.google.com/site/sr2015homepage/home ---------------------------------------------------------------------- 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 in the last two editions of SR have been invited for a special issue of the Journal of Information and Computation. In SR 2015, we plan to do the same. ---------------------------------------------------------------------- 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 ----------------------------------------------------------------------