Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Nominations for the AMS Milestone Prize in For...

Email Gateway (Jun 23 2026 at 11:27):

From: Tobias Nipkow <nipkow@in.tum.de>
Subject: [isabelle] Nominations for the AMS Milestone Prize in Formal Verification

Hi,

https://www.ams.org/prizes-awards/paview.cgi?parent_id=63

I would like to advertise this new AMS prize in formalization. The deadline is
coming up really soon (June 30). I believe that this is the first time the
prize is offered.

Best,
Tobias

smime.p7s

Last updated: Jul 02 2026 at 07:34 UTC