CELT2022: Connections between Epistemic Logic and Topology University of Amsterdam, Allard Pierson Museum (Oude Turfmark 127-129, Amsterdam) Amsterdam, Netherlands, October 24-26, 2022 |
| Conference website | https://easychair.org/cfp/CELT2022 |
| Submission link | https://easychair.org/conferences/?conf=celt2022 |
| Abstract registration deadline | February 14, 2022 |
| Submission deadline | February 14, 2022 |
The link between epistemic logic and topology has its roots, on the one hand, in the topological semantics of modal logic, and on the other hand, in the intimate relations between topology and concurrency, and between topology and distributed computing. Recent years have witnessed an explosion of new work 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 workshop aims at bringing together scholars working on various ways of connecting logic and topology to showcase a variety of recent developments and applications in the area, and to foster new research collaborations.
The workshop will hosted by the ILLC, University of Amsterdam, from October 24th to 26th, 2022, and is affiliated with LICS 2022 as part of FLoC 2022. The workshop will be held in hybrid format.
***Programme of CELT2022***
***Book of Abstracts***
Slides of talks (in alphabetical order):
Alexandru Baltag: The Topology of Surprise
Johan van Benthem: Empirical Knowledge, Dependence and TopologicalContinuity
Nick Bezhanishvili: Polyhedral modal logic: theory and applications
Adam Bjorndahl: Knowing and Measuring
David Fernández-Duque: A new topological semantics for S5
Sophia Knight: Domain-Theoretical Constraint Systems for Knowledge andBelief in Multi-Agent Systems
Jérémy Ledent: Knowledge and Simplicial Complexes: Epistemic Logic via Combinatorial Topology
Yoram Moses: On Graph Connectivity in Distributed Algorithms
Registration: to participate, please complete the registration-form (there is no registration fee)
Workshop Venue: Allard Pierson Museum (Oude Turfmark 127-129, Amsterdam) / Online
Invited Speakers:
Johan van Benthem (University of Amsterdam, Netherlands)
Nick Bezhanishvili (University of Amsterdam, Netherlands)
David Fernández-Duque (Ghent University, Belgium)
Nina Gierasimczuk (Danish Techinal University)
Eric Goubault (École Polytechnique, France)
Sophia Knight (University of Minnesota Duluth, USA)
Tamar Lando (Columbia University, USA)
Jeremy Ledent (University of Strathclyde, UK)
Susumu Nishimura (Kyoto University, Japan)
Sonja Smets (University of Amsterdam, Netherlands)
Contributed Papers:
- Adam Bjorndahl, Knowing and Measuring
- Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth and Diego A. Velázquez, Communication Patterns for Arbitrary Protocols in Distributed Systems
- Saul Fernandez Gonzalez, Some Topological Considerations on Orthogonality
- Yoram Moses, On Graph Connectivity in Distributed Algorithms
- Rojo Randrianomentsoa, Hugo Rincon-Galeana and Ulrich Schmid, Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems
- Matteo Tesi and Sara Negri, Gödel-McKinsey-Tarski Embedding and the Epistemic Reading of Infinitary Intuitionistic Logic
Important dates:
Abstract submission: February 4th, 2022 Extended: February 14th, 2022Notification for acceptance: March 7th, 2022- Workshop: October 24th - 26th, 2022
Organizers:
Alexandru Baltag (ILLC, University of Amsterdam)
Adam Bjorndahl (Carnegie Mellon University)
Aybüke Özgün (ILLC, University of Amsterdam)
Sergio Rajsbaum (Universidad Nacional Autónoma de México)
Sonja Smets (ILLC, University of Amsterdam)