Logic List Mailing Archive
CfP: LAMAS&SR 2026 – Logical Aspects of Multi-Agent Systems and Strategic Reasoning, 19 July 2026, Lisbon (Portugal), co-located with KR 2026
=============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). 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
Raphal Berthon, Laboratoire Mthodes Formelles, Universit Paris-Saclay, France
Antonio Di Stasio, City St Georges University of London, UK
Rustam Galimullin, 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 Crteil, 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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php