Best ETAPS Paper

The prize of "Best ETAPS Paper" is presented to the best theoretical paper at ETAPS.

European Association for Programming Languages and Systems (EAPLS) also presents a Best Paper Award, which has been awarded since ETAPS'98.

A brief history of the prize follows below.

	2010 / Paphos Parosh Abdulla, Yu-Fang Chen, Lukas Holik, Richard Mayr, Tomas Vojnar: "When Simulation Meets Antichains (on Checking Language Inclusion of NFA's)"

	2009 / York Yohad Lustig, Moshe Y. Vardi : "Synthesis for Component Libraries"

	2008 / Budapest Christel Baier, Nathalie Bertrand, Marcus Größer : "On Decision Problems for Probabilistic Büchi Automata"

	2007 / Braga Christian Haack, Erik Poll, Jan Schaefer, Aleksy Schubert : "Immutable Objects for a Java-like Language"

	2006 / Vienna Lutz Schröder : "A Finite Model Construction for Coalgebraic Modal Logic"

	2005 / Edingburgh Andrzej Murawski, Igor Walukiewicz : "Third-Order Idealized Algol with Iteration is Decidable"

	2004 / Barcelona Daniel Kirsten : "Distance Desert Automata and the Star Height One Problem"

	2003 / Warsaw V. Sassone, P. Sobocinski : "Deriving Bisimulation Congruences: 2-categories versus Precategories"

	2002 / Grenoble E. Goddard, Y. Metivier : "Characterization of Families of Graphs in which Election is Possible"

	2001 / Genova Masahito Hasegawa, Yoshihiko Kakutani : "Axioms for Recursion in Call-by-Value"

	2000 / Berlin Christophe Morvan : "On rational graphs"