Date: Wed, 4 Jan 1995 13:44:08 +0100 To: amast@cs.utwente.nl From: Jose.Luiz.Fiadeiro@di.fc.ul.pt (Jose Luiz Fiadeiro) Subject: DEON'96 Dear colleagues I am enclosing the annoucement of a workshop that I am organising and that I think will be of interest to AMAST readers. Happy New Year Jose Fiadeiro --------------------------------------------------------------------------- THIRD INTERNATIONAL WORKSHOP ON DEONTIC LOGIC IN COMPUTER SCIENCE (DEON '96) Lisbon, Portugal, 11-13 January, 1996 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 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)