International Workshop on
Logical Aspects in Multi-Agent Systems and Strategic Reasoning
August 25-26, 2022, Rennes, France
Co-located with AiML 2022
AiML and LAMAS&SR registration
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 (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.
LAMAS: The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The workshop LAMAS has been regularly organized since 2002 and became the main annual event of the LAMAS research network.
SR: Strategic reasoning is a key topic in the multi-agent systems research area. The extensive literature in this field includes a number of logics used for reasoning about the strategic abilities of the agents in the system, but spans also game theory, decision theory or epistemic logics to name a few. The aim is to provide sound theoretical foundations and tools to tackle a variety of strategic problems in formal methods and artificial intelligence involving agents in adversarial settings. The workshop SR has been organized every year since 2013, often in co-location with the most important conferences in formal methods and artificial intelligence.
LAMAS&SR: 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 next editions of LAMAS and SR will be unified under the same flag, formally joining the two communities.
About COVID-19
Local organizers are following closely the evolution of the pandemic situation. Our preference is for a full in-person event, but we will employ an online or hybrid format according to the situation.
Call for papers
LAMAS&SR is 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
Submissions
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 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. We envisage that extensions of selected papers will be invited to a special issue.
Authors are invited to submit their manuscript via EasyChair.
Important dates
- Paper submission: June 5, 2022 (AoE)
- Author Notification: June 30, 2022 (AoE)
- Camera Ready: July 15, 2022 (AoE)
- Workshop: August 25-26, 2022
Invited Speakers
Program
All of the times mentioned on this page refer to the local time in London (British Summer Time, GMT+1).August 25 2022
14:15 | Welcome |
14:30 | Invited talk (AiML / LAMAS&SR): |
Rineke Verbrugge | |
15:30 | Break |
First session of contributed talks | |
16:30 | Carlo Proietti, Fernando R. Velázquez-Quesada, and Antonio Yuste-Ginel |
A more abstract look at awareness models and their dynamics | |
17:00 | Frederik Van De Putte, Hein Duijf, and Allard Tamminga |
Nomological Reductions and Collective Deontic Admissibility | |
17:30 | Sophie Pinchinat, Sasha Rubin, and Francois Schwarzentruber |
Formula synthesis in propositional dynamic logic with shuffle | |
18:00 | Line van den Berg |
But I do have something to hide: Allowing private upgrades on Dynamic Epistemic Logic using weak reflexivity | |
18:30 | Free evening |
August 26 2022
Second session of contributed talks | |
9:00 | Patricia Bouyer, Mickael Randour, and Pierre Vandenhove |
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs | |
9:30 | Dylan Bellier, Sophie Pinchinat, and Francois Schwarzentruber |
Dependency matrices for multiplayer strategic dependencies | |
10:00 | Sylvain Lapeyrade |
Reasoning With Ontologies for Non-Player Character Decision-Making in Games | |
10:30 | Nicolas Dumange and Valentin Goranko |
Multi-stage Blotto Games | |
11:00 | Coffee break |
Third session of contributed talks | |
11:30 | Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj, and Nicolas Troquard |
Careful rational synthesis in games with multiple common resources | |
12:00 | Wojtek Jamroga, Damian Kurpiewski, and Vadim Malvone |
How to Measure Usable Security: Natural Strategies in Voting Protocols | |
12:30 | Alexandre Terefenko |
Formal trace semantics for attack-defence trees | |
13:00 | Lunch |
Fourth session of contributed talks | |
14:30 | Riccardo De Masellis and Valentin Goranko |
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems | |
15:00 | Bastien Maubert, Munyque Mittelmann, Aniello Murano, and Laurent Perrussel |
Strategic Reasoning in Automated Mechanism Design | |
15:30 | Malvin Gattinger |
GoMoChe: Gossip Model Checking | |
16:00 | Coffee break |
Fifth session of contributed talks | |
16:30 | Nima Motamed, Natasha Alechina, Mehdi Dastani, and Dragan Doder |
A Probabilistic Finite Temporal Logic for Policies and Intentions | |
17:00 | Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, and Brian Logan |
Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning | |
17:30 | Discussions around LAMAS&SR |
18:30 | Thanks for coming ! |
Committees
Chairs
- Fabio Mogavero, University of Naples Federico II
- Sophie Pinchinat, IRISA/Université de Rennes 1
Programme Committee
- Thomas Agotnes, University of Bergen
- Natasha Alechina, Utrecht University
- Guy Avni, University of Haifa
- Massimo Benerecetti, University of Naples Federico II
- Dario Della Monica, University of Udine
- Hans van Ditmarsch, Open University of Netherlands
- Valentin Goranko, Stockholm University
- Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences
- 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
Steering Committee
- Thomas Agotnes, University of Bergen
- Natasha Alechina, Utrecht University
- Hans van Ditmarsch, Open University of Netherlands
- Valentin Goranko, Stockholm University
- Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences
- Fenrong Liu, Tsinghua University
- Emiliano Lorini, Université Paul Sabatier
- 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
Local Organization
- Sophie Pinchinat sophie.pinchinat@irisa.fr
- Dylan Bellier dylan.bellier@irisa.fr
- Pierre Le Scornet pierre.le-scornet@irisa.fr
- Sophie Maupile sophie.maupile@irisa.fr
- Alexandre Terefenko alexandre.terefenko@irisa.fr
- Fabio Mogavero fabio.mogavero@unina.it
Venue and registration
LAMAS&SR 2022 will be held in Rennes, France, and is co-located with AiML2022.
Registrations are open until August 10 here. Please visit here for additional informations on registrations. Some local information can be found here.
Previous editions
- LAMAS&SR 2021, May 3-4, 2021, online event.
- LAMAS 2002, October 29-30, 2002 Dunedin, New Zealand
- LAMAS 2007, 15-16 February, 2007, Otago, New Zealand
- LAMAS 2010, 11 May, 2010, Toronto, Canada
- LAMAS 2011, 10-12 November, 2011, Osuna, Spain
- LAMAS 2012, 4-8 June, 2012, Valencia, Spain.
- LAMAS 2013, December 12-13, 2013, Toulouse, France
- LAMAS 2014
- LAMAS 2015, May 4, 2015, Istanbul, Turkey
- LAMAS 2017, 25 August 2017, Stockholm, Sweden
- LAMAS 2020, 8-10 May 2020, Online
- SR 2013, March 16-17, 2013, Rome, Italy
- SR 2014, April 5-6, 2014, Grenoble, France
- SR 2015, September 21-22, 2015, Oxford, U.K.
- SR 2016, July 10, 2016, New York, U.S.A.
- SR 2017, July 26-27, 2017, Liverpool, U.K.
- SR 2018, July 7-8, 2018, Oxford, U.K.
- SR 2019, August 10, 2019, Macao, China
- SR 2020, September 7-8, 2020, Online