| 2022 | Analysing Parallel Complexity of Term Rewriting. Thaïs Baudon, Carsten Fuhs, Laure Gonnord |
| 2022 | Building a Join Optimizer for Soufflé. Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz |
| 2022 | Confluence Framework: Proving Confluence with CONFident. Raúl Gutiérrez, Miguel Vítores, Salvador Lucas |
| 2022 | From Infinity to Choreographies - Extraction for Unbounded Systems. Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi |
| 2022 | Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings Alicia Villanueva |
| 2022 | Model Checking Meets Auto-Tuning of High-Performance Programs. Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch |
| 2022 | On Correctness of Normal Logic Programs. Wlodzimierz Drabent |
| 2022 | Typed SLD-Resolution: Dynamic Typing for Logic Programming. João Barbosa, Mário Florido, Vítor Santos Costa |
| 2022 | Variant-Based Equational Anti-unification. María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña |