| 2021 | Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings Maribel Fernández |
| 2020 | A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic. Satoshi Matsuoka |
| 2020 | Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
| 2020 | Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. Kentaro Kikuchi, Takahito Aoto |
| 2020 | Generating Functions for Probabilistic Programs. Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler |
| 2020 | Nominal Unification with Letrec and Environment-Variables. Manfred Schmidt-Schauß, Yunus D. K. Kutz |
| 2020 | Pattern Eliminating Transformations. Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau |
| 2020 | Reasoning in the Theory of Heap: Satisfiability and Interpolation. Zafer Esen, Philipp Rümmer |
| 2020 | Resourceful Program Synthesis from Graded Linear Types. Jack Hughes, Dominic Orchard |
| 2020 | Runtime Complexity Analysis of Logically Constrained Rewriting. Sarah Winkler, Georg Moser |
| 2020 | Slicing Unconditional Jumps with Unnecessary Control Dependencies. Carlos Galindo, Sergio Pérez, Josep Silva |
| 2020 | Symbolic Computation in Maude: Some Tapas. José Meseguer |
| 2020 | Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic. Paul Tarau |
| 2020 | Terminating Non-disjoint Combined Unification. Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2020 | Testing Your (Static Analysis) Truths. Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo |
| 2020 | Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. Mario Wenzel, Stefan Brass |
| 2020 | Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba |
| 2020 | slepice: Towards a Verified Implementation of Type Theory in Type Theory. Frantisek Farka |