LICS 1993