Seminars 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