Revision as of 17:57, 21 July 2009 edit Hermel (talk \| contribs) Extended confirmed users, Pending changes reviewers 2,052 edits →History: awards ← Previous edit		Revision as of 12:28, 8 September 2009 edit undo Hermel (talk \| contribs) Extended confirmed users, Pending changes reviewers 2,052 edits wikilink added Next edit →
Line 5: 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 ''[[~~Stephen~~Kleene ~~Cole Kleene\|Kleene~~award]] ~~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://www2.informatik.hu-berlin.de/lics/awards.html LICS awards website]</ref> == See also ==

Symposium on Logic in Computer Science: Difference between revisions