Overview The 2026 Joint International Symposium: LOPSTR+PPDP brings together two long-established conferences in symbolic AI: The 36th Annual Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), and The 28th International Symposium on Principles and Practice of Declarative Programming (PPDP). This…
zelph: an open-source semantic network reasoning engine
zelph is an open-source semantic network reasoning engine that performs bottom-up forward chaining over a unified graph. Its key characteristic is radical homoiconicity: rules, predicates, numbers, and facts are all nodes in the same subject–predicate–object graph. Computation emerges from rule-driven…
Call For Papers: ICLP 2026
The 42nd International Conference on Logic Programming (ICLP 2026) will be held at ISCTE – Instituto Universitário de Lisboa in Lisbon, Portugal, as part of the Federated Logic Conference (FLoC) 2026, from July 20-23, 2026. DEADLINE FOR SUBMISSION JANUARY 31…
In Memoriam: Sergio Antoy
Dr. Sergio Antoy, a distinguished and long-serving Professor of Computer Science at Portland State University, has passed away. A respected researcher and dedicated educator, Sergio was a leading figure in the field of programming languages and functional logic programming. Sergio…
CFP: International Association for AI and Law Conference
21th International Conference on Artificial Intelligence and LawYong Pung How School of Law at theSingapore Management University (SMU)8-12 June 2026https://site.smu.edu.sg/icail-2026 Since 1987, the International Conference on Artificial Intelligence and Law (ICAIL) has been the foremost international conference addressing research in…
CILC 2025 Report
By Dario Guidotti, Laura Pandolfo, and Luca PulinaUniversity of Sassari, via Roma 151, Sassari, 07100, Italy The Italian Conference on Computational Logic (CILC) is the annual event of the Italian Association for Logic Programming (GULP – Gruppo Ricercatori e Utenti…