eas@utcsrgv.UUCP (Ann Struthers) (01/16/85)
COLLOQUIUM Tuesday, January 22, 1985 11:00 A.M. SF 1105 Professor Richard C. Holt Department of Computer Science University of Toronto "The Logic of the Turing Language" Refreshments will be served at 10:30 in SF 3206