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 MAShttp://icr.uni.lu/lamas2011/