Symposium on Logic in Computer Science
Appearance
![]() | The topic of this article may not meet Wikipedia's general notability guideline. (January 2008) |
The IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's coference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic.