ARCH 2019 Best Result Award

The ARCH 2019 Best Result Award goes to Fabian Immler for his verification tool Isabelle/HOL-ODE-Numerics. The award comes with a 650 Euro prize sponsored by Bosch. Since Fabian couldn't be at the ceremony, Matthias Althoff accepted the certificate on his behalf, from Arne Hamann of Bosch.