LIRa-related event: CELT2022: Connections between Epistemic Logic and Topology

Call for participation

Date: Monday 24 October at 14:00 to Wednesday 26 October at 13:00, 2022

Venue: University of Amsterdam, Allard Pierson Museum (Oude Turfmark 127-129, Amsterdam)

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 take place at ILLC in the Allard Pierson Museum in Amsterdam, on 24-26 October. The workshop will be held in hybrid format.

Invited Speakers:

  • Johan van Benthem (University of Amsterdam, Netherlands)
  • Nick Bezhanishvili (University of Amsterdam, Netherlands)
  • David Fernandez 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

Programme:

  • Details will be announced soon.

Important dates:

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)