Browse Prizes and Awards

We have pre-sorted the archive to show prize and award recipients for the current year. To begin browsing other years, please press "clear." You can then sort the archive by prize or award name, recipient name, or year (or by combining those fields).

Prize: Automatic Theorem Proving Prizes

Automatic Theorem Proving Prizes 1991 Woodrow W. Bledsoe; Robert S. Boyer; J. Moore

The Milestone Prize: to Woodrow W. Bledsoe

The Current Prize: to Robert S. Boyer and J Strother Moore

Automatic Theorem Proving Prizes 1984 J. Alan Robinson

The Milestone Prize: to J. Alan Robinson

Automatic Theorem Proving Prizes 1983 Hao Wang; Lawrence Wos; Steven Winker

The Current Prize: to Lawrence Wos and Steven Winker