[agents] [CFP] LAMAS&SR 2024 - Logics for MAS and Strategic Reasoning - colocated with KR 2024 - deadline approaching

[Munyque Mittelmann]

----------------------------------------------------------------------

LAMAS&SR 2024 - Call For Papers - Deadline Approaching


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


Co-located with KR 2024, International Conference on Principles of 
Knowledge Representation and Reasoning

Hanoi, 2 November - 4 November, 2024


https://conferences-website.github.io/lamassr24/


----------------------------------------------------------------------


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 and 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 OF INTEREST.


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.


* July 17th, 2024: Paper submission deadline

* August 21st, 2024: Acceptance notification

* September 7th, 2024: Camera-ready version deadline

* November 2nd, 3rd or 4th, 2024: LAMAS&SR 2024 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 2024 conference 
(KR24_authors_kit.zip <https://kr.org/KR2024/KR24_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 CMT, using the following link:


https://cmt3.research.microsoft.com/LAMASSR2024


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


* Angelo Ferrando, University of Modena and Reggio Emilia

* Munyque Mittelmann, University of Naples Federico II

* Aniello Murano, University of Naples Federico II



Program Committee


* Catalin Dima, Université Paris Est- Créteil

* Chenwei Shi, Tsinghua University

* Emiliano Lorini, IRIT

* Fenrong Liu, Tsinghua University

* Francesco Belardinelli, Imperial College London

* Francesco Spegni, UNIVPM

* Giuseppe Perelli, Sapienza University of Rome

* Guy Avni, University of Haifa

* John-Jules Meyer, Utrecht University

* Martin Zimmermann, Aalborg University

* Sasha Rubin, University of Sydney

* Thomas Ågotnes, University of Bergen

* Valentin Goranko, Stockholm University

* Wojciech Jamroga, University of Luxembourg

* Yanjing Wang, Peking University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20240713/6b1e24bc/attachment-0001.html>