In recent years, multi-agent systems have come to form one of the key technologies for software development. The Formal Approaches to Multiagent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multiagent systems, including many subtle and not easy to formalize aspects of agency. FAMAS addresses the issues of logics for multiagent systems, formal methods for verification, e.g. model checking, and formal approaches to cooperation, multi-agent planning, communication, coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. The first workshop in the FAMAS series, FAMAS’03, took place in Warsaw in April 2003 as a satellite event of the European Conference on Theory and Practice of Software (ETAPS’03). A selection of contributed and invited papers was published in Fundamenta Informaticae as volume 63, issue 2,3 of 2004. The second FAMAS workshop, FAMAS’06, took place in August 2006 at the Riva del Garda, in conjunction with the European Conference on Artificial Intelligence (ECAI’06). The best contributions resulted in the current special issue of the Journal of Autonomous Agents and Multiagent Systems. FAMAS’07 was one of the agent workshops gathered together under the umbrella of Multiagent Logics, Languages and Organizations—FederatedWorkshops (MALLOW’007), taking place in September 2007 in Durham. Finally, FAMAS’09 will take place in Turin as a part of MALLOW’09.
Read full abstract