Content deleted Content added
No edit summary |
Why is there a notability tag on possibly the largest logic and computation conference? Take objections to removal in talk. |
||
Line 1:
{{dablink|For the article on the topic of logic in computer science, see [[logic in computer science]].}}
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(journal)|Logical Methods in Computer Science]] and [[ACM Transactions on Computational Logic]].
|