Cornell
University Computer Science Department
Distinguished Lecture Series
CS709 Meets Thursdays at 4:15PM in B11 Kimball unless otherwise indicated. |
||
|
1/23/01 |
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 |