BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260611T184259Z
DTSTART;TZID=Europe/London:20120315T080000
DTEND;TZID=Europe/London:20120315T080000
SUMMARY:Deontic Logic and Social Choice
UID:20260617T222127Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/London
LOCATION:Bergen\, Norway
DESCRIPTION:<p>The biennial DEON conferences are designed to promote interdisciplinary&nbsp\;cooperation amongst scholars interested in linking the formal-logical study of&nbsp\;normative concepts and normative systems with computer science\, artificial&nbsp\;intelligence\, philosophy\, organization theory and law.</p>\n<p><strong>General Themes<br></strong><br>The Program Committee invites papers concerned with the following topics:</p>\n<ul>\n<li>the logical study of normative reasoning\, including formal systems of&nbsp\;deontic logic\, defeasible normative reasoning\, logics of action\, logics&nbsp\;of time\, and other related areas of logic</li>\n<li>the formal analysis of normative concepts and normative systems</li>\n<li>the formal specification of aspects of norm-governed multi-agent systems and&nbsp\;autonomous agents\, including (but not limited to) the representation of&nbsp\;rights\, authorization\, delegation\, power\, responsibility and liability</li>\n<li>normative aspects of protocols for communication\, negotiation and&nbsp\;multi-agent decision making</li>\n<li>the formal representation of legal knowledge</li>\n<li>the formal specification of normative systems for the management of&nbsp\;bureaucratic processes in public or private administration</li>\n<li>applications of normative logic to the specification of database integrity&nbsp\;constraints</li>\n</ul>\n\n<p><strong>Deontic Logic and Social Choice</strong><br><br>DEON2012's special theme is "Deontic Logic and Social Choice". Topics of&nbsp\;interest in this special theme include\, but are not limited to:</p>\n<ul>\n<li>Normative system selection and optimization</li>\n<li>Merging and aggregation of norms</li>\n<li>Compliance and enforcement strategies for norms</li>\n<li>Game theoretic aspects of deontic reasoning</li>\n<li>Norms\, culture and and shared values</li>\n<li>Violation detection and norm creation mechanisms</li>\n<li>Simulation of dynamics in normative systems</li>\n<li>Emergence of norms</li>\n<li>Norm change</li>\n</ul>\n<p>We welcome both theoretical work (formal models\, representations\, logics\,&nbsp\;specifications\, verification) and implementation-oriented work (architectures\, programming languages\, design models\, simulations\, prototype&nbsp\;systems) on these specific topics.<br><strong><br>Submission Details</strong><br><br>Authors are invited to submit an original\, previously unpublished\, research&nbsp\;paper pertaining to any of these topics. The paper should be in English\, and&nbsp\;should be no longer than 15 pages when formatted according the LNCS&nbsp\;specifications (<a target="_blank">http://www.springer.de/comp/lncs/authors.html</a>). The first page&nbsp\;should contain the full name and contact information for at least one of the&nbsp\;authors\, and it should contain an abstract of no more than ten lines. Authors&nbsp\;should submit their papers electronically using the submission system at<br><br>&nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\;&nbsp\;<a target="_blank">http://www.easychair.org/conferences/?conf=deon2012</a><br><br>Each submitted paper will be carefully peer-reviewed by a panel of PC member&nbsp\;based on originality\, significance\, technical soundness\, and clarity of&nbsp\;exposition and relevance for the conference.<br><br>For each accepted paper\, at least one author is required to register for the&nbsp\;conference and should plan to present the paper.<br><br><strong>Publication</strong><br><br>The selected papers will be published in book form in the Springer Lecture&nbsp\;Notes in Computer Science (LNCS) series (approval pending). Copies of the&nbsp\;conference proceedings\, will be provided to all participants.<br><strong><br>Important Dates</strong><br><br>Abstract Submission Deadline: &nbsp\; &nbsp\;March 15\, 2012<br>Paper Submission Deadline: &nbsp\; &nbsp\; &nbsp\; March 5\, 2012<br>Notification: April 9\, 2012<br>Camera Ready: &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; &nbsp\; April 23\, 2012</p>
ORGANIZER;CN=Thomas Agotnes;CN=Jan Broersen;CN=Dag Elgesem:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR