December 3, 1996
Ric Hehner, University of Toronto
Boolean Formalism and Explanations
December 10, 1996
Noga Alon, Tel Aviv University and IAS, Princeton
Randomness and Pseudo-Randomness in Discrete Mathematics
January 21, 1997
Jonathan Rose, University of Toronto
How to Make Hardware Soft with Field-Programmable Gate Arrays
January 28, 1997
Jeff Ullman, Stanford University
Designing Data Warehouses
February 4, 1997
Bart Selman, AT&T
Facing Computational Challenges in AI:
Stochastic Search and Reasoning Strategies
April 1, 1997
Charles van Loan, Cornell University
Applications of the Kronecker Product
April 22, 1997
Stephen Omohundro, NEC Research Institute
Learning Stochastic Grammars