Thursday September 12, 1998, 2:00-3:00am:
Fred G. Martin (MIT Media Lab)
"Crickets and GroupWear: Technology for Scientific Experimentation and Social
Interaction
Thursday September 17, 1998, 2:00-3:00pm:
Silvio Micali (MIT)
Secure Protocols with Invisable Trusted Party
Thursday October 15 1998, 2:00-3:00pm:
Nir Shavit (Tel Aviv University)
Towards a Topological Characterization of Asynchronous Complexity
Thursday October 22, 1998, 2:00-3:00pm:
Anne Foerst (Harvard Divinity School and MIT Artificial Intelligence Lab)
Commander Data at a Divinity School: Complementary Myths in AI and Theology
Wednesday October 28, 1998, 2:00-3:00pm:
Georges Brun-Cottan (INRIA, France and Brandeis University)
Wide-Area Cooperation and Consistency of Replicated Objects
Monday November 12, 1998, 2:00-3:00pm:
Marilyn Walker (AT&T Labs)
Performance Models for Dialogue Strategy Choices in Spoken Dialogue Systems
Monday November 16, 1998, 2-3pm:
Eli Upfal (Brown University)
Design and Analysis of Dynamic Processes
April 21, 1998, 9:00-10:00am:
C. Mohan (IBM Almaden Reasearch Center)
ARIES: A Transaction Recovery Method
February 26, 1998, 2:00-3:00pm:
David Wittenberg (Brandeis University)
An Introduction to the Consensus Hierarchy
February 19, 1998, 1:30-2:30pm:
Dana Ron (MIT and Bunting Institute)
Testing Properties of Graphs
February 12, 1998, 2:10-3:10pm:
Harry Mairson (Brandeis University)
Procedure-calling Protocols,
Shared Computations,
and Computational Complexity
February 5, 1998, 2:10-3:10pm:
Gilles Muller (Irisa, France)
Using Partial Evaluation Techniques for Active Network Specialization
January 22, 1998, 4:10-5:10pm:
Charles B. Owen (Dartmouth University)
Multiple Media Stream Correlation and Cross-modal Information Retrieval
October 17, 1997, 3:30-4:30pm:
Maarten Van Emden (University of Victoria),
Interval Constraints
October 27, 1997, 3:30-4:30pm:
Shafi Goldwasser (MIT and Weizman),
Distributed Cryptography: Past and Present
October 28, 1997, 5-6pm:
Gadi Moran (Haifa University),
The r-Majority Action on 0-1 Sequences
November 5, 1997, 3:30-4:30pm:
Bradley Chen (Harvard),
Morph: An Environment for Platform Specific Optimization
November 13, 1997, 2-3pm:
Warren Katz, (MAK technology),
Current Issues in Multiuser Synthetic Environments
November 25, 1997, 2:10-3:10pm:
John Reif (Duke University),
Biomolecular Computation
Go back up.