Jump to content

Symposium on Logic in Computer Science

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 88.73.43.235 (talk) at 15:33, 16 November 2014 (Test-of-Time Award: added 2010, 2009 awards, fixed some name links). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 conference appear in renowned international journals such as 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.[1]

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.[2]

LICS Awards

Test-of-Time Award

Each year, since 2006, the LICS Test-of-Time Award recognizes those articles from LICS proceedings 20 years earlier, which have become influential.

2014

2013

2012

2011

2010

2009

Kleene award

At each conference the Kleene award, in honour of S.C. Kleene, is given for the best student paper.

See also

Notes