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 2024, Tallinn, Estonia
-
LICS 2023, Boston, USA
-
LICS 2022, Haifa, Israel
-
LICS 2021, Rome, Italy
Jamie Tucker-Foltz
Inapproximability of Unique Games in Fixed-Point Logic with CountingMore Information... -
LICS 2020, Saarbrucken, Germany
-
LICS 2019, Vancouver
Renaud Vilmart
A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum MechanicsMore Information... -
LICS 2018, Oxford
-
LICS 2017, Reykjavik
-
LICS 2016, New York City
-
LICS 2015, Kyoto, Japan
-
LICS 2014, Vienna, Austria
Yaron Velner
Finite-memory strategy synthesis for robust multidimensional mean-payoff objectivesMore Information... -
LICS 2013, New Orleans, USA
-
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