LAMAS 2016 - 9th Workshop on Logical Aspects of Multi-Agent Systems

9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS). LAMAS will be a satellite workshop of AAMAS 2016, which will take place in May, 2016 in Singapore.
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 main technical issues that the workshop will address are:
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