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.
Christel Baier, Joachim Klein, Sascha Klueppelholz and Steffen Märcker: "Computing Conditional Properties in Markovian Models Efficiently"
Naoki Kobayashi, Kazuhiro Inaba and Takeshi Tsukada: "Unsafe Order-2 Tree Languages are Context-Sensitive"