| 2023 | A Logical Interpretation of Asynchronous Multiparty Compatibility. Marco Carbone, Sonia Marin, Carsten Schürmann |
| 2023 | A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification. Jordina Francès de Mas, Juliana Bowles |
| 2023 | A Reusable Machine-Calculus for Automated Resource Analyses. Hector Suzanne, Emmanuel Chailloux |
| 2023 | A Rule-Based Approach for Designing and Composing Abstract Domains. Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo |
| 2023 | A Term Matching Algorithm and Substitution Generality. Marija Kulas |
| 2023 | Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2023 | Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu |
| 2023 | From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. Anna Bamberger, Maribel Fernández |
| 2023 | Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings Robert Glück, Bishoksan Kafle |
| 2023 | Predicate Anti-unification in (Constraint) Logic Programming. Gonzague Yernaux, Wim Vanhoof |
| 2023 | Relational Solver for Java Generics Type System. Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev |
| 2023 | Towards a Certified Proof Checker for Deep Neural Network Verification. Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz |
| 2023 | Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García |
| 2023 | Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). Maribel Fernández |