Newsgroups: ut.theory Path: utzoo!utgpu!jarvis.csri.toronto.edu!neat.ai.toronto.edu!root From: sacook@ai.toronto.edu (Stephen Cook) Subject: Neil Robertson Message-ID: <89Apr11.102150edt.38134@neat.ai.toronto.edu> Organization: Department of Computer Science, University of Toronto Date: Tue, 11 Apr 89 10:21:25 EDT Robertson will give an informal talk this afternoon (Tues.) at 3 in GB 119. One topic will be finite descriptions vs finite obstacle sets.