Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!newshost.marcam.com!news.kei.com!ub!acsu.buffalo.edu!rapaport
From: rapaport@cs.buffalo.edu (William J. Rapaport)
Subject: Deontic Logic
Message-ID: <D1zvKo.MAx@acsu.buffalo.edu>
Sender: nntp@acsu.buffalo.edu
Nntp-Posting-Host: adara.cs.buffalo.edu
Organization: State University of New York at Buffalo/Computer Science
Date: Fri, 6 Jan 1995 17:36:23 GMT
Lines: 152

-------------------------------------------------------------------------
NOTE:  Do not use R, r, F, or f to reply to this message; 
       please send all inquiries to: jcc@inesc.pt, mabrown@mailbox.syr.edu
-------------------------------------------------------------------------

                          THIRD INTERNATIONAL WORKSHOP 
                       ON DEONTIC LOGIC IN COMPUTER SCIENCE 
                                    (DEON '96)

                       Lisbon, Portugal, 11-13 January, 1996


                               FIRST CALL FOR PAPERS

Following the success of the first two workshops (DEON'91, Amsterdam,
December 1991, and DEON'94, Oslo, January 1994), it was agreed to
continue holding workshops at roughly two-year intervals, to promote
research and cooperation in this growing, interdisciplinary area.

The previous workshops have brought together people working on various
aspects of deontic logic and closely related areas of investigation,
and their applications in computer science and public and private 
administration. With the third workshop (DEON'96) we propose to broaden
the emphasis slightly, to encourage --even more than in the past--
contributions on the logic of action and its applications, and to
encourage participation by linguists. 

The scientific program of the next workshop encompasses four invited
lectures as well as a number of submitted paper presentations, with extensive 
opportunities for informal discussion among the participants. Submitted papers 
will be published in a volume of Proceedings available at the workshop. The 
workshop is open to all those interested, subject to availability of places.

SCIENTIFIC CONTENTS OF THE WORKSHOP

The Program Committee seeks papers concerned with:
(a) any theoretical aspects of deontic logic and language
or 
(b) any aspects of the applications of deontic logic in computer
    science and in public or private administration.

In regard to (a), areas of investigation include, but are not exhausted by, 
the following list of areas:
-- formal systems of deontic logic
-- formal systems of logic of action
-- other areas of logic, provided that their connections with deontic logic 
   are made clear
-- the syntax and/or semantics of normative language and legal language
-- the syntax and/or semantics of imperatives
-- the syntax and/or semantics of the language of action

In regard to (b), the areas of application of deontic logic in computer
science include, but are not necessarily exhausted by, the following list
of interrelated areas:
-- formal representation of legal knowledge and reasoning
-- formal analysis of database integrity constraints
-- formal specification of normative systems, comprising artificial and/or
   human components
-- aspects of security
-- formal specification of contracts
-- formal specification of systems for the management of the bureaucratic
   processes
-- formal representation of agency and of norm-governed interaction
-- formal representation of power, delegation, authorization and
   responsibility
-- deontic aspects in communication

SUBMISSION OF PAPERS

Authors are invited to submit five hard copies of their papers, written
in English. Submitted papers should be unpublished and present original
work. Papers should be double-spaced and not exceed 20 pages,
and should be sent to one of the two co-chairs of the Program Committee 
(see below). Electronic submissions will not be accepted.

Submissions will be judged on significance, originality, quality and
clarity. Reviewing will be blind to the identities of the authors.
This requires that the authors exercise some care not to identify themselves 
in their papers. Any artificialities this introduces may be amended 
in the camera-ready copy after acceptance. 

Each copy of the paper must have a title page, separated from the body of the 
paper, including the title of the paper, the names and addresses of all 
authors (and, whenever possible, the e-mail address and FAX number), a list of 
content areas (see above) and any acknowledgments. The second page should 
include the same title, a brief abstract of no more than 10 lines, and the 
same list of content areas, but not the names or affiliations of the authors. 
This page may include text of the paper.

For more information please contact one of the two co-chairs of the Program 
Committee (see below). Please include your name, postal address, and e-mail 
and/or FAX address in all communications.

IMPORTANT DATES

Deadline for submission of papers:          May 15, 1995
Notification of acceptance:                July 15, 1995
Instructions for camera-ready copy:       August 1, 1995
Camera-ready version due:                October 1, 1995
Conference:                          January 11-13, 1996

PUBLICATION

The Workshop Proceedings will be available at the workshop itself. It is our 
hope that, as in the case of previous workshops, selected papers will also 
later be published in a major international journal or by a major 
international publisher. More information about this will be sent with the 
notification of acceptance.

                PROGRAM COMMITTEE CO-CHAIRS

Jose Carmo                              Mark Brown
Dept. of Mathematics                    Dept. of Philosophy
Instituto Superior Tecnico              Syracuse University
Av. Rovisco Pais                        541 Hall of Languages
1096 Lisboa Codex                       Syracuse, NY 13244-1170
Portugal                                USA

e-mail: jcc@inesc.pt                    e-mail: mabrown@mailbox.syr.edu

telephone: 351-1-8417141                telephone: 315-443-2536
fax: 351-91-230243                      fax: 315-443-5675

PROGRAM COMMITTEE

Frederic Cuppens (ONERA-CERT, Toulouse, France)
Jose Fiadeiro (FCUL, Lisbon, Portugal)
Risto Hilpinen (University of Turku, Finland)
John Horty (University of Maryland, College Park, MD, USA)
Tom Maibaum (Imperial College of Science and Technology, London, UK)
John-Jules Meyer (Utrecht University, Utrecht, Holland)
Henry Prakken (Free University, Amsterdam, Holland)
Martin Sadler (Hewlett-Packard, Bristol, UK)
Giovanni Sartor (University of Bologna, Bologna, Italy)
Krister Segerberg (University of Uppsala, Uppsala, Sweden)
Kazimierz Swirydowicz (Poznan University, Poznan, Poland)
Richmond Thomason (University of Pittsburgh, Pittsburgh, PA, USA)
Roel Wieringa (Free University, Amsterdam, Holland)

CHAIR OF THE ORGANIZING COMMITTEE

Jose Fiadeiro (Portugal)

INVITED SPEAKERS

Nuel Belnap (University of Pittsburgh, Pittsburgh, PA, USA)
Brian Chellas (University of Calgary, Calgary, Canada)
Andrew Jones (University of Oslo, Oslo, Norway)
Marek Sergot (Imperial College of Science and Technology, London, UK)

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

