Visible to the public ARCH 2019 Best Result AwardConflict Detection Enabled

Submitted by frehse on Mon, 04/15/2019 - 3:44pm

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.