WoLLIC 2026 milestone
Abstracts deadline
02 March 2026
Lima, Peru • July 2026
Program &
Accepted Papers
Explore the intersection of logic, language, and computation. A three-day curated journey through the most significant advancements in formal reasoning.
Planning the year
Important Dates
WoLLIC 2026 milestone
Full papers deadline
02 March 2026
WoLLIC 2026 milestone
Author notification
5 May 2026
WoLLIC 2026 milestone
Camera-ready version
20 May 2026
WoLLIC 2026 milestone
Workshop dates
3-6 August 2026
Current selection
Accepted Papers
The accepted papers are currently presented as a single list rather than by topic area. This keeps the programme page aligned with the latest editorial structure.
Model Comparison Game and n-Bisimulation for Conditional Logic
Xiaoxuan Fu and Zhiguang Zhao
Knowledge and Common Knowledge of Strategies
Borja Sierra Miranda and Thomas Studer
Axiomatizing Eventual Common Knowledge
Roman Kuznets, Rojo Randrianomentsoa and Thomas Studer
Possible and impossible conditionals for team logics
Fausto Barbero and Fan Yang
Decidability of MSO Reparametrization over Countable Labelled Chain
Alexander Rabinovich
An Axiomatization of Büchi Arithmetic
Konstantin Kovalyov.
Two generalizations of shininess
Guilherme V. Toledo and Yoni Zohar.
A Circuit-Theoretic View of FO over Semirings
Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier and Laura Strieker
Shadowy Institutions
Siddharth Bhaskar and Robin Kaarsgaard
Call for Papers
Call For Papers
WoLLIC 2026 invites work in logic, language, information, and computation. The section below now carries the full submission and publication guidance, so authors can see scope, format, and proceedings expectations in one place.
1Scientific Scope
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are:
Foundations of computing, programming, and AI
Novel models and paradigms of computation
Broad notions of proof, belief, and inference
Proof mining, type theory, effective learnability, and explainable AI
Formal methods in software and hardware development
Logical approaches to natural language
Logics of programs, actions, and resources
Foundations of mathematics and philosophical logic
2Submission Guidelines
01
Proposed contributions should be written in English and should offer a scholarly exposition accessible to non-specialists, including motivation, background, and comparison with related work.
02
Submissions must use Springer's LNCS LaTeX format and may not exceed 12 pages, with up to 5 additional pages for references and technical appendices.
03
The paper's main results must not be published or under review in other refereed venues, including journals and scientific meetings.
04
Each accepted paper is expected to be presented in person by one of its authors at the workshop.
05
At least one author must pay a full on-site registration fee before the paper is confirmed for publication in the proceedings.
3Proceedings & Journal
Publication path
The proceedings of WoLLIC 2026, including invited and contributed papers, are planned to appear as a volume in Springer's LNCS series.
Because the timeline is earlier this year, the proceedings will be published after the workshop.
Abstracts will also appear in the Conference Report section of the Logic Journal of the IGPL.
Selected contributions are expected to be considered for a special post-conference WoLLIC 2026 journal issue after a new round of reviewing and final journal confirmation.