<div dir="ltr"><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span style="color:rgb(33,33,33);font-family:"Times New Roman",serif;font-size:11.5pt">The Society of Deontic Logic and Normative Systems (DEON) has launched an online seasonal seminar series 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. We view the seminar series as an opportunity to keep in touch with the DEON community and listen in or contribute to presentations and informal discussions on ongoing work. Everyone who is interested in this wonderful area and its questions is welcome.</span><br></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)"><br>We are happy to announce that our speaker for the DEON spring seminar will be<span class="gmail-Apple-converted-space"> </span><b>Emiliano Lorini</b><span class="gmail-Apple-converted-space"> </span>(Senior Researcher, CNRS and IRIT).<br><br><b>Date and time</b>: June 8, 2pm – 3:30pm CET</span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33);border:1pt none windowtext;padding:0cm"><b><br></b></span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33);border:1pt none windowtext;padding:0cm"><b>Meeting ID: 922 4208 8044</b></span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><b><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33);border:1pt none windowtext;padding:0cm">Passcode: 788254</span></b></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><b><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33);border:1pt none windowtext;padding:0cm">Zoom Link: </span></b><span lang="EN-US"><a href="https://zoom.us/j/92242088044?pwd=WW1mV01mSktJbVQvQzBTalpvZFRFUT09" target="_blank" style="color:rgb(149,79,114)"><span style="font-size:11.5pt;font-family:"Times New Roman",serif;border:1pt none windowtext;padding:0cm">https://zoom.us/j/92242088044?pwd=WW1mV01mSktJbVQvQzBTalpvZFRFUT09</span></a></span><br><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33);border:1pt none windowtext;padding:0cm"></span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33);border:1pt none windowtext;padding:0cm"><br></span><b><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)">Virtual gathering</span></b><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)">: join us for a virtual gathering on </span><span lang="EN-US"><a href="http://wonder.me/" target="_blank" style="color:rgb(149,79,114)"><span style="font-size:11.5pt;font-family:"Times New Roman",serif">wonder.me</span></a></span><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)"> after the talk! No registration is needed, just follow this link: </span><span lang="EN-US"><a href="https://www.wonder.me/r?id=3536c0e5-c486-4ff2-876a-91e569f4190b" target="_blank" style="color:rgb(149,79,114)"><span style="font-size:11.5pt;font-family:"Times New Roman",serif">https://www.wonder.me/r?id=3536c0e5-c486-4ff2-876a-91e569f4190b</span></a></span><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)">.<br><br><b>Title</b>: Norms in action<br><br><b>Abstract</b>: I will provide an introduction to STIT logic, or logic of "seeing to it that", and show how it can be applied to the formalization of a rich variety of legal and social notions including obligations and permissions, social influence and responsibility. I will put special emphasis on the temporal STIT framework, the variant of STIT combining modal operators for agency, representing the consequences of an agent's choice, with temporal operators of linear temporal logic. I will focus on both the axiomatics and complexity aspects of the temporal STIT (T-STIT) framework. Moreover, I will introduce different semantics for T-STIT based on concurrent game structures, interpreted systems and temporal Kripke STIT models. I will present a number of equivalence and non-equivalence results between these semantics relative to the T-STIT language and some of its fragments.</span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)"><br>If you are interested in the upcoming events in this series, subscribe here: </span><span lang="EN-US"><a href="https://icr.uni.lu/deonticlogic/mailinglist.html" target="_blank" style="color:rgb(149,79,114)"><span style="font-size:11.5pt;font-family:"Times New Roman",serif">https://icr.uni.lu/deonticlogic/mailinglist.html</span></a></span><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)">.</span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)"> </span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)">Please check this website to see our previous events: </span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US"><a href="https://icr.uni.lu/deonticlogic/lectureseries.html" target="_blank" style="color:rgb(149,79,114)"><span style="font-size:11.5pt;font-family:"Times New Roman",serif">https://icr.uni.lu/deonticlogic/lectureseries.html</span></a></span><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)"></span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)"><br>We hope to see you on the 8th of June!</span></p><p class="MsoNormal" align="left" style="margin:0cm 0cm 12pt;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)"><br>Ilaria Canavotto, Huimin Dong, and Réka Markovich<br>DEON Seminar Series organizers<br><br></span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)"> </span></p><p class="MsoNormal" align="left" style="margin:0cm;font-size:medium;font-family:DengXian;color:rgb(0,0,0)"><span lang="EN-US" style="font-size:11.5pt;font-family:"Times New Roman",serif;color:rgb(33,33,33)">======== Guidelines of Participation =========<br><br>1) Please MUTE your microphone during the talk and during the Q&A unless you have been called on to ask a question. (And please do not ask questions or follow-ups in the Q&A unless you’ve been called on – i.e., no interrupting).<br><br>2) If you would like to ask a question during the Q&A, please use the “raise hand” tool on Zoom.<br><br>3) Please frame your questions in a constructive and collegial spirit!<br><br>Many thanks in advance!</span></p></div>