Please note that this newsitem has been archived, and may contain outdated information or links.
9 - 10 July 2018, Pre-AAMAS2018 Workshop on Formal Methods and Logical Aspects of Multi-Agent Systems (FMLAMAS 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.
Submissions are invited of short abstracts (preferably up to 2 pages) reporting either original, ongoing, or recently published good quality work in the area of the workshop. Published work can be submitted for presentation in full, though an extended abstract would be preferable. Submissions for relevant talks presented elsewhere are welcome, too. The submissions are not anonymous and will be subjected to light reviewing and selection.
Please note that this newsitem has been archived, and may contain outdated information or links.