10 November 2011, 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2011), Osuna, Spain

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. This year, LAMAS will be held as a part of the 7th Methods for Modalities conference (M4M-7).

The workshop is intended to cover the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Deductive systems 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.

For more information, see the LAMAS-2011 webpage at http://icr.uni.lu/lamas2011/.