International Conference on Automated Deduction - CADE
Herbrand Award for Distinguished Contributions
to Automated Reasoning

presented to

Peter Andrews

For his seminal contributions and pioneering research in type
theory, mating-based theorem proving, automated deduction
in higher-order logic, proof presentation, logic education and
his many other contributions to the field of automated reasoning

Presented at CADE-19
The Nineteenth International Conference on Automated Deduction

August 1, 2003      Ulrich Furbach        
                     President of CADE, Inc.

Herbrand Award Acceptance Speech

Press release

Information about the Herbrand Award