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
Registration deadline
20 June 2026
WoLLIC 2026 milestone
Workshop dates
3-6 August 2026
Workshop Schedule
Presentations & Sessions
All times are in Eastern Daylight Time (EDT, UTC-4).
3 AUG
Welcome remarks, Session 1 (featuring paper presentations and invited speaker Marianna Girlando), and Session 2.
8:15 - 8:30 amChair: Patricia Johann
Welcome
8:30 - 10:00 amChair: Ruy de Queiroz
Session 1
8:30 - 9:00 am
Model Comparison Game and n-Bisimulation for Conditional Logic
by Xiaoxuan Fu (China🇨🇳) and Zhiguang Zhao (China🇨🇳)
9:00 - 10:00 am
Marianna Girlando (Invited Talk)
title to be confirmed
10:00 - 10:30 am
Break
10:30 - 11:30 amChair: Dexter Kozen
Session 2
10:30 - 11:00 am
A Circuit-Theoretic View of FO over Semirings
by Timon Barlag (Germany🇩🇪), Nicolas Fröhlich (Germany🇩🇪), Teemu Hankala (Estonia🇪🇪), Miika Hannula (Estonia🇪🇪), Minna Hirvonen (Germany🇩🇪), Vivian Holzapfel (Germany🇩🇪), Juha Kontinen (Finland🇫🇮), Arne Meier (Germany🇩🇪) and Laura Strieker (Germany🇩🇪)
11:00 - 11:30 am
Shadowy Institutions
by Siddharth Bhaskar (Denmark🇩🇰) and Robin Kaarsgaard (Denmark🇩🇰)
4 AUG
Session 3 featuring presentations on strategies, team logics, and eventual common knowledge.
9:00 - 10:30 amChair: Clément Aubert
Session 3
9:00 - 9:30 am
Knowledge and Common Knowledge of Strategies
by Borja Sierra Miranda (Switzerland🇨🇭) and Thomas Studer (Switzerland🇨🇭)
9:30 - 10:00 am
Possible and impossible conditionals for team logics
by Fausto Barbero (Finland🇫🇮) and Fan Yang (the Netherlands🇳🇱)
10:00 - 10:30 am
Axiomatizing Eventual Common Knowledge
by Roman Kuznets (Czechia🇨🇿), Rojo Randrianomentsoa (Switzerland🇨🇭) and Thomas Studer (Switzerland🇨🇭)
5 AUG
Session 4, Session 5 (featuring invited speaker Delia Kesner), and the Closing remarks.
8:30 - 10:00 amChair: Pierre Cagne
Session 4
8:30 - 9:00 am
Decidability of MSO Reparametrization over Countable Labelled Chain
by Alexander Rabinovich (Israel🇮🇱)
9:00 - 9:30 am
Two generalizations of shininess
by Guilherme V. Toledo (Brazil🇧🇷) and Yoni Zohar (Israel🇮🇱)
9:30 - 10:00 am
An Axiomatization of Büchi Arithmetic
by Konstantin Kovalyov (Russia🇷🇺)
10:00 - 10:30 am
Break
10:30 - 11:30 amChair: Tobias Kappé
Session 5
10:30 - 11:30 am
Delia Kesner (Invited Talk)
title to be confirmed
11:30 am - 12:00 pmChair: Johann
Closing
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 (China 🇨🇳) and Zhiguang Zhao (China 🇨🇳)
Knowledge and Common Knowledge of Strategies
Borja Sierra Miranda (Switzerland 🇨🇭) and Thomas Studer (Switzerland 🇨🇭)
Axiomatizing Eventual Common Knowledge
Roman Kuznets (Czechia 🇨🇿), Rojo Randrianomentsoa (Switzerland 🇨🇭) and Thomas Studer (Switzerland 🇨🇭)
Possible and impossible conditionals for team logics
Fausto Barbero (Finland 🇫🇮) and Fan Yang (Netherlands 🇳🇱)
Decidability of MSO Reparametrization over Countable Labelled Chain
Alexander Rabinovich (Israel 🇮🇱)
An Axiomatization of Büchi Arithmetic
Konstantin Kovalyov (Russia 🇷🇺)
Two generalizations of shininess
Guilherme V. Toledo (Brazil 🇧🇷) and Yoni Zohar (Israel 🇮🇱)
A Circuit-Theoretic View of FO over Semirings
Timon Barlag (Germany 🇩🇪), Nicolas Fröhlich (Germany 🇩🇪), Teemu Hankala (Estonia 🇪🇪), Miika Hannula (Estonia 🇪🇪), Minna Hirvonen (Germany 🇩🇪), Vivian Holzapfel (Germany 🇩🇪), Juha Kontinen (Finland 🇫🇮), Arne Meier (Germany 🇩🇪) and Laura Strieker (Germany 🇩🇪)
Shadowy Institutions
Siddharth Bhaskar (Denmark 🇩🇰) and Robin Kaarsgaard (Denmark 🇩🇰)
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.