Seminars Thursday, May 20, 2004

	May 20	4:15 p.m. - 5:45 p.m.	Cs 201: Satisfiabilty, Structure, and Permutation Groups, MATTHEW L. GINSBERG, On Time Systems, Inc.