Welcome to the website of the 9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS). LAMAS will be a satellite workshop of AAMAS 2016, which will take place on the 10th of 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


February 2016
Workshop canceled: Due to a too small number of submissions, the workshop had to be canceled.

Januar 2016
Deadline extended to February 15, 2016

December 2015
Post-Proceedings: We plan to edit a special issue of STUDIA LOGICA

November 2015
A selected visionary and best paper will be published with Springer.

November 2015
LAMAS 2016 Website online

November 2015
Workshop accepted at AAMAS 2016