Welcome to the FMLAMAS Workshop
Formal Methods & Logical Aspects of multi-agent systems
Formal Methods & Logical Aspects of multi-agent systems
10 July 2018, Stockholm, Sweden
10 July 2018, Stockholm, Sweden
The FMLAMAS 2018 workshop will provide a working meeting and discussion forum for researchers working on various formal methods and logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It will address a wide range of issues that arise in these contexts, from theoretical foundations to algorithmic methods, implemented tools, and applications.
The topics of the workshop include, but are not limited to:
- Modelling of MAS
- Dynamical aspects of MAS
- Formal/logic-based methods for specification, analysis, reasoning, verification and synthesis of MAS
- Development, complexity analysis, implementation and tools for formal/logic-based methods for MAS
- Applications and use cases of formal/logic-based methods and tools for MAS