slide changes every 10 seconds
2006 BEARS February 23, 2006
"The Future of Correct Software," presented by Professor George Necula
