| 2022 | A Combinatorial Study of Async/Await Processes. Matthieu Dien, Antoine Genitrini, Frédéric Peschanski |
| 2022 | A Matching Logic Foundation for Alk. Alexandru-Ioan Lungu, Dorel Lucanu |
| 2022 | A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. Zhen Huang, Bo Li, Dehui Du, Qin Li |
| 2022 | A PO Characterisation of Reconfiguration. Yehia Abd Alrahman, Mauricio Martel, Nir Piterman |
| 2022 | A Specification Logic for Programs in the Probabilistic Guarded Command Language. Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski |
| 2022 | A Type System with Subtyping for WebAssembly's Stack Polymorphism. Dylan McDermott, Yasuaki Morita, Tarmo Uustalu |
| 2022 | A Verified Implementation of B Niels Mündler, Tobias Nipkow |
| 2022 | Active Learning for Deterministic Bottom-Up Nominal Tree Automata. Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
| 2022 | Alternating Automatic Register Machines. Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan |
| 2022 | Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs. Hayato Shikata, Kodai Toyoda, Daiki Miyahara, Takaaki Mizuki |
| 2022 | Denotational and Algebraic Semantics for the CaIT Calculus. Ningning Chen, Huibiao Zhu |
| 2022 | Formal Grammars for Turn-Bounded Deterministic Context-Free Languages. Tomoyuki Yamakami |
| 2022 | Functional Choreographic Programming. Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2022 | Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2022 | Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting. Kentaro Kikuchi |
| 2022 | Human-Cyber-Physical Automata and Their Synthesis. Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu |
| 2022 | Local XOR Unification: Definitions, Algorithms and Application to Cryptography. Hai Lin, Christopher Lynch |
| 2022 | On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
| 2022 | Quantitative Weak Linearisation. Sandra Alves, Daniel Ventura |
| 2022 | Reachability Games and Parity Games. Volker Diekert, Manfred Kufleitner |
| 2022 | Reconciling Communication Delays and Negation. Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes |
| 2022 | Runners for Interleaving Algebraic Effects. Niels F. W. Voorneveld |
| 2022 | Spatial and Timing Properties in Highway Traffic. Christopher Bischopink, Ernst-Rüdiger Olderog |
| 2022 | Structural Rules and Algebraic Properties of Intersection Types. Sandra Alves, Mário Florido |
| 2022 | Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings Helmut Seidl, Zhiming Liu, Corina S. Pasareanu |
| 2022 | Towards a Unifying Logical Framework for Neural Networks. Xiyue Zhang, Xiaohong Chen, Meng Sun |
| 2022 | Towards a User Interface Description Language Based on Bigraphs. Nicolas Nalpon, Cyril Allignol, Célia Picard |
| 2022 | Type Inference for Rank-2 Intersection Types Using Set Unification. Pedro Ângelo, Mário Florido |
| 2022 | Unsatisfiability of Comparison-Based Non-malleability for Commitments. Denis Firsov, Sven Laur, Ekaterina Zhuchko |
| 2022 | VeriMon: A Formally Verified Monitoring Tool. David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |