8/30/2004 
Aleksandrs
Slivkins, Cornell University 
Triangulation
and Embedding using Small Sets of Beacons 
9/6/2004 
Dexter
Kozen, Cornell University 
Toward
the Automation of Category Theory 
9/13/2004 
Postponed
until next week 
9/20/2004 
Tom
Wexler, Cornell University 
The
Price of Stability for Network Design with Fair Cost Allocation 
9/27/2004 
Shlomi Dolev, BenGurion University of the Negev 
SelfStabilization 
10/4/2004 
Anirban
Dasgupta, Cornell University 
Spectral analysis for random graphs with
skewed degree distributions 
10/11/2004 
Fall Break 
10/18/2004 
FOCS 
tba 
10/25/2004 
Neal Glew, Intel 
Typed STIR:Experiences with Type Checking the IR of
an Optimising Java JIT 
11/1/2004 
Ramin Zabih,
Cornell University 
Some Mathematical Problems in Medical Imaging 
11/8/2004 
Adrian
Vetta, McGill University

Quality, stability and efficiency issues in
competitive games 
11/15/2004
Uris Hall 498 at 45:30 
Matt
Jackson, CalTech 
Search in the Formation of Large Networks: How
Random are Socially Generated Networks 
11/22/2004 
Ara Hayrapetyan, Cornell University 
Network Design for Information Networks 
11/29/2004 
No seminar 

Wednesday 12/1/2004
at 34pm 
Edith Elkind, Princeton 
Reducing overpayment
in shortest path auctions. 