Symposium on Logic in Computer Science: Difference between revisions

Revision as of 16:11, 3 April 2014

Revision as of 14:01, 11 November 2014

Line 6:

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>

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

*[[Martin Hofmann]], [[Thomas Streicher]], "The groupoid model refutes uniqueness of identity proofs"

*[[Dale Miller]], "A multiple-conclusion meta-logic"

==== 2013 ====

*[[Leo Bachmair]], [[Harald Ganzinger]], [[Uwe Waldmann]], "Set constraints are the monadic class"

*[[André Joyal]], [[Mogens Nielson]], [[Glynn Winskel]],"Bisimulation and open maps"

*[[Benjamin C. Pierce]], [[Davide Sangiorgi]], "Typing and subtyping for mobile processes"

=== Kleene award ===

At each conference the Kleene award, in honour of [[Stephen Cole Kleene|S.C. Kleene]], is given for the best student paper.

== See also ==