Best Tool Award at ARCH 2016 goes to Stanley Bak, Sergiy Bogomolov, and Christian Schilling

The best tool award at ARCH 2016 goes to Stanley Bak, Sergiy Bogomolov, and Christian Schilling for their paper "High-level Hybrid Systems Analysis with Hypy". Congratulations! The award comes with a $500 prize from Bosch.