posted by system || 3496 views || tracked by 4 users: [display]

DEON 2008 : Ninth International Conference on Deontic Logic in Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Deontic Logic in Computer Science
 
Link: http://deon2008.uni.lu/
 
When Jul 15, 2008 - Jul 18, 2008
Where Luxembourg
Submission Deadline Jan 11, 2008
Categories    computation theory   logic   computer science
 

Call For Papers

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON2008 will encourage a special focus on the topic Security and Trust.

There have been eight previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006. Selected papers from each of these conferences have been published internationally.
General themes

The Program Committee invites papers concerned with the following topics:

* the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic
* the formal analysis of normative concepts and normative systems
* the formal representation of legal knowledge
* the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorisation, delegation, power, responsibility and liability
* the 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
* normative aspects of protocols for communication, negotiation and multi-agent decision making

Specific Security and Trust themes

DEON2008 has a special focus on logical approaches to deontic notions in computer science in security and trust, encompassing applications in e-commerce as well as traditional areas of computer security. Topics of interest in this special theme include, but are not limited to:

* digital rights management
* electronic contracts, including:
o service level agreements
o digital media licenses
* authorization
* access control
* security policies
* privacy policies
* business processes
* regulatory compliance

We welcome both theoretical work (formal models, representations, specifications, logics, verification) and implementation-oriented work (architectures, programming languages, design models, simulations, prototype systems) on these specific topics.
Submission details

Authors are invited to submit an original, previously unpublished, research paper pertaining to any of these topics. The paper should be in English, and should be no longer than 15 pages, or approximately 7500 words. The first page should contain the full name and contact information for at least one of the authors, and it should contain an abstract of no more than ten lines. Authors should submit their papers electronically, in either .pdf or .ps format.

Authors should consult the instructions on the website for submitting their papers electronically. (Anyone who is unable to send the paper electronically and wishes to submit hard copies should inquire for details from one of the program co-chairs at the addresses given below.) Authors are especially encouraged to use the Springer LNCS styles if possible; these are available at http://www.springer.de/comp/lncs/authors.html. The deadline for submission is 11 January 2008.
Timetable

* 11 January 2008: submission deadline
* 22 February 2008: notification of acceptance
* 21 March 2008: deadline for final, camera-ready versions
* 15 July 2008: NORMAS 2008 workshop
* 16??18 July 2008: DEON'08 conference

Publication

Copies of the workshop proceedings, will be provided to all participants. The proceedings will be published with Springer in their LNCS/LNAI series. In addition, revised versions of selected papers from the workshop will be published in a special issue of the Journal of Applied Logic (Elsevier).

Related Resources

SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
SI-DAMLE 2020   Special Issue on Data Analytics and Machine Learning in Education
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
ICFSP--IEEE, Ei, Scopus 2021   IEEE--2021 6th International Conference on Frontiers of Signal Processing (ICFSP 2021)--Ei Compendex, Scopus
FCSIT 2020   2020 2nd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
CCVPR 2020   2020 3rd International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2020)