LICS 2001