| 2025 | #P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought? Max Bannach, Erik D. Demaine, Timothy Gomez, Markus Hecher |
| 2025 | 3D-grids are not transducible from planar graphs. Jakub Gajarský, Michal Pilipczuk, Filip Pokrývka |
| 2025 | 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025 |
| 2025 | A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter. Yousef Shakiba, Henry Sinclair-Banks, Georg Zetzsche |
| 2025 | Algebraic and algorithmic synergies between promise and infinite-domain CSPs. Antoine Mottet |
| 2025 | Alternating Nominal Automata with Name Allocation. Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat |
| 2025 | Approximate Evaluation of Quantitative Second Order Queries. Jan Dreier, Robert Ganian, Thekla Hamm |
| 2025 | Behavioural Conformances based on Lax Couplings. Paul Wild, Lutz Schröder |
| 2025 | Binary symmetries of tractable non-rigid structures. Paolo Marimon, Michael Pinsker |
| 2025 | Characterization and Decidability of FC-Definable Regular Languages. Sam M. Thompson, Nicole Schweikardt, Dominik D. Freydenberger |
| 2025 | Classical Simulation of Quantum CSP Strategies. Demian Banakh, Lorenzo Ciardo, Marcin Kozik, Jan Tulowiecki |
| 2025 | Closure and Complexity of Temporal Causality. Mishel Carelli, Bernd Finkbeiner, Julian Siber |
| 2025 | Complete Quantum Relational Hoare Logics from Optimal Transport Duality. Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou |
| 2025 | Completing Gordon's Higher-Order Logic. Andrei Popescu |
| 2025 | Compositional Taylor expansion in cartesian differential categories. Aymeric Walch |
| 2025 | Conformance Games for Graded Semantics. Jonas Forster, Lutz Schröder, Paul Wild |
| 2025 | Convergence Laws for Extensions of First-Order Logic with Averaging. Sam Adam-Day, Michael Benedikt, Alberto Larrauri |
| 2025 | Effectful Mealy Machines: Bisimulation and Trace. Filippo Bonchi, Elena Di Lavore, Mario Román |
| 2025 | Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs. Aleksei Tiurin, Chris Barrett, Dan R. Ghica, Nick Hu |
| 2025 | Flipping and Forking. Wojciech Przybyszewski, Szymon Torunczyk |
| 2025 | Functional Stream Semantics for a Synchronous Block-Diagram Compiler. Timothy Bourke, Paul Jeanmaire, Marc Pouzet |
| 2025 | Graphs of unbounded linear cliquewidth must transduce all trees. Mikolaj Bojanczyk, Pierre Ohlmann |
| 2025 | Group Order Logic. Anatole Dahan |
| 2025 | Hofmann-Streicher lifting of fibred categories : Dedicated to the memory of Thomas Streicher (1958-2025). Andrew Slattery, Jonathan Sterling |
| 2025 | Homological Invariants of Higher-Order Equational Theories. Mirai Ikebuchi |
| 2025 | If At First You Don't Succeed: Extended Monitorability through Multiple Executions. Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb |
| 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 | Learning Deterministic One-Counter Automata in Polynomial Time. Prince Mathew, Vincent Penelle, A. V. Sreejith |
| 2025 | Learning Weighted Automata over Number Rings, Concretely and Categorically. Quentin Aristote, Sam van Gool, Daniela Petrisan, Mahsa Shirmohammadi |
| 2025 | Logical relations for call-by-push-value models, via internal fibrations in a 2-category. Pedro H. Azevedo de Amorim, Satoshi Kura, Philip Saville |
| 2025 | Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning. Christof Löding, Igor Walukiewicz |
| 2025 | Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity. Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka |
| 2025 | Multiple Reachability in Linear Dynamical Systems. Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell |
| 2025 | Multiplicative Rewards in Markovian Models. Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer |
| 2025 | Naturality for higher-dimensional path types. Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary |
| 2025 | Navigational hierarchies of regular languages. Thomas Place, Marc Zeitoun |
| 2025 | On the denotation of circular and non-wellfounded proofs in linear logic with fixed points. Thomas Ehrhard, Farzad Jafarrahmani, Alexis Saurin |
| 2025 | Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory. Bert Lindenhovius, Vladimir Zamdzhiev |
| 2025 | Ordinal Exponentiation in Homotopy Type Theory. Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2025 | Probabilistic Strategies: Definability and the Tensor Completeness Problem. Nathan J. Bowler, Sergey Goncharov, Paul Blain Levy |
| 2025 | Proof Compression via Subatomic Logic and Guarded Substitutions. Victoria Barrett, Alessio Guglielmi, Benjamin Ralph, Lutz Straßburger |
| 2025 | Pushdown Model Checking above the Cubic Bottleneck. A. R. Balasubramanian, Dmitry Chistikov, Rupak Majumdar |
| 2025 | Quantifier Elimination for Regular Integer Linear-Exponential Programming. Mikhail R. Starchak |
| 2025 | Random Variables, Conditional Independence and Categories of Abstract Sample Spaces. Dario Stein |
| 2025 | Reachability Types, Traces and Full Abstraction. Benedict Bunting, Andrzej S. Murawski |
| 2025 | Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests. Roland Guttenberg, Wojciech Czerwinski, Slawomir Lasota |
| 2025 | Recognisability Equals Definability for Finitely Representable Matroids of Bounded Path-Width. Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kanté, Eun Jung Kim, Sang-il Oum |
| 2025 | Regular Grammars for Sets of Graphs of Tree-Width 2. Marius Bozga, Radu Iosif, Florian Zuleger |
| 2025 | Relators and Notions of Simulation Revisited. Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild |
| 2025 | Risk-aware Markov Decision Processes Using Cumulative Prospect Theory. Thomas Brihaye, Krishnendu Chatterjee, Stefanie Mohr, Maximilian Weininger |
| 2025 | Semantical Analysis of Intuitionistic Modal Logics between CK and IK. Jim de Groot, Ian Shillito, Ranald Clouston |
| 2025 | Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev |
| 2025 | Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games. Marta Grobelna, Jan Kretínský, Maximilian Weininger |
| 2025 | Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution. Marcelo Fiore, Sanjiv Ranchod |
| 2025 | Syntactic Effectful Realizability in Higher-Order Logic. Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey |
| 2025 | The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem. Dominik Kirst, Haoyi Zeng |
| 2025 | The Identity Problem in virtually solvable matrix groups over algebraic numbers. Corentin Bodart, Ruiwen Dong |
| 2025 | The Qualitative Collapse of Concurrent Games. Pierre Clairambault |
| 2025 | The Steenrod squares via unordered joins. Axel Ljungström, David Wärn |
| 2025 | The Yoneda embedding in simplicial type theory. Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz |
| 2025 | The commutativity problem for effective varieties of formal series, and applications. Lorenzo Clemente |
| 2025 | The internal languages of univalent categories. Niels van der Weide |
| 2025 | The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems. Johanna Brunar, Marcin Kozik, Tomás Nagy, Michael Pinsker |
| 2025 | Thin Coalgebraic Behaviours Are Inductive. Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke |
| 2025 | Transductions of Graph Classes Admitting Product Structure. Petr Hlinený, Jan Jedelský |
| 2025 | When is the partial map classifier a Sierpiński cone? Leoni Pugh, Jonathan Sterling |