| 2022 | A Functorial Excursion Between Algebraic Geometry and Linear Logic. Paul-André Melliès |
| 2022 | A Type Theory for Strictly Unital ∞-Categories. Eric Finster, David Reutter, Jamie Vicary, Alex Rice |
| 2022 | A direct computational interpretation of second-order arithmetic via update recursion. Valentin Blot |
| 2022 | A first-order completeness result about characteristic Boolean algebras in classical realizability. Guillaume Geoffroy |
| 2022 | Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. R. Govind, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
| 2022 | Active learning for sound negotiations✱. Anca Muscholl, Igor Walukiewicz |
| 2022 | Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. Matteo Mio, Ralph Sarkis, Valeria Vignudelli |
| 2022 | Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs. David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin |
| 2022 | Characterizing Positionality in Games of Infinite Duration over Infinite Graphs. Pierre Ohlmann |
| 2022 | Choiceless Polynomial Time with Witnessed Symmetric Choice. Moritz Lichter, Pascal Schweitzer |
| 2022 | Complexity of Modular Circuits. Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski |
| 2022 | Computable PAC Learning of Continuous Features. Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan |
| 2022 | Computing the Density of the Positivity Set for Linear Recurrence Sequences. Edon Kelmendi |
| 2022 | Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. Cristina Matache, Sean K. Moss, Sam Staton |
| 2022 | Curry and Howard Meet Borel. Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |
| 2022 | Cyclic Implicit Complexity. Gianluca Curzi, Anupam Das |
| 2022 | Deciding Hyperproperties Combined with Functional Specifications. Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch |
| 2022 | Efficient Construction of Reversible Transducers from Regular Transducer Expressions. Luc Dartois, Paul Gastin, R. Govind, Shankara Narayanan Krishna |
| 2022 | Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic. Beniamino Accattoli |
| 2022 | Geometric decision procedures and the VC dimension of linear arithmetic theories. Dmitry Chistikov, Christoph Haase, Alessio Mansutti |
| 2022 | Graded Monads and Behavioural Equivalence Games. Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König |
| 2022 | Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks. Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi |
| 2022 | Identity Testing for Radical Expressions. Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell |
| 2022 | LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022 Christel Baier, Dana Fisman |
| 2022 | Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱. Takeshi Tsukada, Kazuyuki Asada |
| 2022 | Logical Foundations of Quantitative Equality. Francesco Dagnino, Fabio Pasquali |
| 2022 | Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes. Wojciech Czerwinski, Lukasz Orlikowski |
| 2022 | Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete: Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions. Clemens Armin Grabmayer |
| 2022 | Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk |
| 2022 | Monoidal Streams for Dataflow Programming. Elena Di Lavore, Giovanni de Felice, Mario Román |
| 2022 | Normalization for Multimodal Type Theory. Daniel Gratzer |
| 2022 | On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. Remi Delannoy, Kuldeep S. Meel |
| 2022 | On the Satisfiability of Context-free String Constraints with Subword-Ordering. C. Aiswarya, Soumodev Mal, Prakash Saivasan |
| 2022 | On the Skolem Problem and the Skolem Conjecture. Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell |
| 2022 | On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems. Ilario Bonacina, Maria Luisa Bonet |
| 2022 | Partitions and Ewens Distributions in element-free Probability Theory. Bart Jacobs |
| 2022 | Probabilistic Verification Beyond Context-Freeness. Guanyan Li, Andrzej S. Murawski, Luke Ong |
| 2022 | Probability monads with submonads of deterministic states. Sean K. Moss, Paolo Perrone |
| 2022 | Quantum Expectation Transformers for Cost Analysis. Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev |
| 2022 | Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying |
| 2022 | Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche |
| 2022 | Reasonable Space for the λ-Calculus, Logarithmically. Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2022 | Reasoning on Data Words over Numeric Domains. Diego Figueira, Anthony Widjaja Lin |
| 2022 | Resource approximation for the λμ-calculus. Davide Barbarossa |
| 2022 | Semantics for two-dimensional type theory. Benedikt Ahrens, Paige Randall North, Niels van der Weide |
| 2022 | Separating LREC from LFP. Anuj Dawar, Felipe Ferreira Santos |
| 2022 | Size measures and alphabetic equivalence in the μ-calculus. Clemens Kupke, Johannes Marti, Yde Venema |
| 2022 | Smooth approximations and CSPs over finitely bounded homogeneous structures. Antoine Mottet, Michael Pinsker |
| 2022 | Solvability of orbit-finite systems of linear equations. Arka Ghosh, Piotr Hofman, Slawomir Lasota |
| 2022 | Stable graphs of bounded twin-width. Jakub Gajarský, Michal Pilipczuk, Szymon Torunczyk |
| 2022 | Stochastic Games with Synchronizing Objectives. Laurent Doyen |
| 2022 | Syllepsis in Homotopy Type Theory. Kristina Sojakova, G. A. Kavvos |
| 2022 | Temporal Team Semantics Revisited. Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema |
| 2022 | The Complexity of Bidirected Reachability in Valence Systems. Moses Ganardi, Rupak Majumdar, Georg Zetzsche |
| 2022 | The Pebble-Relation Comonad in Finite Model Theory. Yoàv Montacute, Nihil Shah |
| 2022 | The Regular Languages of First-Order Logic with One Alternation. Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume |
| 2022 | The amazing mixed polynomial closure and its applications to two-variable first-order logic. Thomas Place |
| 2022 | The boundedness and zero isolation problems for weighted automata over nonnegative rationals. Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland |
| 2022 | The complexity of soundness in workflow nets. Michael Blondin, Filip Mazowiecki, Philip Offtermatt |
| 2022 | Transducers of polynomial growth. Mikolaj Bojanczyk |
| 2022 | Treelike Decompositions for Transductions of Sparse Graphs. Jan Dreier, Jakub Gajarský, Sandra Kiefer, Michal Pilipczuk, Szymon Torunczyk |
| 2022 | Varieties of Quantitative Algebras and Their Monads. Jirí Adámek |
| 2022 | When Locality Meets Preservation. Aliaume Lopez |
| 2022 | Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke |
| 2022 | Zigzag normalisation for associative n-categories. Lukas Heidemann, David Reutter, Jamie Vicary |