Dagstuhl Seminar 23272
Epistemic and Topological Reasoning in Distributed Systems
( Jul 02 – Jul 07, 2023 )
Permalink
Organizers
- Armando Castaneda (National Autonomous University of Mexico, MX)
- Yoram Moses (Technion - Haifa, IL)
- Ulrich Schmid (TU Wien, AT)
- Hans Van Ditmarsch (CNRS - Toulouse, FR)
Contact
- Michael Gerke (for scientific matters)
- Simone Schilke (for administrative matters)
Shared Documents
- Dagstuhl Materials Page (Use personal credentials as created in DOOR to log in)
Schedule
Distributed services cover a wide range of our everyday activities. Examples of such services include cloud storage, cryptocurrencies and collaborative editing, as well as concurrent software that governs modern multicore computers. All of these give rise to distributed systems. Reasoning about distributed systems, however, is notoriously difficult due to the many sources of uncertainty that can occur: varying execution speeds, unpredictable transmission delays and partial failures. The design and analysis of protocols and algorithms for distributed systems is, hence, a difficult and error-prone task.
Two approaches have proved to be successful in raising the level of abstraction in modeling, design, and analysis of distributed algorithms. These are the combinatorial topology approach and the epistemic (or knowledge-based) approach. Both approaches have evolved fairly independently for over more than three decades. Recently, researchers have started to combine the two approaches in productive ways. This is based on a duality between the Kripke models that underly epistemic reasoning and simplicial complexes, which are central to the analysis of distributed protocols using combinatorial topology. In addition, two variants of epistemic reasoning, the more traditional interpreted systems modelling, and dynamic epistemic logics, have each been more directly related to the topological approach. This makes a new level of abstraction possible allowing the mutual incorporation of the extensive results on distributed computing established independently by the two approaches.
The main target of this Dagstuhl Seminar is to bring together experts on the combinatorial topology approach and the epistemic-based approach, with the aim of exploring the directions that the recent interaction between both approaches can take, identifying challenges and opportunities. There are also encouragingly strong relations and options for cross fertilization with the communities of dynamic epistemic logic, knowledge-based analysis, and topological modal logics.

- Alexandru Baltag (University of Amsterdam, NL) [dblp]
- Henning Basold (Leiden University, NL) [dblp]
- Armando Castaneda (National Autonomous University of Mexico, MX) [dblp]
- Faith Ellen (University of Toronto, CA) [dblp]
- Pierre Fraigniaud (CNRS, Paris, FR & Université Paris Cité, FR) [dblp]
- Krisztina Fruzsa (TU Wien, AT) [dblp]
- Murdoch Jamie Gabbay (Heriot-Watt University - Edinburgh, GB) [dblp]
- Guy Goren (Protocol Labs - Kibbutz Nahsholim, IL) [dblp]
- Joseph Y. Halpern (Cornell University - Ithaca, US) [dblp]
- Roman Kniazev (Ecole Polytechnique - Palaiseau, FR) [dblp]
- Sophia Knight (University of Minnesota - Duluth, US) [dblp]
- Roman Kuznets (TU Wien, AT) [dblp]
- Jérémy Ledent (University of Strathclyde - Glasgow, GB) [dblp]
- David Lehnherr (Universität Bern, CH) [dblp]
- Shihao (Jason) Liu (University of Toronto, CA)
- Yoram Moses (Technion - Haifa, IL) [dblp]
- Susumu Nishimura (Kyoto University, JP) [dblp]
- Thomas Nowak (ENS - Gif-sur-Yvette, FR) [dblp]
- Ami Paz (CNRS - Gif-sur-Yvette, FR) [dblp]
- Sergio Rajsbaum (National Autonomous University of Mexico, MX) [dblp]
- Rojo Randrianomentsoa (TU Wien, AT)
- Hugo Rincón Galeana (TU Wien, AT) [dblp]
- David A. Rosenblueth (Universidad Nacional Autonoma - Mexico, MX) [dblp]
- Ulrich Schmid (TU Wien, AT) [dblp]
- Sonja Smets (University of Amsterdam, NL) [dblp]
- Thomas Studer (Universität Bern, CH) [dblp]
- Hans Van Ditmarsch (CNRS - Toulouse, FR) [dblp]
- Diego A. Velázquez (Universidad Nacional Autonoma - Mexico, MX) [dblp]
Classification
- Distributed / Parallel / and Cluster Computing
- Logic in Computer Science
- Multiagent Systems
Keywords
- distributed systems
- epistemic logic
- combinatorial topology