Arnaud Nguembang Fadja, Head of Machine Learning at semvox GmbH, CEO of System Afrik Information Technology and adjunct research fellow of the University of Ferrara, died February 3, 2026 of illness at the age of 38.Arnaud was born in Douala,…
CFP: LOPSTR+PPDL 2026
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…