FAMAS - Formal Approaches to Multi-Agent SystemsWorkshop at 12 april 2003in conjunction with ETAPS 2003, April 5-13, 2003, Warsaw, Poland |
OverviewIn recent years, multi-agent systems have come to form one of the key technologies for software development. This workshop 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. Suggested, but not exclusive, topics of interest for the workshop are:
Famas is sponsored by the SLIE-project. |