| 2022 | 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, Israel, August 2-5, 2022 Amy P. Felty |
| 2022 | A Certified Algorithm for AC-Unification. Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho |
| 2022 | A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. Marcelo Fiore, Zeinab Galal, Hugo Paquet |
| 2022 | A Fibrational Tale of Operational Logical Relations. Francesco Dagnino, Francesco Gavazzo |
| 2022 | A Graphical Proof Theory of Logical Time. Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straßburger |
| 2022 | A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk). Alwen Tiu |
| 2022 | A Stratified Approach to Löb Induction. Daniel Gratzer, Lars Birkedal |
| 2022 | Addition and Differentiation of ZX-Diagrams. Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova |
| 2022 | Adequate and Computational Encodings in the Logical Framework Dedukti. Thiago Felicissimo |
| 2022 | An Analysis of Tennenbaum's Theorem in Constructive Type Theory. Marc Hermes, Dominik Kirst |
| 2022 | Certified Decision Procedures for Two-Counter Machines. Andrej Dudenhefner |
| 2022 | Combined Hierarchical Matching: the Regular Case. Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2022 | Compositional Confluence Criteria. Kiraku Shintani, Nao Hirokawa |
| 2022 | Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. Liron Cohen, Vincent Rahli |
| 2022 | Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk). Cynthia Kop |
| 2022 | Decision Problems for Linear Logic with Least and Greatest Fixed Points. Anupam Das, Abhishek De, Alexis Saurin |
| 2022 | Division by Two, in Homotopy Type Theory. Samuel Mimram, Émile Oleon |
| 2022 | Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity. Frédéric Blanqui |
| 2022 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2022 | Galois Connecting Call-by-Value and Call-by-Name. Dylan McDermott, Alan Mycroft |
| 2022 | Linear Lambda-Calculus is Linear. Alejandro Díaz-Caro, Gilles Dowek |
| 2022 | Nominal Anti-Unification with Atom-Variables. Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho |
| 2022 | Normalization Without Syntax. Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger |
| 2022 | On Lookaheads in Regular Expressions with Backreferences. Nariyoshi Chida, Tachio Terauchi |
| 2022 | On Quantitative Algebraic Higher-Order Theories. Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone |
| 2022 | Polynomial Termination Over ℕ Is Undecidable. Fabian Mitterwallner, Aart Middeldorp |
| 2022 | Restricting Tree Grammars with Term Rewriting. Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof |
| 2022 | Rewriting for Monoidal Closed Categories. Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2022 | Sheaf Semantics of Termination-Insensitive Noninterference. Jonathan Sterling, Robert Harper |
| 2022 | Solvability for Generalized Applications. Delia Kesner, Loïc Peyrot |
| 2022 | Stateful Structural Operational Semantics. Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat |
| 2022 | Strategies for Asymptotic Normalization. Claudia Faggian, Giulio Guerrieri |
| 2022 | Type-Based Termination for Futures. Siva Somayyajula, Frank Pfenning |
| 2022 | mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |