Agents, Norms and Institutions
for Regulated Multiagent Systems

July 25th, Utrecht, The Netherlands


Multi-agent systems are often understood as complex entities where a multitude of agents interact, usually with some intended individual or collective purpose. Such a view usually assumes some form of structure, or set of norms or conventions that articulate or restrain interactions in order to make them more effective in attaining those goals, more certain for participants or more predictable. The engineering of effective regulatory mechanisms is a key problem for the design of open complex multi-agent systems, so that in recent years it has become a rich and challenging topic for research and development.

Of the many possible ways of looking at the problem of regulating multi-agent systems, this workshop focuses on a normative approach, based on the use of Norms in Artificial Institutions. Lately there has been an explosion of new approaches, both theoretical and practical, exploring the use of norms as a flexible way to constrain and/or impose behaviour and these are reflected in specifications of norm languages, agent-mediated electronic institutions, contracts, protocols and policies.

The workshop invites specialists from various fields to discuss conceptual, formal and technical aspects that bear upon the formalization, design, construction and deployment of regulated multi-agent systems. The workshop intends to bring together active researchers to present and debate recent developments.

Topics of interest include but are not limited to:

We particularly encourage authors to submit innovative and original papers that report on

Position papers and papers describing ongoing work are welcome as well.


Proceedings will be available at the workshop. Revised and extended versions of selected papers will be published as part of a Springer LNCS volume.


Paper submission deadline: March 18, 2005
Notifications of acceptance/rejection: April 18, 2005
Camera-ready copies due: May 22, 2005
Workshop Date: July 25, 2005


For preparation of papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page: For those not using the Springer LNCS style files: The paper must be formatted in A4 size using 10 point Times. (If Times is not available, please use one of the similar fonts widely used in phototypesetting.) Printing area should be 12.2 x 19.3 cm, and the interline distance should be arranged in such a way that some 42 to 45 lines occur on a full-text page.

The length of each paper including figures and references may not exceed 12 pages. All papers must be written in English and submitted in PDF or PS format.

Authors should submit their paper by attaching it to an email to The email should also contain paper title, author name(s), affiliation(s), contact information of the main author, and a few keywords describing the topic (eg. from the list above).


09.00 - 09.10
Opening of ANIREM
SESSION 1: INVITED TALK (chair: Julian Padget)
09.10 - 10.00
Fencing the open fields -- Empirical considerations about the design and use of electronic institutions.
Pablo Noriega (IIIA-CSIC, Spain)
10.00 - 10-30
SESSION 2: NORMS, CONTRACTS & PROTOCOLS (chair: Sascha Ossowski)
10.30 - 11.00
Designing normative behaviour by the use of landmarks
Davide Grossi, Javier Vazquez-Salceda, Frank Dignum and Huib Aldewereld
11.00 - 11.30
Informed Deliberation during Norm-Governed Practical Reasoning
Timothy Norman and Martin Kollingbaum
11.30 - 12.00
Classifying and Describing Agent Contracts and Norms
Carlos Lucena and Viviane Torres da Silva
12.00 - 12.30
Verifying norm compliancy of protocols
Javier Vazquez-Salceda, Frank Dignum, John-Jules Ch. Meyer and Huib Aldewereld.
12.30 - 13.30
SESSION 3: FORMAL LANGUAGES & LOGICS (chair: Javier Vázquez Salceda)
13.30 - 14.00
A rule language for modelling and monitoring social expectations in multi-agent systems
Stephen Cranefield
14.00 - 14.30
Specifying Laws in Open Multi-Agent Systems
Gustavo Carvalho, Carlos Lucena, Paolo Alencar, Hyggo Almeda, Viviane Silva and Rodrigo Paes.
14.30 - 15.00
Design By Contract Deontic Design Language for Multiagent Systems
Christophe Garion and Leendert van der Torre
15.00 - 15.30
15.30 - 16.00
Specifying and Analysing Agent-based Social Institutions using Answer Set Programming
Owen Cliffe, Marina DeVos and Julian Padget.
16.00 - 16.30 Applying Normative Multiagent Systems -- A Case Study
Joris Hulstijn, Yao-Hua Tan, Leendert van der Torre and Guido Boella
16.30 - 17.00
Computational Institutions for modelling Norm-Regulated MAS: an approach based on coordination artifacts
Andrea Omicini, Enrico Denti and Rossella Rubino
17.00 - 17.30
An Event Driven Approach to Norms in Artificial Institutions
Nicoletta Fornara, Marco Colombetti and Francesco Viganó
Closing of ANIREM


Workshop Co-Chairs:

Gabriela Lindemann. Humboldt University, Berlin, Germany
Sascha Ossowski. University Rey Juan Carlos, Madrid, Spain
Julian Padget. University of Bath, UK
Javier Vázquez Salceda. Utrecht University, The Netherlands

Program Committee:

Cristiano Castelfranchi NRC Rome, Italy
Rosaria Conte NRC Rome, Italy
Ulises Cortes Polytechnic University of Catalonia, Spain
Paul Davidsson BTH, Sweden
Marina De Vos University of Bath, UK
Frank Dignum University of Utrecht, The Netherlands
En Hong Chen University of Science and Technology, China
Tom van Engers Free University of Amsterdam, The Netherlands
Fabiola Lopez Autonomous University of Puebla, Mexico
Mike Luck University of Southampton, UK
Thomas Malsch Tech. University Hamburg-Harburg, Germany
John-Jules Meyer University of Utrecht, The Netherlands
Pablo Noriega IIIA, CSIC, Spain
James Odell Agentis, USA
Andrea Omicini University of Bologna, Italy
Mario Paolucci ISTC/CNR, Rome, Italy
Paolo Petta Austrian Research Institute for AI, Austria
Juan-Antonio Rodriguez-Aguilar IIIA, CSIC, Spain
Ingo Schulz-Schaeffer Tech. University of Berlin, Germany
Juan-Manuel Serrano University Rey Juan Carlos, Madrid, Spain
Phillip Sheu University of California, USA
Jaime Sichman University of Sao Paulo, Brazil
Carles Sierra IIIA, CSIC, Spain
Mihaela Ulieru University of Calgary, Canada
Wamberto Vasconcelos University of Aberdeen, UK
Harko Verhagen Stockholm University, Sweden