Cornell
University
Department of Computer Science
CS 789
Theory Seminars
Professor Dexter Kozen kozen@cs.cornell.edu
 |
Sept. 22 |
A
Spectral Method for Searching in Hyperlinked Environments
By Jon Kleinberg, Cornell University |
|||||||
| Sept.
29 |
On
the Complexity of Reasoning in Kleene Algebra By Dexter Kozen, Cornell University |
||||||||
 |
Oct.
6 |
Metric Relations
among Analog Computers By Whitney Tabor, Cornell University |
|||||||
| Oct.
27 |
Weak Completeness and Strong
Hypotheses By Jack Lutz, Iowa State University |
||||||||
 |
Nov.
3 |
Understanding
Noisy Data: The Case of Polynomials By Ronitt Rubinfeld, Cornell University |
|||||||
| Nov.
10 |
ImprovedApproximation Algorithms for
Uncapacitated Facility Location By Fabian A. Chudak |
||||||||
| Nov.
24 |
Exact Sampling and Approximate Counting
Techniques By Mark Huber |
Web site last modified on 08/19/99 06:22 PM by Karla Consroe karla@cs.cornell.edu
Background graphic courtesy of Windy's Fashionable Page Designs