[107874] in Cypherpunks
[PNS-List] CFP: Deontic Logic in Computer Science - DEON 2000
daemon@ATHENA.MIT.EDU (Robert Hettinga)
Wed Jan 27 08:55:31 1999
Date: Wed, 27 Jan 1999 08:03:48 -0500
To: cypherpunks@cyberpass.net
From: Robert Hettinga <rah@shipwright.com>
Reply-To: Robert Hettinga <rah@shipwright.com>
--- begin forwarded text
Mailing-List: contact pns-list-owner@egroups.com
Reply-To: pns-list@egroups.com
Delivered-To: listsaver-egroups-PNS-List@eGroups.com
Date: Mon, 25 Jan 1999 12:47:45 -0500
From: "Philosophy News Service List Mgr. [richard jones]"
<richard@PhilosophyNews.com>
Organization: http://www.PhilosophyNews.com
To: Philosophy News Service List <PNS-List@egroups.com>
Subject: [PNS-List] CFP: Deontic Logic in Computer Science - DEON 2000
Subject: CFP DEON'00
Date: Mon, 25 Jan 1999 04:06:29 -0500 (EST)
From: Frederic.Cuppens@cert.fr (Frederic Cuppens)
- Our apologies if you receive multiple copies of this message -
----------------------------------------------------------------------
*********** Call for papers ************
Fifth International Workshop on Deontic Logic
in Computer Science
(DEON '00)
20-22 January, 2000
Toulouse, France
http://www.cert.fr/deon00
----------------------------------------------------------------------
The biannual DEON workshops are intended to promote research and
cooperation in a rapidly expanding interdisciplinary area, linking the
formal study of normative concepts and normative systems with computer
science and artificial intelligence.
This area now commands the attention of a variety of researchers: some
are interested in formal analyses of normative concepts and normative
systems per se, such as legal theorists, deontic logicians and formal
semanticists, and some are interested in applications of such analyses
in AI models of normative reasoning, or in formal models of
norm-governed behaviour of computer systems (including their
interaction with humans and other computer systems).
So far four DEON workshops have been held: in Amsterdam, December
1991, Oslo, January 1994, Sesimbra, January 1996 and Bologna, January
1998. With the fifth edition (DEON '00) we hope to further the
development of this exciting interdisciplinary field.
We intend to have the proceedings from the workshop published by an
international publisher. Preprints will be distributed at the
workshop.
----------------------------------------------------------------------
The Program Committee invites papers concerned with:
- The theoretical aspects of the logical study of normative
reasoning, including:
formal systems of deontic logic, the logic of action, and other
areas of logic related to normative reasoning
formal analysis of normative concepts and normative systems
the problems of conditionality in the logic of norms
- The logical aspects of artificial intelligence models of
normative reasoning, for example,
formal representation of legal knowledge, contracts, and other
regulations,
formal analysis of defeasible normative reasoning
- The application of logical systems to normative aspects of computer
science and public or private administration, for example,
formal specification of normative systems comprising artificial
and human components,
formal specification of systems for management of bureaucratic
processes,
formal analysis of database integrity constraints and security,
formal representation of agency, norm-governed interaction,
power, authorization, delegation, and responsibility
deontic aspects of protocols for communication, negotiation and
multi-agent decision making.
Submission details
------------------
Authors are invited to submit five hard copies or one electronic
PostScript version of original, unpublished papers, written in
English, and not exceeding 7500 words, to the address specified below.
Each copy must have an initial page containing: paper title; names,
addresses, and if possible email addresses and FAX numbers of all
authors; an abstract of no more than 10 lines; and a list of content
areas.
Authors wishing blind reviewing of their paper should make the initial
page separate from the rest of the paper, and start the second page
with the same title, abstract and list of content areas, but with no
self-identifying references from that page forward.
Address for paper submissions
-----------------------------
Hard copies: Robert Demolombe, ONERA 2 Avenue E. Belin B.P. 4025,
31055 Toulouse, France
Postscript version: Robert.Demolombe@cert.fr
Important dates
---------------
Deadline for submission of papers: May 17, 1999
Notification of acceptance: July 16, 1999
Camera ready papers: October 18, 1999
Program committee co-chairs
----------------------------
Robert Demolombe,
ONERA,
Toulouse, France.
Tel. +33 5 62 25 26 50
Email: Robert.Demolombe@cert.fr
Risto Hilpinen,
Department of Philosophy, University of Miami,
Coral Gables, Florida, USA
Tel: +1 305 284 5305, +1 305 598 9515,
Email: hilpinen@miami.edu
Program committee
-----------------
Layman Allen (University of Michigan)
Jose Carmo (Technical University Lisbon)
Cristiano Castelfranchi (CNR Roma)
Frederic Cuppens (ONERA Toulouse)
Frank Dignum (Technical University Eindhoven)
Dov Gabbay (King's College London)
Andrew J.I.Jones (University of Oslo)
Ronald Lee (Erasmus University Rotterdam)
David Makinson (UNESCO France)
Paul McNamara (University of New Hampshire)
Donald Nute (University of Georgia)
Henry Prakken (Free University Amsterdam)
Giovanni Sartor (Queen's University Belfast, IGD-CNR Florence)
Marek Sergot (Imperial College London)
Invited speakers
----------------
Cristiano Castelfranchi (CNR Roma)
John Horty (University of Maryland)
Lars Lindahl (University of Lund) and
Jan Odelstad (University of Uppsala)
Henry Prakken (Free University Amsterdam)
------------------------------------------------------------------------
eGroup home: http://www.eGroups.com/list/pns-list
Free Web-based e-mail groups by eGroups.com
--- end forwarded text
-----------------
Robert A. Hettinga <mailto: rah@philodox.com>
Philodox Financial Technology Evangelism <http://www.philodox.com/>
44 Farquhar Street, Boston, MA 02131 USA
"... however it may deserve respect for its usefulness and antiquity,
[predicting the end of the world] has not been found agreeable to
experience." -- Edward Gibbon, 'Decline and Fall of the Roman Empire'
