<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-text-flowed" style="font-family: -moz-fixed;
font-size: 12px;" lang="x-unicode">FIRST CALL FOR PAPERS
<br>
<br>
International Workshop on Logical Aspects of Multi-Agent Systems
and Strategic Reasoning (LAMAS&SR)
<br>
Satellite workshop of AAMAS 2021, London, United Kingdom, May 3 or
4 (TBA), 2021
<br>
<br>
<a class="moz-txt-link-freetext"
href="https://lamassr.github.io/">https://lamassr.github.io/</a>
<br>
<br>
Logics and strategic reasoning play a central role in multi-agent
systems.
<br>
Logics can be used, for instance, to express the agents'
abilities, knowledge,
<br>
and objectives.
<br>
Strategic reasoning refers to algorithmic methods that allow for
developing good behavior
<br>
for the agents of the system. At the intersection, we find logics
that can express existence
<br>
of strategies or equilibria, and can be used to reason about them.
<br>
<br>
The LAMAS&SR workshop merges two international workshops:
<br>
LAMAS, which focuses on all kinds of logical aspects of
multi-agent
<br>
systems from the perspectives of artificial intelligence, computer
<br>
science, and game theory, and SR, devoted to all aspects of
strategic
<br>
reasoning in formal methods and artificial intelligence.
<br>
<br>
Over the years the communities and research themes of both
workshops got closer and closer.
<br>
LAMAS&SR unifies LAMAS and SR under the same flag, formally
joining the two communities in
<br>
order to expose each of them to a wider range of work relevant to
their research.
<br>
<br>
LAMAS&SR is thus interested in all topics related to logics
and
<br>
strategic reasoning in multi-agent systems, from theoretical
foundations to algorithmic methods
<br>
and implemented tools.
<br>
<br>
The topics of the workshop include, but are not limited to:
<br>
<br>
Logical systems for specification, analysis, and reasoning
about multi-agent systems;
<br>
Logic-based modeling of multi-agent systems;
<br>
Dynamical multi-agent systems;
<br>
Deductive systems and decision procedures for logics for
multi-agent systems;
<br>
Development and implementation of methods for formal
verification in multi-agent systems;
<br>
Logic-based tools for multi-agent systems;
<br>
Logics for reasoning about strategic abilities;
<br>
Logics for multi-agent mechanism design, verification, and
synthesis;
<br>
Logical foundations of decision theory for multi-agent
systems;
<br>
Strategic reasoning in formal verification;
<br>
Automata theory for strategy synthesis;
<br>
Applications and tools for cooperative and adversarial
reasoning;
<br>
Robust planning and optimization in multi-agent systems;
<br>
Risk and uncertainty in multi-agent systems;
<br>
Quantitative aspects in strategic reasoning.
<br>
<br>
<br>
LAMAS&SR 2021 will be held with AAMAS 2021 in London, England.
<br>
<br>
<br>
SUBMISSIONS:
<br>
<br>
Authors are invited to submit extended abstracts of 2 pages plus 1
<br>
page for references in the AAMAS format. Both published and
<br>
unpublished works are welcome. Submissions are
<br>
subject to a single-blind review process (submissions should not
be
<br>
anonymous).
<br>
<br>
There will be no formal proceedings, but accepted extended
abstracts
<br>
will be made available on the workshop's website.
<br>
We envisage that extensions of selected papers will be invited to
a journal.
<br>
<br>
Authors are invited to submit their manuscript via EasyChair.
<br>
Submission webpage: <a class="moz-txt-link-freetext"
href="https://easychair.org/my/conference?conf=lamassr21#">https://easychair.org/my/conference?conf=lamassr21#</a>
<br>
<br>
IMPORTANT DATES:
<br>
<br>
Paper submission: 10 Feb, 2021 (AoE)
<br>
Author Notification: 10 March, 2021
<br>
Camera Ready: 24 March, 2021
<br>
Workshop: May 3 or 4, 2021 (TBA)
<br>
<br>
ORGANIZERS:
<br>
<br>
Bastien Maubert, University of Naples "Federico II"
<br>
(<a class="moz-txt-link-abbreviated"
href="mailto:bastien.maubert@gmail.com">bastien.maubert@gmail.com</a>)
<br>
<br>
Giuseppe Perelli, Sapienza University of Rome
<br>
(<a class="moz-txt-link-abbreviated"
href="mailto:perelli@diag.uniroma1.it">perelli@diag.uniroma1.it</a>)
<br>
</div>
</body>
</html>