posted by organizer: AFerrando || 482 views || tracked by 2 users: [display]

LAMAS&SR 2024 : International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning


When Nov 2, 2024 - Nov 4, 2024
Where Hanoi, Vietnam
Submission Deadline Jul 17, 2024
Notification Due Aug 21, 2024
Categories    multi-agent systems   artificial intelligence   strategic reasoning   formal verification

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 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

Related Resources

Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
AMSTA 2024   18th International Conference on Agents and Multi-Agent Systems: Technology and Applications
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
ReacTS 2024   International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
EXTRAAMAS 2024   EXplainable and TRAnsparent AI and Multi-Agent Systems
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
SURE 2024   Workshop on Strategic and Utility-aware REcommendations (@RecSys2024)
PRIMA 2024   The 25th International Conference on Principles and Practice of Multi-Agent Systems
NeurIPS 2024   The Thirty-Eighth Annual Conference on Neural Information Processing Systems