With apologies for cross-postings Symposium on Logic in Games and Multiagent Systems University of Liverpool, UK, 16 & 17 December, 2002. http://www.csc.liv.ac.uk/~pauly/logamas.html Introduction: Over the past decade, there has been increasing interest in the relationship between logic and game theory. On the one hand, logic researchers find in game theory a natural set of concepts for expressing many logical concepts -- game theoretic interpretations of quantification is perhaps the best-known example. On the other hand, game theorists have found in various logics natural and powerful tools through which to represent and reason about many game-theoretic concepts. Examples include the use of logics of knowledge and common knowledge to capture such notions as perfect information and perfect recall, and the use of strategic/coalition modalities to capture such notions as effectivity. Research into logic and game theory has recently received a substantial boost by the emergence of the multiagent systems paradigm. Multiagent systems research is concerned with the theory and practice of computer systems composed of multiple, interacting, autonomous computing elements known as agents. The multiagent systems paradigm seems an appropriate one through which to model, and understand large-scale distributed/open systems such as the Internet. The multiagent systems community has a significant degree of success in the design of algorithms and techniques that automated, self-interested software agents can use to cooperate, coordinate, and reach agreements on matters of common interest. Much of this work has taken inspiration from the logic and game theory communities. The symposium aims at bringing together researchers working at the intersection of logic, game theory and multiagent systems, in order to identify the key issues, problems, and techniques in the application of logic to games and multiagent systems. Conferences with a related subject area are LOFT, TARK, and LGS. TOPICS OF INTEREST (include but are not limited to): modal logics, e.g. epistemic logic, dynamic logic, game logic, (alternating) temporal logic, coalition logic, etc. communication and information flow belief revision and formation, learning logical foundations, e.g., of solution concepts bounded rationality the role of language in games computational complexity Submission information and further details available at: http://www.csc.liv.ac.uk/~pauly/logamas.html **************************************************************** Dr Peter McBurney Department of Computer Science University of Liverpool Liverpool L69 7ZF U. K. Tel: + 44 151 794 6760 Email: P.J.McBurney@csc.liv.ac.uk Web page: www.csc.liv.ac.uk/~peter/ **************************************************************** 18-Sep-2002 15:53:14 -0300,2052;000000000000-00000000