| 2022 | A Game-Theoretic Approach for the Synthesis of Complex Systems. Véronique Bruyère |
| 2022 | Algebras of Complemented Subsets. Iosif Petrakis, Daniel Misselbeck-Wessel |
| 2022 | An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak König's Lemma with a Uniqueness Hypothesis. Makoto Fujiwara |
| 2022 | Barendregt's Problem #26 and Combinatory Strong Reduction. William R. Stirton |
| 2022 | Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory. Victor L. Selivanov |
| 2022 | Calculating the Mind Change Complexity of Learning Algebraic Structures. Nikolay Bazhenov, Vittorio Cipriani, Luca San Mauro |
| 2022 | Computational Complexity of Classical Solutions of Partial Differential Equations. Svetlana Selivanova |
| 2022 | Defining Long Words Succinctly in FO and MSO. Lauri Hella, Miikka Vilander |
| 2022 | Enumerating Classes of Effective Quasi-Polish Spaces. Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov |
| 2022 | Hilbert's Tenth Problem for Term Algebras with a Substitution Operator. Juvenal Murwanashyaka |
| 2022 | Lower Bounds on β (α ). Merlin Carl |
| 2022 | Maps of Restrictions for Behaviourally Correct Learning. Vanja Doskoc, Timo Kötzing |
| 2022 | Maximal Ideals in Countable Rings, Constructively. Ingo Blechschmidt, Peter Schuster |
| 2022 | On Envelopes and Backward Approximations. Eike Neumann |
| 2022 | On Trees Without Hyperimmune Branches. Keng Meng Ng, Frank Stephan, Yue Yang, Liang Yu |
| 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 | On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals. Cécilia Pradic, Giovanni Soldà |
| 2022 | Processing Natural Language with Biomolecules: Where Linguistics, Biology and Computation Meet. María Dolores Jiménez-López |
| 2022 | Programming with Ordinary Differential Equations: Some First Steps Towards a Programming Language. Olivier Bournez |
| 2022 | Proof Complexity of Monotone Branching Programs. Anupam Das, Avgerinos Delkos |
| 2022 | Reducing Reachability in Temporal Graphs: Towards a More Realistic Model of Real-World Spreading Processes. Kitty Meeks |
| 2022 | Reverse Mathematics of the Uncountability of ℝ. Sam Sanders |
| 2022 | Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings Ulrich Berger, Johanna N. Y. Franklin, Florin Manea, Arno Pauly |
| 2022 | Strong Medvedev Reducibilities and the KL-Randomness Problem. Bjørn Kjos-Hanssen, David J. Webb |
| 2022 | Weak Sequential Theories of Finite Full Binary Trees. Juvenal Murwanashyaka |
| 2022 | Well-Orders Realized by C.E. Equivalence Relations. Nikolay Bazhenov, Maxim V. Zubkov |