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 modelling 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 verification of 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