Welcome

Welcome to the website of the 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS). LAMAS will be a satellite workshop of AAMAS 2014, which will take place May 5, 2014 in Paris, France.

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

Keynote Speakers

We are happy to announce the following keynote speakers:

  • Prof. Dr. John-Jules Meyer, Utrecht University, the Netherlands (invited talk) and
  • Prof. Dr. Thomas Ågotnes, University of Bergen, Norway (invited tutorial)

News:

November 2013
LAMAS 2014 Website online

November 2013
Workshop accepted at AAMAS 2014

November 2013
Post-Proceedings: We plan to edit a special issue of Studia Logica

January 2014
Keynote Speakers announced: Prof. Dr. John-Jules Meyer, Utrecht University, The Netherlands (invited talk) and Prof. Dr. Thomas Ågotnes, University of Bergen, Norway (invited turoial)

January 2014
Submission deadline extended to February 2, 2014.

January 2014
Submission deadline extended to February 9, 2014.

January 2014
List of Accepted papers announced.