April 11, 2000
Leslie Lamport
Compaq Systems Research Center
Distributed State Machines and Disk Paxos
March 23, 2000
Jim Gray
Microsoft Research
What Next? A Few Remaining Problems in
Information Technology
December 7, 1999
Edsger Dijkstra
University of Texas, Austin
Calculational Mathematics
December 1, 1999
John Guttag
MIT
Software Physical Layers
November 23, 1999
Faith Fich
University of Toronto
Searching is Not Simple
November 2, 1999
Steven Feiner
Columbia
University
Wearing It Out: First Steps Toward Mobile Augmented Reality Systems
October 26, 1999
Andrei Broder
Altavista
Information Retrieval on the Web -- Algorithmic
Challenges and Opportunities
October 19, 1999
Philip A. Bernstein
Microsoft Research
Using Meta-Data to Conquer Database Complexity
October 12, 1999
Cynthia Dwork
IBM Almaden Labs
Foundations of Cryptography: Briefing From the Basement