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.

2013 / Rome

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei: "Logical Foundations of Secure Resource Management in Protocol Implementations"

2012 / Tallinn

Sebastian Preugschat, Thomas Wilke: "Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata"

2011 / Saarbrücken

Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala: "Canonized Rewriting and Ground AC-Completion Modulo Shostak Theories"

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"
 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.