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