program Description

About this Prize

This Prize recognizes notable foundational work in formal verification that will catalyze future formalization projects. This work must be published in a recognized, peer-reviewed venue within the past six years.

This prize was recently reestablished with support from the AI For Math Fund, which is run by Renaissance Philanthropy and funded by XTX Markets. The goal of the prize is to highlight and celebrate influential work and to encourage formal verification throughout mathematics and its applications. The work can be published in a recognized journal or code repository or other comparable database of record.

The prize amount is $5,000 and is awarded annually. The prize will be awarded to the named authors of the work, as determined by the selection committee.

Nominations for the Milestone Prize for Foundational Work in Formal Verification will be accepted through June 30.

Requirements

A complete bibliographic citation for the work that is the basis of this nomination

Suggested citation up to 50 words

Letter of Nomination describing the work and why it should be selected for the award