Email Gateway (Jul 02 2026 at 11:05): Email Gateway (Jul 02 2026 at 11:05):From: Tobias Nipkow <nipkow@in.tum.de>
Subject: [isabelle] Extended deadline (July 31, 2026): Nominations for the Milestone Prize for Foundational Work in Formal Verification
-------- Forwarded Message --------
Subject: Extended deadline (July 31, 2026): Nominations for the Milestone Prize
for Foundational Work in Formal Verification
Date: Thu, 2 Jul 2026 11:02:54 +0000
From: Hales, Thomas Callister <hales@pitt.edu>
Dear colleagues,
The nomination deadline has been extended to July 31. (Nomination link)
<https://www.ams.org/prizes-awards/paview.cgi?parent_id=63>.
The Milestone Prize for Foundational Work in Formal Verification
The Milestone 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. 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 is awarded annually.
Nomination Procedure:
Submit a letter of nomination, a complete bibliographic citation for
the work being nominated, and a brief citation that explains why the
work is important. The prize will be awarded to the named authors of
the work, as determined by the selection committee.
Last updated: Jul 22 2026 at 14:00 UTC