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