Each year, an award in honour of the late S.C. Kleene is given for the best student paper accepted at the LICS conference.
To be considered for the Kleene award
each coauthor of the paper should satisfy one of the
following criteria:
- the author is a current student, or
- the author graduated recently and the submission is based on the author's work during student days.
List of all Kleene Award winners
-
LICS 2012, Dubrovnik, Croatia
Christoph Berkholz
Lower Bounds for Existential Pebble Games and k-Consistency TestsMore Information... -
LICS 2011, Toronto, Canada
-
LICS 2010, Edinburgh, Scotland, UK
-
LICS 2009, Los Angeles, California, USA
Oliver Friedmann
An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know itMore Information... -
LICS 2008, Pittsburgh, PA, USA
-
LICS 2007, Wroclaw, Poland
-
LICS 2006, Seattle, Washington, USA
-
LICS 2005, Chicago, USA
Benjamin Rossman
Existential Positive Types and Preservation under HomomorphisismsMore Information... -
LICS 2004, Turku, Finland
-
LICS 2003, Ottawa, Canada
-
LICS 2002, Copenhagen, Denmark
-
LICS 2001, Boston, MA, USA
-
LICS 2000, Santa Barbara, CA, USA
-
LICS 1998, Indianapolis, IN, USA
-
LICS 1997, Warsaw, Poland
-
LICS 1996, New Brunswick, NJ, USA
-
LICS 1995, San Diego, CA, USA