Prof. J. Siekmann of the University of Saarbruecken , Germany writes today that "We have named one of the halls in the new AI building of the German Center for Artificial Intelligence (DFKI) after Woody Bledsoe."

Woodrow W. Bledsoe, Peter O'Donnell, Jr., Centennial Chair Emeritus in Computing Systems and Professor Emeritus of Mathematics, was internationally known for his work in automatic theorem proving and artificial intelligence. Woody passed away in 1995 after battling Lou Gehrig's disease for more than two years.