The goal of this workshop is to bring leaders in distributed computing, topology and epistemic logic together to foster interdisciplinary research. The following events have already been dedicated to the link between epistemic logic and topology, and its relationship with distributed computing. There has been much interest in this area, from the development of more expressive logics capable of capturing fine topological structure, to the leveraging of topological tools to represent concepts such as observations, questions, and dependence relations, and encoding deep connections with distributed computing. The richness of this area has spawned a thriving, interdisciplinary research program with applications in learning theory, network epistemology, public and private communication, inquisitive semantics, philosophy of science, artificial intelligence and knowledge representation in distributed computing, among others. This year we are envisioning new directions, in particular related to probabilistic mehtods.
IACAP 2019 Distributed Computing and Epistemic Logic Track IACAP Track, UNAM, Mexico
Connections between Epistemic Logic and Topology CELT 2022, University of Amsterdam, October 24-26, 2022
Epistemic and Topological Reasoning in Distributed Systems, Dagstuhl Seminar 23272, July 2023
Combinatorial Topology of Relational Structures CTRS, GEOTOP-A International Conference, January 8-13, 2024
Mérida, México
CNRS, IRIT, University of Toulouse
École Polytechnique
Universidad Nacional Autónoma de México
Universität Bern
University of Minnesota Duluth
École Polytechnique
LABRI
Bern University
IRIF
Telecom, Paris
University of Bern