Paper Submission

Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author's instructions at Springer webpage). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors in person. (At least one author is required to pay a full, on-site registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2024 EasyChair website.

Proceedings

The proceedings of WoLLIC 2024, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2024 issue of a scientific journal.

The proceedings are available at: https://link.springer.com/book/978-3-031-62687-6.

Accepted Papers

Umberto Rivieccio and Aldo Figallo; (In)consistency operators on quasi-Nelson algebras
Mena Leemhuis, Diedrich Wolter and Özgür Lütfü Özcep; Rules of Partial Orthomodularity
Dave Gilbert, Can Baskent and Giorgio Venturi; A Logic of Isolation
Marek Zawadowski and Justyna Grudzinska; Polyadic Quantifiers on Dependent Types
Valentin Müller; Labelled Sequent Calculi for Inquisitive Modal Logics
Xuefeng Wen; Validity in Contexts: A Semantics for Indicatives and Epistemic Modals
Lin Chen and Xuefeng Wen; Strict-Tolerant Conditional Logics
Florrie Verity and Yoshihiro Maruyama; Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions
Nicolas Peltier; An EXPTIME-complete entailment problem in separation logic
Tomoyuki Yamakami; Complementarity and Maximization of Syntactic NL and Their Logical Expressing Power
Mehrnoosh Sadrzadeh and Lutz Strasburger; Lambek Calculus with Banged Atoms for Parasitic Gaps
Alessandra Palmigiano, Mattia Panettiere and Ni Wayan Switrayni; Correspondence theory on vector spaces
Daichi Hayashi and Graham E. Leigh; Axiomatising Classical Realisability
Fairouz Kamareddine and Joe Wells; Obtaining Intersection Types via Finite-Set Declaration
Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky and Octavio Malherbe; A linear proof language for second-order intuitionistic linear logic
Stepan Kuznetsov; Syntactic concept lattice models for infinitary action logic
Igor Sedlar; Completeness of Finitely Weighted Kleene Algebra With Tests
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales and Lutz Straßburger; A simple loopcheck for Intuitionistic K

Invited Speakers

Juan Aguilera, Vienna University of Technology;
Maria Aloni, University of Amsterdam;
Sam van Gool, Université Paris Cité;
Dexter Kozen, Cornell University;
Francesca Zaffora Blando, Carnegie Mellon University;

Registration

To register click here.

Registration fees (including conference dinner)

Early Registration (until May 10)
Regular: CHF 250
Student: CHF 150

Late Registration (May 11 - June 5)
Regular: CHF 350
Student: CHF 200

Venue

Sponsors