LICS 1994