BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260611T232748Z
DTSTART;TZID=Europe/Oslo:20120716T090000
DTEND;TZID=Europe/Oslo:20120718T180000
SUMMARY:Deontic Logic and Social Choice (DEON 2012)
UID:20260618T115529Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/Oslo
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>There have been nine previous DEON conferences: Amsterdam\, December&nbsp\;1991\; Oslo\, January 1994\; Sesimbra\, January 1996\; Bologna\, January 1998\;&nbsp\;Toulouse\, January 2000\; London\, May 2002\; Madeira\, May 2004\; Utrecht\,&nbsp\;July 2006\, Luxembourg\, July 2008\, Fiesole July 2010.<br><br><strong>General Themes</strong></p>\n<ul>\n<li>the logical study of normative reasoning\, including formal systems of&nbsp\;deontic logic\, defeasible normative reasoning\, logics of action\,&nbsp\;logics 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&nbsp\;systems and autonomous agents\, including (but not limited to) the&nbsp\;representation of rights\, authorization\, delegation\, power\,&nbsp\;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&nbsp\;integrity constraints</li>\n</ul>\n<p><strong>Special Theme: Deontic Logic and Social Choice</strong></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&nbsp\;
ORGANIZER;CN=Thomas Agotnes;CN=Jan Broersen;CN=Dag Elgesem:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR