Dagstuhl Seminar 25271
Policy Modeling and Reasoning in Sociotechnical Systems
( Jun 29 – Jul 04, 2025 )
Permalink
Organizers
- Marina De Vos (University of Bath, GB)
- Nicoletta Fornara (USI – Lugano, CH)
- Munindar P. Singh (North Carolina State University - Raleigh, US)
- Leon van der Torre (University of Luxembourg, LU)
Contact
- Michael Gerke (for scientific matters)
- Susanne Bach-Bernhard (for administrative matters)
Dagstuhl Reports
As part of the mandatory documentation, participants are asked to submit their talk abstracts, working group results, etc. for publication in our series Dagstuhl Reports via the Dagstuhl Reports Submission System.
- Upload (Use personal credentials as created in DOOR to log in)
Shared Documents
- Dagstuhl Materials Page (Use personal credentials as created in DOOR to log in)
- Des enseignants chercheurs de l’Institut Fayol invités au prestigieux séminaire Dagstuhl - Institut Fayol, Mines Saint-Étienne, Actualiés, July 9, 2025
In an increasingly digital world, where agents (personal assistants, digital companions, and autonomous agents) and sociotechnical systems (comprising intelligent agents and people) are increasingly a reality, the study of the entire lifecycle of problems in policy dealing is increasingly crucial and urgent . As policies are fundamental for human societies, it is reasonable to consider that their integration in distributed and decentralized sociotechnical systems is fundamental for their successful interactions with humans.
The design of a policy in a sociotechnical system faces a fundamental trade-off between the autonomy accorded to member agents and the control exercised over those agents to guide them toward stakeholder objectives. Crucial research challenges consist of studying: (i) The architecture comprising a socio-technical system’s social and technical levels, including what assumptions member agents can make about each other and what guarantees they can expect from the social and technical tiers. These guarantees can be expressed as policies and motivate interest in an expanded view of policies and may include organizational controls, such as sanctions applied for deviation from a policy. (ii) The models , the constructs that underpin the policies being conceived, including the languages in which they are expressed and how they relate to other parts of the relevant information systems and considerations of their formal and operational semantics. (iii) The reasoning that concerns how decisions can be derived from policies given the facts and the reasoning about policies, such as whether they conflict or one subsumes another. It incorporates monitoring to enable reasoning on specific instances as well as determining if a particular deviation was legitimate. (iv) The methodology that concerns ways in which policies may be specified for a sociotechnical system given stakeholder requirements. It incorporates making changes in light of observed decisions, whether deviations took place, and whether the outcomes and the deviations (if any) were deemed legitimate.
This Dagstuhl Seminar will synthesize research perspectives from computing, with insights from the law, public administration, and the social sciences. In particular, the relevant communities in computing include Semantic Web, Knowledge Representation and Reasoning, Deontic Logics, Logic Programming, Multiagent Systems, Privacy and Security, and Legal Informatics.
The objective of this seminar is to provide a platform for researchers from different fields to form a new community. Specifically, we will motivate participants to define new research problems along with promising ways of tackling them, draft future projects and start new collaborations. The outcome of these discussions will be a research roadmap . Another objective is to identify these systems’ existing and potential societal consequences. (What are the risks? What are the opportunities? What are the beneficial use cases for these systems?)
The agenda will be driven by specific needs (identified via extended abstracts) from a variety of application domains: e-government, social services, finance, taxation, cybersecurity, and the services sector.
In terms of event format, the seminar will be guided by short introductory talks given by participants, structured small group work sessions as well as unstructured (and thereby more open-ended) discussions, and tutorials where participants from one discipline need to be brought up to speed with the state of the art in the other relevant disciplines, and demonstrations from use case from projects and communities present. We plan a social event on Wednesday afternoon.

Please log in to DOOR to see more details.
- Nirav Ajmeri (University of Bristol, GB) [dblp]
- Matthew Arrott (Coactive Computing, US)
- Matteo Baldoni (University of Turin, IT) [dblp]
- Cristina Baroglio (University of Turin, IT) [dblp]
- Victor Charpenay (Mines Saint-Étienne, FR) [dblp]
- Amit K. Chopra (Lancaster University, GB) [dblp]
- Mehdi Dastani (Utrecht University, NL) [dblp]
- Marina De Vos (University of Bath, GB) [dblp]
- Davide Dell'Anna (Utrecht University, NL) [dblp]
- Frank Dignum (University of Umeå, SE) [dblp]
- Beatriz Esteves (Ghent University, BE)
- Nicoletta Fornara (USI – Lugano, CH) [dblp]
- Joris Hulstijn (Utrecht University, NL) [dblp]
- Timotheus Kampik (SAP Berlin, DE & Umeå University, SE) [dblp]
- Nadin Kokciyan (University of Edinburgh, GB) [dblp]
- Beishui Liao (Zhejiang University, CN) [dblp]
- Réka Markovich (University of Luxembourg, LU) [dblp]
- Pradeep Murukannaiah (TU Delft, NL) [dblp]
- Vivek Nallur (University College Dublin, IE) [dblp]
- Luis Gustavo Nardin (IMT Mines Saint-Étienne, FR) [dblp]
- Sebastian Neumaier (FH - St. Pölten, AT) [dblp]
- Julian Padget (University of Bath, GB) [dblp]
- Victor Rodriguez Doncel (Polytechnic University of Madrid, ES) [dblp]
- Susana Rodríguez Verdugo (Kunveno Digital - Madrid, ES)
- Ken Satoh (Research Organization of Information and Systems, JP) [dblp]
- Jaime Sichman (University São Paulo, BR) [dblp]
- Judith Simon (Universität Hamburg, DE) [dblp]
- Munindar P. Singh (North Carolina State University - Raleigh, US) [dblp]
- Simon Steyskal (Siemens AG - Wien, AT) [dblp]
- Sz-Ting Tzeng (University of Umeå, SE)
- Leon van der Torre (University of Luxembourg, LU) [dblp]
- Harko Verhagen (Stockholm University, SE) [dblp]
- Rigo Wenning (W3C / ERCIM, FR) [dblp]
- Jessica Woodgate (University of Bristol, GB) [dblp]
- Pinar Yolum (Utrecht University, NL) [dblp]
- Antoine Zimmermann (Ecole des Mines - St. Etienne, FR) [dblp]
Classification
- Computers and Society
- Multiagent Systems
- Systems and Control
Keywords
- policy modelling and verification
- legal informatics
- ODRL semantics
- privacy
- security
- decentralised systems