Please note that this newsitem has been archived, and may contain outdated information or links.
7-11 September 2009, FAMAS09: Formal Approaches to Multi-Agent Systems, Torino, Italy
In recent years, multi-agent systems have come to form one of the key technologies for software development. Part of MALLOW 2009, the fourth edition of the FAMAS workshop series aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems.
For more information, see http://www.mimuw.edu.pl/MAS/FAMAS2009/
We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Submission deadline: Saturday 6 June 2009.
Please note that this newsitem has been archived, and may contain outdated information or links.