Symposium on Logic in Computer Science: Difference between revisions

Revision as of 17:54, 22 August 2011

Revision as of 16:11, 3 April 2014

Line 3:

==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>

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://www2.informatik.hu-berlin.de/lics/awards.html LICS awards website]</ref>

Line 14:

== External links ==

* [http://www2.informatik.hu-berlin.de/lics/ LICS home page]

Line 20 ⟶ 19:

[[Category:Logic conferences]]

[[Category:Logic in computer science]]

{{comp-sci-stub}}