Symposium on Logic in Computer Science: Difference between revisions

Revision as of 15:47, 27 July 2021

Revision as of 09:44, 13 May 2022

Line 6:

LICS was originally sponsored solely by the [[IEEE]], but as of the 2014 founding of the [[ACM SIGLOG|ACM Special Interest Group on Logic and Computation]] LICS has become the flagship conference of SIGLOG, under the joint sponsorship of ACM and IEEE.<ref>{{citation|title=Welcome to SIGLOG!|department=Chair's Letter|journal=SIGLOG News|volume=1|issue=1|date=July 2014|pages=2–3|url=http://siglog.hosting.acm.org/?attachment_id=71|first=Prakash|last=Panangaden|author-link=Prakash Panangaden}}.</ref>

SinceFrom the first installment in 1988 until 2013, 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://lics.rwth-aachen.de/awards.html LICS awards website]</ref>