LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.
Official Website: http://www2.informatik.hu-berlin.de/lics/lics11/
Added by mBLAST on December 4, 2010