PROMAS: Programming Multi-Agent Systems



Past:   Proceedings on DBLP

Future:  Post a CFP for 2012 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
ProMAS 2011 9th International Workshop on Programming Multi-Agent Systems
May 2, 2010 - May 3, 2010 Taipei, Taiwan Jan 30, 2011
PROMAS 2010 Eighth International Workshop on PROgramming Multi-Agent Systems
May 11, 2010 - May 12, 2010 Toronto Feb 2, 2010
ProMAS 2009 Sixth international Workshop on Programming Multi-Agent Systems
May 10, 2009 - May 11, 2009 Budapest, Hungary Feb 8, 2009
ProMAS 2008 Sixth international Workshop on Programming Multi-Agent Systems (NEW DEADLINE 1st Feb!)
May 12, 2008 - May 13, 2008 Estoril, Portugal Feb 1, 2008

Present CFP : 2011

Call for Papers

Ninth International Workshop on
Programming Multi-Agent Systems (ProMAS'11)

ProMAS'11 is a satellite workshop at AAMAS 2011
Taipei, Taiwan, 2-6 May 2011

The ProMAS workshop series has produced, throughout this decade, a
number of solid contributions towards programming languages and
development tools that are appropriate for the development of complex
autonomous systems that operate in dynamic environments. With
applications of autonomous software (e.g., UAVs, companion robots,
ambient intelligence, and semantic applications, to name just a few)
becoming required with wide commercial interest, it is imperative to
support the ever more complex task of professional programmers of
multi-agent systems. Importantly, such languages and tools must be
developed in a principled but practical way. ProMAS aims to address
both theoretical and practical issues related to developing and
deploying multi-agent systems.

Now in its 9th edition, ProMAS has been an invaluable venue 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. These include the theory and applications of
agent programming languages, how to effectively implement a
multi-agent system design or specification, 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).

We encourage the submission of proposals for programming languages and
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

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

- Programming Languages for multi-agent systems
- Programming models and abstractions 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
- Programming of social and organisational aspects of MAS
- Programming environment aspects of MAS
- Formal methods for specification and verification of MAS
- Verification tools for implementations of MAS
- 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 Pervasive Applications
- Programming MAS for Multi-Robot Systems
- Programming MAS for Autonomous Software (e.g., UAVs)
- 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
- Integration of multi-agent and mainstream technologies

Important Dates

Paper submission deadline: 30th January 2011
Notification of acceptance/rejection: 27th February 2011
Camera-ready copies due: 13th March 2011
Workshop Date: 2nd or 3rd May 2011

Submission Details

Authors should submit their papers via the easychair conference
management system:

Papers should be formatted using Springer LNCS style
and have a maximum of 16 pages.


Accepted papers will be appear in informal proceedings to distributed
among participants during the workshop. As was the case with previous
editions of the ProMAS workshop, we are planning to publish extended
versions of selected and invited papers as a volume of the Lecture
Notes in Computer Science series by Springer-Verlag.

Programme Committee


Organising Committee

- Olivier Boissier (Ecole des Mines de St Etienne, France)
- Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil)
- Louise Dennis (University of Liverpool, UK)

Steering Committee

- Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil)
- Mehdi Dastani (Utrecht University, Netherlands)
- Juergen Dix (Clausthal University of Technology, Germany)
- Amal El Fallah Seghrouchni (University of Paris VI, France)

Related Resources

PAAMS 2018   PAAMS 2018 - 16th International Conference on Practical Applications of Agents and Multi-Agent Systems
SASO 2017   The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017)
PLDI 2018   Programming Language Design and Implementation
ICAART 2018   10th International Conference on Agents and Artificial Intelligence
CCGrid 2018   IEEE International Symposium on Cluster Computing and the Grid
BESC 2017   4th International Conference on Behavioural, Economic, and Socio-Cultural Computing - 16-18 October, 2017 (BESC 2017)
IJMSA 2017   International Journal of Modeling, Simulation and Applications
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
SIMPAT-AgentsSim 2017   SIMPAT special issue on Agent-based Modelling and Simulation