Call for Papers


The Program Committee invites papers concerned with:
  • 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.

Submission details

Authors are invited to submit three hard copies or one electronic PostScript version of original, previously unpublished papers, written in English, and not exceeding 7500 words, to each of the Programme Committee Co-chairs at the following addresses:

John Horty
Institute for Advanced Computer Studies
AV Williams Building
University of Maryland
College Park, MD 20742
USA
horty@umiacs.umd.edu 		          Andrew J I Jones
Department of Computer Science
King's College, London
The Strand
London WC2R 2LS
United Kingdom
ajijones@dcs.kcl.ac.uk

Each paper should have a cover page with the paper's title, the names, addresses and e-mail addresses of each author, and an abstract of about ten lines.

Key dates

Please note new dates !!

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.