Nominations are open for the inaugural Milestone Prize for Foundational Work in Formal Verification.
Supported by the AI for Math Fund, run by @RenPhilanthropy, and funded by @xtxmarkets, the prize aims to spotlight influential achievements and accelerate the growth of formal verification in mathematical research.
Submissions due June 30, 2026.
Learn more. Link in comments.