| 2024 | On symmetries of spheres in univalent foundations. | Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem |
| 2024 | Contextual Equivalence for State and Control via Nested Data. | Benedict Bunting, Andrzej S. Murawski |
| 2024 | Primitive Recursive Dependent Type Theory. | Ulrik Torben Buchholtz, Johannes Schipp von Branitz |
| 2024 | Bounded-Memory Strategies in Partial-Information Games. | Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke |
| 2024 | Diagrammatic Algebra of First Order Logic. | Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski |
| 2024 | Discounted-Sum Automata with Real-Valued Discount Factors. | Udi Boker |
| 2024 | Rank-decreasing transductions. | Mikolaj Bojanczyk, Pierre Ohlmann |
| 2024 | The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. | Manuel Bodirsky, Zaneta Semanisinov, Carsten Lutz |
| 2024 | Soundness of reset workflow nets. | Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt |
| 2024 | Element-free probability distributions and random partitions. | Victor Blanchi, Hugo Paquet |
| 2024 | On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. | Valrie Berth, Toghrul Karimov, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, James Worrell |
| 2024 | Algebraic Approach to Approximation. | Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivn |
| 2024 | The Relational Machine Calculus. | Chris Barrett, Daniel Castle, Willem Heijltjes |
| 2024 | Injective hardness condition for PCSPs. | Demian Banakh, Marcin Kozik |
| 2024 | Decidability and Complexity of Decision Problems for Affine Continuous VASS. | A. R. Balasubramanian |
| 2024 | Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. | Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta |
| 2024 | Genericity Through Stratification. | Victor Arrial, Giulio Guerrieri, Delia Kesner |
| 2024 | Verifying Unboundedness via Amalgamation. | Ashwani Anand, Sylvain Schmitz, Lia Schtze, Georg Zetzsche |
| 2024 | Non-Elementary Compression of First-Order Proofs in Deep Inference Using Epsilon-Terms. | Cameron Allett |
| 2024 | An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications. | Bharat Adsul, Paul Gastin, Shantanu Kulkarni, Pascal Weil |
| 2024 | Equivariant ideals of polynomials. | Arka Ghosh, Slawomir Lasota |
| 2024 | Bialgebraic Reasoning on Higher-order Program Equivalence. | Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat |
| 2024 | Separating Markov's Principles. | Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli |
| 2023 | Making Concurrency Functional. | Glynn Winskel |
| 2023 | On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. | Tobias Winkler, Joost-Pieter Katoen |