A call for papers — with abstract submission deadline of 27 February 2012 and full paper submission deadline of 5 March 2012 — has been issued for DEON 2012: The 11th International Conference on Deontic Logic in Computer Science, to be held 16-18 June 2012, at the University of Bergen, in Bergen, Norway.
Papers are invited on general topics, and on the “special theme” of “Deontic Logic and Social Choice.” The general topics are:
- the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic;
- the formal analysis of normative concepts and normative systems;
- the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability;
- normative aspects of protocols for communication, negotiation and multi-agent decision making;
- the formal representation of legal knowledge;
- 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.
The special theme topics are:
- Normative system selection and optimization
- Merging and aggregation of norms
- Compliance and enforcement strategies for norms
- Game theoretic aspects of deontic reasoning
- Norms, culture and and shared values
- Violation detection and norm creation mechanisms
- Simulation of dynamics in normative systems
- Emergence of norms
- Norm change
For more information, please see the call for papers.