Ninth International Conference on Deontic Logic in Computer Science (DEON'08)

Luxembourg, 15–18 July, 2008

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law.

Have a look at the photo journal of NorMAS and DEON 2008.


This edition's special focus (see the call for papers):

Security and Trust

All accepted papers are published in Springer's LNCS series, volume 5076 (online edition).

Selected and revised papers will be published in the Journal of Applied Logic.


DEON'08 is supported by the strategic priority P1 on security and reliability of the University of Luxembourg and the Fonds National de la Recherche Luxembourg.

There have been eight previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004, Utrecht, July 2006. Selected papers from each of these workshops have been published internationally.