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.