| 2023 | A Constructive Picture of Noetherian Conditions and Well Quasi-orders. | Gabriele Buriola, Peter Schuster, Ingo Blechschmidt |
| 2023 | On the Complexity of Learning Programs. | Vasco Brattka |
| 2023 | On Guarded Extensions of MMSNP. | Alexey Barsukov, Florent R. Madelaine |
| 2023 | Graph Subshifts. | Pablo Arrighi, Amlia Durbec, Pierre Guillon |
| 2022 | Barendregt's Problem #26 and Combinatory Strong Reduction. | William R. Stirton |
| 2022 | Computational Complexity of Classical Solutions of Partial Differential Equations. | Svetlana Selivanova |
| 2022 | Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory. | Victor L. Selivanov |
| 2022 | Reverse Mathematics of the Uncountability of ℝ. | Sam Sanders |
| 2022 | On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals. | Ccilia Pradic, Giovanni Sold |
| 2022 | Algebras of Complemented Subsets. | Iosif Petrakis, Daniel Misselbeck-Wessel |
| 2022 | On Trees Without Hyperimmune Branches. | Keng Meng Ng, Frank Stephan, Yue Yang, Liang Yu |
| 2022 | On Envelopes and Backward Approximations. | Eike Neumann |
| 2022 | Weak Sequential Theories of Finite Full Binary Trees. | Juvenal Murwanashyaka |
| 2022 | Hilbert's Tenth Problem for Term Algebras with a Substitution Operator. | Juvenal Murwanashyaka |
| 2022 | Reducing Reachability in Temporal Graphs: Towards a More Realistic Model of Real-World Spreading Processes. | Kitty Meeks |
| 2022 | On the Compatibility Between the Minimalist Foundation and Constructive Set Theory. | Samuele Maschio, Pietro Sabelli |
| 2022 | On the Necessity of Some Topological Spaces. | Robert S. Lubarsky |
| 2022 | Strong Medvedev Reducibilities and the KL-Randomness Problem. | Bjrn Kjos-Hanssen, David J. Webb |
| 2022 | Processing Natural Language with Biomolecules: Where Linguistics, Biology and Computation Meet. | Mara Dolores Jimnez-Lpez |
| 2022 | Defining Long Words Succinctly in FO and MSO. | Lauri Hella, Miikka Vilander |
| 2022 | An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak Knig's Lemma with a Uniqueness Hypothesis. | Makoto Fujiwara |
| 2022 | Maps of Restrictions for Behaviourally Correct Learning. | Vanja Doskoc, Timo Ktzing |
| 2022 | Proof Complexity of Monotone Branching Programs. | Anupam Das, Avgerinos Delkos |
| 2022 | Lower Bounds on β (α ). | Merlin Carl |
| 2022 | A Game-Theoretic Approach for the Synthesis of Complex Systems. | Vronique Bruyre |