CFP: Deontic Logic and Social Choice (DEON 2012)

Submission deadline: March 15, 2012

Conference date(s):
July 16, 2012 - July 18, 2012

Go to the conference's page

Conference Venue:

Bergen University
Bergen, Norway

Topic areas

Details

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.

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 (architectures, 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:    March 15, 2012
Paper Submission Deadline:       March 5, 2012
Notification: April 9, 2012
Camera Ready:                     April 23, 2012

Supporting material

Add supporting material (slides, programs, etc.)