SICS part of the project dealt with analysis and partial evaluation of AKL, a still updated page covers global analysis of LP and CCP programs.
SICS' deliverables are here.
Click here for the central page in Madrid.