Schedule - Spring 2002
 

February 7	Juris Hartmanis	"P versus NP, Revisited"
February 14	Hoi-Kwong Lo	"From Quantum Cheating to Quantum Security"
February 21	Jonathan Brezin	" Is There Life After The W3C? "
February 28	Noga Alon	"Graph Property Testing"
March 7	Anil Nerode	"Hybrid Systems and Differential Geometry"
March 14	Edmund M. Clarke	"Symbolic Model with and without BDDs"
March 21	Thomas J. Peters	"How Does One Connect the Dots?"(Topology for Surface Reconstruction)
April 11	Azriel Rosenfeld	"Digital Geometry"
April 18	Yeroshua Zeevi	"Enhancement and blind separation of signals and images"
May 2	Achim Jung	"The Semantic Challenge of Real Number Computation"
May 9	Michael Hind	"Jikes Research Virtual Machine"