LICS 1998