| 2022 | Structural Rules and Algebraic Properties of Intersection Types. | Sandra Alves, Mrio Florido |
| 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 | A PO Characterisation of Reconfiguration. | Yehia Abd Alrahman, Mauricio Martel, Nir Piterman |
| 2022 | A Matching Logic Foundation for Alk. | Alexandru-Ioan Lungu, Dorel Lucanu |
| 2021 | Formal Methods Adoption in Industry: An Experience Report. | Benjamin Tyler |
| 2021 | A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. | Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto |
| 2021 | Reactive Synthesis from Visibly Register Pushdown Automata. | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
| 2021 | Normalising Lustre Preserves Security. | Sanjiva Prasad, R. Madhukar Yerraguntla |
| 2021 | A Divide & Conquer Approach to Conditional Stable Model Checking. | Yati Phyo, Canh Minh Do, Kazuhiro Ogata |
| 2021 | A Calculus for Attribute-Based Memory Updates. | Marino Miculan, Michele Pasqua |
| 2021 | Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations. | Yoshifumi Manabe, Hibiki Ono |
| 2021 | A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle. | Liyi Li, Elsa L. Gunter |
| 2021 | Security Research: Program Analysis Meets Security. | Padmanabhan Krishnan |
| 2021 | On the Correctness Problem for Serializability. | Jrgen Knig, Heike Wehrheim |
| 2021 | Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs. | Muhammad Hannan Khan, Osman Hassan, Shahid Khan |
| 2021 | A Mechanically Verified Theory of Contracts. | Stphane Kastenbaum, Benot Boyer, Jean-Pierre Talpin |
| 2021 | Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. | Ross Horne, Sjouke Mauw, Semen Yurkov |
| 2021 | ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs. | Emmanuel Hainry, Emmanuel Jeandel, Romain Pchoux, Olivier Zeyen |
| 2021 | A Set Automaton to Locate All Pattern Matches in a Term. | Rick Erkens, Jan Friso Groote |
| 2021 | Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. | Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretnsk, Lukas Pin, Alexander Wagner |
| 2021 | AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. | Isabela Dramnesc, Tudor Jebelean |
| 2021 | Modelling Interactions: Digital and Physical. | Alan J. Dix |
| 2021 | Qualitative-Quantitative Reasoning: Thinking Informally About Formal Things. | Alan J. Dix |
| 2021 | A New Connective in Natural Deduction, and Its Application to Quantum Computing. | Alejandro Daz-Caro, Gilles Dowek |
| 2021 | Certifying Choreography Compilation. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |