Call for Papers

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.

Submissions

We will allow three types of submissions to attract a broad audience and to have a mixed bag of contributions:

  • 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, subject to double-blind reviewing procedure. 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

All accepted workshop papers will be made available to registered workshop registrants in electronic form. No formal publication of workshop papers is planned, besides the selected "visionary paper" and "best paper" as explained below.

Workshop post-proceedings are planned as a journal special issue of STUDIA LOGICA. Authors of selected papers will be invited to submit to the special issue. All submissions will be subject to another reviewing and selection process according to the standards of STUDIA LOGICA.

Publication of Visionary and Best Paper

The most “visionary paper” will be published by Springer in a book under the Lecture Notes in Artificial Intelligence (LNAI) - Hot Topics series. The book will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop.

Additionally, the “best paper” will be published by Springer in a book under the Communications in Computer and Information Science (CCIS) series. The book will be a compilation of the best papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop.

Authors of the selected most visionary paper and the best paper are expected to provide their latex files promptly upon request.