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 methods.
Epistemic logic and topological perspectives on distributed computing, Ecole Polytechnique, CELT2025, October 6 to October 8, 2025
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
University of Bern
Carnegie Mellon
TU Wien
University of Amsterdam
Universität Bern
University of Groningen
The IRIF is on the 3rd and 4th floors of the Sophie-Germain building. The main entrance is on Place Aurélie Nemours (between 54 and 60 Avenue de France).To gain access, visitors must leave an ID at the reception on the ground floor of the building to receive a badge that allows them to use the elevators.
This project received funding from the École Polytechnique Foundation