<![CDATA[
<table style="width: 800px; height: 100%; background-color: rgb(255, 255, 255); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14px;" border="0" bordercolor="#000000" cellpadding="6" cellspacing="2">
<tbody>
<tr>
<td>
<hr>
<big><big><b>Eighth
International Workshop on Deontic Logic in Computer Science (DEON'06)</b></big></big><br>
<big>Utrecht, The Netherlands, 12, 13 and 14 July, 2006</big><br>
<hr>
<br>
<b>The biennial DEON workshops are designed to promote
cooperation among scholars across disciplines who are
interested in deontic logic and its use in computer science.
These workshops traditionally support research linking the
formal-logical study of normative concepts and
normative systems with computer science, artificial
intelligence, philosophy, organisation theory and law.
In addition to these general themes, DEON2006 will
encourage a special focus on the topic</b>
<br>
<br>
<br>
Artificial Normative Systems
<br>
<br>
There have been seven previous DEON workshops: Amsterdam,
December 1991; Oslo, January 1994; Sesimbra, January 1996;
Bologna, January 1998; Toulouse, January 2000; London,
May 2002; Madeira, May 2004. Selected papers from each
of these workshops have been <a href="publications.html">published
internationally</a>.
<br>
<br>
<br>
<br>
WORKSHOP GENERAL THEMES:
<br>
<ul>
<li>the logical study of normative reasoning, including formal
systems of deontic logic, defeasible normative reasoning, the logic of
action, and other related areas of logic,
</li>
<li>the formal analysis of normative concepts and
normative systems,
</li>
<li>the formal representation of legal knowledge,
</li>
<li>the formal specification of aspects of norm-governed
multi-agent systems and autonomous
agents, including (but not limited to) the
representation of rights, authorisation,
delegation, power, responsibility and liability,
</li>
<li>the formal specification of normative systems
for the management of bureaucratic processes
in public or private administration,
</li>
<li>applications of normative logic to the specification
of database integrity constraints,
</li>
<li>applications of normative logic to the specification
of computer security protocols,
</li>
<li>normative aspects of protocols for communication,
negotiation and multi-agent decision making.
</li>
</ul>
Workshop specific theme:
<br>
<br>
ARTIFICIAL NORMATIVE SYSTEMS
<br>
<br>
DEON2006 has a special focus on deontic notions in the theory,
specification and implementation of artificial normative systems,
such as electronic institutions, norm-regulated multi-agent systems,
and artificial agent societies more generally. We also invite studies
of hybrid systems, incorporating both human and computer-based
agents. Topics of interest in this special theme include, but are not
limited to:
<br>
<ul>
<li>normative systems
</li>
<li>regulated multi-agent systems
</li>
<li>norms in agent societies
</li>
<li>normative agents
</li>
<li>(electronic) institutions
</li>
<li>virtual organisations
</li>
<li>contracts, laws, regulations in artificial societies
</li>
<li>norm violation and punishment
</li>
<li>norm verification
</li>
</ul>
<hr>
</td>
</tr>
</tbody>
</table>
<br><a href="location.html">Venue</a>
<br><a href="cfp.html">Call for papers</a>
<br><a href="organization.html">Organization</a>
<br><a href="links.html">Links</a>
keywords: deon, deon 2006, artificial normative systems, conditional obligations, normative reasoning, deon06, obligations, prohibitions, commitments, deon 06, deon '06, deontic reasoning, deontic logic, CTDs, logic of norms, logic of norm propositions, workshop, conference, permissions, normative systems, deon2006, normative logic, deon'06, contrary to duty, CTD, violations
]]>