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.

28 August, Formal Approaches to Multi-agent Systems (FAMAS 2006), Riva del Garda, Italy

Date: 28 August
Location: Riva del Garda, Italy
Deadline: 14 April 2006

In recent years, multi-agent systems have come to form one of the key technologies for software development. The second edition of the FAMAS workshop series, after a success of FAMAS'03 affiliated to ETAPS'03 in Warsaw, 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.

FAMAS'06 is affiliated to ECAI 2006. For more information, see http://www.mimuw.edu.pl/MAS/FAMAS/

Deadline for submissions is April 15, 2006.

Please note that this newsitem has been archived, and may contain outdated information or links.