CfP: DEON04

---------------------------------------------------------------------

                  Apologies for multiple postings.

---------------------------------------------------------------------




                          Call for Papers

                                DEON04

                 Seventh International Workshop on
                 Deontic Logic in Computer Science

                       Workshop special theme:
               Deontic Logic and Multi-Agent Systems

                  Madeira, Portugal - 26-28 May, 2004

                   http://www.dcs.kcl.ac.uk/deon04


The workshop aims at bringing together researchers interested in
topics related to the use of deontic logic in computer science. The
DEON workshops traditionally promote research in the relationship
between normative concepts and computer science, artificial
intelligence, organisation theory and law. In addition to this, DEON04
will strive to have a special emphasis on the relationship between
deontic logic and multi-agent systems.

There have been six previous DEON workshops: Amsterdam, December
1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January
1998; Toulouse, January 2000; London, April 2002. Selected papers from
each of these workshops have been published internationally.

WORKSHOP SPECIFIC THEMES

Submissions are invited on all themes related to the use of deontic
logic in Computer Science.  Particular attention will be given to
papers relating to the following specific themes:

     * Deontic logic for the specification and verification of
       multi-agent systems: theorem proving and model checking.

     * Formal aspects of norm-governed multi-agent systems, including
       the representation of obligation, commitments, rights,
       authorisation, delegation, power, responsibility and liability.

     * Normative aspects of communication and negotiation protocols in
       multi-agent systems.

     * Deontic formalisms for the specification and verification of
       security in multi-agent systems.

     * Logical study of normative reasoning, including formal systems
       of deontic logic, defeasible normative reasoning, the logic of
       action, and other areas of logic related to normative reasoning.

     * Formal analysis of normative concepts and normative systems.

     * Formal representation of legal knowledge.

     * 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.


INVITED SPEAKERS

     * Mark Brown, Syracuse University
     * Mike Wooldridge, University of Liverpool


PROGRAM COMMITTEE

     * Laurence Cholvy, ONERA Toulouse
     * Marco Colombetti, Politecnico di Milano
     * Frederic Cuppens, ENST-Bretagne in Rennes
     * Robert Demolombe, ONERA Toulouse
     * Frank Dignum, University of Utrecht
     * Lou Goble, Willamette University
     * Guido Governatori, University of Queensland
     * Sven Ove Hansson,  KTH Stockholm
     * John Horty, University of Maryland
     * Andrew Jones, King's College London
     * Steve Kimbrough, University of Pennsylvania
     * Lars Lindahl, University of Lund
     * Tom Maibaum, King's College London
     * Paul McNamara, University of New Hampshire
     * David Makinson, King's College London
     * Ron van der Meyden, University of New South Wales
     * John-Jules Meyer, University of Utrecht
     * Jeremy Pitt, Imperial College London
     * Henry Prakken, University of Utrecht
     * Giovanni Sartor, University of Bologna
     * Marek Sergot, Imperial College London
     * Leon van der Torre, CWI Amsterdam
     * Lennart Åqvist, Uppsala University


PUBLICATION DETAILS

Proceedings of the workshop will be published by Springer as an LNCS/LNAI
volume and will be distributed at the workshop.

Authors of a selected number of papers will subsequently be invited to
submit an extended version of their articles to a special issue of the
Journal of Applied Logic, Elsevier.

SUBMISSIONS AND TIMETABLE

Those wishing to participate in the workshop are invited to submit an
original research paper of up to 15 pages or about 7500 words. The
first page of the submission should include the full name and contact
details of at least one author.  Authors are kindly invited to use,
whenever possible, the Springer LNCS styles available from
http://www.springer.de/comp/lncs/authors.html.  Submissions, either in
PDF or in PS format, should be sent to 
deon04-XAXsA+cbqnuG9ocFHMFucg@xxxxxxxxxxxxxxxx

The timetable for the workshop is as follows:

     23 January 2004: Submission deadline
     27 February 2004: Notification of acceptance
     26 March 2004: Final versions due
     26-28 May 2004: Workshop


PROGRAMME CO-CHAIRS

     * Alessio Lomuscio, King's College London
     * Donald Nute, University of Georgia


ORGANISING COMMITTEE

     * Jose' Carmo, University of Madeira - local organisation chair
     * Eduardo Ferme', University of Madeira
     * Filipe Santos, ISCTE Portugal
--------------------------------------------------------------------------
To subscribe or unsubscribe yourself from
dbworld, send a msg to majordomo-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx with 
one of these lines:
subscribe dbworld OR unsubscribe dbworld
To find out more options send a msg with the line:
help
To post messages, go to URL www.cs.wisc.edu/dbworld
--------------------------------------------------------------------------