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