Now that the sound and fury in the Open Access movement has quieted down a bit, we can revisit the arguments for open access. The basic question I would like to…
Moshe Y. Vardi
The 14th International Congress of Logic, Methodology and Philosophy of Science, held last July, included a special symposium on the subject of "What is an …
Artificial Intelligence: Past and Future
The most dramatic chess match of the 20th century was the May 1997 rematch between the IBM supercomputer Deep Blue and world champion Garry Kasparov, which Deep Blue won.…
Leibniz conceived of a universal mathematical language in which all human knowledge can be expressed, and calculational rules carried out by machines to derive all…
For almost 50 years we have been riding Moore's Law's exponential curve. Oh, what a ride it has been! No other …
I recently attended a rather theoretical computer-science conference, and sat, as is my habit, in the front row. The …
On June 16, 1902, philosopher Bertrand Russell sent a letter to Gottlob Frege in which he argued that Frege's logical system was inconsistent. The letter launched a…
Technology Has Social Consequences
A conference paper submission constitutes privileged communication. In theory, reviewers should immediately…
Fumbling the Future: How Xerox Invented, Then Ignored, the First Personal Computer tells the gripping story of how…
Where Have All the Workshops Gone?
My initiation into the computing-research community was a workshop on "Logic and Databases" in 1979. I was the only …
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved