Dear all,
We would like to draw your attention to the following LIRa-related event.
- - - - -
Call for Abstracts - Deadline Extended https://easychair.org/cfp/CELT2022 Haifa, Israel, July 31-August 1, 2022 Extended 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, 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 as a part of FLoC 2022https://floc2022.org—the Federated Logic Conference— in Haifa, Israel, affiliated with LICShttps://lics.siglog.org/lics22/. Our workshop will be held in the 2-day, pre-FLoC workshop block (July 31st - August 1st).
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)
Submissions: We invite submissions for presentations. To apply, please submit an extended abstract of up to 3 pages (excluding bibliography) in PDF format. Abstracts should be submitted via EasyChair: https://easychair.org/conferences/?conf=celt2022
Important dates: • Extended Abstract submission: February 14th, 2022 • Notification for acceptance: March 7th, 2022 • Workshop: July 31st - August 1st, 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)
- - - - -
kind regards, The LIRa team