Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Date: 7-11 September 2009
Location: Torino, Italy
Deadline: 6 June 2009

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.