The AMS is launching a prize awarding foundational work in formal verification, and more details can be found here
1 Like
The AMS is launching a prize awarding foundational work in formal verification, and more details can be found here