10/08/2026
Best Paper award in the 42nd International Conference on Logic Programming (ICLP 2026) for the paper: A. Charalambidis, G. Chatziagapis, B. Kostopoulos, P. Rondogiannis: "Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs"