| Date |
Speaker/Affiliation |
Details |
Host |
| Friday, September 17, 2004 |
Yevgeniy Dodis
New York University |
Basing Cryptography on Biometrics and Other Noisy Data |
Victor Shoup |
| Friday, September 24, 2004 |
Erich Kaltofen
North Carolina State University |
Approximate Factorization of Complex Multivariate Polynomials |
Victor Shoup |
| Friday, October 1, 2004 |
Naren Ramakrishnan
Virginia Tech |
Gaussian Processes for Active Data Mining of Spatial Aggregates |
Bud Mishra |
| Friday, October 8, 2004 |
Joshua Goodman
Microsoft Research |
Stopping Spam |
I. Dan Melamed |
| Friday, October 15, 2004 |
Yale Patt
The University of Texas at Austin |
The Microprocessor of the Year 2014:
Do Pentium 4, Pentium M, and Power 5 provide any hints? |
Allan Gottlieb |
| Friday, October 22, 2004 |
Scott Smolka
SUNY Stony Brook |
Monte Carlo Model Checking |
Zvi Kedem |
| Friday, October 29, 2004 |
CIMS
NYU |
A Symposium in honor of Jack Schwartz |
Ed Schonberg |
| Friday, November 5, 2004 |
Cesare Tinelli
The University of Iowa |
A Non-clausal Calculus for Satisfiability Modulo Theories |
Clark Barrett |
| Friday, November 12, 2004 |
Henry Fuchs
University of North Carolina
at Chapel Hill |
Immersive Integration of Physical and Virtual Environments |
Zvi Kedem |
| Friday, November 19, 2004 |
Johannes Gehrke
Cornell University |
Privacy Breaches in Privacy-Preserving Data Mining |
Dennis Shasha |
| Friday, November 19, 2004 |
IBM Research/NYU/Columbia Theory Day
|
Theory Day |
Yevgeniy Dodis &
Tal Malkin |
| Friday, December 3, 2004 |
Jack Schwartz
New York University |
A Set-Theoretically Oriented Proof Verifier |
Victor Shoup |
| Friday, December 10, 2004 |
Dragomir R. Radev
University of Michigan |
Words, Links, and Patterns:
Novel Representations for Web-Scale Text Mining |
I. Dan Melamed |
| Friday, December 17, 2004 |
Dimitris Achlioptas
Microsoft |
Applications of Random Matrices in Spectral Computations and Machine Learning |
Joel Spencer |
