5th International Workshop “Programming Multi-Agent Systems”
Honolulu, HI, USA, 15/05/2007
Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments.
The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology.
We encourage the submission of proposals for programming languages and development tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry.
topics of interest
Programming Languages for multi-agent systems • Extensions of traditional languages for multi-agent programming • Theoretical and practical aspects of multi-agent programming • Computational complexity of MAS • Semantics for multi-agent programming languages • High-level executable multi-agent specification languages • Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) • Agent communication issues in multi-agent programming • Implementation of social and organisational aspects of MAS • Formal methods for specification and verification of MAS • Verification tools for implementations of MAS • Test and debugging tools and techniques • Agent development tools and platforms • Generic tools and infrastructures for multi-agent programming • Interoperability and standards for MAS • Programming mobile agents • Safety and security for mobile MAS deployment • Fault tolerance and load balancing for mobile MAS • Application areas for multi-agent programming languages • Applications using legacy systems • Programming MAS for Grid-based applications • Programming MAS for the Semantic Web • Deployed (industrial-strength) MAS • Benchmarks and testbeds for comparing MAS languages and tools
hosting event
colocated event
works as
origin event for publication
hosted event for
colocated event for
series event
ArgMAS 2007 @ AAMAS 2007 • 
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (paper in proceedings, 2008) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg