Content deleted Content added
m category logic in computer science |
proceedings cover artwork |
||
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]].
==History==
Since the first installment in 1988, the cover page of the conference proceedings has featured an artwork entitled ''Irrational Tiling by Logical Quantifiers'', by [[Alvy Ray Smith]].<ref>[http://www.alvyray.com/Art/Irrational.htm Irrational Tiling by Logical Quantifiers] LICS cover by Alvy Ray Smith.</ref>
== See also ==
* The [[list of computer science conferences]] contains other academic conferences in computer science.
==Notes==
{{reflist}}
== External links ==
| |||