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

Call for participation

ILLC, Amsterdam, 25-26 October, 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, 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 Amsterdam, on 25-26 October.

Invited Speakers:

  • 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)

Important dates:

  • Extended Abstract submission: February 14th, 2022
  • Notification for acceptance: March 7th, 2022
  • Workshop: October 25-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)