| 2024 | Defining algorithmically presented structures in first order logic. | Nadim Kasymov, Nadira Karimova, Bakh Khoussainov |
| 2024 | No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads. | Amin Karamlou, Nihil Shah |
| 2024 | Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. | Ismal Jecker, Filip Mazowiecki, David Purser |
| 2024 | On the Completeness of Interpolation Algorithms. | Stefan Hetzl, Raheleh Jalali |
| 2024 | First order distinguishability of sparse random graphs. | Tal Hershko, Maksim Zhukovskii |
| 2024 | A Profunctorial Semantics for Quantum Supermaps. | James Hefford, Matthew Wilson |
| 2024 | Braids, Twists, Trace and Duality in Combinatory Algebras. | Masahito Hasegawa, Serge Lechenne |
| 2024 | Declassification Policy for Program Complexity Analysis. | Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Pchoux |
| 2024 | Are Targeted Messages More Effective? | Martin Grohe, Eran Rosenbluth |
| 2024 | A Cartesian Closed Category for Random Variables. | Pietro Di Gianantonio, Abbas Edalat |
| 2024 | Combining fixpoint and differentiation theory. | Zeinab Galal, Jean-Simon Pacaud Lemay |
| 2024 | Elementary first-order model checking for sparse graphs. | Jakub Gajarsk, Michal Pilipczuk, Marek Sokolowski, Giannos Stamoulis, Szymon Torunczyk |
| 2024 | On the complexity of Maslov's class K. | Oskar Fiuk, Emanuel Kieronski, Vincent Michielini |
| 2024 | A Syntax for Strictly Associative and Unital ∞-Categories. | Eric Finster, Alex Rice, Jamie Vicary |
| 2024 | Finite-valued Streaming String Transducers. | Emmanuel Filiot, Ismal Jecker, Christof Lding, Anca Muscholl, Gabriele Puppis, Sarah Winter |
| 2024 | First order complexity of finite random structures. | Danila Demin, Maksim Zhukovskii |
| 2024 | A proof theory of right-linear (ω-)grammars via cyclic proofs. | Anupam Das, Abhishek De |
| 2024 | Local consistency as a reduction between constraint satisfaction problems. | Vctor Dalmau, Jakub Oprsal |
| 2024 | Minimal Equational Theories for Quantum Circuits. | Alexandre Clment, No Delorme, Simon Perdrix |
| 2024 | An Analysis of Symmetry in Quantitative Semantics. | Pierre Clairambault, Simon Forest |
| 2024 | Slice closures of indexed languages and word equations with counting constraints. | Laura Ciobanu, Georg Zetzsche |
| 2024 | 1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise. | Lorenzo Ciardo, Marcin Kozik, Andrei A. Krokhin, Tamio-Vesa Nakajima, Stanislav Zivn |
| 2024 | Quantum advantage and CSP complexity. | Lorenzo Ciardo |
| 2024 | The Finite Satisfiability Problem for PCTL is Undecidable. | Miroslav Chodil, Antonn Kucera |
| 2024 | Positional ω-regular languages. | Antonio Casares, Pierre Ohlmann |