Cornell University Computer Science Department 
Distinguished Lecture Series

CS709 Meets Thursdays at 4:15PM in B11 Kimball unless otherwise indicated.

1/23/01
TUESDAY

Balachander Krishnamurthy
AT&T Labs--Research
What's New in Web Research?
2/1/01
THURSDAY
Mark Heinrich, ECE
Cornell University
Simulation vs. Reality: 
The Importance of Building Hardware
2/8/01
THURSDAY
Stu Feldman, IBM 
T. J. Watson Research Center
Trends in E-Commerce and Challenges for Research
2/15/01
THURSDAY
Greg Morrisett, Comp Sci
Cornell University

Towards Next-Generation Low-Level Languages
2/22/01
THURSDAY
Herbert Van de Sompel
Ghent University, Belgium
The OpenURL Framework for the Context-sensitive Provision of Service Links
3/8/01
THURSDAY
Jayavel Shanmugasundaram
University of Wisconsin
XPERANTO: Bridging Relational Technology and XML
3/13/01
TUESDAY
Venkatesan Guruswami
MIT
LIST DECODING OF ERROR-CORRECTING CODES
3/15/01
THURSDAY
Junghoo Cho
Stanford University
Crawling the Web: Discovery and Maintenance of Large-Scale Web Data    SCHEDULE
3/27/01
TUESDAY
Alexander Hartemink
MIT
Principled Computational Methods for the Validation and Discovery of Genetic Regulatory Networks from Expression Data
3/29/01
THURSDAY
Dieter van Melkebeek
Institute for Advanced Study
Time-Space Tradeoffs for Satisfiability
4/3/01
TUESDAY
Paul Ginsparg
Los Alamos National Laboratory
Creating a Global Knowledge Network
4/5/01
THURSDAY
Andris Ambainis
UC, Berkeley
Lower Bounds on Quantum Computing
4/10/01
TUESDAY
Radu Rugina
MIT
Program Analysis Techniques for Pointers and Accessed Memory Regions
4/12/01
THURSDAY
Peter Manolios
University of Texas
Combining Theorem Proving and Model Checking for
the Verification of Reactive Systems
4/17/01
TUESDAY
Thorsten Joachims
GMD
The Maximum-Margin Approach to Learning Text Classifiers Methods, Theory, and Algorithms
4/19/01
THURSDAY
Jovan Popovic
CMU
Motion Design in Computer Animation
4/24/01
TUESDAY
Yacov Yacobi, Microsoft Corp.
Information Assurance Institute 
Invited Speaker
A Dual Watermarking and Fingerprinting System
4/26/01
THURSDAY
Igor Guskov
Caltech
Meshes and Geometry Processing
5/3/01
THURSDAY
Richard Han
IBM Watson
Interacting Devices, Applications, and Users In a Pervasive Computing World

  Spring 2000 Lectures    Fall 2000 Lectures