| 2025 | Learning Deterministic One-Counter Automata in Polynomial Time. | Prince Mathew, Vincent Penelle, A. V. Sreejith |
| 2025 | Binary symmetries of tractable non-rigid structures. | Paolo Marimon, Michael Pinsker |
| 2025 | Minimal History-Deterministic Co-Bchi Automata: Congruences and Passive Learning. | Christof Lding, Igor Walukiewicz |
| 2025 | The Steenrod squares via unordered joins. | Axel Ljungstrm, David Wrn |
| 2025 | Operator Spaces, Linear Logic and the Heisenberg-Schrdinger Duality of Quantum Theory. | Bert Lindenhovius, Vladimir Zamdzhiev |
| 2025 | Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. | Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev |
| 2025 | Initial Algebra Correspondence under Reachability Conditions. | Mayuko Kori, Kazuki Watanabe, Jurriaan Rot |
| 2025 | Interpolation for the two-way modal μ-calculus. | Johannes Kloibhofer, Yde Venema |
| 2025 | The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Lwenheim-Skolem Theorem. | Dominik Kirst, Haoyi Zeng |
| 2025 | Multiple Reachability in Linear Dynamical Systems. | Toghrul Karimov, Edon Kelmendi, Jol Ouaknine, James Worrell |
| 2025 | Ordinal Exponentiation in Homotopy Type Theory. | Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2025 | Homological Invariants of Higher-Order Equational Theories. | Mirai Ikebuchi |
| 2025 | Transductions of Graph Classes Admitting Product Structure. | Petr Hlinen, Jan Jedelsk |
| 2025 | Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests. | Roland Guttenberg, Wojciech Czerwinski, Slawomir Lasota |
| 2025 | Semantical Analysis of Intuitionistic Modal Logics between CK and IK. | Jim de Groot, Ian Shillito, Ranald Clouston |
| 2025 | Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games. | Marta Grobelna, Jan Kretnsk, Maximilian Weininger |
| 2025 | The Yoneda embedding in simplicial type theory. | Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz |
| 2025 | Relators and Notions of Simulation Revisited. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2025 | 3D-grids are not transducible from planar graphs. | Jakub Gajarsk, Michal Pilipczuk, Filip Pokrvka |
| 2025 | Alternating Nominal Automata with Name Allocation. | Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schrder, Henning Urbat |
| 2025 | Conformance Games for Graded Semantics. | Jonas Forster, Lutz Schrder, Paul Wild |
| 2025 | Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution. | Marcelo Fiore, Sanjiv Ranchod |
| 2025 | On the denotation of circular and non-wellfounded proofs in linear logic with fixed points. | Thomas Ehrhard, Farzad Jafarrahmani, Alexis Saurin |
| 2025 | Approximate Evaluation of Quantitative Second Order Queries. | Jan Dreier, Robert Ganian, Thekla Hamm |
| 2025 | Group Order Logic. | Anatole Dahan |