| 2021 | A Church-Turing Thesis for Randomness? Johanna N. Y. Franklin |
| 2021 | A Tale of Optimizing the Space Taken by de Bruijn Graphs. Rayan Chikhi |
| 2021 | An Algorithmic Version of Zariski's Lemma. Franziskus Wiesnet |
| 2021 | Complexity and Categoricity of Injection Structures Induced by Finite State Transducers. Richard Krogman, Douglas Cenzer |
| 2021 | Compression Techniques in Group Theory. Markus Lohrey |
| 2021 | Computability of Limit Sets for Two-Dimensional Flows. Daniel Silva Graça, Ning Zhong |
| 2021 | Computable Procedures for Fields. Russell Miller |
| 2021 | Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque |
| 2021 | Constructive Mathematics, Church's Thesis, and Free Choice Sequences. D. A. Turner |
| 2021 | Dedekind Cuts and Long Strings of Zeros in Base Expansions. Ivan Georgiev |
| 2021 | Defining Formal Explanation in Classical Logic by Substructural Derivability. Francesco A. Genco, Francesca Poggiolesi |
| 2021 | Effective Inseparability and Its Applications. Andrea Sorbi |
| 2021 | Einstein Meets Turing: The Computability of Nonlocal Games. Henry Yuen |
| 2021 | Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry. Karl Bringmann |
| 2021 | Formally Computing with the Non-computable. Liron Cohen |
| 2021 | In Search of the First-Order Part of Ramsey's Theorem for Pairs. Leszek Aleksander Kolodziejczyk, Keita Yokoyama |
| 2021 | Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki |
| 2021 | KL-Randomness and Effective Dimension Under Strong Reducibility. Bjørn Kjos-Hanssen, David J. Webb |
| 2021 | Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes. Timo Kötzing, Karen Seidel |
| 2021 | Learning Languages with Decidable Hypotheses. Julian Berger, Maximilian Böther, Vanja Doskoc, Jonathan Gadea Harder, Nicolas Klodt, Timo Kötzing, Winfried Lötzsch, Jannik Peters, Leon Schiller, Lars Seifert, Armin Wells, Simon Wietheger |
| 2021 | Limitwise Monotonic Spectra and Their Generalizations. Marat Kh. Faizrahmanov |
| 2021 | Mapping Monotonic Restrictions in Inductive Inference. Vanja Doskoc, Timo Kötzing |
| 2021 | Minimum Classical Extensions of Constructive Theories. Joan Rand Moschovakis, Garyfallia Vafeiadou |
| 2021 | Non-collapse of the Effective Wadge Hierarchy. Victor L. Selivanov |
| 2021 | Normal Forms for Semantically Witness-Based Learners in Inductive Inference. Vanja Doskoc, Timo Kötzing |
| 2021 | On 3SUM-hard Problems in the Decision Tree Model. Esther Ezra |
| 2021 | On False Heine/Borel Compactness Principles in Proof Mining. Fernando Ferreira |
| 2021 | On Measure Quantifiers in First-Order Arithmetic. Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |
| 2021 | On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy. Angeliki Koutsoukou-Argyraki |
| 2021 | On Subrecursive Representation of Irrational Numbers: Contractors and Baire Sequences. Lars Kristiansen |
| 2021 | On the Degrees of Constructively Immune Sets. Samuel D. Birns, Bjørn Kjos-Hanssen |
| 2021 | On the Impact of Treewidth in the Computational Complexity of Freezing Dynamics. Eric Goles, Pedro Montealegre, Martín Ríos-Wilson, Guillaume Theyssier |
| 2021 | Placing Green Bridges Optimally, with a Multivariate Analysis. Till Fluschnik, Leon Kellerhals |
| 2021 | Positive Enumerable Functors. Barbara F. Csima, Dino Rossegger, Daniel Yu |
| 2021 | Probabilistic Models of k-mer Frequencies (Extended Abstract). Askar Gafurov, Tomás Vinar, Brona Brejová |
| 2021 | Péter on Church's Thesis, Constructivity and Computers. Máté Szabó |
| 2021 | Randomising Realizability. Merlin Carl, Lorenzo Galeotti, Robert Paßmann |
| 2021 | Restrictions of Hindman's Theorem: An Overview. Lorenzo Carlucci |
| 2021 | Robust Online Algorithms for Dynamic Choosing Problems. Sebastian Berndt, Kilian Grage, Klaus Jansen, Lukas Johannsen, Maria Kosche |
| 2021 | Searching for Applicable Versions of Computable Structures. Pavel Alaev, Victor L. Selivanov |
| 2021 | Simple Betting and Stochasticity. Tomasz Steifer |
| 2021 | Splittings and Robustness for the Heine-Borel Theorem. Sam Sanders |
| 2021 | Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations. Jean-Yves Moyen, Jakob Grue Simonsen |
| 2021 | The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines. Merlin Carl |
| 2021 | Towards a Map for Incremental Learning in the Limit from Positive and Negative Information. Ardalan Khazraei, Timo Kötzing, Karen Seidel |
| 2021 | Walk-Preserving Transformation of Overlapped Sequence Graphs into Blunt Sequence Graphs with GetBlunted. Jordan M. Eizenga, Ryan Lorig-Roach, Melissa M. Meredith, Benedict Paten |