| 2024 | "Upon This Quote I Will Build My Church Thesis". Pierre-Marie Pédrot |
| 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 | A Cartesian Closed Category for Random Variables. Pietro Di Gianantonio, Abbas Edalat |
| 2024 | A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures. Maximilian Pflueger, Johannes Marti, Egor V. Kostylev |
| 2024 | A Completeness Theorem for Probabilistic Regular Expressions. Wojciech Rozowski, Alexandra Silva |
| 2024 | A Nominal Approach to Probabilistic Separation Logic. John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen |
| 2024 | A Profunctorial Semantics for Quantum Supermaps. James Hefford, Matthew Wilson |
| 2024 | A Syntax for Strictly Associative and Unital ∞-Categories. Eric Finster, Alex Rice, Jamie Vicary |
| 2024 | A proof theory of right-linear (ω-)grammars via cyclic proofs. Anupam Das, Abhishek De |
| 2024 | Algebraic Approach to Approximation. Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný |
| 2024 | An Analysis of Symmetry in Quantitative Semantics. Pierre Clairambault, Simon Forest |
| 2024 | An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications. Bharat Adsul, Paul Gastin, Shantanu Kulkarni, Pascal Weil |
| 2024 | Are Targeted Messages More Effective? Martin Grohe, Eran Rosenbluth |
| 2024 | Bialgebraic Reasoning on Higher-order Program Equivalence. Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat |
| 2024 | Bounded-Memory Strategies in Partial-Information Games. Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke |
| 2024 | Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees. Sandra Kiefer, Daniel Neuen |
| 2024 | Braids, Twists, Trace and Duality in Combinatory Algebras. Masahito Hasegawa, Serge Lechenne |
| 2024 | Combining fixpoint and differentiation theory. Zeinab Galal, Jean-Simon Pacaud Lemay |
| 2024 | Complete Game Logic with Sabotage. Noah Abou El Wafa, André Platzer |
| 2024 | Composing Codensity Bisimulations. Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata |
| 2024 | Concurrent Games over Relational Structures: The Origin of Game Comonads. Yoàv Montacute, Glynn Winskel |
| 2024 | Contextual Equivalence for State and Control via Nested Data. Benedict Bunting, Andrzej S. Murawski |
| 2024 | Decidability and Complexity of Decision Problems for Affine Continuous VASS. A. R. Balasubramanian |
| 2024 | Decidability of Quasi-Dense Modal Logics. Tim S. Lyon, Piotr Ostropolski-Nalewaja |
| 2024 | Declassification Policy for Program Complexity Analysis. Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux |
| 2024 | Defining algorithmically presented structures in first order logic. Nadim Kasymov, Nadira Karimova, Bakh Khoussainov |
| 2024 | Delooping cyclic groups with lens spaces in homotopy type theory. Samuel Mimram, Émile Oleon |
| 2024 | Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. Ismaël Jecker, Filip Mazowiecki, David Purser |
| 2024 | Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. Ali Asadi, Krishnendu Chatterjee, Jakub Svoboda, Raimundo Saona Urmeneta |
| 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 | Dot-depth three, return of the J-class. Thomas Place, Marc Zeitoun |
| 2024 | Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads. Hugo Paquet, Philip Saville |
| 2024 | Element-free probability distributions and random partitions. Victor Blanchi, Hugo Paquet |
| 2024 | Elementary first-order model checking for sparse graphs. Jakub Gajarský, Michal Pilipczuk, Marek Sokolowski, Giannos Stamoulis, Szymon Torunczyk |
| 2024 | Equivalence and Conditional Independence in Atomic Sheaf Logic. Alex Simpson |
| 2024 | Equivariant ideals of polynomials. Arka Ghosh, Slawomir Lasota |
| 2024 | Finite-valued Streaming String Transducers. Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter |
| 2024 | First order complexity of finite random structures. Danila Demin, Maksim Zhukovskii |
| 2024 | First order distinguishability of sparse random graphs. Tal Hershko, Maksim Zhukovskii |
| 2024 | From Quantifier Depth to Quantifier Number: Separating Structures with k Variables. Harry Vinall-Smeeth |
| 2024 | Genericity Through Stratification. Victor Arrial, Giulio Guerrieri, Delia Kesner |
| 2024 | Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda. Thorsten Wißmann, Stefan Milius |
| 2024 | Injective hardness condition for PCSPs. Demian Banakh, Marcin Kozik |
| 2024 | Linear Termination is Undecidable. Fabian Mitterwallner, Aart Middeldorp, René Thiemann |
| 2024 | Local consistency as a reduction between constraint satisfaction problems. Víctor Dalmau, Jakub Oprsal |
| 2024 | Minimal Equational Theories for Quantum Circuits. Alexandre Clément, Noé Delorme, Simon Perdrix |
| 2024 | Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes. Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny |
| 2024 | Natural numbers from integers. Christian Sattler, David Wärn |
| 2024 | No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads. Amin Karamlou, Nihil Shah |
| 2024 | Non-Elementary Compression of First-Order Proofs in Deep Inference Using Epsilon-Terms. Cameron Allett |
| 2024 | On symmetries of spheres in univalent foundations. Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem |
| 2024 | On the Completeness of Interpolation Algorithms. Stefan Hetzl, Raheleh Jalali |
| 2024 | On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell |
| 2024 | On the Separability Problem of VASS Reachability Languages. Eren Keskin, Roland Meyer |
| 2024 | On the complexity of Maslov's class K. Oskar Fiuk, Emanuel Kieronski, Vincent Michielini |
| 2024 | Positional ω-regular languages. Antonio Casares, Pierre Ohlmann |
| 2024 | Primitive Recursive Dependent Type Theory. Ulrik Torben Buchholtz, Johannes Schipp von Branitz |
| 2024 | Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024 Pawel Sobocinski, Ugo Dal Lago, Javier Esparza |
| 2024 | Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2024 | Quantum advantage and CSP complexity. Lorenzo Ciardo |
| 2024 | Rank-decreasing transductions. Mikolaj Bojanczyk, Pierre Ohlmann |
| 2024 | Relevant S is Undecidable. Søren Brinck Knudstorp |
| 2024 | Separating Markov's Principles. Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli |
| 2024 | Separation and Encodability in Mixed Choice Multiparty Sessions. Kirstin Peters, Nobuko Yoshida |
| 2024 | Slice closures of indexed languages and word equations with counting constraints. Laura Ciobanu, Georg Zetzsche |
| 2024 | Soundness of reset workflow nets. Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt |
| 2024 | The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. Manuel Bodirsky, Zaneta Semanisinová, Carsten Lutz |
| 2024 | The Finite Satisfiability Problem for PCTL is Undecidable. Miroslav Chodil, Antonín Kucera |
| 2024 | The Relational Machine Calculus. Chris Barrett, Daniel Castle, Willem Heijltjes |
| 2024 | Uniformisation of Regular Relations in First-Order Logic with Two Variables. Nathan Lhote, Vincent Michielini, Michal Skrzypczak |
| 2024 | Verifying Unboundedness via Amalgamation. Ashwani Anand, Sylvain Schmitz, Lia Schütze, Georg Zetzsche |
| 2024 | δ is for Dialectica. Marie Morgane Kerjean, Pierre-Marie Pédrot |