PROMAS 2012

10th International Workshop “Programming Multi-Agent Systems”

Valencia, Spain, 05/06/2012

Over the last decade, the ProMAS workshop series has provided a venue for state-of-the-art research in programming languages and tools for the development of multi-agent systems. With the increasing commercial application of multi-agent systems, the need for development tools and platforms capable of supporting "professional" or "industrial strength" MAS development has only increased. Such languages and tools must be developed in a way that is principled and and at the same time practical, and ProMAS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems.

Now in its 10th edition, ProMAS has proved to be an invaluable venue for bringing together leading researchers from both academia and industry to discuss key issues in the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of techniques, concepts, requirements and principles central to multi-agent programming technology. These include the theory and application of agent programming languages, how to effectively implement a multi-agent system specification or design, the verification and analysis of agent systems, as well as the implementation of social structures in agent-based systems (e.g., organisations, coordination, and communication in multi-agent systems).

topics of interest

Programming languages, models and abstractions for MAS • Extensions of traditional languages for multi-agent programming • Programming mobile agents • Semantics for multi-agent programming languages • Computational complexity of MAS • Algorithms, techniques, or protocols relevant to multi-agent programming (e.g., coordination, cooperation, negotiation) • Agent communication issues in multi-agent programming • Programming social, organizational, and normative aspects of MAS • Interoperability and standards for MAS • Safety and security for mobile MAS deployment • Fault tolerance and load balancing for mobile MAS • Generic tools and infrastructures for multi-agent programming • High-level executable multi-agent specification languages • Formal methods and tools for specification and verification of MAS • Agent/environment/interaction/organization development tools and platforms • Benchmarks and testbeds for comparing multi-agent programming languages and tools • Applications of multi-agent programming languages including: legacy systems, pervasive applications, multi-robot systems, autonomous software (e.g., UAVs), (Semantic) Web and Grid-based applications, and deployed (industrial-strength) multi-agent systems • Integration of multi-agent and mainstream technologies

hosting event