Logic List Mailing Archive

LAMAS & SR 2021: Logical Aspects of Multi-Agent Systems & Strategic Reasoning, Virtual

3-4 May 2021

International Workshop on Logical Aspects of Multi-Agent Systems and Strategic 
Reasoning (LAMAS&SR)
Satellite workshop of AAMAS 2021, Virtual, May 3 or 4 (TBA), 2021

    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 behavior
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, 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, 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.
LAMAS&SR unifies LAMAS and SR under the same flag, formally joining the two 
communities in
order to expose each of them to a wider range of work relevant to their 
research.

LAMAS&SR is thus interested in all topics related to logics and
strategic reasoning in multi-agent systems, from theoretical foundations to 
algorithmic methods
and implemented tools.

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

    Logical systems for specification, analysis, and reasoning about 
multi-agent systems;
    Logic-based modeling of multi-agent systems;
    Dynamical multi-agent systems;
    Deductive systems and decision procedures for logics for multi-agent 
systems;
    Development and implementation of methods for formal verification in 
multi-agent systems;
    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 optimization in multi-agent systems;
    Risk and uncertainty in multi-agent systems;
    Quantitative aspects in strategic reasoning.


LAMAS&SR 2021 will be held with AAMAS 2021 Online.


SUBMISSIONS:

Authors are invited to submit extended abstracts of 2 pages plus 1
page for references in the AAMAS format. Both published and
unpublished works are welcome. Submissions are
subject to a single-blind review process (submissions should not be
anonymous).

There will be no formal proceedings, but accepted extended abstracts
will be made available on the workshop's website.
We envisage that extensions of selected papers will be invited to a journal.

Authors are invited to submit their manuscript via EasyChair.
Submission webpage: https://easychair.org/my/conference?conf=lamassr21#

IMPORTANT DATES:

Paper submission: 10 Feb, 2021 (AoE)
Author Notification: 10 March, 2021
Camera Ready: 24 March, 2021
Workshop: May 3 or 4, 2021 (TBA)

ORGANIZERS:

Bastien Maubert, University of Naples "Federico II"
(bastien.maubert@gmail.com)

Giuseppe Perelli, Sapienza University of Rome
(perelli@diag.uniroma1.it)

PROGRAMME COMMITTEE:

Thomas Agotnes, University of Bergen, Norway
Natasha Alechina, Utrecht University, Netherlands
Suguman Bansal, University of Pennsylvania, USA
Patricia Bouyer, CNRS & LSV, France
Rayna Dimitrova, CISPA, Germany
Nathanaël Fijalkow, CNRS & LaBRI, France
Tim French, University of Western Australia, Australia
Valentin Goranko, Stockholm University, Sweden
Davide Grossi, University of Groningen, Netherlands
Paul Harrenstein, Oxford University, UK
Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences
Sophia Knight, Duluth University, USA
Orna Kupferman, Hebrew University, Israel
Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
Vadim Malvone, Telecom Paris, France
Sophie Pinchinat, Université de Rennes, France
Ramanujam R, IMSc Chennai, India
Sasha Rubin, Sidney University, Australia
Abdallah Saffidine, University of New South Wales, Australia
Eugenia Ternovska, Simon Fraser University, Canada


--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
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