Call for Papers
The LAMAS workshop provides a meeting forum for the research community
working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory.
It addresses the whole range of issues that arise in the context of using logic in MAS,
from theoretical foundations to algorithmic methods and implemented tools.
The workshop is planned to serve two mutually supporting purposes. Primarily, it will be a mini-conference,
hosting talks and discussions, and facilitating exchange of information, research ideas, and publication of original
research papers on issues listed below. Secondly, the workshop will provide a meeting forum for the research
community working on various logical aspects of MAS.
The participants will discuss how the community can support coordination of research and dissemination of results.
The main technical issues that the workshop will address are:
- Logical systems for specification, analysis, and reasoning about MAS
- Logic-based modeling of MAS
- 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
Three types of submissions
Regular papers up to 15 pages, describing original unpublished research.
Position papers and visionary work in progress can also be submitted in this category. Simultaneous submission to another venue is not allowed.
- System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones.
- Extended abstracts of 2-5 pages reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months.
Submissions should be anonymous. Each submission will be reviewed by at least 2 program committee members.
Papers must be in PDF
format and prepared according to the Springer LNCS format. For templates and instructions for authors, see
Springer LNCS author information.
Papers have to be submitted via Easychair: Link to submission website
Proceedings and post-proceedings
Workshop notes including all accepted papers will be distributed to
AAMAS 2015 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants.
Depending on the quality of the submissions,
we also plan to edit workshop post-proceedings as a journal special issue of the Journal of Applied Non-Classical
The submissions to that special issue will be subject to a proper reviewing and selection process.