| 2022 | Decidability for Sturmian Words. | Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit |
| 2022 | Cyclic Proofs for Transfinite Expressions. | Emile Hazard, Denis Kuperberg |
| 2022 | Differential Games, Locality, and Model Checking for FO Logic of Graphs. | Jakub Gajarsk, Maximilian Gorsky, Stephan Kreutzer |
| 2022 | Inferring Symbolic Automata. | Dana Fisman, Hadar Frenkel, Sandra Zilles |
| 2022 | Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. | Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog |
| 2022 | Dynamic Cantor Derivative Logic. | David Fernndez-Duque, Yov Montacute |
| 2022 | How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk). | Natasha Fernandes, Annabelle McIver, Carroll Morgan |
| 2022 | Constructive Many-One Reduction from the Halting Problem to Semi-Unification. | Andrej Dudenhefner |
| 2022 | MSO Undecidability for Hereditary Classes of Unbounded Clique Width. | Anuj Dawar, Abhisekh Sankaran |
| 2022 | An Internal Language for Categories Enriched over Generalised Metric Spaces. | Fredrik Dahlqvist, Renato Neves |
| 2022 | Localisable Monads. | Carmen M. Constantin, Nuiok Dicaire, Chris Heunen |
| 2022 | Realising Intensional S4 and GL Modalities. | Liang-Ting Chen, Hsiang-Shang Ko |
| 2022 | Fuzzy Algebraic Theories. | Davide Castelnovo, Marino Miculan |
| 2022 | On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions. | Antonio Casares |
| 2022 | Synthetic Integral Cohomology in Cubical Agda. | Guillaume Brunerie, Axel Ljungstrm, Anders Mrtberg |
| 2022 | On the Complexity of SPEs in Parity Games. | Lonard Brice, Jean-Franois Raskin, Marie van den Bogaard |
| 2022 | Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals. | Matthew de Brecht |
| 2022 | Finite-Memory Strategies in Two-Player Infinite Games. | Patricia Bouyer, Stphane Le Roux, Nathan Thomasset |
| 2022 | Optimal Strategies in Concurrent Reachability Games. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2022 | Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk). | Udi Boker |
| 2022 | Weighted Automata and Expressions over Pre-Rational Monoids. | Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2022 | Gardening with the Pythia A Model of Continuity in a Dependent Setting. | Martin Baillon, Assia Mahboubi, Pierre-Marie Pdrot |
| 2022 | Useful Open Call-By-Need. | Beniamino Accattoli, Maico Leberle |
| 2022 | Revisiting Parameter Synthesis for One-Counter Automata. | Guillermo A. Prez, Ritam Raha |
| 2022 | Spatial Existential Positive Logics for Hyperedge Replacement Grammars. | Yoshiki Nakamura |