| 2023 | The Iteration Number of the Weisfeiler-Leman Algorithm. | Martin Grohe, Moritz Lichter, Daniel Neuen |
| 2023 | The Descriptive Complexity of Graph Neural Networks. | Martin Grohe |
| 2023 | Semi-Simplicial Set Models for Distributed Knowledge. | ric Goubault, Roman Kniazev, Jrmy Ledent, Sergio Rajsbaum |
| 2023 | Intuitionistic S4 is decidable. | Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straburger |
| 2023 | Reachability in Injective Piecewise Affine Maps. | Faraz Ghahremani, Edon Kelmendi, Jol Ouaknine |
| 2023 | Allegories of Symbolic Manipulations. | Francesco Gavazzo |
| 2023 | Fixpoint operators for 2-categorical structures. | Zeinab Galal |
| 2023 | PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
| 2023 | Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF. | Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak |
| 2023 | Fixed Point Logics on Hemimetric Spaces. | David Fernndez-Duque, Quentin Gougeon |
| 2023 | Commutativity in Automated Verification. | Azadeh Farzan |
| 2023 | Pseudorandom Finite Models. | Jan Dreier, Jamie Tucker-Foltz |
| 2023 | The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). | Laure Daviaud, David Purser |
| 2023 | Logic for Explainable AI. | Adnan Darwiche |
| 2023 | Deterministic stream-sampling for probabilistic programming: semantics and verification. | Fredrik Dahlqvist, Alexandra Silva, William Smith |
| 2023 | Computational expressivity of (circular) proofs with fixed points. | Gianluca Curzi, Anupam Das |
| 2023 | ℤ-polyregular functions. | Thomas Colcombet, Gatan Douneau-Tabot, Aliaume Lopez |
| 2023 | A Complete Equational Theory for Quantum Circuits. | Alexandre Clment, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benot Valiron |
| 2023 | From Thin Concurrent Games to Generalized Species of Structures. | Pierre Clairambault, Federico Olimpieri, Hugo Paquet |
| 2023 | The Cartesian Closed Bicategory of Thin Spans of Groupoids. | Pierre Clairambault, Simon Forest |
| 2023 | Cut-Restriction: From Cuts to Analytic Cuts. | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2023 | Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. | Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev |
| 2023 | Complete Graphical Language for Hermiticity-Preserving Superoperators. | Titouan Carette, Timothe Hoffreumon, mile Larroque, Renaud Vilmart |
| 2023 | Operational Algorithmic Game Semantics. | Benedict Bunting, Andrzej S. Murawski |
| 2023 | On the Growth Rates of Polyregular Functions. | Mikolaj Bojanczyk |