Image: ACM 2005 Software System Award
Size of this preview: 405 × 600 pixels. Other resolutions: 162 × 240 pixels | 432 × 640 pixels.
Original image (432 × 640 pixels, file size: 66 KB, MIME type: image/jpeg)
Description: 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.
Title: ACM 2005 Software System Award
Credit: https://www.flickr.com/photos/orcmid/218220911/
Author: Dennis Hamilton
Usage Terms: Creative Commons Attribution 2.0
License: CC BY 2.0
License Link: https://creativecommons.org/licenses/by/2.0
Attribution Required?: Yes
Image usage
The following page links to this image:
All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise.
