This workshop aims at bringing together leading researchers from both academia and industry to discuss the design of programming languages and tools for multiagent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the concepts, properties, requirements, and principles that are important for programming technology for multiagent systems. We encourage the submissions of proposals for programming languages and tools that provide specific programming constructs and facilities to implement the essential concepts used in multiagent system analysis and specifications.

Specific topics for this workshop include, but are not limited to:

• High-level agent specification languages
• Theoretical and practical aspects of agent programming
• Extensions of traditional languages for MAS programming
• Operational semantics for MAS based on process algebra, transition systems, logic, etc.
• Formal methods for the specification and verification of agent systems
• Computational logics in multi-agent systems
• Verification tools for MAS implementations
• Computational concepts for MAS applications
• Application areas for MAS programming languages
• Benchmarks and testbeds for comparing MAS programming languages
• Generic tools for implementing and co-ordinating agent wrappers
• Programming mobile agents