Sunday, March 27, 2022

[DMANET] LAMAS & SR 2022 - 1st Call for Contributions

[Apologies for multiple cross-posting]

1st Call for Contributions

2nd International Workshop on
Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR)
25-26 August 2022, Rennes, France


Logics and strategic reasoning play a central role in multi-agent systems.
Logics can be used, for instance, to express the agents' abilities,
and objectives. Strategic reasoning refers to algorithmic methods that
allow for
developing good behaviour for the agents of the system. At the
intersection, we
find logics that can express existence of strategies or equilibria, and can
used to reason about them.

The LAMAS&SR workshop merges two international workshops: LAMAS (Logical
of Multi-Agent Systems), which focuses on all kinds of logical aspects of
multi-agent systems from the perspectives of artificial intelligence,
science, and game theory, and SR (Strategic Reasoning), devoted to all
of strategic reasoning in formal methods and artificial intelligence.

List of Topics

The topics covered by the workshop include, but are not limited to:

* Logical systems for specification, analysis, and reasoning about
multi-agent systems
* Logic-based modelling of multi-agent systems
* Dynamical multi-agent systems
* Deductive systems and decision procedures for logics for multi-agent
* Development and implementation of methods for verification in multi-agent
* Logic-based tools for multi-agent systems
* Logics for reasoning about strategic abilities
* Logics for multi-agent mechanism design, verification, and synthesis
* 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 optimisation in multi-agent systems
* Risk and uncertainty in multi-agent systems
* Quantitative aspects in strategic reasoning

Invited Speakers

* Rineke Verbrugge, University of Groningen

Co-Located Event

LAMAS&SR 2022 will be an event co-located with the 14th International
on Advances In Modal Logic (AiML 2022, 22-25 August).

About COVID-19

Local organizers are following closely the evolution of the pandemic
Our preference is for a full in-person event, but we will employ an online
hybrid format according to the situation.

Important Dates

* Paper submission: May 23 (AoE)
* Author notification: June 30 (AoE)
* Camera ready: July 15 (AoE)
* Workshop: August 25-26, 2022

Contribution Submission

Authors are invited to submit extended abstracts of 2 pages, plus 1 page for
references only, in the AAMAS 2022 format. Both published and unpublished
are welcome. Submissions are subject to a single-blind review process, thus,
submissions should not be anonymous, must be in PDF format, and will be
via EasyChair at

Although there will be no formal proceedings, accepted extended abstracts
be made available on the workshop website. Extensions of selected original
contributions will be then invited to a special issue of Games, an MDPI
open-access journal, with a special arrangement.

Program Co-Chairs

* Fabio Mogavero, Università di Napoli Federico II
* Sophie Pinchinat, Université de Rennes 1

Program Committee

* Thomas Agotnes, University of Bergen
* Natasha Alechina, Utrecht University
* Guy Avni, University of Haifa
* Massimo Benerecetti, University of Naples Federico II
* Hans van Ditmarsch, Open University of Netherlands
* Valentin Goranko, Stockholm University
* Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences
* Dario Della Monica, University of Udine
* Emiliano Lorini, Université Paul Sabatier
* Nicolas Markey, Université de Rennes 1
* Bastien Maubert, University of Naples Federico II
* John-Jules C. Meyer, Utrecht University
* Aniello Murano, University of Naples Federico II
* Rohit J. Parikh, City University of New York
* Sasha Rubin, The University of Sydney, Australia
* Marija Slavkovik, University of Bergen
* Yanjing Wang, Peking University

Organising Committee

* Sophie Pinchinat, Université de Rennes 1
* Dylan Bellier, Université de Rennes 1
* Pierre Le Scornet, Université de Rennes 1
* Sophie Maupile, Université de Rennes 1
* Alexandre Terefenko, Université de Rennes 1
* Fabio Mogavero, Università di Napoli Federico II

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.