FAABS 2004 (2004 Greenbelt, Md.)

• Formal approaches to agent-based systems
• Formal approaches to agent-based systems