Welcome to the FMLAMAS Workshop

Formal Methods & Logical Aspects of multi-agent systems

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