Atlas home || Conferences | Abstracts | about Atlas


Fifth International Workshop on Deontic Logic in Computer Science (DEON '00)

January 20-22, 2000

Toulouse, France

Mathematics

Host: ONERA
Homepage: http://www.cert.fr/deon00/
Email: deon00@cert.fr

Organizers: Laurence Cholvy, Frederic Cuppens, Claire Saurel

Description:
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).

Date received: November 22, 1999


© 2008 Atlas Conferences Inc.