Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017)
25 August 2017, Stockholm (affiliated with CSL 2017)
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 topics of the workshop include, but are not limited to:
- Logical systems for specification, analysis, and reasoning about MAS
- Logic-based modeling of MAS
- Dynamical 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
Submissions for workshop presentations
Extended abstracts of 2-5 pages reporting either original, ongoing, or recently published work in the area of the workshop. We do not require any particular formatting style, but please make sure that your submission is legible and set up in at least 10 pt font. Submissions are not anonymous and will be subjected to light reviewing.
Abstracts have to be submitted via
Easychair
Invited speakers
- Hans van Ditmarsch, LORIA, Nancy
- Wojtek Jamroga, Polish Academy of Sciences
Important dates
- submission: June 4 2017
- notification: June 15 2017
- workshop: August 25 2017
Workshop proceedings and post-proceedings
Accepted abstracts of presentations will be made available on the workshop website. Depending on the number and quality of the submissions, we also intend to organise workshop post-proceedings as a journal special issue. The submissions to that special issue will be subject to a proper reviewing process.
Organisers and contacts
Natasha Alechina
(contact email)
Mika Cohen
Valentin Goranko
This file is maintained by Natasha Alechina
Last updated 16 May 2017