LICS 1987