| 2026 | The Complexity of Nested Reset Counter Systems. | A. R. Balasubramanian, Franzisco Schmidt |
| 2026 | Hypersequent Calculi Have Ackermann Complexity. | A. R. Balasubramanian, Vitor Greati, Revantha Ramanayake |
| 2026 | A Machine-Independent, Log-Sensitive Space-Cost Measure for the Weak Lambda-Calculus. | Thibaut Balabonski |
| 2026 | On the Subspace Orbit Problem and the Simultaneous Skolem Problem. | Piotr Bacik, Anton Varonka |
| 2026 | On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic. | Piotr Bacik, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, Madhavan Venkatesh, Emil Rugaard Wieser |
| 2026 | Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability. | Giorgio Bacci, Rasmus Ejlers Mgelberg |
| 2026 | A Rational Defense of Reasonable Reflection (Invited Paper). | Nada Amin |
| 2026 | A Complexity Bound for Determinisation of Min-Plus Weighted Automata. | Shaull Almagor, Guy Arbel, Sarai Sheinvald |
| 2026 | A Convenient Fibration for Dependently-Typed Probability Theory. | Danel Ahman, Ohad Kammar, Rasmus Ejlers Mgelberg |
| 2026 | Complete ω-Regular Supermartingale Certificates. | Alessandro Abate, Mirco Giacobbe, Sergey Ichtchenko, Diptarko Roy |
| 2025 | Behavioural Conformances based on Lax Couplings. | Paul Wild, Lutz Schrder |
| 2025 | The internal languages of univalent categories. | Niels van der Weide |
| 2025 | Compositional Taylor expansion in cartesian differential categories. | Aymeric Walch |
| 2025 | Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs. | Aleksei Tiurin, Chris Barrett, Dan R. Ghica, Nick Hu |
| 2025 | Characterization and Decidability of FC-Definable Regular Languages. | Sam M. Thompson, Nicole Schweikardt, Dominik D. Freydenberger |
| 2025 | Random Variables, Conditional Independence and Categories of Abstract Sample Spaces. | Dario Stein |
| 2025 | Quantifier Elimination for Regular Integer Linear-Exponential Programming. | Mikhail R. Starchak |
| 2025 | Hofmann-Streicher lifting of fibred categories : Dedicated to the memory of Thomas Streicher (1958-2025). | Andrew Slattery, Jonathan Sterling |
| 2025 | A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter. | Yousef Shakiba, Henry Sinclair-Banks, Georg Zetzsche |
| 2025 | When is the partial map classifier a Sierpiński cone? | Leoni Pugh, Jonathan Sterling |
| 2025 | Flipping and Forking. | Wojciech Przybyszewski, Szymon Torunczyk |
| 2025 | Completing Gordon's Higher-Order Logic. | Andrei Popescu |
| 2025 | Navigational hierarchies of regular languages. | Thomas Place, Marc Zeitoun |
| 2025 | Algebraic and algorithmic synergies between promise and infinite-domain CSPs. | Antoine Mottet |
| 2025 | Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity. | Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka |