| 2022 | Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings Emanuele De Angelis, Wim Vanhoof |
| 2021 | Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines. Maciej Buszka, Dariusz Biernacki |
| 2021 | Data Type Inference for Logic Programming. João Barbosa, Mário Florido, Vítor Santos Costa |
| 2021 | Disjunctive Delimited Control. Alexander Vandenbroucke, Tom Schrijvers |
| 2021 | Prefix-Based Tracing in Message-Passing Concurrency. Juan José González-Abril, Germán Vidal |
| 2021 | Representation and Processing of Instantaneous and Durative Temporal Phenomena. Manolis Pitsikalis, Alexei Lisitsa, Shan Luo |
| 2021 | S-Semantics-an Example. Wlodzimierz Drabent |
| 2021 | String Abstract Domains and Their Combination. Harald Søndergaard |
| 2021 | The Next 700 Program Transformers. Geoff W. Hamilton |
| 2021 | Towards Substructural Property-Based Testing. Marco Mantovani, Alberto Momigliano |