2026 Joint International Symposium:The 36th Annual Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)+The 28th International Symposium on Principles and Practice of Declarative Programming (PPDP) https://icfp26.sigplan.org/home/lopstr-ppdp-2026 Overview The 2026 Joint International Symposium: LOPSTR+PPDP brings together two long-established conferences in symbolic…
Preliminary CFP: 2026 Joint International Symposium: LOPSTR+PPDP 2026
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…