sacook@ai.toronto.edu (Stephen Cook) (02/13/89)
Armin Haken's talk Thursday should be billed as a join Theory-AI seminar
(instead of just AI). He will prove a hard lower bound result which is
definitely of interest to complexity theorists. His talk is
Thrus., Feb 16, 11 am in SF 1105