<div dir="ltr"><p class="MsoNormal gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><span 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></p><p class="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" 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" style="color:rgb(0,0,0);margin-right:0px;margin-left:0px;font-size:medium;font-family:宋体"><span class="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 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" style="color:rgb(0,0,0);margin-right:0px;margin-left:0px;font-size:medium;font-family:宋体"><span class="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" style="color:rgb(0,0,0);margin-right:0px;margin-left:0px;font-size:medium;font-family:宋体"><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><i><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><i><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><i><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><i><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><i><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><i><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><i><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><span class="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" 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 CEST<br><b>Zoom link</b>: </span><a class="gmail-__aliyun_node_has_color" href="https://uva-live.zoom.us/j/89287004976" target="_blank"><span class="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" 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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><b><span class="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" 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 class="gmail-__aliyun_node_has_color" href="http://wonder.me/" target="_blank"><span class="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" 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 class="gmail-__aliyun_node_has_color" href="https://www.wonder.me/r?id=3536c0e5-c486-4ff2-876a-91e569f4190b" target="_blank"><span class="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" 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" 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 gmail-__aliyun_node_has_color" style="color:rgb(0,0,0);font-family:Tahoma,Arial;font-size:14px"><span class="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 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" 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 class="gmail-__aliyun_node_has_color" 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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="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" 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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="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" style="margin:0px;padding:0px;border:0px;outline:0px;font-family:"Times New Roman",serif;color:rgb(34,34,34)">======== <span style="margin:0px;padding:0px;border:0px;outline:0px">Guidelines of Participation </span>=========</span></p><p class="MsoNormal 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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="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" style="color:rgb(0,0,0);font-size:medium;font-family:DengXian"><span class="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" 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>