ARCH 2021 Best Result Award

The ARCH 2021 Best Result Award goes to Katherine Cordwell, Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andre Platzer, William Simmons, Yong Kiam Tan, and Noah Abou El Wafa (in alphabetical order) for their verification tool KeYmaera X. The award comes with a 500 Euro prize. Congratulations!