Cornell
University Computer Science Department
Distinguished Lecture Series
Fall 2001
CS709 Meets Thursdays at 4:15PM in B17 Upson unless otherwise indicated. |
||
| Sep 6 | Christof Fetzer AT&T Research Host: Ken Birman |
HEALERS: Tools For Increasing the Robustness of Systems. |
| Sep 13 | Tom Reps University of Wisconsin-Madison Host: Greg Morrisett |
Static Program Analysis via 3-Valued Logic |
| Sep 20 | Shai Ben-David University of Technion |
Computational Learning Theory and the Tradeoff Between the Computational Complexity and Statistical Soundness |
| Sep 27 | Panel
Discussion on the Microsoft Case
Presented by Computing Policy and Law, and the CS Department |
"The Microsoft Case: Information Technology and a New Era of Antitrust Law?" |
| Oct 4 |
Jeannette M. Wing CMU Host: Eva Tardos |
Survivability Analysis of Networked Systems |
| Oct 11 | Hod
Lispon Cornell University Mechanical & Aerospace Engineering Host: Charles Van Loan |
Evolutionary Computation and Evolutionary Robotics |
| Oct 18 | Rustan
Leino Compaq Corporation Host: Andrew Myers |
Extended Static Checking for Java |
| Oct 25 | Usama
Fayyad digiMine Inc. Host: Johannes Gehrke |
Data Mining Evolved: Challenges, Applications and Future Trends |
| Nov 1 | Paul
Viola Mitsubishi Electric Research Labs Host: Ramin Zabih |
More
Features Than Pixels: A Framework for Constructing Fast and |
|
Friday Nov 9 |
Double Colloquium: |
WIDOM- Topics in Databases (and some Nostalgia) |
| Nov 15 | Eli
Upfal Brown University Host: Jon Kleinberg |
On the Power of Universal Bases in Sequencing by Hybridization |
| Nov 29 | Peter
Druschel Rice University Host: Robbert Van Renesse |
Scalable Peer-To-Peer Substrates: A New Foundation For Distributed Applications |
| Dec 6 | No Colloquium due to postponement | |
|
Dec 13
Please note date change here |
David
McAllester AT&T Research Labs Host: Dexter Kozen
|
Learning Theory for Large Models |
Spring 2000 Lectures Fall 2000 Lectures Spring 2001 Lectures |
||