Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 06261

Foundations and Practice of Programming Multi-Agent Systems

( Jun 25 – Jun 30, 2006 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:



The “Foundations and Practice of Programming Multi-Agent Systems” Dagstuhl Seminar aimed at bringing together researchers interested in programming languages for multi-agent systems, agent-oriented software engineering, and various related aspects such as verification, and formal semantics. We were delighted with the result of this seminar, which gave participants a clear view of the most advanced techniques being currently investigated in research on those topics throughout the world, and also a clear understanding of all the most important open problems that need to be addressed by this research community. The seminar was particularly successful in elucidating the relationship between work being done by the “programming languages for multi-agent systems” (ProMAS) research community and the “agent-oriented software engineering” (AOSE) research community. Even though the initiative for this seminar arose from the ProMAS community, we were delighted to attract many prominent researches from the AOSE community, which allowed us to achieve the positive result on the connection of ProMAS and AOSE research.

In order to achieve the most productive setting for technical presentations and discussion in the various aspects we wanted to cover, we structured the talks in thematic days or half-days. In the first and last days, we included only AOSE-related talks. The second day was dedicated to ProMAS specifically, the morning of the third day we dedicated to Verification of Multi-Agent Systems; the fourth day had talks on Semantics in the morning and AOSE in the afternoon.

There were three discussion sessions, on the following general topics:

  • agent-oriented software engineering;
  • programming multi-agent systems;
  • semantics and verification.

It was in the discussion sessions that many interesting ideas emerged. We were fortunate to have Maarten Sierhuis generating a detailed report of all dicussions using the Compendium Tool ( He also kindly agreed to make the Compendium diagrams available online, which provides a complete report of all discussion sessions, so we feel it is not necessary to include that material in this summary. The interested reader will find all the details about the discussions we had at the following URL: (choose “Discussions” in the main menu).

From the discussion session, we just would like to add a list of agent programming languages currently being used in university courses taught by the participants. The growing number of universities teaching agent-oriented programming languages is a clear indication of the increased maturity of the area and an excellent promise for a major growth of the paradigm in the medium term.

Anyone who has attended a Dagstuhl seminar agrees that Dagstuhl seminars are the most productive of all types of academic events. We were certainly expecting an excellent seminar, but this seminar exceeded our expectations in all aspects. With so many issues still to be resolved in this exciting and promising area of research, we are hoping that a follow up of this seminar will be organised in a couple of years, and we are looking forward to it already!

  • Matteo Baldoni (University of Turin, IT) [dblp]
  • Guido Boella (University of Turin, IT) [dblp]
  • Olivier Boissier (Ecole des Mines - St. Etienne, FR) [dblp]
  • Rafael H. Bordini (Federal University of Rio Grande do Sul, BR) [dblp]
  • Lars Braubach (Universität Hamburg, DE) [dblp]
  • Jan M. Broersen (Utrecht University, NL) [dblp]
  • Mehdi Dastani (Utrecht University, NL) [dblp]
  • Jorge J. Gomez-Sanz (University Complutense - Madrid, ES) [dblp]
  • Koen V. Hindriks (TU Delft, NL) [dblp]
  • Benjamin Hirsch (TU Berlin, DE)
  • Jomi Fred Hübner (Ecole des Mines - St. Etienne, FR) [dblp]
  • Wojtek Jamroga (University of Luxembourg, LU) [dblp]
  • Catholijn M. Jonker (TU Delft, NL) [dblp]
  • Winfried Lamersdorf (Universität Hamburg, DE) [dblp]
  • João A. Leite (Universidade Nova de Lisboa, PT) [dblp]
  • Alessio R. Lomuscio (Imperial College London, GB) [dblp]
  • Viviana Mascardi (University of Genova, IT) [dblp]
  • John-Jules Ch. Meyer (Utrecht University, NL) [dblp]
  • Matthias Nickles (University of Bath, GB)
  • Peter Novák (TU Clausthal, DE) [dblp]
  • Alexander Pokahr (Universität Hamburg, DE) [dblp]
  • Alessandro Ricci (University of Bologna, IT) [dblp]
  • Sebastian Sardiña (RMIT University - Melbourne, AU) [dblp]
  • Steven Shapiro (University of Toronto, CA)
  • Maarten Sierhuis (NASA / RIACS - Moffett Field, US) [dblp]
  • Leon Sterling (The University of Melbourne, AU)
  • Bas Steunebrink (Utrecht University, NL)
  • Leon van der Torre (University of Luxembourg, LU) [dblp]
  • Birna Van Riemsdijk (LMU München, DE) [dblp]
  • Michael Winikoff (RMIT University - Melbourne, AU) [dblp]
  • Yingqian Zhang (TU Delft, NL) [dblp]

Related Seminars
  • Dagstuhl Seminar 02481: Programming Multi Agent Systems based on Logic (2002-11-24 - 2002-11-29) (Details)
  • Dagstuhl Seminar 08361: Programming Multi-Agent Systems (2008-08-31 - 2008-09-05) (Details)
  • Dagstuhl Seminar 12342: Engineering Multi-Agent Systems (2012-08-19 - 2012-08-24) (Details)

  • artificial intelligence / robotics
  • programming languages / compiler
  • sw-engineering
  • semantics / formal methods
  • verification / logic

  • Agent-oriented programming
  • Agent-oriented software engineering
  • Multi-agent implementation languages
  • Agent development tools and platforms
  • Semantics of agent-oriented languages
  • Specification and verification of multi-agent systems
  • Theories of multi-agent programming