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.
We are happy to announce that our speaker for the DEON spring seminar will
be *Emiliano Lorini* (Senior Researcher, CNRS and IRIT).
*Date and time*: June 8, 2pm – 3:30pm CET
*Meeting ID: 922 4208 8044*
*Passcode: 788254*
*Zoom Link: *
https://zoom.us/j/92242088044?pwd=WW1mV01mSktJbVQvQzBTalpvZFRFUT09
*Virtual gathering*: join us for a virtual gathering on wonder.me after the
talk! No registration is needed, just follow this link:
https://www.wonder.me/r?id=3536c0e5-c486-4ff2-876a-91e569f4190b.
*Title*: Norms in action
*Abstract*: 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.
If you are interested in the upcoming events in this series, subscribe
here: https://icr.uni.lu/deonticlogic/mailinglist.html.
Please check this website to see our previous events:
https://icr.uni.lu/deonticlogic/lectureseries.html
We hope to see you on the 8th of June!
Ilaria Canavotto, Huimin Dong, and Réka Markovich
DEON Seminar Series organizers
======== Guidelines of Participation =========
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).
2) If you would like to ask a question during the Q&A, please use the
"raise hand" tool on Zoom.
3) Please frame your questions in a constructive and collegial spirit!
Many thanks in advance!
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
