Best Theory Paper Award
13.04.2016
Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja und Federico Olmedo (Lehrstuhl 2) haben den Best Theory Paper Award auf der ETAPS 2016 erhalten. Ihr Papier “Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs” wurde aus 473 Einreichungen ausgewählt.