Logic List Mailing Archive

LAMAS & SR 2022: Logical Aspects in Multi-Agent Systems / Strategic Reasoning

25-26 Aug 2022
Rennes, Frances

2nd Call for Contributions

2nd International Workshop on
Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR)
25-26 August 2022, Rennes, France
URL: https://lamassr.github.io/


Logics and strategic reasoning play a central role in multi-agent systems. 
Logics can be used, for instance, to express the agents’ abilities, 
knowledge, 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 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.

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 https://easychair.org/conferences/?conf=lamassr22

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
* Chenwei Shi, Tsinghua University
* 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
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam