<div dir="ltr"><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-size:19px;font-family:STIXGeneral">DEON Seminar Series – opening talk by Marek Sergot</span></b><b></b></p><p class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);margin-right:0px;margin-left:0px;font-size:medium;font-family:宋体"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">2021 is a special year for Deontic Logic. It is the 70th anniversary of the first publication in modern deontic logic: von Wright’s ground breaking and still inspiring article from 1951. It is also the 30th anniversary of the first DEON conference held in Amsterdam in 1991. Today, deontic logic is a fast-growing field whose research agenda covers topics at the interface between computer science, linguistics, philosophy, ethics, the social sciences, and law. Among many other topics, it includes the formal study of normative multi-agent systems, of defeasible normative reasoning, of the semantics and pragmatics of normative expressions in natural language, the formal representation of rights, authorization, delegation, power, and responsibility, and the study of normative aspects of protocols for communication, negotiation and multi-agent decision making.</span></p><p class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);margin-right:0px;margin-left:0px;font-size:medium;font-family:宋体"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">As representatives of the DEON community, we want to take Deontic Logic’s 70th anniversary as as an opportunity to look back at its rich history and draw lessons for the future. As a formal approach to normativity and reasoning, we believe deontic logic can play new roles as a guiding theory in some of the problems in modern AI, philosophy, law and linguistics.</span></p><p class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);margin-right:0px;margin-left:0px;font-size:medium;font-family:宋体"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">To investigate the role of deontic logic in the modern age further, we decided to launch an online seminar series where old ideas are explained, new ideas are explored and modern connections and applications are reflected upon. The seminars are not intended as an alternative to the biannual DEON conferences, but are complementary opportunities to keep in touch with the community and listen in or contribute to presentations and informal discussions on ongoing work. Four times per year (once every season), we will virtually gather to discuss a topic or a paper, or to listen to someone’s new results or opinions. Everyone who is interested in this wonderful area and its questions is welcome.</span></p><p class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);margin-right:0px;margin-left:0px;font-size:medium;font-family:宋体"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">The series-opening talk – celebrating all the anniversaries – will be given by Marek Sergot (Professor of Computational Logic, Imperial College London).</span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><i><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"><br></span></i></b></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><i><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">What is deontic logic for?</span></i></b></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><i><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> </span></i></b></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><i><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Marek Sergot</span></i></b></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><i><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> </span></i></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><i><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">This will be a review of issues in the development of deontic logic, understood both narrowly, as the logic of obligation and permission, and more broadly as the formalisation of normative systems. The talk will be based on examples. I want to look at how they might be treated in the light of developments that have taken place over the thirty years since the first of the DEON series was held in Amsterdam in 1991. I considered calling the talk ‘Some things I have said about deontic logic that no-one paid attention to’. However, I will include things that others have said about deontic logic too. Deontic logic is a wide field; I will have to be selective about what issues are covered.</span></i></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><i><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"><br></span></i></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Date and time</span></b><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">: October 14, 2pm – 3:30pm CET<br><b>Zoom link</b>: </span><a href="https://uva-live.zoom.us/j/89287004976" target="_blank"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(30,115,190)">https://uva-live.zoom.us/j/89287004976</span></a><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> (Meeting ID: 892 8700 4976)</span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Virtual gathering</span></b><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">: join us for a virtual gathering on </span><a href="http://wonder.me/" target="_blank"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(30,115,190)">wonder.me</span></a><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> after the talk! No registration needed, just follow this <b>link</b>: </span><a href="https://www.wonder.me/r?id=3536c0e5-c486-4ff2-876a-91e569f4190b" target="_blank"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(30,115,190)">https://www.wonder.me/r?id=3536c0e5-c486-4ff2-876a-91e569f4190b</span></a><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">.</span></p><p class="MsoNormal gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;color:rgb(34,34,34);font-family:"Times New Roman",serif"><br></span></p><p class="MsoNormal" style="color:rgb(0,0,0);font-family:Tahoma,Arial;font-size:14px"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-size:medium;color:rgb(34,34,34);font-family:"Times New Roman",serif">If you are interested in the upcoming events in this series, subscribe </span><span class="gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-size:medium;font-family:"Times New Roman",serif"><a class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" href="https://icr.uni.lu/deonticlogic/mailinglist.html" target="_blank" style="color:rgb(30,115,190)">here</a></span><span class="gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-size:medium;font-family:"Times New Roman",serif;color:rgb(34,34,34)">: </span></p><p class="MsoNormal gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><a href="https://icr.uni.lu/deonticlogic/mailinglist.html" target="_blank">https://icr.uni.lu/deonticlogic/mailinglist.html</a></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"><br></span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">See you on the 14th of October,</span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> </span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Ilaria Canavotto, Huimin Dong, and Réka Markovich</span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">DEON Seminar Series organizers</span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> </span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">======== <span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_bgcolor gmail-__aliyun_node_has_color gmail-__aliyun_node_has_bgcolor" style="margin:0px;padding:0px;border:0px;outline:0px;float:none;display:inline">Guidelines of Participation </span>=========</span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><br></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">1)    Please MUTE your microphone during the talk, and during the Q and A unless you have been called on to ask a question. (And please do not ask questions or follow-ups in the Q and A unless you’ve been called on – i.e., no interrupting).</span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">2)    If you would like to ask a question during the Q and A, please type ‘q’ in the chat box *to the host privately*. If you have a follow-up, please type ‘follow up to X’ (where X is the person who asked the question), also *to the host privately*.</span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">3)    Please frame your questions in a constructive and collegial spirit!</span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)"> </span></p><p class="MsoNormal gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="gmail-__aliyun_node_has_color gmail-__aliyun_node_has_color" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">Many thanks in advance! </span></p></div>