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 29B957F168 for ; Tue, 8 Sep 2015 17:15:14 +0200 (CEST) IronPort-PHdr: 9a23:NEXGshTn/4fOxQk4lg4MsdD0YNpsv+yvbD5Q0YIujvd0So/mwa6/YxON2/xhgRfzUJnB7Loc0qyN4/ymADZLvsfJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvip9uKOU4X1XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGZPBYr8gQLdEIDMjOmEzrI235FiQBTeIsy8VXWgQjgFgCBOD8RTwVdH8vjas/q41jCKTOMmzSbEvRRyj6b1qQVnmknFPc3Zt+2bSktF2i65WiBmmogRix4nbJoaPO6w2OuuJdtQcTndbRMtXXD1pBoKnc5ACFfQMJ6BEsoS7oV9Y5V/2UQ2tD/jHyzlGgWXz1LE70KIhDETM0RYkHtRIvHmC5JG9YKMVXuG+5KzB0TWFcvVXnD367o6Ofh136bXECbZ3fsvajE0uDB/tjliUso3jPDLT2OVb+yzTu/ZgWOW1misjrA5wqRCk3YEnj5SPi44InBiAvXF2yYM4PvW8SVVnepi+D4dQ8iiTPIt7RIUuTjcg/G5u77wNuZe2eG41z5MjywTeZ/OKW4OTpBXzEu+aZyp70iFfdaq7liq1pByC1+n9X8/y/0tWrydfiNTennsWkRvDrMGMDOZ+qBSPwzGKgkrx9+VFKEZ8urfHKpM72LMi3NJHk1nHHybw3mrrkK6bbF8p6MCj8KLgcvPvrdmBNNkn2UnFLq0yl5nnUqwDOQ8UUj3HqOk= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Julian.Gutierrez@cs.ox.ac.uk; spf=None smtp.mailfrom=Julian.Gutierrez@cs.ox.ac.uk; spf=None smtp.helo=postmaster@relay16.mail.ox.ac.uk 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=163.1.2.166; 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=163.1.2.166; 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@relay16.mail.ox.ac.uk) identity=helo; client-ip=163.1.2.166; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Julian.Gutierrez@cs.ox.ac.uk"; x-sender="postmaster@relay16.mail.ox.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CcAQCJ+u5VnKYCAaNdDoNpaQGDI7kOgm8Ogj+EazwQAQEBAQEBAQEQAQEBAQEGDQkJIS6CHYIqBg8BIAsBDEMCERIDAkgXARIIiCUBDbZ7hliJDoQbAQoBAQEBARyBIoVRhjiCbA4DAWKCJAwvEoExBYFQhWGOJAGBFYN0iE5uhDOUeII2DQ+BFj9wAQGHCIE/AQEB X-IPAS-Result: A0CcAQCJ+u5VnKYCAaNdDoNpaQGDI7kOgm8Ogj+EazwQAQEBAQEBAQEQAQEBAQEGDQkJIS6CHYIqBg8BIAsBDEMCERIDAkgXARIIiCUBDbZ7hliJDoQbAQoBAQEBARyBIoVRhjiCbA4DAWKCJAwvEoExBYFQhWGOJAGBFYN0iE5uhDOUeII2DQ+BFj9wAQGHCIE/AQEB X-IronPort-AV: E=Sophos;i="5.17,490,1437429600"; d="scan'208";a="145135323" Received: from relay16.mail.ox.ac.uk ([163.1.2.166]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Sep 2015 17:15:12 +0200 Received: from mail.cs.ox.ac.uk ([129.67.151.64]) by relay16.mail.ox.ac.uk with esmtp (Exim 4.80) (envelope-from ) id 1ZZKc1-0006CT-rU; Tue, 08 Sep 2015 16:15:09 +0100 Received: from webmail.cs.ox.ac.uk ([129.67.151.184]:43061) by mail.cs.ox.ac.uk with esmtp (Exim 4.84) (envelope-from ) id 1ZZKc1-0001P8-4g; Tue, 08 Sep 2015 16:15:09 +0100 X-Mailer: Hastymail2 1.1 To: , , , , , , , , , Reply-to: From: "Julian Gutierrez" Date: Tue, 08 Sep 2015 16:15:09 +0100 Content-Type: text/plain; charset=UTF-8; format=fixed MIME-Version: 1.0 Message-id: Content-Transfer-Encoding: 8bit X-Validation-by: julian.gutierrez@cs.ox.ac.uk Subject: [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/