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.

6-7 September 2007, Formal Approaches to Multi-agent Systems (FAMAS'007), Durham, UK

Date: 6-7 September 2007
Location: Durham, UK
Deadline: 1 June 2007

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

The workshop will be part of this year's Multi-Agent Logics, Languages, and Organisations federated Workshops, MALLOW'007 hosted by the Department of Computer Science and St. Chad's College, University of Durham, U.K. Participants in the FAMAS workshop are urged to participate in the co-located workshops. For more details of MALLOW, please see http://www.dur.ac.uk/durham.agents007/MALLOW007/

For more information, see http://www.mimuw.edu.pl/MAS/FAMAS007/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: Friday 1 June, 2007.

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