Logic List Mailing Archive

DEON 2012: Deontic Logic in Computer Science

16-18 July 2012
Bergen, Norway

DEON 2012
       11th International Conference on Deontic Logic in Computer Science
                                 16-18 July 2012
                      University of Bergen, Bergen, Norway

            http://dl.dropbox.com/u/596427/deon12/DEON_2012/Home.html


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, organization theory and law.

In addition to these general themes, DEON2012 will encourage a special focus
on the topic:

                         Deontic Logic and Social Choice

There have been nine 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,
Luxembourg, July 2008, Fiesole 2010.

Selected papers from the conference will be published in a special issues of
Journal of Logic and Computation, and/or the Journal of Applied Logic

General Themes
==============

The Program Committee invites papers concerned with the following topics:

- 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

Deontic Logic and Social Choice
===============================

DEON2012's special theme is "Deontic Logic and Social Choice". Topics of
interest in this special theme include, but are not limited to:

- 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

We welcome both theoretical work (formal models, representations, logics,
specifications, verification) and implementation-oriented work (archi-
tectures, programming languages, design models, simulations, prototype
systems) on these specific topics.

Submission Details
==================

Authors are invited to submit an original, previously unpublished, research
paper pertaining to any of these topics. The paper should be in English, and
should be no longer than 15 pages when formatted according the LNCS
specifications (http://www.springer.de/comp/lncs/authors.html). The first page
should contain the full name and contact information for at least one of the
authors, and it should contain an abstract of no more than ten lines. Authors
should submit their papers electronically using the submission system at

              http://www.easychair.org/conferences/?conf=deon2012

Each submitted paper will be carefully peer-reviewed by a panel of PC member
based on originality, significance, technical soundness, and clarity of
exposition and relevance for the conference.

For each accepted paper, at least one author is required to register for the
conference and should plan to present the paper.

Publication
===========

The selected papers will be published in book form in the Springer Lecture
Notes in Computer Science (LNCS) series (approval pending). Copies of the
conference proceedings, will be provided to all participants.

Important Dates
===============

Abstract Submission Deadline:    February 27, 2012
Paper Submission Deadline:       March 5, 2012
Notification:                    April 9, 2012
Camera Ready:                    April 23, 2012

Program Chairs
==============

Thomas Agotnes, University of Bergen
Jan Broersen, Utrecht University
Dag Elgesem, University of Bergen