Johannes Niederhauser received the best student paper award for his paper "Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic" (together with Chad E. Brown and Cezary Kaliszyk) ...