| 2023 | Folding interpretations. | Mikolaj Bojanczyk |
| 2023 | Verifying linear temporal specifications of constant-rate multi-mode systems. | Michael Blondin, Philip Offtermatt, Alex Sansfaon-Buchanan |
| 2023 | Revisiting Membership Problems in Subclasses of Rational Relations. | Pascal Bergstrer, Moses Ganardi |
| 2023 | Simulating Logspace-Recursion with Logarithmic Quantifier Depth. | Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus |
| 2023 | Quantifying Over Trees in Monadic Second-Order Logic. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2023 | Embedded Finite Models beyond Restricted Quantifier Collapse. | Michael Benedikt, Ehud Hrushovski |
| 2023 | Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields. | Jason P. Bell, Daniel Smertnig |
| 2023 | Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing. | Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker |
| 2023 | Multiplicity Problems on Algebraic Series and Context-Free Grammars. | Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2023 | A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. | David Baelde, Adrien Koutsos, Joseph Lallemand |
| 2023 | Minimization of Dynamical Systems over Monoids. | Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2023 | Stochastic Best-Effort Strategies for Borel Goals. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2023 | Orbit-finite linear programming. | Arka Ghosh, Piotr Hofman, Slawomir Lasota |
| 2023 | A system of inference based on proof search: an extended abstract. | Dale Miller |
| 2023 | The Identity Problem in the special affine group of Z | Ruiwen Dong |
| 2022 | Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱. | Takeshi Tsukada, Kazuyuki Asada |
| 2022 | Syllepsis in Homotopy Type Theory. | Kristina Sojakova, G. A. Kavvos |
| 2022 | The amazing mixed polynomial closure and its applications to two-variable first-order logic. | Thomas Place |
| 2022 | Characterizing Positionality in Games of Infinite Duration over Infinite Graphs. | Pierre Ohlmann |
| 2022 | Active learning for sound negotiations✱. | Anca Muscholl, Igor Walukiewicz |
| 2022 | Smooth approximations and CSPs over finitely bounded homogeneous structures. | Antoine Mottet, Michael Pinsker |
| 2022 | Probability monads with submonads of deterministic states. | Sean K. Moss, Paolo Perrone |
| 2022 | The Pebble-Relation Comonad in Finite Model Theory. | Yov Montacute, Nihil Shah |
| 2022 | Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. | Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
| 2022 | A Functorial Excursion Between Algebraic Geometry and Linear Logic. | Paul-Andr Mellis |