ARCH 2021 Best Result Award![Conflict Detection Enabled Conflict Detection Enabled](/sites/all/themes/redux/css/images/icons/conflict_enabled_icon.png)
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!
![](http://archive.cps-vo.org/sites/default/files/imagecache/160W_210H_news_thumbnail/images/news/lslab.jpeg)