September 12, 1996:
September 19, 1996:
September 26, 1996: Stan Zdonik (Brown), Dissemination-Based Information Systems: Your Data May Be Where You Least Expect It
October 3, 1996: Les Valiant (Harvard), Cognitive Computation
October 10, 1996: Neil Immerman (UMass Amherst), Descriptive and Dynamic Complexity
October 17, 1996: Saunders MacLane (Chicago), Current extreme political pressures on scientific research (joint with Mathematics)
October 24, 1996: Moshe Y. Vardi (Rice), A Crisis in Doctoral Education in Science and Engineering
October 31, 1996: Isabel Cruz (Tufts), Database Visualization
November 7, 1996: Arvind (MIT), Compiling Parallel Haskell on Symmetric Multiprocessors
November 14, 1996: Stephanie Forrest (University of New Mexico), Building an Immune System for a Computer
November 21, 1996: Bill McColl (Oxford), BSP and Universal Computing
November 28, 1996: THANKSGIVING BREAK
December 5, 1996: Mike Sipser (MIT), The P versus NP question: from Godel to the present
Speakers who have accepted, but who have not been scheduled, with tentative topics
Albert Meyer (MIT), Scheme and the substitution model
Anita Feferman (Stanford), Jean van Heijenoort