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

December 30, 2013

The proceedings of EUMAS 2013 are available online

November 25, 2013

EUMAS 2013 program is online

November 20, 2013

List of accepted papers!

October 28, 2013

Registration is open!

July 10, 2013

Download the call for papers.

July 3, 2013

The website for EUMAS 2013 is now online.


IRIT