8th ATAL 2001: Seattle, WA, USA

Agent Modeling

Formal Specification and Verification of Agents

Agent Architectures and Languages

Agent Communication

Collaborative Planning and Resource Allocation

Trust and Safety

Formal Theories of Negotiation

Agents for Hand-Held, Mobile, or Embedded Devices

a service of Schloss Dagstuhl - Leibniz Center for Informatics