English: FLoC2006: ACL2 - ACM 2005 Software System Award
"Presented to J Strother Moore, Robert S. Boyer, Matt Kaufmann for the Boyer-Moore Theorem Prover"
Photographer's description: The award is solid leaded glass. I placed a box (from one of the special congratulations award) behind the glass so that the etching would stand out. It looks like it commemorates the finger prints of all of us who tested the weight of the crystal.
to share – to copy, distribute and transmit the work
to remix – to adapt the work
Under the following conditions:
attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
https://creativecommons.org/licenses/by/2.0CC BY 2.0 Creative Commons Attribution 2.0 truetrue
== Summary == {{Information |Description={{en|1=FLoC2006: ACL2 - ACM 2005 Software System Award "Presented to J Strother Moore, Robert S. Boyer, Matt Kaufmann for the Boyer-Moore Theorem Prover" Photographer's description: The award is solid leaded glas
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):