Special session of LAMAS (Logical Aspects of Multi-Agent Systems)
The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session. (See http://icr.uni.lu/lamas2012/cfp.html for the previous edition of the LAMAS workshop). The submission of papers to the LAMAS special session is subject to the same requirements as the submission of papers to the EUMAS-2013 normal track.
Topics of interest for the LAMAS special session include but are not limited to:
- Logical systems for specification, analysis, and reasoning about MAS,
- Modeling MAS with logic-based models,
- 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.
Download call for papers |
News
The proceedings of EUMAS 2013 are available online
EUMAS 2013 program is online
List of accepted papers!
Registration is open!
Download the call for papers.
The website for EUMAS 2013 is now online.