sacook@ai.toronto.edu (Stephen Cook) (04/11/89)
Robertson will give an informal talk this afternoon (Tues.) at 3 in GB 119. One topic will be finite descriptions vs finite obstacle sets.
bmkapron@theory.utoronto.ca (Bruce Kapron) (04/11/89)
Today's Student Seminar will be cancelled, as it conflicts with Robertson's talk.