ARCHIVE

The Association for Computing Machinery (ACM) has recognized the Boyer-Moore Theorem Prover, used...

Yahoo! today announced that Dr. Raghu Ramakrishnan, Yahoo! vice president, research fellow and...

Jeannette Wing, a Member-at-Large of the ACM Council, has been chosen as assistant director for...

ACM has recognized 20 of its members for their contributions in computer science and information...