The biannual DEON workshops are intended to promote research and cooperation in a rapidly expanding interdisciplinary area, linking the formal study of normative concepts and normative systems with computer science and artificial intelligence. This area now commands the attention of a variety of researchers: some are interested in formal analyses of normative concepts and normative systems per se, such as legal theorists, deontic logicians and formal semanticists, and some are interested in applications of such analyses in AI models of normative reasoning, or in formal models of norm-governed behaviour of computer systems (including their interaction with humans and other computer systems). So far four DEON workshops have been held: in Amsterdam, December 1991, Oslo, January 1994, Sesimbra, January 1996 and Bologna, January 1998. With the fifth edition (DEON '00) we hope to further the development of this exciting interdisciplinary field. We intend to have the proceedings from the workshop published by an international publisher. Preprints will be distributed at the workshop.

The Program Committee invites papers concerned with:

• the theoretical aspects of the logical study of normative reasoning, including
  • formal systems of deontic logic, the logic of action, and other areas of logic related to normative reasoning
  • formal analysis of normative concepts and normative systems
  • the problems of conditionality in the logic of norms
• the logical aspects of artificial-intelligence models of normative reasoning, for example,
  • formal representation of legal knowledge, contracts, and other regulations,
  • formal analysis of defeasible normative reasoning
• the application of logical systems to normative aspects of computer science and public or private administration, for example,
  • formal specification of normative systems comprising artificial and human components,
  • formal specification of systems for management of bureaucratic processes,
  • formal analysis of database integrity constraints and security,
  • formal representation of agency, norm-governed interaction, power, authorization, delegation, and responsibility
  • deontic aspects of protocols for communication, negotiation and multi-agent decision making.

Submission details

Authors are invited to submit five hard copies or one electronic PostScript version of original, unpublished papers, written in English, and not exceeding 7500 words, to the address specified below. Each copy must have an initial page containing: paper title; names, addresses, and if possible email addresses and FAX numbers of all authors; an abstract of no more than 10 lines; and a list of content areas.

Authors wishing blind reviewing of their paper should make the initial page separate from the rest of the paper, and start the second page with the same title, abstract and list of content areas, but with no self-identifying references from that page forward.

Address for paper submissions

Hard copies: Robert Demolombe, ONERA, 2 Avenue E. Belin B.P. 4025, 31055 Toulouse, France
Postscript version: Robert.Demolombe@cert.fr

Important dates

Deadline for submission of papers: May 17, 1999
Notification of acceptance: July 16, 1999
Camera ready papers: October 18, 1999

Program committee co-chairs

Program committee

Layman Allen             (University of Michigan)


Jose Carmo               (Technical University Lisbon)


Cristiano Castelfranchi  (CNR Roma)


Frederic Cuppens         (ONERA Toulouse)


Frank Dignum             (Technical  University Eindhoven)


Dov Gabbay               (King's College London)


Andrew J.I.Jones         (University of Oslo)


Ronald Lee               (Erasmus University Rotterdam)


David Makinson           (UNESCO France)


Paul McNamara            (University of New Hampshire)


Donald Nute              (University of Georgia)


Henry Prakken            (Utrecht University)


Giovanni Sartor          (Queen's University Belfast, IGD-CNR Florence)


Marek Sergot             (Imperial College London)

Invited speakers

Cristiano Castelfranchi  (CNR Roma)


John Horty               (University of Maryland)


Lars Lindahl             (University of Lund)      and
Jan Odelstad             (University of Uppsala)


Henry Prakken            (Utrecht University)