The paper “Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs” by Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja, and Federico Olmedo, has received the EATCS Best Paper Award at ETAPS 2016. Out of 473 submissions, this paper was selected as one of the two best theory papers at ETAPS 2016.