| 2022 | Implicit Definitions with Differential Equations for KeYmaera X - (System Description). | James Gallicchio, Yong Kiam Tan, Stefan Mitsch, Andr Platzer |
| 2022 | Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description). | Florian Frohn, Jrgen Giesl |
| 2022 | SAT-Based Proof Search in Intermediate Propositional Logics. | Camillo Fiorentini, Mauro Ferrari |
| 2022 | CTL | Paolo Felli, Marco Montali, Sarah Winkler |
| 2022 | Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2022 | Ground Joinability and Connectedness in the Superposition Calculus. | Andr Duarte, Konstantin Korovin |
| 2022 | From the Universality of Mathematical Truth to the Interoperability of Proof Systems. | Gilles Dowek |
| 2022 | Cyclic Proofs, Hypersequents, and Transitive Closure Logic. | Anupam Das, Marianna Girlando |
| 2022 | Reasoning in Non-normal Modal Description Logics. | Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki |
| 2022 | Actions over Core-Closed Knowledge Bases. | Claudia Cauli, Magdalena Ortiz, Nir Piterman |
| 2022 | Goland: A Concurrent Tableau-Based Theorem Prover (System Description). | Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane |
| 2022 | Lash 1.0 (System Description). | Chad E. Brown, Cezary Kaliszyk |
| 2022 | An Efficient Subsumption Test Pipeline for BS(LRA) Clauses. | Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach |
| 2022 | Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. | Marius Bozga, Lucas Bueri, Radu Iosif |
| 2022 | Towards a Coq Formalization of a Quantified Modal Logic. | Ana de Almeida Borges |
| 2022 | Non-associative, Non-commutative Multi-modal Linear Logic. | Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov |
| 2022 | Paraconsistent Gdel Modal Logic. | Marta Blkov, Sabine Frittella, Daniil Kozhemiachenko |
| 2022 | Sequent Calculi for Choice Logics. | Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran |
| 2022 | Flexible Proof Production in an Industrial-Strength SMT Solver. | Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Ntzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett |
| 2022 | Evonne: Interactive Proof Visualization for Description Logics (System Description). | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julin Mndez |
| 2022 | Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. | Elvira Albert, Pablo Gordillo, Alejandro Hernndez-Cerezo, Clara Rodrguez-Nez, Albert Rubio |
| 2022 | On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices. | S. Akshay, Supratik Chakraborty, Debtanu Pal |
| 2021 | An Automated Approach to the Collatz Conjecture. | Emre Yolcu, Scott Aaronson, Marijn J. H. Heule |
| 2021 | Verified Interactive Computation of Definite Integrals. | Runqing Xu, Liming Li, Bohua Zhan |
| 2021 | Learning from Łukasiewicz and Meredith: Investigations into Proof Structures. | Christoph Wernhard, Wolfgang Bibel |