1st International Workshop on Strategic Reasoning

March 16-17, 2013, Rome, Italy

Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling 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-based reasoning that take into account the likely behavior of adversaries.

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

SR 2013 is a satellite workshop of ETAPS 2013, which will be held in Rome, Italy, on March 16th-24th, 2013.

Special Issue on Information & Computation!

SR 2013 is partially supported by ExCAPE - an NSF Expeditions project in Computer Augmented Program Engineering, CINI - Consorzio Interuniversitario Nazionale per l'Informatica, and DIETI - Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione.