LAMAS&SR 2023 - Call For Papers
International Workshop on
Logical Aspects of Multi-Agent Systems
and Strategic Reasoning
Co-located with ECAI 2023,
International Conference on Artificial Intelligence (ECAI 2023)
Krakow, 30 September - 1 October, 2023
https://vadimmalvone.github.io/lamas-sr-2023/
----------------------------------------------------------------------
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 developing good behaviour 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 organisers 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 modelling 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
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.
Speakers so far confirmed include:
* Orna Kupferman, Hebrew University of Jerusalem, Israel
----------------------------------------------------------------------
IMPORTANT DATES.
* June 7th, 2023: Submission opening
* July 5th, 2023: Abstract submission deadline
* July 7rd, 2023: Paper submission deadline
* August 7th, 2023: Acceptance notification
* September 7th, 2023: Camera-ready version deadline
* September 30th or October 1st, 2023: LAMAS&SR 2023 workshop
----------------------------------------------------------------------
SUBMISSION.
Authors are invited to submit extended abstracts of 4 pages plus 1
page for references only, in the LNCS format. 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 made available on the workshop website. Extensions
of selected papers presented at the workshop will be invited to a
special issue of INFORMATION AND COMPUTATION. Submissions must be in
PDF and will be handled via EasyChair, using the following link:
https://easychair.org/conferences/?conf=lamassr2023
Submissions from PC members are also allowed. Note that, since the
workshop will have informal proceedings, extended versions of the
accepted papers can also be submitted elsewhere.
----------------------------------------------------------------------
PROCEEDINGS.
The workshop 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 special issue of the
Journal of Information and Computation.
----------------------------------------------------------------------
COMMITTEES.
Workshop Chairs
* Julian Gutierrez, Monash University, Australia
* Vadim Malvone, Telecom Paris, France
Program Committee
* Thomas Agotnes, University of Bergen, Norway
* Guy Avni, University of Haifa, Israel
* Francesco Belardinelli, Imperial College London, UK
* Krishnendu Chatterjee, IST, Austria
* Julian Gutierrez, Monash University, Australia
* Wojtek Jamroga, Polish Academy of Sciences, Poland
* Orna Kupferman, Hebrew University, Israel
* Vadim Malvone, Telecom Paris, France
* Nicolas Markey, IRISA, CNRS & INRIA & Univ. Rennes 1, France
* John-Jules Meyer, Utrecht University, The Netherlands
* Munyque Mittelmann, University of Naples Federico II, Italy
* Fabio Mogavero, University of Naples Federico II, Italy
* Aniello Murano, University of Naples Federico II, Italy
* Giuseppe Perelli, Sapienza University of Rome, Italy
* Sophie Pinchinat, IRISA Rennes, France
* Rineke Verbrugge, University of Groningen, The Netherlands
----------------------------------------------------------------------
--
*Julian Gutierrez*, Monash University Senior Lecturer
Woodside Building for Technology and Design (Office 206A)
20 Exhibition Walk, Clayton campus, Melbourne, Victoria, Australia
Webpage: https://research.monash.edu/en/persons/julian-gutierrez/
<https://research.monash.edu/en/persons/julian-gutierrez-santiago>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
