Seminars May 2005

Thursday, May 5, 2005
	May 5	4:15 p.m. - 5:45 p.m.	CS201: Implicit Specification Testing in Analog Circuits, YIORGOS MAKRIS, Yale University
Tuesday, May 10, 2005
	May 10	4:15 p.m. - 5:45 p.m.	CS201: Measurement, Recognition, Biometrics --- Modeling and Simulation, PATRICK S. WANG, Northeastern University
Tuesday, May 24, 2005
	May 24	4:15 p.m. - 5:45 p.m.	CS 201: XML Data Services: Data Modeling in the Web Services Era, MICHAEL J. CAREY, BEA Systems
Thursday, May 26, 2005
	May 26	4:15 p.m. - 5:45 p.m.	CS201: Building An Industrial Strength Formal Verification Solution, JIN YANG, INTEL
Tuesday, May 31, 2005
	May 31	4:15 p.m. - 5:45 p.m.	CS201: Games and the New AI, JONATHAN SCHAEFFER, University of Alberta