Symposium on Logic in Computer Science: Difference between revisions

Revision as of 04:43, 14 August 2015

Revision as of 23:25, 2 January 2016

Line 7:

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>

Since 1995, each year the ''[[Kleene award]]'' is given to the best student paper. In addition, since 2006, the ''LICS Test-of-Time Award'' is given annually to one among the twenty-year-old LICS papers that have best met the test of time.<ref>[http://www2lics.informatik.hurwth-berlinaachen.de/lics/awards.html LICS awards website]</ref>

== LICS Awards ==

Line 59:

== External links ==

* [http://www2lics.informatik.hurwth-berlinaachen.de/lics/ LICS home page]

[[Category:Theoretical computer science conferences]]