| 2026 | A Functional Logic Perspective on Indentation-Sensitive Parsing. Steven Libby |
| 2026 | A One-Pass CPS Transform with Simulation on the Nose. Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen |
| 2026 | An Efficient Compiler for the IDP-Z3 Knowledge Base System. Wout Piessens, Simon Vandevelde, Joost Vennekens, Tom Schrijvers |
| 2026 | Declarative Debugging for Modern Networks. Anduo Wang, Matthew Caesar |
| 2026 | Determinacy Checking for Elpi: an Higher-Order Logic Programming Language with Cut. Davide Fissore, Enrico Tassi |
| 2026 | Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi. Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda |
| 2026 | Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning. Jaeseong Lee, Sopam Dasgupta, Gopal Gupta, Shiyi Wei |
| 2026 | Multi-configurable Search Rules in Prolog and Application to Testing. Daniela Ferreiro, José F. Morales, Pedro López-García, Manuel V. Hermenegildo |
| 2026 | Practical Aspects of Declarative Languages - 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings Nada Amin, Joaquín Arias |
| 2026 | Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic. Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr |
| 2026 | REGAL: Extracting Implicit Rules in Text Using LLMs with Logic Program Feedback. Abhiramon Rajasekharan, Gopal Gupta |
| 2026 | Solving Hard Combinatorial Optimization Problems with PyQASP. Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca |
| 2026 | Using Prolog to Translate Set Theory and B to SAT. Michael Leuschel |