LICS 2004