<![CDATA[<body bgcolor="#FFFFFF">
<center>
<table width="95%" border="1" bordercolor="#000099" bgcolor="#000099" bordercolorlight="#000099" bordercolordark="#000099" background="Paper1.gif">
<tr background="Paper1.gif" bordercolor="#000099">
<td>
<p align="center"><font size="1"><br></font>
<font color="#CC0000" size="5" face="Arial, Helvetica,
sans-serif"><b>Sixth
International Workshop on<br>Deontic Logic in Computer Science</b></font></p>
<p align=center><font color="#000099" size="3" face="Arial, Helvetica, sans-serif"><b>Imperial
College, London, UK</b></font></p>
<p align=center><font color="#000099" size="3" face="Arial, Helvetica,
sans-serif">16th
to 18th July, 2002<br> </font></p></td>
</tr>
</table>
</center>
<p> </p>
<table width="75%" border="0" align="center">
<tr>
<td>
<div align="center"><b><font face="Arial, Helvetica, sans-serif"><a href="#org">ORGANISATION</a></font></b></div>
</td>
<td>
<div align="center"><b><font face="Arial, Helvetica, sans-serif"><a href="#call">CALL
FOR PAPERS</a></font></b></div>
</td>
</tr>
</table>
<blockquote>
<p><font color="#000099">
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.
<p>
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.
</p>
</blockquote>
he Program Committee invites papers concerned with:
<table width=600>
<tr><td><font color="#000099" face="Arial, Helvetica, sans-serif">
<UL>
<LI> 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
<LI> the formal analysis of normative concepts and normative systems
<LI> the formal representation of legal knowledge
<LI> the formal specification of aspects of norm-governed multi-agent
systems and autonomous agents, including (but not confined to) the
representation of <i>rights</i>, <i>authorisation</i>,
<i>delegation</i>, <i>power</i>,
<i>responsibility</i> and <i>liability</i>
<LI> the formal specification of normative systems for the management of
bureaucratic processes in public or private administration
<LI> applications of normative logic to the specification of database
integrity constraints
<LI> applications of normative logic to the specification of computer
security protocols
<LI> normative aspects of protocols for communication, negotiation and
multi-agent decision making.
</UL>
</font>
</td>
</tr>
</table>
<p>
<b><i><font color="#990000"><font size=+1>
Submission details
</font></font></i></b>
<p>
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:
<p>
<table align=center font color="#990000">
<tr>
<td valign=top font color="#990000">
<font color="#990000"><b>
John Horty<br>
Institute for Advanced Computer Studies<br>
AV Williams Building<br>
University of Maryland<br>
College Park, MD 20742<br>
USA<br>
<a href="mailto:horty@umiacs.umd.edu">
<font color="#990000">
horty@umiacs.umd.edu
</font>
</a>
</b>
</font>
</td>
<td> </td>
<td valign=top font color="#990000">
<font color="#990000"><b>
Andrew J I Jones<br>
Department of Philosophy <br>
University of Oslo<br>
PB 1024 Blindern<br>
N-0315 Oslo<br>
Norway<br>
<a href="mailto:andrew.jones@filosofi.uio.no">
<font color="#990000">
andrew.jones@filosofi.uio.no
</font>
</a>
</b>
</font>
</td>
</tr>
</table>
<p>
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.
<p>
<b><i><font color="#990000"><font size=+1>
Key dates
</font></font></i></b>
<UL>
<LI> Deadline for submission of papers:
<font color="#990000"><b>1st September, 2001</b></font>
<LI> Notification of decision to authors:
<font color="#990000"> <b>31st October, 2001</b></font>
<LI> Deadline for submission of camera-ready workshop version:
<font color="#990000"><b> 14th December, 2001</b></font>
<LI> Workshop begins:
<font color="#990000"><b> 16th January, 2002</b></font>
</UL>
<b><i><font color="#990000"><font size=+1>
Proceedings and publication</font></font></i></b>
<p>
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.
</p>
</blockquote>
<p>
<blockquote>
<b><i><font color="#990000"><font size=+1>
Proceedings and publication</font></font></i></b>
<p>
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.
</p>
<b><i><font color="#990000"><font size=+1>
Chair of Organising Committee</font></font></i></b>
<p>
Marek Sergot<br>
Department of Computing<br>
Imperial College of Science,
Technology and Medicine<br>
University of London<br>
<a href="mailto:mjs@doc.ic.ac.uk">
mjs@doc.ic.ac.uk</a><br>
</blockquote>
</body>]]>