Universiteit van Amsterdam


Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8 - 10 May 2020, 10th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020), Online

Date: 8 - 10 May 2020
Location: Online
Deadline: Monday 10 February 2020

LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, game theory, and more.

LAMAS2020 will be the next annual event of the LAMAS research network and will continue the series of LAMAS workshops. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:
 - Logical systems for modeling, specification, analysis and synthesis of MAS
 - Deductive systems and decision procedures for logics for MAS
 - Algorithmic methods for formal verification of MAS
 - Logic-based tools for MAS
 - Applications of logics in MAS

Because of the covid-19 LAMAS2020 will be entirely virtual.

Authors are invited 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 original and unpublished, or published (or accepted for publication) in the last 12 months. Submissions are subject to a single-blind review process (submissions should not be anonymous).

All the accepted papers will appear in the informal workshop proceedings produced together with the AAMAS proceedings. Also, provided we receive enough quality submissions, we will invite the authors of selected papers to submit extended versions to a special issue of the journal Annals of Mathematics and Artificial Intelligence (AMAI).

For more information, see http://lamas20.ipipan.waw.pl/.

Please note that this newsitem has been archived, and may contain outdated information or links.