[PlanetKR] [LAMAS&SR-26] - Call for Papers

[Antonio Di Stasio]

CALL FOR PAPERS

LAMAS & SR 2026

International Workshop on Logical Aspects of Multi-Agent Systems and
Strategic Reasoning

Website: https://strategic-reasoning.github.io/lamassr26/

Co-located with KR 2026 (as part of FLoC 2026)
Lisbon, Portugal • July 19, 2026

Logic and strategic reasoning play a central role in multi-agent systems.
Logic can be used, for instance, to express the agents' abilities,
knowledge, and objectives. Strategic reasoning refers to algorithmic
methods that allow for the development of good behavior for the agents of
the system. At the intersection, we find logics that can express the
existence of strategies or equilibria and can be used to reason about them.
The LAMAS&SR workshop merges two international workshops: LAMAS (Logical
Aspects of Multi-Agent Systems), which focuses on all kinds of logical
aspects of multi-agent systems from the perspectives of artificial
intelligence, computer science, and game theory, and SR (Strategic
Reasoning), devoted to all aspects of strategic reasoning in formal methods
and artificial intelligence. Over the years the communities and research
themes of both workshops got closer, with a significant overlap in the
participants and organizers of both events. For this reason, the two events
have been unified under the same flag, formally joining the two
communities. As such, the LAMAS&SR workshop aims to bring together
researchers working on different aspects of either logic or strategic
reasoning in computer science, artificial intelligence, and multi-agent systems
research, both from a theoretical and a practical viewpoint.



TOPICS

The topics covered by LAMAS&SR include, but are not limited to:

   - Logical systems for specification, analysis, and reasoning about MAS
   - Logic-based modeling of multi-agent systems
   - Dynamical multi-agent systems
   - Deductive systems and decision procedures for logics for MAS
   - Development and implementation of methods for verification of MAS
   - Logic-based tools for multi-agent systems
   - Logics for reasoning about strategic abilities
   - Formal aspects of mechanism design, verification, and synthesis
   - Formal aspects of knowledge representation and reasoning
   - Logical foundations of decision theory for multi-agent systems
   - Strategic reasoning in formal verification
   - Automata theory for strategy synthesis
   - Applications and tools for cooperative and adversarial reasoning
   - Robust planning and optimization in multi-agent systems
   - Risk and uncertainty in multi-agent systems
   - Quantitative aspects in strategic reasoning
   - Neuro-symbolic AI for multi-agent systems

IMPORTANT DATES

   - April 30, 2026 (AoE): Paper Submission Deadline
   - May 14, 2026: Notification of Acceptance
   - July 19, 2026: Workshop

SUBMISSION



Authors are invited to submit extended abstracts of up to 4 pages plus 1
page for references only, in the format of the KR 2026 conference (KR26
_authors_kit.zip <https://kr.org/KR2026/files/KR26_authors_kit.zip>). Both
published and unpublished works are welcome. Submissions are subject to a
single-blind review process (submissions should not be anonymous).

Although there will be no formal proceedings, accepted extended abstracts
will be available on the workshop website. Submissions must be in PDF and
will be handled via HotCRP using the following link:
https://submissions.floc26.org/lamas-sr/paper/new

Submissions from PC members are also allowed. Since the workshop will have
informal proceedings, extended versions of the accepted papers can also be
submitted elsewhere.



PROCEEDINGS



The informal proceedings will be available as a single PDF file from the
workshop website. Extended and revised versions of the best papers
presented at the workshop will be invited for a journal special issue.


COMMITTEES


Workshop Chairs

   - Raphaël Berthon <https://home.lmf.cnrs.fr/Rberthon/>,Laboratoire
   Méthodes Formelles, Université Paris-Saclay, France
   - Antonio Di Stasio <https://antoniodistasio.github.io/>, City St
   George’s University of London, UK
   - Rustam Galimullin <https://rgalimullin.gitlab.io/>, University of
   Bergen, Norway

Program Committee

   - Thomas Ågotnes, University of Bergen, Norway
   - Guy Avni, University of Haifa, Israel
   - Francesco Belardinelli, Imperial College London, United Kingdom
   - Davide Catta, Université Sorbonne Paris Nord (LIPN), France
   - Catalin Dima, Université Paris-Est Créteil, France
   - Angelo Ferrando, University of Modena and Reggio Emilia, Italy
   - Valentin Goranko, Stockholm University, Sweden
   - Wojciech Jamroga, University of Luxembourg
   - Fenrong Liu, Tsinghua University, China
   - Emiliano Lorini, CNRS, France
   - Munyque Mittelmann, Université Sorbonne Paris Nord (LIPN), France
   - Aniello Murano, University of Napoli “Federico II”, Italy
   - Sasha Rubin, University of Sydney, Australia
   - Chenwei Shi, Tsinghua University
   - Francesco Spegni, Università Politecnica delle Marche, Italy
   - Yanjing Wang, Peking University, China
   - Martin Zimmermann, Aalborg University, Denmark
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20260211/d6daa07e/attachment-0001.htm>