Advanced School on Foundations of Logic Programming (org: Paolo Mancarella and Giuseppe Sardu)