The topic of this article may not meet Wikipedia's general notability guideline. |
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.