| 2023 | On Exact Sampling in the Two-Variable Fragment of First-Order Logic. | Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondrej Kuzelka |
| 2023 | Weak Similarity in Higher-Order Mathematical Operational Semantics. | Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schrder |
| 2023 | Cartesian Coherent Differential Categories. | Thomas Ehrhard, Aymeric Walch |
| 2023 | Applications of Information Inequalities to Database Theory Problems. | Dan Suciu |
| 2023 | Extensional and Non-extensional Functions as Processes. | Ken Sakayori, Davide Sangiorgi |
| 2023 | Distal Combinatorial Tools for Graphs of Bounded Twin-Width. | Wojciech Przybyszewski |
| 2023 | Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. | Boldizsr Por, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke |
| 2023 | Group Separation Strikes Back. | Thomas Place, Marc Zeitoun |
| 2023 | The Probabilistic Rabin Tree Theorem | Damian Niwinski, Pawel Parys, Michal Skrzypczak |
| 2023 | A Metalanguage for Cost-Aware Denotational Semantics. | Yue Niu, Robert Harper |
| 2023 | Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations. | Yoshiki Nakamura |
| 2023 | Boolean symmetric vs. functional PCSP dichotomy. | Tamio-Vesa Nakajima, Stanislav Zivn |
| 2023 | The Logic of Prefixes and Suffixes is Elementary under Homogeneity | Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2023 | Formalizing π4(S | Axel Ljungstrm, Anders Mrtberg |
| 2023 | Evidential Decision Theory via Partial Markov Categories. | Elena Di Lavore, Mario Romn |
| 2023 | Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. | Jan Kretnsk, Tobias Meggendorfer, Maximilian Weininger |
| 2023 | Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2023 | Taylor Expansion as a Monad in Models of DiLL. | Marie Kerjean, Jean-Simon Pacaud Lemay |
| 2023 | The Power of Positivity. | Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2023 | Set-Theoretic and Type-Theoretic Ordinals Coincide. | Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2023 | A categorical account of composition methods in logic. | Tomas Jakl, Dan Marsden, Nihil Shah |
| 2023 | ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. | Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton |
| 2023 | Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. | Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht |
| 2023 | Higher-Dimensional Subdiagram Matching. | Amar Hadzihasanovic, Diana Kessler |
| 2023 | Automatic Amortized Resource Analysis with Regular Recursive Types. | Jessie Grosen, David M. Kahn, Jan Hoffmann |