| 2026 | Computation and Size of Interpolants for Hybrid Modal Logics. | Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter |
| 2026 | Generalized Decidability via Brouwer Trees. | Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg |
| 2026 | Fat Cell Structures and Generalized Algebraic Theories. | Xu Huang, Carlo Angiuli |
| 2026 | Causality in Pure Quantum Computation with Quantum Control. | Kengo Hirata, Takeshi Tsukada |
| 2026 | One Rig to Control Them All. | Chris Heunen, Robin Kaarsgaard, Louis Lemonnier |
| 2026 | Classifying 2-Groups in Homotopy Type Theory. | Perry Hart, Owen Milner |
| 2026 | A Categorical Perspective on Constraint Satisfaction: The Wonderland of Adjunctions. | Maximilian Hadek, Toms Jakl, Jakub Oprsal |
| 2026 | PVASS Reachability Is Decidable. | Roland Guttenberg, Eren Keskin, Roland Meyer |
| 2026 | The ∞-Category of ∞-Categories in Simplicial Type Theory. | Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz |
| 2026 | LFPL: Revisited and Mechanized. | Nathaniel Glover, Jan Hoffmann |
| 2026 | An Algebraic Approach to Formal System Metatheory. | Francesco Gavazzo |
| 2026 | Meta-Mathematics of Algebraic Complexity. | Michal Garlk, Svyatoslav Gryaznov, Jiaqi Lu, Rahul Santhanam, Iddo Tzameret |
| 2026 | Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi. | Dichuan Gao, Razin A. Shaikh, Aleks Kissinger |
| 2026 | Constructing Small Monadic Decompositions in Presburger Arithmetic. | Moses Ganardi, Marin Ricros |
| 2026 | The Logic of Bunched Implications Is Undecidable. | Nikolaos Galatos, Peter Jipsen, Sren Brinck Knudstorp, Revantha Ramanayake |
| 2026 | Monads and Distributive Laws in Substructural Contexts. | Soichiro Fujii, Yun Chen Tsai, Yov Montacute, Ichiro Hasuo |
| 2026 | The Guarded Fragment with Nested Equivalences. | Oskar Fiuk |
| 2026 | Guarded Negation Transitive Closure Logic. | Diego Figueira, Santiago Figueira, Yoshiki Nakamura |
| 2026 | Decidability of Interpretability. | Roman Feller, Michael Pinsker |
| 2026 | Definitional Proof Irrelevance Made Accessible. | Thiago Felicissimo, Yann Leray, Loc Pujet, Nicolas Tabareau, ric Tanter, Tho Winterhalter |
| 2026 | Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property. | Neta Elad, Sharon Shoham |
| 2026 | A Naturally-Colored Translation from LTL to Parity and COCOA. | Rdiger Ehlers, Ayrat Khalimov |
| 2026 | Well-Quasi-Ordered Classes of Bounded Clique-Width. | Mal Dumas, Aliaume Lopez |
| 2026 | Formal Verification of Security Protocols: 25 Years of ProVerif (Invited Paper). | Stphanie Delaune |
| 2026 | Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras. | Anuj Dawar, Nihil Shah |