<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt">[Apologies for multiple copies of this CFP]<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">CFP: Extended deadline 14th International Conference on Deontic Logic and Normative Systems (DEON 2018)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">3-6 July 2018, Utrecht, the Netherlands<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">https://deon2018.sites.uu.nl<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems
with computer science, artificial intelligence, linguistics, philosophy, organization theory and law.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">In addition to these general themes, DEON 2018 will encourage a special focus on the topic:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">"Deontic reasoning for responsible AI"<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">There have been thirteen 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; Luxembourg, July 2008; Fiesole, July 2010; Bergen, July 2012; Ghent, July 2014; Bayreuth, July 2016.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">GENERAL THEMES<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The Program Committee invites papers concerned with the following topics (non-exclusive list):<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o the formal analysis of normative concepts, normative systems (and their dynamics)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility
and liability<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o the normative aspects of protocols for communication, negotiation and multi-agent decision making<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o the formal analysis of the semantics and pragmatics of deontic and normative expressions in natural language<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o the formal representation of legal knowledge<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o 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<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o game theoretic aspects of deontic reasoning<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o emergence of norms<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o deontic paradoxes<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o argumentation theory and normative reasoning<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">SPECIAL FOCUS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">DEON 2018's special focus is "Deontic reasoning for responsible AI".<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The successes of Artificial Intelligence over the last few years have brought to the fore a new and important application area for deontic logic: Responsible AI. On the one hand, this concerns systems for
checking and proving responsibility characteristics of artificial intelligent agents and their designs, and on the other hand, it concerns responsible decision making and machine ethics. This DEON's special theme "Deontic reasoning for responsible AI" solicits
contributions that address issues related to these two subjects. <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Topics of interest in this special theme include, but are not limited to:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o moral decision making <o:p>
</o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o norm awareness <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o accountability<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o explainability <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o causal and probabilistic theories of responsibility<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o operationalizations of ethical theories<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o collective responsibility<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o grades of responsibility<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">INVITED SPEAKERS<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IT" style="font-size:11.0pt">o Christoph Benzmüller (Berlin)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="IT" style="font-size:11.0pt">o Melissa Fusco (Columbia)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">o Oliver Roy (Bayreuth)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">SUBMISSION DETAILS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Authors are invited to submit an original, previously unpublished, short research paper pertaining to any of these topics. The paper should be in English and should be no longer than 15 pages when formatted
according to the 12pt LaTeX specification that will be sent to all authors of accepted papers. The first page should contain the full name and contact information of at least one of the authors, and it should contain an abstract of no more than ten lines.
Authors should submit their papers electronically using EasyChair:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">https://easychair.org/conferences/?conf=deon2018<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted
paper, at least one author is required to register for the conference and should plan to present the paper.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">PUBLICATION<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The proceedings will be published with College Publications. Copies of the proceedings will be provided to all participants. In addition, we anticipate that revised versions of selected papers from the workshop
will subsequently be published in a special issue of the Journal of Applied Logic.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">IMPORTANT DATES (NEW!)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Abstract Submission Deadline: March 5, 2018<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Paper Submission Deadline: March 12, 2018<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Notification: April 22, 2018<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Camera Ready: May 7, 2018<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">CHAIRS OF THE PROGRAM COMMITTEE<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Cleo Condoravdi, Stanford University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Shyam Nair, Arizona State University<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Gabriella Pigozzi, Université Paris-Dauphine<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">CHAIR OF THE LOCAL ORGANIZING COMMITTEE<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Jan Broersen, University of Utrecht<o:p></o:p></span></p>
</div>
</body>
</html>