- Email: [email protected]
Third international workshop on deontic logic in computer science (DEON'96)
[ DATA &
KNOWLEDGE ENGINEERING
ELSEVIER
Data & Knowledge Engineering 15 (1995) 103-104
Conference announcement
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 co-operation in this growing interdisciplinary area. The previous workshops have brought together people working in 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 e n c o u r a g e - e v e n more than in the p a s t contributions on the logic of action and its applications, and to encourage participation by linguists. The Program Committee seeks papers concerned with: (a) any theoretical aspects of deontic logic and language, including: • formal systems of deontic logic, logic of action, or other areas of logic, provided that their connections with deontic logic are made clear • the syntax and/or semantics of normative language, legal language, imperatives, or the language of action or (b) any aspects of the applications of deontic logic in computer science and in public or private administration, including: • formal representation of legal knowledge and reasoning, or of contracts • formal analysis of database integrity constraints or aspects of security • formal specification of normative systems, comprising artificial and/or human components • formal specification of systems for the management of the bureaucratic processes • formal representation of agency, norm-governed interaction, power, delegation, authorisation and responsibility • deontic aspects in communication. Authors are invited to submit five hard copies of original, unpublished papers, written in English, double-spaced and not exceeding 20 pages, to one of the two co-chairs of the Elsevier Science B.V. SSDI: 0169-023X(95)00003-8
104
Conference announcement / Data & Knowledge Engineering 15 (1995) 103-104
Program Committee. Electronic submissions will not be accepted. Each copy must have a separate title page, containing: paper title; names, addresses, and if possible Email addresses and Fax numbers of all authors; and a list of content areas. The second page should include the same title, an abstract of no more than 10 lines, and the same list of content areas, but not the names or affiliations of the authors. The Workshop Proceedings will be available at the workshop. Important dates: Deadline for submission of papers: May 15, 1995; notification of acceptance: July 15, 1995; workshop: January 11-13, 1996 Program Committee Co-chairs:
• Mark Brown, Dept. of Philosophy, Syracuse University, 541 Hall of Languages, Syracuse, NY 13244-1170, USA (Email: [email protected]; phone: 315-443-2536; fax: 315443-5675) • Jose Carmo, Dept. of Mathematics, Instituto Superior T6cnico, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal (Email: [email protected]; phone: 351-1-8417141; fax: 351-91-230243). Program committee: Frederic Cuppens (France), Jose Fiadeiro (Portugal), Risto Hilpinen (Finland), John Horty (USA), Tom Maibaum (UK), John-Jules Meyer (Holland), Martin Sadler (UK), Giovanni Sartor (Italy), Krister Segerberg (Sweden), Kazimierz Swirydowicz (Poland), Richmond Thomason (USA), and Roel Wieringa (Holland). Invited speakers: Nuel Belnap (USA), Brian Chellas (Canada), Andrew Jones (Norway), and Marek Sergot (UK).
KNOWLEDGE ENGINEERING
ELSEVIER
Data & Knowledge Engineering 15 (1995) 103-104
Conference announcement
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 co-operation in this growing interdisciplinary area. The previous workshops have brought together people working in 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 e n c o u r a g e - e v e n more than in the p a s t contributions on the logic of action and its applications, and to encourage participation by linguists. The Program Committee seeks papers concerned with: (a) any theoretical aspects of deontic logic and language, including: • formal systems of deontic logic, logic of action, or other areas of logic, provided that their connections with deontic logic are made clear • the syntax and/or semantics of normative language, legal language, imperatives, or the language of action or (b) any aspects of the applications of deontic logic in computer science and in public or private administration, including: • formal representation of legal knowledge and reasoning, or of contracts • formal analysis of database integrity constraints or aspects of security • formal specification of normative systems, comprising artificial and/or human components • formal specification of systems for the management of the bureaucratic processes • formal representation of agency, norm-governed interaction, power, delegation, authorisation and responsibility • deontic aspects in communication. Authors are invited to submit five hard copies of original, unpublished papers, written in English, double-spaced and not exceeding 20 pages, to one of the two co-chairs of the Elsevier Science B.V. SSDI: 0169-023X(95)00003-8
104
Conference announcement / Data & Knowledge Engineering 15 (1995) 103-104
Program Committee. Electronic submissions will not be accepted. Each copy must have a separate title page, containing: paper title; names, addresses, and if possible Email addresses and Fax numbers of all authors; and a list of content areas. The second page should include the same title, an abstract of no more than 10 lines, and the same list of content areas, but not the names or affiliations of the authors. The Workshop Proceedings will be available at the workshop. Important dates: Deadline for submission of papers: May 15, 1995; notification of acceptance: July 15, 1995; workshop: January 11-13, 1996 Program Committee Co-chairs:
• Mark Brown, Dept. of Philosophy, Syracuse University, 541 Hall of Languages, Syracuse, NY 13244-1170, USA (Email: [email protected]; phone: 315-443-2536; fax: 315443-5675) • Jose Carmo, Dept. of Mathematics, Instituto Superior T6cnico, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal (Email: [email protected]; phone: 351-1-8417141; fax: 351-91-230243). Program committee: Frederic Cuppens (France), Jose Fiadeiro (Portugal), Risto Hilpinen (Finland), John Horty (USA), Tom Maibaum (UK), John-Jules Meyer (Holland), Martin Sadler (UK), Giovanni Sartor (Italy), Krister Segerberg (Sweden), Kazimierz Swirydowicz (Poland), Richmond Thomason (USA), and Roel Wieringa (Holland). Invited speakers: Nuel Belnap (USA), Brian Chellas (Canada), Andrew Jones (Norway), and Marek Sergot (UK).