LICS 1992