The biennial DEON workshops promote research and cooperation in a rapidly expanding interdisciplinary area, linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, organisation theory and law. In addition, there is currently a growing interest in this field from researchers in multi-agent systems and autonomous agents.

There have been five previous DEON workshops: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000. Selected papers from each of these workshops have been published internationally.

Workshop topics:

• the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other areas of logic related to normative reasoning
• the formal analysis of normative concepts and normative systems
• the formal representation of legal knowledge
• the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not confined to) the representation of rights, authorisation, delegation, power, responsibility and liability
• the formal specification of normative systems for the management of bureaucratic processes in public or private administration
• applications of normative logic to the specification of database integrity constraints
• applications of normative logic to the specification of computer security protocols
• normative aspects of protocols for communication, negotiation and multi-agent decision making.

Proceedings and publication

Copies of the Workshop Proceedings will be made available to all participants. It is anticipated that revised versions of selected papers from the workshop will be published in an international journal or series.