Update cfp-csl-lics14.tex

LICS OC update