LAMAS 2014 - International Workshop on Logical Aspects of Multi-Agent Systems

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas.
The workshop is intended to cover the following subjects:
Logical systems for specification, analysis, and reasoning about MAS
Modeling MAS with logic-based models
Logic in game theory
Logic in social choice theory
Deductive systems and decision procedures for logics for MAS
Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
Logic-based tools for MAS
Applications of logics in MAS.