LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspec ts of multi-agent systems (MAS) from the perspecti ves of artificial intelligence, computer science, game theory, and more.
\n\nLAMAS2020 will
be the next annual event of the LAMAS research net
work and will continue the series of LAMAS worksho
ps. The LAMAS workshop is the pivotal event of the
network and it provides a platform for presentati
on, exchange, and publication of ideas in all thes
e areas, including:
\n - Logical systems
for modeling, specification, analysis and synthes
is of MAS
\n - Deductive systems and dec
ision procedures for logics for MAS
\n -
Algorithmic methods for formal verification of MA
S
\n - Logic-based tools for MAS
\n
- Applications of logics in MAS
Because of the covid-19 LAMAS2020 will be entirely virtual.
\nAuthors are invit ed to submit extended abstracts of 2 pages plus 1 page for references in the AAMAS format, reporting their work in one of two categories: either origi nal and unpublished, or published (or accepted for publication) in the last 12 months. Submissions a re subject to a single-blind review process (submi ssions should not be anonymous).
\n\nAll t he accepted papers will appear in the informal wor kshop proceedings produced together with the AAMAS proceedings. Also, provided we receive enough qua lity submissions, we will invite the authors of se lected papers to submit extended versions to a spe cial issue of the journal Annals of Mathematics an d Artificial Intelligence (AMAI).
\n