| 2024 | A Diamond Embedding Theorem in the Quotient Structure bfR/NCup. Hong Hanh Tran, Guohua Wu |
| 2024 | A Weak First-Order Theory of Sequences. Lars Kristiansen, Juvenal Murwanashyaka |
| 2024 | Algorithmic Aspects of Left-Orderings of Solvable Baumslag-Solitar Groups via its Dynamical Realization. Meng-Che, Khanh Le, Dino Rossegger |
| 2024 | Almost Sure OTM-Realizability. Merlin Carl |
| 2024 | Cellular Automata: Communication Matters. Martin Kutrib, Andreas Malcher |
| 2024 | Communication Modalities. Roman Kuznets |
| 2024 | Complexities of Theories of Profinite Subgroups of S Jason Block |
| 2024 | Computable Structure Theory of Partial Combinatory Algebras. Ekaterina B. Fokina, Sebastiaan A. Terwijn |
| 2024 | Counting Simple Rules in Semi-conditional Grammars is not Simple. Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman |
| 2024 | Existential Definability of Unary Predicates in Büchi Arithmetic. Mikhail R. Starchak |
| 2024 | Fundamental Sequences Based on Localization. Gunnar Wilken |
| 2024 | Graph Homomorphism, Monotone Classes and Bounded Pathwidth. Tala Eagling-Vose, Barnaby Martin, Daniël Paulusma, Siani Smith |
| 2024 | Higher-Order Feedback Computation. Juan P. Aguilera, Robert S. Lubarsky, Leonardo Pacheco |
| 2024 | Hybrid Maximal Filter Spaces. David Gonzalez |
| 2024 | Hyperarithmetic Numerals. Caleb Camrud, Timothy H. McNicholl |
| 2024 | If CiE Did Not Exist, It Would Be Necessary to Invent It. S. Barry Cooper |
| 2024 | Inversion in P-Computable Fields. Pavel Alaev |
| 2024 | Isometric Sets of Words and Generalizations of the Fibonacci Cubes. Marcella Anselmo, Giusi Castiglione, Manuela Flores, Dora Giammarresi, Maria Madonia, Sabrina Mantaci |
| 2024 | Kolmogorov Complexity as a Combinatorial Tool. Alexander Shen |
| 2024 | Learning Families of Algebraic Structures from Text. Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev |
| 2024 | Lipschitz Determinacy and Arithmetic Transfinite Recursion. Andrés Cordón-Franco, Francisco Félix Lara Martín, Manuel J. S. Loureiro |
| 2024 | Membership Problems in Infinite Groups. Markus Lohrey |
| 2024 | On Arithmetical Numberings in Reverse Mathematics. Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa |
| 2024 | On the Computational Properties of Weak Continuity Notions. Sam Sanders |
| 2024 | On the Existence of Infinite Monomial Division Chains with Finitely Many Indeterminates. Chris J. Conidis |
| 2024 | On the Group of Computable Automorphisms of the Linear Order of the Reals. Ruslan Kornev |
| 2024 | Quantum First-Order Logics that Capture Logarithmic-Time/Space Quantum Computability. Tomoyuki Yamakami |
| 2024 | Recursion-Theoretic Alternation. Eduardo Skapinakis |
| 2024 | Sequential Discontinuity and First-Order Problems. Arno Pauly, Giovanni Soldà |
| 2024 | Some Open Questions and Recent Results on Computable Banach Spaces. Rod Downey, Noam Greenberg, Long Qian |
| 2024 | Structures of Finite Punctual Dimension n>2. Ellen Hammatt |
| 2024 | The Decision Problem for Undirected Graphs with Reachability and Acyclicity. Domenico Cantone, Andrea De Domenico, Pietro Maugeri |
| 2024 | The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders. Jun Le Goh, Arno Pauly, Manlio Valenti |
| 2024 | Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea |
| 2024 | Two-Player Domino Games. Benjamin Hellouin de Menibus, Rémi Pallen |
| 2024 | Universal Boolean Algebras with Applications to Semantic Classes of Models. Mikhail G. Peretyat'kin, Victor L. Selivanov |